| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Acknowledgement to Referees
|
|
|
2007
|
|
7-8 |
p. 625
|
artikel
|
| 2 |
A comprehensive database schema integration method based on the theory of formal concepts
|
Schmitt, Ingo
|
|
2005
|
|
7-8 |
p. 475-524
|
artikel
|
| 3 |
A note on prefix primitive words
|
Fan, Chen-Ming
|
|
2010
|
|
7-8 |
p. 413-423
|
artikel
|
| 4 |
A note on the factorization conjecture
|
De Felice, Clelia
|
|
2013
|
|
7-8 |
p. 381-402
|
artikel
|
| 5 |
A theoretical comparison of LRU and LRU-K
|
Boyar, Joan
|
|
2010
|
|
7-8 |
p. 359-374
|
artikel
|
| 6 |
A type safe state abstraction for coordination in Java-like languages
|
Damiani, Ferruccio
|
|
2008
|
|
7-8 |
p. 479-536
|
artikel
|
| 7 |
Charting the completeness frontier of inference systems for multivalued dependencies
|
Link, Sebastian
|
|
2008
|
|
7-8 |
p. 565-591
|
artikel
|
| 8 |
Compiling quantum programs
|
Zuliani, Paolo
|
|
2005
|
|
7-8 |
p. 435-474
|
artikel
|
| 9 |
Correct hardware synthesis
|
Perna, Juan
|
|
2011
|
|
7-8 |
p. 363-396
|
artikel
|
| 10 |
Deterministic ordered restarting automata for picture languages
|
Otto, Friedrich
|
|
2015
|
|
7-8 |
p. 593-623
|
artikel
|
| 11 |
Disjunctive languages related to $$p$$-primitive words
|
Chunhua, Cao
|
|
2012
|
|
7-8 |
p. 437-444
|
artikel
|
| 12 |
Distinguishing and relating higher-order and first-order processes by expressiveness
|
Xu, Xian
|
|
2012
|
|
7-8 |
p. 445-484
|
artikel
|
| 13 |
Distributive laws for monotone specifications
|
Rot, Jurriaan
|
|
2019
|
|
7-8 |
p. 585-617
|
artikel
|
| 14 |
Does indirect addressing matter?
|
Brand, Michael
|
|
2012
|
|
7-8 |
p. 485-491
|
artikel
|
| 15 |
Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy
|
Epstein, Leah
|
|
2010
|
|
7-8 |
p. 375-389
|
artikel
|
| 16 |
Gray code orders for $$q$$q-ary words avoiding a given factor
|
Bernini, A.
|
|
2015
|
|
7-8 |
p. 573-592
|
artikel
|
| 17 |
Judgmental subtyping systems with intersection types and modal types
|
Seo, Jeongbong
|
|
2013
|
|
7-8 |
p. 359-380
|
artikel
|
| 18 |
M-nets: a survey
|
Klaudel, Hanna
|
|
|
|
7-8 |
p. 537-564
|
artikel
|
| 19 |
M-nets: a survey
|
Klaudel, Hanna
|
|
2008
|
|
7-8 |
p. 537-564
|
artikel
|
| 20 |
On α2 − ν2-products of automata
|
Dömösi, Pál
|
|
2011
|
|
7-8 |
p. 397-408
|
artikel
|
| 21 |
On stateless deterministic restarting automata
|
Kutrib, Martin
|
|
2010
|
|
7-8 |
p. 391-412
|
artikel
|
| 22 |
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information
|
Jiang, Yiwei
|
|
2007
|
|
7-8 |
p. 571-590
|
artikel
|
| 23 |
Petri nets with name creation for transient secure association
|
Rosa-Velardo, Fernando
|
|
2013
|
|
7-8 |
p. 403-436
|
artikel
|
| 24 |
Recursive Petri nets
|
Haddad, Serge
|
|
2007
|
|
7-8 |
p. 463-508
|
artikel
|
| 25 |
Regular autodense languages
|
Fan, Chen-Ming
|
|
2008
|
|
7-8 |
p. 467-477
|
artikel
|
| 26 |
Reversible sessions with flexible choices
|
Castellani, Ilaria
|
|
2019
|
|
7-8 |
p. 553-583
|
artikel
|
| 27 |
Scattered context grammars that erase nonterminals in a generalized k-limited way
|
Meduna, Alexander
|
|
2008
|
|
7-8 |
p. 593-608
|
artikel
|
| 28 |
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
|
Aman, Bogdan
|
|
2011
|
|
7-8 |
p. 409-415
|
artikel
|
| 29 |
Solving #SAT using vertex covers
|
Nishimura, Naomi
|
|
2007
|
|
7-8 |
p. 509-523
|
artikel
|
| 30 |
Synchronous cooperation for explicit multi-threading
|
Bergstra, J. A.
|
|
2007
|
|
7-8 |
p. 525-569
|
artikel
|
| 31 |
The complexity of satisfying constraints on databases of transactions
|
Calders, Toon
|
|
2007
|
|
7-8 |
p. 591-624
|
artikel
|
| 32 |
The query complexity of estimating weighted averages
|
Chakrabarti, Amit
|
|
2011
|
|
7-8 |
p. 417-426
|
artikel
|
| 33 |
The stuttering principle revisited
|
Kučera, Antonín
|
|
2005
|
|
7-8 |
p. 415-434
|
artikel
|
| 34 |
The weakest specifunction
|
Chen, Yifeng
|
|
2005
|
|
7-8 |
p. 383-414
|
artikel
|
| 35 |
Two-way pebble transducers for partial functions and their composition
|
Engelfriet, Joost
|
|
2015
|
|
7-8 |
p. 559-571
|
artikel
|
| 36 |
Using contracted solution graphs for solving reconfiguration problems
|
Bonsma, Paul
|
|
2019
|
|
7-8 |
p. 619-648
|
artikel
|
Tijdschrift beschrijving