| Publication | Date of Publication | Type |
|---|
| Behavioural satisfaction and equivalence in concrete model categories | 2023-02-23 | Paper |
| A general framework for modular implementations of modular system specifications | 2022-11-02 | Paper |
| Proving the correctness of behavioural implementations | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600773 | 2018-01-12 | Paper |
| A Modal Interface Theory with Data Constraints | 2011-05-12 | Paper |
| An Algebraic Semantics for Contract-Based Software Components | 2009-01-27 | Paper |
| Observational interpretation of Casl specifications | 2008-04-10 | Paper |
| Proving Behavioral Refinements of COL-specifications | 2007-09-07 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Constructor-based observational logic | 2006-04-28 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738215 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736406 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471712 | 2004-07-30 | Paper |
| CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. | 2004-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708555 | 2003-06-18 | Paper |
| Observational logic, constructor-based logic, and their duality. | 2003-05-25 | Paper |
| CASL: the Common Algebraic Specification Language. | 2003-01-21 | Paper |
| Architectural specifications in CASL | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537506 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771053 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702601 | 2000-11-13 | Paper |
| Modular correctness proofs of behavioural implementations | 1999-03-29 | Paper |
| Proof systems for structured specifications with observability operators | 1998-07-22 | Paper |
| Observational specifications and the indistinguishability assumption | 1997-02-28 | Paper |
| Behavioural theories and the proof of behavioural properties | 1997-02-27 | Paper |
| Behavioural and abstractor specifications | 1997-01-02 | Paper |
| Behavioural approaches to algebraic specifications. A comparative study | 1994-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028351 | 1993-03-28 | Paper |
| How to make algebraic specifications more understandable: An experiment with the PLUSS specification language | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809232 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819976 | 1988-01-01 | Paper |
| Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709866 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713576 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707397 | 1985-01-01 | Paper |
| Exception Handling: Formal Specification and Systematic Program Construction | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216121 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339264 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673105 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660897 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743730 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893264 | 1980-01-01 | Paper |
