| Publication | Date of Publication | Type |
|---|
A Framework for Defining and Comparing Modelling Methods
Software, Services, and Systems | 2015-06-22 | Paper |
Modeling Business within a UML-Based Rigorous Software Development Approach
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2084345 (Why is no real title available?) | 2004-08-06 | Paper |
CASL: the Common Algebraic Specification Language.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1696895 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693554 (Why is no real title available?) | 2002-01-22 | Paper |
Labelled transition logic: An outline
Acta Informatica | 2001-12-13 | Paper |
| scientific article; zbMATH DE number 1368959 (Why is no real title available?) | 2001-11-22 | Paper |
| scientific article; zbMATH DE number 1638643 (Why is no real title available?) | 2001-08-29 | Paper |
Formalism and method
Theoretical Computer Science | 2000-06-04 | Paper |
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages
Science of Computer Programming | 1999-11-01 | Paper |
Free objects and equational deduction for partial conditional specifications
Theoretical Computer Science | 1997-02-28 | Paper |
Non-strict don't care algebras and specifications
Mathematical Structures in Computer Science | 1996-09-12 | Paper |
A free construction of dynamic terms
Journal of Computer and System Sciences | 1996-07-16 | Paper |
D-oids: a model for dynamic data-types
Mathematical Structures in Computer Science | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 683360 (Why is no real title available?) | 1995-05-14 | Paper |
| scientific article; zbMATH DE number 176127 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 92597 (Why is no real title available?) | 1993-01-16 | Paper |
Observational structures and their logic
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4104403 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4123275 (Why is no real title available?) | 1988-01-01 | Paper |
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4018376 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995042 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3990839 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3978364 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4039256 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898214 (Why is no real title available?) | 1985-01-01 | Paper |
Distributive semantics for nondeterministic typed \(\lambda\)-calculi
Theoretical Computer Science | 1984-01-01 | Paper |
Parametric channels via label expressions in CCS
Theoretical Computer Science | 1984-01-01 | Paper |
The insensitivity theorem for nonreducing reflexive types
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3846850 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3850462 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3793396 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3774872 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3723839 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3724430 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3694576 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3648114 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3567994 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3451769 (Why is no real title available?) | 1973-01-01 | Paper |
Bayesian recognition improved by automatic associations of variables
Applicable Analysis | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3256733 (Why is no real title available?) | 1968-01-01 | Paper |
