nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
About randomised distributed graph colouring and graph partition algorithms
|
Métivier, Y. |
|
2010 |
|
11 |
p. 1296-1304 9 p. |
artikel |
2 |
Approximation hardness of dominating set problems in bounded degree graphs
|
Chlebík, M. |
|
2008 |
|
11 |
p. 1264-1275 12 p. |
artikel |
3 |
Asymptotic behavior of the numbers of runs and microruns
|
Giraud, Mathieu |
|
2009 |
|
11 |
p. 1221-1228 8 p. |
artikel |
4 |
Automatic presentations for semigroups
|
Cain, Alan J. |
|
2009 |
|
11 |
p. 1156-1168 13 p. |
artikel |
5 |
Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm
|
Jančar, Petr |
|
2008 |
|
11 |
p. 1259-1263 5 p. |
artikel |
6 |
Characterizing contextual equivalence in calculi with passivation
|
Lenglet, Sergueï |
|
2011 |
|
11 |
p. 1390-1433 44 p. |
artikel |
7 |
Consistent and coherent learning with δ-delay
|
Akama, Yohji |
|
2008 |
|
11 |
p. 1362-1374 13 p. |
artikel |
8 |
Decision problem for shuffled genes
|
Petre, Ion |
|
2008 |
|
11 |
p. 1346-1352 7 p. |
artikel |
9 |
Detecting palindromes, patterns and borders in regular languages
|
Anderson, Terry |
|
2009 |
|
11 |
p. 1096-1118 23 p. |
artikel |
10 |
Editorial Board
|
|
|
2006 |
|
11 |
p. CO2- 1 p. |
artikel |
11 |
Editorial Board
|
|
|
2006 |
|
11 |
p. i- 1 p. |
artikel |
12 |
Editorial Board
|
|
|
2011 |
|
11 |
p. i- 1 p. |
artikel |
13 |
Editorial Board
|
|
|
2011 |
|
11 |
p. IFC- 1 p. |
artikel |
14 |
Editorial Board (continued)
|
|
|
2010 |
|
11 |
p. i- 1 p. |
artikel |
15 |
Editorial Board (continued)
|
|
|
2008 |
|
11 |
p. i- 1 p. |
artikel |
16 |
Editorial Board (continued)
|
|
|
2007 |
|
11 |
p. i- 1 p. |
artikel |
17 |
Editorial Board (continued)
|
|
|
2009 |
|
11 |
p. i- 1 p. |
artikel |
18 |
Efficient inclusion checking for deterministic tree automata and XML Schemas
|
Champavère, Jérôme |
|
2009 |
|
11 |
p. 1181-1208 28 p. |
artikel |
19 |
Ehrenfeucht–Fraïssé goes automatic for real addition
|
Klaedtke, Felix |
|
2010 |
|
11 |
p. 1283-1295 13 p. |
artikel |
20 |
Finite-state dimension and real arithmetic
|
Doty, David |
|
2007 |
|
11 |
p. 1640-1651 12 p. |
artikel |
21 |
Information theory in property testing and monotonicity testing in higher dimension
|
Ailon, Nir |
|
2006 |
|
11 |
p. 1704-1717 14 p. |
artikel |
22 |
Inside Front Cover: Editorial Board
|
|
|
2010 |
|
11 |
p. IFC- 1 p. |
artikel |
23 |
Inside Front Cover: Editorial Board
|
|
|
2009 |
|
11 |
p. IFC- 1 p. |
artikel |
24 |
Inside Front Cover: Editorial Board
|
|
|
2008 |
|
11 |
p. IFC- 1 p. |
artikel |
25 |
Inside Front Cover: Editorial Board
|
|
|
2007 |
|
11 |
p. IFC- 1 p. |
artikel |
26 |
Logics of communication and change
|
Benthem, Johan van |
|
2006 |
|
11 |
p. 1620-1662 43 p. |
artikel |
27 |
Magic numbers in the state hierarchy of finite automata
|
Geffert, Viliam |
|
2007 |
|
11 |
p. 1652-1670 19 p. |
artikel |
28 |
Match-bounds revisited
|
Korp, Martin |
|
2009 |
|
11 |
p. 1259-1283 25 p. |
artikel |
29 |
Minimality in template-guided recombination
|
Domaratzki, Michael |
|
2009 |
|
11 |
p. 1209-1220 12 p. |
artikel |
30 |
Minimizing deterministic weighted tree automata
|
Maletti, Andreas |
|
2009 |
|
11 |
p. 1284-1299 16 p. |
artikel |
31 |
Modelling concurrency with comtraces and generalized comtraces
|
Janicki, Ryszard |
|
2011 |
|
11 |
p. 1355-1389 35 p. |
artikel |
32 |
Natural halting probabilities, partial randomness, and zeta functions
|
Calude, Cristian S. |
|
2006 |
|
11 |
p. 1718-1739 22 p. |
artikel |
33 |
2nd International Conference on Language and Automata Theory and Applications (LATA 2008)
|
Martín-Vide, Carlos |
|
2009 |
|
11 |
p. 1095- 1 p. |
artikel |
34 |
On input-revolving deterministic and nondeterministic finite automata
|
Bensch, Suna |
|
2009 |
|
11 |
p. 1140-1155 16 p. |
artikel |
35 |
On linear logic planning and concurrency
|
Kahramanoğulları, Ozan |
|
2009 |
|
11 |
p. 1229-1258 30 p. |
artikel |
36 |
On periodicity of generalized two-dimensional infinite words
|
Puzynina, S.A. |
|
2009 |
|
11 |
p. 1315-1328 14 p. |
artikel |
37 |
On the complexity of sequential rectangle placement in IEEE 802.16/WiMAX systems
|
Israeli, Amos |
|
2008 |
|
11 |
p. 1334-1345 12 p. |
artikel |
38 |
On the complexity of the two-variable guarded fragment with transitive guards
|
Kieroński, Emanuel |
|
2006 |
|
11 |
p. 1663-1703 41 p. |
artikel |
39 |
On the induction operation for shift subspaces and cellular automata as presentations of dynamical systems
|
Capobianco, Silvio |
|
2009 |
|
11 |
p. 1169-1180 12 p. |
artikel |
40 |
On the universe, disjointness, and containment problems for simple machines
|
Ibarra, Oscar H. |
|
2010 |
|
11 |
p. 1273-1282 10 p. |
artikel |
41 |
Optimal vertex ranking of block graphs
|
Hung, Ruo-Wei |
|
2008 |
|
11 |
p. 1288-1302 15 p. |
artikel |
42 |
Probabilistic bisimulations for quantum processes
|
Feng, Yuan |
|
2007 |
|
11 |
p. 1608-1639 32 p. |
artikel |
43 |
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
|
Diekert, Volker |
|
2006 |
|
11 |
p. 1597-1619 23 p. |
artikel |
44 |
Rational subsets of polycyclic monoids and valence automata
|
Render, Elaine |
|
2009 |
|
11 |
p. 1329-1339 11 p. |
artikel |
45 |
Reachability problems in quaternion matrix and rotation semigroups
|
Bell, Paul |
|
2008 |
|
11 |
p. 1353-1361 9 p. |
artikel |
46 |
Some (in)sufficient conditions for secure hybrid encryption
|
Herranz, Javier |
|
2010 |
|
11 |
p. 1243-1257 15 p. |
artikel |
47 |
Some natural conditions on incremental learning
|
Jain, Sanjay |
|
2007 |
|
11 |
p. 1671-1684 14 p. |
artikel |
48 |
Taylor approximation for hybrid systems
|
Lanotte, Ruggero |
|
2007 |
|
11 |
p. 1575-1607 33 p. |
artikel |
49 |
The expressive power of the shuffle product
|
Berstel, Jean |
|
2010 |
|
11 |
p. 1258-1272 15 p. |
artikel |
50 |
The Minimum Substring Cover problem
|
Hermelin, Danny |
|
2008 |
|
11 |
p. 1303-1312 10 p. |
artikel |
51 |
The three-color and two-color Tantrix™ rotation puzzle problems are NP-complete via parsimonious reductions
|
Baumeister, Dorothea |
|
2009 |
|
11 |
p. 1119-1139 21 p. |
artikel |
52 |
Tree exploration with advice
|
Fraigniaud, Pierre |
|
2008 |
|
11 |
p. 1276-1287 12 p. |
artikel |
53 |
Two-dimensional hierarchies of proper languages of lexicalized FRR-automata
|
Plátek, Martin |
|
2009 |
|
11 |
p. 1300-1314 15 p. |
artikel |
54 |
3-Valued abstraction: More precision at less cost
|
Shoham, Sharon |
|
2008 |
|
11 |
p. 1313-1333 21 p. |
artikel |
55 |
Variants of codes and indecomposable languages
|
Salomaa, Arto |
|
2009 |
|
11 |
p. 1340-1349 10 p. |
artikel |