| Publication | Date of Publication | Type |
|---|
On behavioural abstraction and behavioural satisfaction in higher-order logic
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Logic representation in LF
Category Theory and Computer Science | 2022-08-16 | Paper |
Introduction to computation. Haskell, logic and automata
Undergraduate Topics in Computer Science | 2021-07-23 | Paper |
Toward formal development of programs from algebraic specifications: model-theoretic foundations
Automata, Languages and Programming | 2019-12-04 | Paper |
| On normal forms for structured specifications with generating constraints | 2018-04-04 | Paper |
Property-oriented semantics of structured specifications
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Modularity of ontologies in an arbitrary institution
Lecture Notes in Computer Science | 2015-09-14 | Paper |
The foundational legacy of ASL
Software, Services, and Systems | 2015-06-22 | Paper |
Parchments for CafeOBJ logics
Specification, Algebra, and Software | 2014-03-25 | Paper |
Foundations of algebraic specification and formal software development.
Monographs in Theoretical Computer Science. An EATCS Series | 2010-12-08 | Paper |
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Observational interpretation of Casl specifications
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Horizontal Composability Revisited
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
| scientific article; zbMATH DE number 2172806 (Why is no real title available?) | 2006-06-02 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2079679 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1424059 (Why is no real title available?) | 2003-08-25 | Paper |
| scientific article; zbMATH DE number 1929923 (Why is no real title available?) | 2003-06-18 | Paper |
| scientific article; zbMATH DE number 1929964 (Why is no real title available?) | 2003-06-18 | Paper |
CASL: the Common Algebraic Specification Language.
Theoretical Computer Science | 2003-01-21 | Paper |
Prelogical relations
Information and Computation | 2003-01-14 | Paper |
Architectural specifications in CASL
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1368954 (Why is no real title available?) | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1670816 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1630100 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1615248 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1512616 (Why is no real title available?) | 2001-01-17 | Paper |
| scientific article; zbMATH DE number 1368948 (Why is no real title available?) | 1999-11-24 | Paper |
The definition of Extended ML: A gentle introduction
Theoretical Computer Science | 1998-07-22 | Paper |
Essential concepts of algebraic specification and program development
Formal Aspects of Computing | 1998-02-04 | Paper |
On behavioural abstraction and behavioural satisfaction in higher-order logic
Theoretical Computer Science | 1997-02-27 | Paper |
Structured theory presentations and logic representations
Annals of Pure and Applied Logic | 1995-03-29 | Paper |
| scientific article; zbMATH DE number 683361 (Why is no real title available?) | 1994-11-29 | Paper |
Toward formal development of programs from algebraic specifications: Parameterisation revisited
Acta Informatica | 1994-07-04 | Paper |
A calculus for the construction of modular prolog programs
The Journal of Logic Programming | 1992-08-13 | Paper |
| scientific article; zbMATH DE number 4766 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4180831 (Why is no real title available?) | 1989-01-01 | Paper |
Toward formal development of programs from algebraic specifications: Implementations revisited
Acta Informatica | 1988-01-01 | Paper |
Specifications in an arbitrary institution
Information and Computation | 1988-01-01 | Paper |
On observational equivalence and algebraic specification
Journal of Computer and System Sciences | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995031 (Why is no real title available?) | 1987-01-01 | Paper |
Completeness of Proof Systems for Equational Specifications
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3898213 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936493 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3880083 (Why is no real title available?) | 1984-01-01 | Paper |
A set-theoretic semantics for Clear
Acta Informatica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3837407 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819086 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3774870 (Why is no real title available?) | 1982-01-01 | Paper |
