| Publication | Date of Publication | Type |
|---|
| Compiling concurrent rewriting onto the Rewrite Rule Machine | 2023-03-09 | Paper |
| Proving and rewriting | 2022-08-16 | Paper |
| An introduction to category-based equational logic | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416166 | 2014-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012523 | 2011-07-06 | Paper |
| Composing Hidden Information Modules over Inclusive Institutions | 2011-04-01 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520841 | 2008-08-26 | Paper |
| Data, Schema, Ontology and Logic Integration | 2006-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5717107 | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311059 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431383 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430286 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411751 | 2003-07-09 | Paper |
| A hidden Herbrand theorem: Combining the object and logic paradigms | 2003-02-13 | Paper |
| Institution morphisms | 2002-09-25 | Paper |
| Web-based support for cooperative software engineering | 2002-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503915 | 2001-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503945 | 2001-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703688 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499214 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520823 | 2001-02-27 | Paper |
| A hidden agenda | 2000-08-21 | Paper |
| An Oxford survey of order sorted algebra | 2000-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942101 | 2000-04-02 | Paper |
| Hidden coinduction: behavioural correctness proofs for objects | 2000-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217944 | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263943 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421560 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493908 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4346205 | 1997-08-03 | Paper |
| Institutions: abstract model theory for specification and programming | 1994-11-13 | Paper |
| Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028134 | 1993-03-28 | Paper |
| Final algebras, cosemicomputable algebras and degrees of unsolvability | 1993-01-17 | Paper |
| Sheaf semantics for concurrent interacting objects | 1993-01-16 | Paper |
| Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations | 1992-12-16 | Paper |
| Some fundamental algebraic tools for the semantics of computation. III: Indexed categories | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975038 | 1992-06-26 | Paper |
| A categorical manifesto | 1992-06-25 | Paper |
| Order-sorted unification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3493234 | 1989-01-01 | Paper |
| Modular algebraic specification of some basic geometrical constructions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817573 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030249 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780425 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780426 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745248 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723263 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687683 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719824 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737481 | 1985-01-01 | Paper |
| Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories | 1984-01-01 | Paper |
| Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3332238 | 1984-01-01 | Paper |
| Parameterized Programming | 1984-01-01 | Paper |
| Equality, types, modules, and (why not?) generics for logic programming | 1984-01-01 | Paper |
| Correctness of recursive parallel nondeterministic flow programs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667921 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956373 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962973 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920616 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3935456 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880309 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906394 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906381 | 1979-01-01 | Paper |
| SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151143 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4181673 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198543 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125728 | 1977-01-01 | Paper |
| Initial Algebra Semantics and Continuous Algebras | 1977-01-01 | Paper |
| Parallel realization of systems, using factorizations and quotients in categories | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134935 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168048 | 1976-01-01 | Paper |
| Discrete-time machines in closed monoidal categories. I | 1975-01-01 | Paper |
| Semantics of computation | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063610 | 1975-01-01 | Paper |
| Axioms for discrimination information (Corresp.) | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109324 | 1975-01-01 | Paper |
| On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs | 1974-01-01 | Paper |
| Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4096776 | 1974-01-01 | Paper |
| OBJECTS | 1974-01-01 | Paper |
| The fuzzy Tychonoff theorem | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136510 | 1973-01-01 | Paper |
| Realization is universal | 1973-01-01 | Paper |
| Minimal realization of machines in closed categories | 1972-01-01 | Paper |
| The logic of inexact concepts | 1969-01-01 | Paper |
| Categories of $V$-sets | 1969-01-01 | Paper |
| L-fuzzy sets | 1967-01-01 | Paper |
