| Publication | Date of Publication | Type |
|---|
| A Framework for Defining and Comparing Modelling Methods | 2015-06-22 | Paper |
| Modeling Business within a UML-Based Rigorous Software Development Approach | 2008-06-19 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043828 | 2004-08-06 | Paper |
| CASL: the Common Algebraic Specification Language. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767181 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764158 | 2002-01-22 | Paper |
| Labelled transition logic: An outline | 2001-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702603 | 2001-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736339 | 2001-08-29 | Paper |
| Formalism and method | 2000-06-04 | Paper |
| Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages | 1999-11-01 | Paper |
| Free objects and equational deduction for partial conditional specifications | 1997-02-28 | Paper |
| Non-strict don't care algebras and specifications | 1996-09-12 | Paper |
| A free construction of dynamic terms | 1996-07-16 | Paper |
| D-oids: a model for dynamic data-types | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312481 | 1995-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035228 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018062 | 1993-01-16 | Paper |
| Observational structures and their logic | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829081 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203802 | 1988-01-01 | Paper |
| Direct semantics of concurrent languages in the SMoLCS approach | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030245 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721640 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753466 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742700 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777428 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677154 | 1985-01-01 | Paper |
| Distributive semantics for nondeterministic typed \(\lambda\)-calculi | 1984-01-01 | Paper |
| Parametric channels via label expressions in CCS | 1984-01-01 | Paper |
| The insensitivity theorem for nonreducing reflexive types | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316569 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3319765 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969858 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954807 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912004 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912568 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888521 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206309 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139647 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775796 | 1973-01-01 | Paper |
| Bayesian recognition improved by automatic associations of variables | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5542966 | 1968-01-01 | Paper |
