| Publication | Date of Publication | Type |
|---|
| Equations for if-then-else | 2023-08-16 | Paper |
| Taut monads and \(T0\)-spaces. | 2003-05-14 | Paper |
| An Optimization Problem Involving Binomial Coefficients | 2002-11-10 | Paper |
| Iteration 2-theories | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373552 | 1998-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284258 | 1994-07-07 | Paper |
| Predicate Transformer Semantics | 1993-09-23 | Paper |
| A Cayley Theorem for Boolean Algebras | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735051 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746912 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783508 | 1986-01-01 | Paper |
| Guard modules | 1985-01-01 | Paper |
| Port automata and the algebra of concurrent porcesses | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317275 | 1983-01-01 | Paper |
| A class of fuzzy theories | 1982-01-01 | Paper |
| The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions | 1982-01-01 | Paper |
| Parametrized data types do not need highly constrained parameters | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954803 | 1981-01-01 | Paper |
| Machines in a category | 1980-01-01 | Paper |
| Partially additive categories and flow-diagram semantics | 1980-01-01 | Paper |
| Foundations of system theory: The Hankel matrix | 1980-01-01 | Paper |
| Generalized Hankel Matrices and System Realization | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885170 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049836 | 1979-01-01 | Paper |
| Intertwined recursion, tree transformations and linear systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745685 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048261 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138874 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145865 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4123496 | 1976-01-01 | Paper |
| Foundations of system theory: Finitary and infinitary conditions | 1976-01-01 | Paper |
| Foundations of system theory: Multidecomposable systems | 1976-01-01 | Paper |
| Adjoint machines, state-behavior machines, and duality | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152697 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063607 | 1975-01-01 | Paper |
| Fuzzy machines in a category | 1975-01-01 | Paper |
| A category-theoretic approach to systems in a fuzzy world | 1975-01-01 | Paper |
| Extensions of Semilattices | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063606 | 1975-01-01 | Paper |
| Time-Varying Systems | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063608 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063074 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063609 | 1975-01-01 | Paper |
| Foundations of system theory: Decomposable systems | 1974-01-01 | Paper |
| Machines in a Category: An Expository Introduction | 1974-01-01 | Paper |
| On modules over a semiring | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579534 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622914 | 1969-01-01 | Paper |
