| Publication | Date of Publication | Type |
|---|
| Modal epistemic logic on contracts: a doctrinal approach | 2024-02-23 | Paper |
| On continuous time agents | 2023-08-16 | Paper |
| A completeness theorem for nondeterministic Kleene algebras | 2022-08-18 | Paper |
| Transactions and contracts based on reaction systems | 2021-08-11 | Paper |
| A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting | 2021-03-09 | Paper |
| Reaction systems with influence on environment | 2020-02-24 | Paper |
| Networks of Reaction Systems | 2020-02-21 | Paper |
| Networks of picture processors as problem solvers | 2018-04-26 | Paper |
| A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes | 2018-03-09 | Paper |
| Initial Algebra for a System of Right-Linear Functors | 2017-08-25 | Paper |
| Prefix-suffix square reduction | 2017-06-15 | Paper |
| Networks of polarized multiset processors | 2016-12-28 | Paper |
| Accepting Networks of Evolutionary Picture Processors | 2014-05-12 | Paper |
| Context Insertions | 2011-06-24 | Paper |
| Complexity-preserving simulations among three variants of accepting networks of evolutionary processors | 2011-05-23 | Paper |
| Generalising Conduché's theorem | 2011-03-30 | Paper |
| Tree-functors, determinacy and bisimulations | 2010-06-02 | Paper |
| Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof | 2010-01-07 | Paper |
| Conduché property and tree-based categories | 2009-11-25 | Paper |
| Networks of Evolutionary Picture Processors with Filtered Connections | 2009-10-22 | Paper |
| Superposition based on Watson-Crick-like complementarity | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738302 | 2004-08-11 | Paper |
| A Fully Equational Proof of Parikh's Theorem | 2004-07-22 | Paper |
| Nondeterministic regular expressions as solutions of equational systems. | 2003-08-17 | Paper |
| An Equational Axiomatization of Bisimulation over Regular Expressions | 2003-06-16 | Paper |
| Categories enriched on two sides | 2003-06-15 | Paper |
| Categories with sums and right distributive tensor product | 2003-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2784335 | 2002-04-23 | Paper |
| Iteration 2-theories | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511158 | 2001-08-05 | Paper |
| A Finite Axiomatization of Nondeterministic Regular Expressions | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501684 | 2000-09-04 | Paper |
| Observational trees as models for concurrency | 2000-03-23 | Paper |
| Models of nondeterministic regular expressions | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221610 | 1999-04-11 | Paper |
| Equational properties of iteration in algebraically complete categories | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375811 | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373552 | 1998-02-16 | Paper |
| Process synchronisation as fusion | 1996-12-16 | Paper |
| Enriched categorical semantics for distributed calculi | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796730 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3769951 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777427 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780423 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819987 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736896 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728237 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707415 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914989 | 1980-01-01 | Paper |
| Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148827 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4095022 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122059 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650841 | 1972-01-01 | Paper |
