| Publication | Date of Publication | Type |
|---|
| Unified Algebras and action semantics | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964002 | 2021-02-24 | Paper |
| Executable component-based semantics | 2019-03-27 | Paper |
| R n - and G n -logics | 2019-01-11 | Paper |
| CoFI with Don Sannella | 2018-07-26 | Paper |
| Flag-based big-step semantics | 2017-03-20 | Paper |
| Implicit Propagation in Structural Operational Semantics | 2016-06-03 | Paper |
| Generating Specialized Interpreters for Modular Structural Operational Semantics | 2015-11-30 | Paper |
| Weak Bisimulation as a Congruence in MSOS | 2015-09-14 | Paper |
| Deriving Pretty-Big-Step Semantics from Small-Step Semantics | 2014-04-16 | Paper |
| Modular Semantics for Transition System Specifications with Negative Premises | 2013-08-12 | Paper |
| Modular Bisimulation Theory for Computations and Values | 2013-03-18 | Paper |
| VDM semantics of programming languages: Combinators and monads | 2011-05-27 | Paper |
| Pragmatics of Modular SOS | 2011-05-06 | Paper |
| Mapping Modular SOS to Rewriting Logic | 2011-03-04 | Paper |
| Programming Language Description Languages | 2010-04-23 | Paper |
| VDM Semantics of Programming Languages: Combinators and Monads | 2008-09-25 | Paper |
| Constructive Action Semantics in OBJ | 2007-09-07 | Paper |
| An action environment | 2006-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818727 | 2004-10-01 | Paper |
| Modular structural operational semantics | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043821 | 2004-08-06 | 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 |
| Composing programming languages by combining action-semantics modules. | 2003-05-14 | Paper |
| CASL: the Common Algebraic Specification Language. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536458 | 2002-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767190 | 2002-01-28 | Paper |
| Algebraic Specifications, Higher-order Types and Set-theoretic Models | 2001-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945216 | 2001-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790386 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942093 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941890 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223005 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385537 | 1998-05-14 | Paper |
| Rewriting extended regular expressions | 1997-02-28 | Paper |
| Valentin Antimirov (1961--1995) | 1997-02-27 | Paper |
| Action Semantics | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204056 | 1989-01-01 | Paper |
| On Proving Limiting Completeness | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3332227 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659173 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920614 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105769 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066567 | 1975-01-01 | Paper |
