| Publication | Date of Publication | Type |
|---|
Locally computable enumerations
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Towards partial order reductions for strategic ability
Journal of Artificial Intelligence Research | 2020-09-14 | Paper |
Distributed enumeration
Information Processing Letters | 2016-05-26 | Paper |
Petri net languages revisited
Theoretical Computer Science | 2012-05-30 | Paper |
Local computations on triangular graphs
Fundamenta Informaticae | 2011-01-03 | Paper |
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Token-Free Petri Nets
Pillars of Computer Science | 2008-03-25 | Paper |
| Local properties of triangular graphs | 2007-10-17 | Paper |
| scientific article; zbMATH DE number 5201482 (Why is no real title available?) | 2007-10-17 | Paper |
| Locally derivable graphs | 2007-02-26 | Paper |
| scientific article; zbMATH DE number 2182498 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2104616 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2087367 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1059318 (Why is no real title available?) | 1998-03-16 | Paper |
Distributed disassembly of mosaics
Information Processing Letters | 1993-10-17 | Paper |
| scientific article; zbMATH DE number 17833 (Why is no real title available?) | 1992-06-26 | Paper |
Connectedness and synchronization
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4119618 (Why is no real title available?) | 1989-01-01 | Paper |
Concurrent systems and inevitability
Theoretical Computer Science | 1989-01-01 | Paper |
Solvability of the asynchronous ranking problem
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4108166 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4080929 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4030996 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3921989 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3924146 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3514949 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3478403 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3430132 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3431756 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3490448 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3410619 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3402092 (Why is no real title available?) | 1972-01-01 | Paper |
Proving algorithms by tail functions
Information and Control | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3372478 (Why is no real title available?) | 1970-01-01 | Paper |
A note on enumerable grammars
Information and Control | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3294586 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3286036 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3216696 (Why is no real title available?) | 1962-01-01 | Paper |
