|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
35 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A synchronous π-calculus |
Amadio, Roberto M. |
2007 |
220-221 | 9 |
p. 1470-1490 21 p. |
artikel |
|
| 2 | A unifying approach to picture grammars |
Pradella, Matteo |
2011 |
220-221 | 9 |
p. 1246-1267 22 p. |
artikel |
|
| 3 | Computational power of two stacks with restricted communication |
Karhumäki, Juhani |
2010 |
220-221 | 9 |
p. 1060-1089 30 p. |
artikel |
|
| 4 | Computing the edit distance of a regular language |
Konstantinidis, Stavros |
2007 |
220-221 | 9 |
p. 1307-1316 10 p. |
artikel |
|
| 5 | Constructing perfect steganographic systems |
Ryabko, Boris |
2011 |
220-221 | 9 |
p. 1223-1230 8 p. |
artikel |
|
| 6 | Dimensions of Copeland–Erdös sequences |
Gu, Xiaoyang |
2007 |
220-221 | 9 |
p. 1317-1333 17 p. |
artikel |
|
| 7 | Editorial board |
2006 |
220-221 | 9 |
p. CO2- 1 p. |
artikel |
||
| 8 | Editorial board |
2006 |
220-221 | 9 |
p. i- 1 p. |
artikel |
||
| 9 | Editorial Board |
2011 |
220-221 | 9 |
p. IFC- 1 p. |
artikel |
||
| 10 | Editorial Board |
2011 |
220-221 | 9 |
p. i- 1 p. |
artikel |
||
| 11 | Editorial Board (continued) |
2010 |
220-221 | 9 |
p. i- 1 p. |
artikel |
||
| 12 | Editorial Board (continued) |
2007 |
220-221 | 9 |
p. i- 1 p. |
artikel |
||
| 13 | Editorial Board (continued) |
2009 |
220-221 | 9 |
p. i- 1 p. |
artikel |
||
| 14 | Exponential lower bounds for the number of words of uniform length avoiding a pattern |
Bell, Jason P. |
2007 |
220-221 | 9 |
p. 1295-1306 12 p. |
artikel |
|
| 15 | Fast computation of a longest increasing subsequence and application |
Crochemore, Maxime |
2010 |
220-221 | 9 |
p. 1054-1059 6 p. |
artikel |
|
| 16 | Inside Front Cover: Editorial Board |
2010 |
220-221 | 9 |
p. IFC- 1 p. |
artikel |
||
| 17 | Inside Front Cover: Editorial Board |
2007 |
220-221 | 9 |
p. IFC- 1 p. |
artikel |
||
| 18 | Inside Front Cover: Editorial Board |
2009 |
220-221 | 9 |
p. IFC- 1 p. |
artikel |
||
| 19 | Instruction-level security analysis for information flow in stack-based assembly languages |
De Francesco, Nicoletta |
2007 |
220-221 | 9 |
p. 1334-1370 37 p. |
artikel |
|
| 20 | Intersection-types à la Church |
Liquori, Luigi |
2007 |
220-221 | 9 |
p. 1371-1386 16 p. |
artikel |
|
| 21 | Lower bound technique for length-reducing automata |
Jurdziński, Tomasz |
2007 |
220-221 | 9 |
p. 1387-1412 26 p. |
artikel |
|
| 22 | Mediating secure information flow policies |
Zhang, Guo-Qiang |
2007 |
220-221 | 9 |
p. 1413-1425 13 p. |
artikel |
|
| 23 | On fairness and randomness |
Jaeger, Manfred |
2009 |
220-221 | 9 |
p. 909-922 14 p. |
artikel |
|
| 24 | On hierarchically developing reactive systems |
Zhan, Naijun |
2010 |
220-221 | 9 |
p. 997-1019 23 p. |
artikel |
|
| 25 | On the expressive power of schemes |
Dowek, Gilles |
2011 |
220-221 | 9 |
p. 1231-1245 15 p. |
artikel |
|
| 26 | Priority and abstraction in process algebra |
Cleaveland, Rance |
2007 |
220-221 | 9 |
p. 1426-1458 33 p. |
artikel |
|
| 27 | Statistical probabilistic model checking with a focus on time-bounded properties |
Younes, Håkan L.S. |
2006 |
220-221 | 9 |
p. 1368-1409 42 p. |
artikel |
|
| 28 | String matching with up to k swaps and mismatches |
Lipsky, Ohad |
2010 |
220-221 | 9 |
p. 1020-1030 11 p. |
artikel |
|
| 29 | Structural induction in institutions |
Diaconescu, Răzvan |
2011 |
220-221 | 9 |
p. 1197-1222 26 p. |
artikel |
|
| 30 | Table design in dynamic programming |
Steffen, Peter |
2006 |
220-221 | 9 |
p. 1325-1345 21 p. |
artikel |
|
| 31 | The alternation hierarchy in fixpoint logic with chop is strict too |
Lange, Martin |
2006 |
220-221 | 9 |
p. 1346-1367 22 p. |
artikel |
|
| 32 | The complexity of constraint satisfaction games and QCSP |
Börner, F. |
2009 |
220-221 | 9 |
p. 923-944 22 p. |
artikel |
|
| 33 | The number of runs in a string |
Rytter, Wojciech |
2007 |
220-221 | 9 |
p. 1459-1469 11 p. |
artikel |
|
| 34 | Towards a unified approach to encodability and separation results for process calculi |
Gorla, Daniele |
2010 |
220-221 | 9 |
p. 1031-1053 23 p. |
artikel |
|
| 35 | Well-founded semantics for Boolean grammars |
Kountouriotis, Vassilis |
2009 |
220-221 | 9 |
p. 945-967 23 p. |
artikel |
35 gevonden resultaten