| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A combinatorial characterization of self-stabilizing population protocols
|
Mathur, Shaan
|
|
|
285 |
PB |
p.
|
artikel
|
| 2 |
A discrete and continuous study of the Max-Chain-Formation problem
|
Castenow, Jannik
|
|
|
285 |
PB |
p.
|
artikel
|
| 3 |
An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning
|
Mansutti, Alessio
|
|
|
285 |
PB |
p.
|
artikel
|
| 4 |
A new framework for deniable secure key exchange
|
Jiang, Shaoquan
|
|
|
285 |
PB |
p.
|
artikel
|
| 5 |
A practical succinct dynamic graph representation
|
Coimbra, Miguel E.
|
|
|
285 |
PB |
p.
|
artikel
|
| 6 |
Automatic pre- and postconditions for partial differential equations
|
Boreale, Michele
|
|
|
285 |
PB |
p.
|
artikel
|
| 7 |
Automatic winning shifts
|
Peltomäki, Jarkko
|
|
|
285 |
PB |
p.
|
artikel
|
| 8 |
Beyond the worst-case analysis of random priority: Smoothed and average-case approximation ratios in mechanism design
|
Deng, Xiaotie
|
|
|
285 |
PB |
p.
|
artikel
|
| 9 |
Characterising spectra of equivalences for event structures, logically
|
Baldan, Paolo
|
|
|
285 |
PB |
p.
|
artikel
|
| 10 |
Compact representation of graphs with bounded bandwidth or treedepth
|
Kamali, Shahin
|
|
|
285 |
PB |
p.
|
artikel
|
| 11 |
Counting (Watson-Crick) palindromes in Watson-Crick conjugates
|
Mahalingam, Kalpana
|
|
|
285 |
PB |
p.
|
artikel
|
| 12 |
c-trie++: A dynamic trie tailored for fast prefix searches
|
Tsuruta, Kazuya
|
|
|
285 |
PB |
p.
|
artikel
|
| 13 |
Distributed computability: Relating k-immediate snapshot and x-set agreement
|
Delporte, Carole
|
|
|
285 |
PB |
p.
|
artikel
|
| 14 |
Edge minimization in de Bruijn graphs
|
Baier, Uwe
|
|
|
285 |
PB |
p.
|
artikel
|
| 15 |
Editorial Board
|
|
|
|
285 |
PB |
p.
|
artikel
|
| 16 |
Fairness and communication-based semantics for session-typed languages
|
Kavanagh, Ryan
|
|
|
285 |
PB |
p.
|
artikel
|
| 17 |
Faster repetition-aware compressed suffix trees based on Block Trees
|
Cáceres, Manuel
|
|
|
285 |
PB |
p.
|
artikel
|
| 18 |
Fast mixing via polymers for random graphs with unbounded degree
|
Galanis, Andreas
|
|
|
285 |
PB |
p.
|
artikel
|
| 19 |
Geometric bounds for convergence rates of averaging algorithms
|
Charron-Bost, Bernadette
|
|
|
285 |
PB |
p.
|
artikel
|
| 20 |
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
|
Droste, Manfred
|
|
|
285 |
PB |
p.
|
artikel
|
| 21 |
Higher order monotonicity and submodularity of influence in social networks: From local to global
|
Chen, Wei
|
|
|
285 |
PB |
p.
|
artikel
|
| 22 |
Incentive ratio: A game theoretical analysis of market equilibria
|
Chen, Ning
|
|
|
285 |
PB |
p.
|
artikel
|
| 23 |
Information leakage due to operative errors in card-based protocols
|
Mizuki, Takaaki
|
|
|
285 |
PB |
p.
|
artikel
|
| 24 |
Isomorphism testing of read-once functions and polynomials
|
Raghavendra, Rao B.V.
|
|
|
285 |
PB |
p.
|
artikel
|
| 25 |
Linear construction of a left Lyndon tree
|
Badkobeh, Golnaz
|
|
|
285 |
PB |
p.
|
artikel
|
| 26 |
LZRR: LZ77 parsing with right reference
|
Nishimoto, Takaaki
|
|
|
285 |
PB |
p.
|
artikel
|
| 27 |
Nearest neighbor representations of Boolean functions
|
Hajnal, Péter
|
|
|
285 |
PB |
p.
|
artikel
|
| 28 |
On continued fraction randomness and normality
|
Nandakumar, Satyadev
|
|
|
285 |
PB |
p.
|
artikel
|
| 29 |
On quotients of formal power series
|
Li, Yongming
|
|
|
285 |
PB |
p.
|
artikel
|
| 30 |
On the decidability of the valuedness problem for two-way finite transducers
|
Yen, Di-De
|
|
|
285 |
PB |
p.
|
artikel
|
| 31 |
Optimal in-place suffix sorting
|
Li, Zhize
|
|
|
285 |
PB |
p.
|
artikel
|
| 32 |
Optimizing reachability sets in temporal graphs by delaying
|
Deligkas, Argyrios
|
|
|
285 |
PB |
p.
|
artikel
|
| 33 |
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle
|
Robert, Léo
|
|
|
285 |
PB |
p.
|
artikel
|
| 34 |
Posets with interfaces as a model for concurrency
|
Fahrenberg, Uli
|
|
|
285 |
PB |
p.
|
artikel
|
| 35 |
Preface to Special Issue for DCC 2020
|
Gagie, Travis
|
|
|
285 |
PB |
p.
|
artikel
|
| 36 |
Randomness and uniform distribution modulo one
|
Becher, Verónica
|
|
|
285 |
PB |
p.
|
artikel
|
| 37 |
Reachability games with relaxed energy constraints
|
Hélouët, Loïc
|
|
|
285 |
PB |
p.
|
artikel
|
| 38 |
Robust, expressive, and quantitative linear temporal logics: Pick any two for free
|
Neider, Daniel
|
|
|
285 |
PB |
p.
|
artikel
|
| 39 |
Rule synchronization for monodirectional tissue-like P systems with channel states
|
Li, Yanyan
|
|
|
285 |
PB |
p.
|
artikel
|
| 40 |
Selected papers from CSCML 2020, the 4th International Symposium on Cyber Security Cryptology and Machine Learning
|
Kolesnikov, Vladimir
|
|
|
285 |
PB |
p.
|
artikel
|
| 41 |
Specification and optimal reactive synthesis of run-time enforcement shields
|
Pandya, Paritosh K.
|
|
|
285 |
PB |
p.
|
artikel
|
| 42 |
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement
|
Attiya, Hagit
|
|
|
285 |
PB |
p.
|
artikel
|
| 43 |
The CBH characterisation theorem beyond algebraic quantum theory
|
Heunen, Chris
|
|
|
285 |
PB |
p.
|
artikel
|
| 44 |
The refinement calculus of reactive systems
|
Preoteasa, Viorel
|
|
|
285 |
PB |
p.
|
artikel
|
| 45 |
Think globally, act locally: On the optimal seeding for nonsubmodular influence maximization
|
Schoenebeck, Grant
|
|
|
285 |
PB |
p.
|
artikel
|
| 46 |
Topological mixing notions on Turing machine dynamical systems
|
Torres-Avilés, Rodrigo
|
|
|
285 |
PB |
p.
|
artikel
|
| 47 |
Towards self-stabilizing blockchain, reconstructing totally erased blockchain
|
Dolev, Shlomi
|
|
|
285 |
PB |
p.
|
artikel
|
| 48 |
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
|
Eisentraut, Julia
|
|
|
285 |
PB |
p.
|
artikel
|
Tijdschrift beschrijving