| Publication | Date of Publication | Type |
|---|
| On behavioural abstraction and behavioural satisfaction in higher-order logic | 2022-08-18 | Paper |
| Logic representation in LF | 2022-08-16 | Paper |
| Introduction to Computation | 2021-07-23 | 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 |
| 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 |
| Parchments for CafeOBJ Logics | 2014-03-25 | Paper |
| Foundations of algebraic specification and formal software development. | 2010-12-08 | Paper |
| Observability Concepts in Abstract Data Type Specification, 30 Years Later | 2008-06-19 | Paper |
| Observational interpretation of Casl specifications | 2008-04-10 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | 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/Q4471726 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945250 | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708555 | 2003-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708599 | 2003-06-18 | Paper |
| CASL: the Common Algebraic Specification Language. | 2003-01-21 | Paper |
| Prelogical relations | 2003-01-14 | Paper |
| Architectural specifications in CASL | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702598 | 2002-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754136 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729903 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723910 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508300 | 2001-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702592 | 1999-11-24 | Paper |
| The definition of Extended ML: A gentle introduction | 1998-07-22 | Paper |
| Essential concepts of algebraic specification and program development | 1998-02-04 | Paper |
| On behavioural abstraction and behavioural satisfaction in higher-order logic | 1997-02-27 | 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 |
| A calculus for the construction of modular prolog programs | 1992-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712650 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204067 | 1989-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 |
| On observational equivalence and algebraic specification | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721633 | 1987-01-01 | Paper |
| Completeness of Proof Systems for Equational Specifications | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677153 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707381 | 1985-01-01 | Paper |
| A set-theoretic semantics for Clear | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345753 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3042444 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666260 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954805 | 1982-01-01 | Paper |
