| Publication | Date of Publication | Type |
|---|
| Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,† | 2020-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4978133 | 2017-08-17 | Paper |
| A Quest for Kleene Algebra in 2 Dimensions | 2016-01-08 | Paper |
| A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming | 2015-09-30 | Paper |
| Refinement of Structured Interactive Systems | 2015-01-13 | Paper |
| Towards a Formal Representation of Interactive Systems | 2014-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902258 | 2013-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902292 | 2013-01-14 | Paper |
| P systems with control nuclei: the concept | 2010-08-24 | Paper |
| Defining and Executing P Systems with Structured Data in K | 2009-07-28 | Paper |
| On Compiling Structured Interactive Programs with Registers and Voices | 2008-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409999 | 2006-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415081 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550552 | 2002-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737570 | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4492940 | 2000-07-30 | Paper |
| Reaction and control I. Mixing additive and multiplicative network algebras | 1998-07-27 | Paper |
| Network algebra for asynchronous dataflow∗ | 1998-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348001 | 1997-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890705 | 1996-08-25 | Paper |
| Notes on equational theories of relations | 1995-02-22 | Paper |
| Bisimulation is two-way simulation | 1995-02-09 | Paper |
| Classes of finite relations as initial abstract data types. II | 1994-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284236 | 1994-03-24 | Paper |
| A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization | 1992-09-27 | Paper |
| Classes of finite relations as initial abstract data types. I | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3350764 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3485876 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5751953 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4734754 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826107 | 1988-01-01 | Paper |
| On flowchart theories. I. The deterministic case | 1987-01-01 | Paper |
| On flowchart theories. II: The nondeterministic case | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787988 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725522 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969105 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749885 | 1982-01-01 | Paper |
