| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract processes in the absence of conflicts in general place/transition systems
|
van Glabbeek, Rob
|
|
|
289 |
PA |
p.
|
artikel
|
| 2 |
Almost uniform deployment of mobile agents in dynamic rings
|
Shibata, Masahiro
|
|
|
289 |
PA |
p.
|
artikel
|
| 3 |
A pumping lemma for regular closure of prefix-free languages
|
Koga, Toshihiro
|
|
|
289 |
PA |
p.
|
artikel
|
| 4 |
A robust class of linear recurrence sequences
|
Barloy, Corentin
|
|
|
289 |
PA |
p.
|
artikel
|
| 5 |
Beyond PCSP(1-in-3,NAE)
|
Brandts, Alex
|
|
|
289 |
PA |
p.
|
artikel
|
| 6 |
Bounded complete domains and their logical form
|
Wang, Longchun
|
|
|
289 |
PA |
p.
|
artikel
|
| 7 |
Combination of roots and boolean operations: An application to state complexity
|
Caron, Pascal
|
|
|
289 |
PA |
p.
|
artikel
|
| 8 |
Converting nondeterministic two-way automata into small deterministic linear-time machines
|
Guillon, Bruno
|
|
|
289 |
PA |
p.
|
artikel
|
| 9 |
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
|
Bogomolov, Sergiy
|
|
|
289 |
PA |
p.
|
artikel
|
| 10 |
Deterministic algorithms for the hidden subgroup problem
|
Ye, Zekun
|
|
|
289 |
PA |
p.
|
artikel
|
| 11 |
Distance labeling schemes for K 4-free bridged graphs
|
Chepoi, Victor
|
|
|
289 |
PA |
p.
|
artikel
|
| 12 |
Distributed localization of wireless sensor network using communication wheel
|
Bose, Kaustav
|
|
|
289 |
PA |
p.
|
artikel
|
| 13 |
Editorial Board
|
|
|
|
289 |
PA |
p.
|
artikel
|
| 14 |
Efficient and competitive broadcast in multi-channel radio networks
|
Chen, Haimin
|
|
|
289 |
PA |
p.
|
artikel
|
| 15 |
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
|
Wang, Qiuye
|
|
|
289 |
PA |
p.
|
artikel
|
| 16 |
Exploiting social influence to control elections based on positional scoring rules
|
Corò, Federico
|
|
|
289 |
PA |
p.
|
artikel
|
| 17 |
Exploring sparse graphs with advice
|
Böckenhauer, Hans-Joachim
|
|
|
289 |
PA |
p.
|
artikel
|
| 18 |
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework
|
Madary, Ahmad
|
|
|
289 |
PA |
p.
|
artikel
|
| 19 |
Intensional Kleene and Rice theorems for abstract program semantics
|
Baldan, Paolo
|
|
|
289 |
PA |
p.
|
artikel
|
| 20 |
Learning residual alternating automata
|
Berndt, Sebastian
|
|
|
289 |
PA |
p.
|
artikel
|
| 21 |
Linear-time parameterized algorithms with limited local resources
|
Chen, Jianer
|
|
|
289 |
PA |
p.
|
artikel
|
| 22 |
LTL falsification in infinite-state systems
|
Cimatti, Alessandro
|
|
|
289 |
PA |
p.
|
artikel
|
| 23 |
Noisy beeping networks
|
Ashkenazi, Yagel
|
|
|
289 |
PA |
p.
|
artikel
|
| 24 |
On Boolean threshold functions with minimum specification number
|
Lozin, Vadim
|
|
|
289 |
PA |
p.
|
artikel
|
| 25 |
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees
|
Yang, Yu
|
|
|
289 |
PA |
p.
|
artikel
|
| 26 |
Order-preserving pattern matching indeterminate strings
|
Russo, Luís M.S.
|
|
|
289 |
PA |
p.
|
artikel
|
| 27 |
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters
|
Bredereck, Robert
|
|
|
289 |
PA |
p.
|
artikel
|
| 28 |
Parameter synthesis of polynomial dynamical systems
|
Casagrande, Alberto
|
|
|
289 |
PA |
p.
|
artikel
|
| 29 |
Polymorphic lambda calculus with context-free session types
|
Almeida, Bernardo
|
|
|
289 |
PA |
p.
|
artikel
|
| 30 |
Recent developments in theory and tool support for hybrid systems verification with HyPro
|
Schupp, Stefan
|
|
|
289 |
PA |
p.
|
artikel
|
| 31 |
Satisfiability checking for Mission-time LTL (MLTL)
|
Li, Jianwen
|
|
|
289 |
PA |
p.
|
artikel
|
| 32 |
Special issue: Formal verification of cyber-physical systems
|
Geretti, Luca
|
|
|
289 |
PA |
p.
|
artikel
|
| 33 |
Special issue of SSS 2020
|
Devismes, Stéphane
|
|
|
289 |
PA |
p.
|
artikel
|
| 34 |
Survey on mining signal temporal logic specifications
|
Bartocci, Ezio
|
|
|
289 |
PA |
p.
|
artikel
|
| 35 |
Trading information complexity for error II: The case of a large error and the external information complexity
|
Li, Yaqiao
|
|
|
289 |
PA |
p.
|
artikel
|
| 36 |
Unambiguous injective morphisms in free groups
|
Day, Joel D.
|
|
|
289 |
PA |
p.
|
artikel
|
Tijdschrift beschrijving