| Publication | Date of Publication | Type |
|---|
| Locally computable enumerations | 2022-12-09 | Paper |
| Towards Partial Order Reductions for Strategic Ability | 2020-09-14 | Paper |
| Distributed enumeration | 2016-05-26 | Paper |
| Petri net languages revisited | 2012-05-30 | Paper |
| Local Computations on Triangular Graphs | 2011-01-03 | Paper |
| Labelled (Hyper)Graphs, Negotiations and the Naming Problem | 2008-11-20 | Paper |
| Token-Free Petri Nets | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422275 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422292 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425585 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681374 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818726 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738140 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353625 | 1998-03-16 | Paper |
| Distributed disassembly of mosaics | 1993-10-17 | Paper |
| Connectedness and synchronization | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975177 | 1992-06-26 | Paper |
| Concurrent systems and inevitability | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733400 | 1989-01-01 | Paper |
| Solvability of the asynchronous ranking problem | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811722 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832059 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3771629 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696528 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698316 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094357 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061970 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180858 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183072 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4072828 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5667996 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674989 | 1972-01-01 | Paper |
| Proving algorithms by tail functions | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5644317 | 1970-01-01 | Paper |
| A note on enumerable grammars | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577090 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569454 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343822 | 1962-01-01 | Paper |
