| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A collapse theorem for holographic algorithms with matchgates on domain size at most 4
|
Cai, Jin-Yi
|
|
2014
|
239 |
C |
p. 149-169
21 p.
|
artikel
|
| 2 |
Aeolus: A component model for the cloud
|
Di Cosmo, Roberto
|
|
2014
|
239 |
C |
p. 100-121
22 p.
|
artikel
|
| 3 |
A Kraft–McMillan inequality for free semigroups of upper-triangular matrices
|
Honkala, Juha
|
|
2014
|
239 |
C |
p. 216-221
6 p.
|
artikel
|
| 4 |
Bounding messages for free in security protocols – extension to various security properties
|
Arapinis, Myrto
|
|
2014
|
239 |
C |
p. 182-215
34 p.
|
artikel
|
| 5 |
Catalytic and communicating Petri nets are Turing complete
|
Ciobanu, Gabriel
|
|
2014
|
239 |
C |
p. 55-70
16 p.
|
artikel
|
| 6 |
Complexity of two-variable dependence logic and IF-logic
|
Kontinen, Juha
|
|
2014
|
239 |
C |
p. 237-253
17 p.
|
artikel
|
| 7 |
Conservative groupoids recognize only regular languages
|
Beaudry, Martin
|
|
2014
|
239 |
C |
p. 13-28
16 p.
|
artikel
|
| 8 |
Covering space in the Weyl and Besicovitch topologies
|
Cervelle, Julien
|
|
2014
|
239 |
C |
p. 44-54
11 p.
|
artikel
|
| 9 |
Editorial Board
|
|
|
2014
|
239 |
C |
p. i-
1 p.
|
artikel
|
| 10 |
Editorial Board
|
|
|
2014
|
239 |
C |
p. IFC-
1 p.
|
artikel
|
| 11 |
Isomorphism testing of Boolean functions computable by constant-depth circuits
|
Arvind, V.
|
|
2014
|
239 |
C |
p. 3-12
10 p.
|
artikel
|
| 12 |
Krivine machines and higher-order schemes
|
Salvati, Sylvain
|
|
2014
|
239 |
C |
p. 340-355
16 p.
|
artikel
|
| 13 |
Linear logical relations and observational equivalences for session-based concurrency
|
Pérez, Jorge A.
|
|
2014
|
239 |
C |
p. 254-302
49 p.
|
artikel
|
| 14 |
On efficient implicit OBDD-based algorithms for maximal matchings
|
Bollig, Beate
|
|
2014
|
239 |
C |
p. 29-43
15 p.
|
artikel
|
| 15 |
One-way reversible and quantum finite automata with advice
|
Yamakami, Tomoyuki
|
|
2014
|
239 |
C |
p. 122-148
27 p.
|
artikel
|
| 16 |
On the impact of link faults on Byzantine agreement
|
Biely, Martin
|
|
2014
|
239 |
C |
p. 170-181
12 p.
|
artikel
|
| 17 |
Patterns with bounded treewidth
|
Reidenbach, Daniel
|
|
2014
|
239 |
C |
p. 87-99
13 p.
|
artikel
|
| 18 |
Refinement modal logic
|
Bozzelli, Laura
|
|
2014
|
239 |
C |
p. 303-339
37 p.
|
artikel
|
| 19 |
Sequential aggregate signatures with lazy verification from trapdoor permutations
|
Brogle, Kyle
|
|
2014
|
239 |
C |
p. 356-376
21 p.
|
artikel
|
| 20 |
The pseudopalindromic completion of regular languages
|
Fazekas, Szilárd Zsolt
|
|
2014
|
239 |
C |
p. 222-236
15 p.
|
artikel
|
| 21 |
6th International Conference on Language and Automata Theory and Applications (LATA 2012)
|
Dediu, Adrian-Horia
|
|
2014
|
239 |
C |
p. 1-2
2 p.
|
artikel
|
| 22 |
Two-way automata making choices only at the endmarkers
|
Geffert, Viliam
|
|
2014
|
239 |
C |
p. 71-86
16 p.
|
artikel
|
Tijdschrift beschrijving