| Publication | Date of Publication | Type |
|---|
| Algebraic characterization of petri net pomset semantics | 2023-05-17 | Paper |
| Aspekte des Unendlichen | 2019-09-05 | Paper |
| Vanishing Point Detection with an Intersection Point Neighborhood | 2009-12-01 | Paper |
| Some Examples of Semi-rational DAG Languages | 2009-03-26 | Paper |
| Theoretical computer science. Petri nets. | 2008-05-22 | Paper |
| Petri-Netze | 2008-01-03 | Paper |
| Finite Automata on Unranked and Unordered DAGs | 2007-11-28 | Paper |
| Developments in Language Theory | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448125 | 2004-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431352 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4410233 | 2003-07-02 | Paper |
| Theoretical informatics. An extensive introduction | 2002-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955544 | 2000-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939206 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268474 | 1999-10-28 | Paper |
| A uniform approach to true-concurrency and interleaving semantics for Petri nets | 1999-01-12 | Paper |
| Abstract fairness and semantics | 1998-07-23 | Paper |
| Fairness, distances and degrees | 1992-09-27 | Paper |
| Strong fairness and ultra metrics | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750406 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823122 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815532 | 1988-01-01 | Paper |
| On the minimal number of \(\times\) operators to model regularity in fair SCCS | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753477 | 1987-01-01 | Paper |
| An introduction to the regular theory of fairness | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3763575 | 1987-01-01 | Paper |
| On a fast decomposition method in some models of concurrent computations | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340169 | 1984-01-01 | Paper |
| Automata and concurrency | 1983-01-01 | Paper |
| Petri net implementations by a universal cell space | 1982-01-01 | Paper |
| Modular implementation of concurrency | 1982-01-01 | Paper |
| Universal asynchronous iterative arrays of Mealy automata | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906427 | 1980-01-01 | Paper |
| Towards a Precise Characterization of the Complexity of Universal and Nonuniversal Turing Machines | 1979-01-01 | Paper |
| Über ein 2‐Dimensionales Thue‐System mit Zwei Regeln und Unentscheidbarem Wortproblem | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190144 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196294 | 1978-01-01 | Paper |
| A note on asynchronous cellular automata | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206324 | 1978-01-01 | Paper |
| On the Minimal Complexity of Component-Machines for Self-Correcting Networks | 1976-01-01 | Paper |
| Reversible Automaten und Einfache Universelle 2‐Dimensionale Thue‐Systeme | 1976-01-01 | Paper |
| ON A SIMPLE COMBINATORIAL STRUCTURE SUFFICIENT FOR SYBLYING NONTRIVIAL SELF-REPRODUCTION | 1976-01-01 | Paper |
| A Combinatorial Approach to Self-Correction | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658084 | 1971-01-01 | Paper |
