| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A canonical automaton for one-rule length-preserving string rewrite systems
|
Latteux, Michel
|
|
2015
|
244 |
C |
p. 203-228
26 p.
|
artikel
|
| 2 |
Analyzing anonymity attacks through noisy channels
|
Zhioua, Sami
|
|
2015
|
244 |
C |
p. 76-112
37 p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
2015
|
244 |
C |
p. i-
1 p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
2015
|
244 |
C |
p. IFC-
1 p.
|
artikel
|
| 5 |
Fingerprints for highly similar streams
|
Bachrach, Yoram
|
|
2015
|
244 |
C |
p. 113-121
9 p.
|
artikel
|
| 6 |
Incomplete operational transition complexity of regular languages
|
Maia, Eva
|
|
2015
|
244 |
C |
p. 1-22
22 p.
|
artikel
|
| 7 |
Multi-parameterised compositional verification of safety properties
|
Siirtola, Antti
|
|
2015
|
244 |
C |
p. 23-48
26 p.
|
artikel
|
| 8 |
Polynomial time decision algorithms for probabilistic automata
|
Turrini, Andrea
|
|
2015
|
244 |
C |
p. 134-171
38 p.
|
artikel
|
| 9 |
Position discovery for a system of bouncing robots
|
Czyzowicz, Jurek
|
|
2015
|
244 |
C |
p. 122-133
12 p.
|
artikel
|
| 10 |
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties
|
Li, Lvzhou
|
|
2015
|
244 |
C |
p. 229-244
16 p.
|
artikel
|
| 11 |
The complexity of higher-order queries
|
Benedikt, Michael
|
|
2015
|
244 |
C |
p. 172-202
31 p.
|
artikel
|
| 12 |
The dual equivalence of equations and coequations for automata
|
Ballester-Bolinches, A.
|
|
2015
|
244 |
C |
p. 49-75
27 p.
|
artikel
|
Tijdschrift beschrijving