| Publication | Date of Publication | Type |
|---|
| Interpolation is (not always) easy to spoil | 2024-11-26 | Paper |
| Behavioural satisfaction and equivalence in concrete model categories | 2023-02-23 | Paper |
| Logic representation in LF | 2022-08-16 | Paper |
| Toward formal development of programs from algebraic specifications: Model-theoretic foundations | 2019-12-04 | Paper |
| On normal forms for structured specifications with generating constraints | 2018-04-04 | Paper |
| Obituary: Władysław Marek Turski (1938--2013) | 2016-08-05 | Paper |
| Property-oriented semantics of structured specifications | 2016-07-26 | Paper |
| Modularity of Ontologies in an Arbitrary Institution | 2015-09-14 | Paper |
| The Foundational Legacy of ASL | 2015-06-22 | Paper |
| The institution-theoretic scope of logic theorems | 2015-02-05 | Paper |
| Book review of: Răzvan Diaconescu, Institution-independent model theory | 2014-06-19 | Paper |
| Obituary: Władysław Marek Turski (1938--2013) | 2014-04-30 | Paper |
| A Relatively Complete Calculus for Structured Heterogeneous Specifications | 2014-04-16 | Paper |
| Parchments for CafeOBJ Logics | 2014-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904107 | 2013-01-28 | Paper |
| What is a logic translation? | 2013-01-25 | Paper |
| Foundations of algebraic specification and formal software development. | 2010-12-08 | Paper |
| Heterogeneous Logical Environments for Distributed Specifications | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520841 | 2008-08-26 | Paper |
| A Heterogeneous Approach to UML Semantics | 2008-06-19 | Paper |
| Observability Concepts in Abstract Data Type Specification, 30 Years Later | 2008-06-19 | Paper |
| Observational interpretation of Casl specifications | 2008-04-10 | Paper |
| Horizontal Composability Revisited | 2007-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680193 | 2006-06-02 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311059 | 2005-08-22 | Paper |
| Amalgamation in the semantics of CASL | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708555 | 2003-06-18 | Paper |
| CASL: the Common Algebraic Specification Language. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779164 | 2002-11-25 | Paper |
| Architectural specifications in CASL | 2002-09-25 | Paper |
| Towards heterogeneous specifications | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535078 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
| First-order specifications of programmable data types | 2001-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508300 | 2001-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702592 | 1999-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702594 | 1999-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839061 | 1999-03-02 | Paper |
| The definition of Extended ML: A gentle introduction | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362967 | 1998-02-17 | Paper |
| Essential concepts of algebraic specification and program development | 1998-02-04 | Paper |
| Structured theory presentations and logic representations | 1995-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312482 | 1994-11-29 | Paper |
| Toward formal development of programs from algebraic specifications: Parameterisation revisited | 1994-07-04 | Paper |
| Some fundamental algebraic tools for the semantics of computation. III: Indexed categories | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3977997 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712650 | 1992-06-25 | Paper |
| On conservative extensions of syntax in system development | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204067 | 1989-01-01 | Paper |
| Existence, Uniqueness, and Construction of Rewrite Systems | 1988-01-01 | Paper |
| Toward formal development of programs from algebraic specifications: Implementations revisited | 1988-01-01 | Paper |
| Specifications in an arbitrary institution | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789048 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809236 | 1988-01-01 | Paper |
| On observational equivalence and algebraic specification | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721633 | 1987-01-01 | Paper |
| Quasi-varieties in abstract algebraic institutions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776610 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725720 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026326 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677153 | 1985-01-01 | Paper |
| A language of specified programs | 1985-01-01 | Paper |
| On the existence of free models in abstract algebraic institutions | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687694 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707381 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345753 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660892 | 1983-01-01 | Paper |
