| Publication | Date of Publication | Type |
|---|
| Interpolation is (not always) easy to spoil | 2024-11-26 | Paper |
Behavioural satisfaction and equivalence in concrete model categories
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Logic representation in LF
Category Theory and Computer Science | 2022-08-16 | 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 |
Obituary: Władysław Marek Turski (1938--2013)
Formal Aspects of Computing | 2016-08-05 | 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 |
The institution-theoretic scope of logic theorems
Logica Universalis | 2015-02-05 | Paper |
Book review of: Răzvan Diaconescu, Institution-independent model theory
Studia Logica | 2014-06-19 | Paper |
Obituary: Władysław Marek Turski (1938--2013)
Information Processing Letters | 2014-04-30 | Paper |
A relatively complete calculus for structured heterogeneous specifications
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Parchments for CafeOBJ logics
Specification, Algebra, and Software | 2014-03-25 | Paper |
| Some nuances of many-sorted universal algebra: a review | 2013-01-28 | Paper |
What is a logic translation?
Logica Universalis | 2013-01-25 | Paper |
Foundations of algebraic specification and formal software development.
Monographs in Theoretical Computer Science. An EATCS Series | 2010-12-08 | Paper |
Heterogeneous Logical Environments for Distributed Specifications
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5316606 (Why is no real title available?) | 2008-08-26 | Paper |
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models | 2008-06-19 | 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 |
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 2196612 (Why is no real title available?) | 2005-08-22 | Paper |
Amalgamation in the semantics of CASL
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 1929923 (Why is no real title available?) | 2003-06-18 | Paper |
CASL: the Common Algebraic Specification Language.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1834668 (Why is no real title available?) | 2002-11-25 | Paper |
Architectural specifications in CASL
Formal Aspects of Computing | 2002-09-25 | Paper |
| Towards heterogeneous specifications | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1754650 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1693525 (Why is no real title available?) | 2002-01-22 | Paper |
First-order specifications of programmable data types
SIAM Journal on Computing | 2001-06-21 | 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 |
| scientific article; zbMATH DE number 1368950 (Why is no real title available?) | 1999-11-24 | Paper |
| scientific article; zbMATH DE number 1189287 (Why is no real title available?) | 1999-03-02 | Paper |
The definition of Extended ML: A gentle introduction
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1086718 (Why is no real title available?) | 1998-02-17 | Paper |
Essential concepts of algebraic specification and program development
Formal Aspects of Computing | 1998-02-04 | 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 |
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 13471 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4766 (Why is no real title available?) | 1992-06-25 | Paper |
On conservative extensions of syntax in system development
Theoretical Computer Science | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4180831 (Why is no real title available?) | 1989-01-01 | Paper |
Existence, Uniqueness, and Construction of Rewrite Systems
SIAM Journal on Computing | 1988-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 |
| scientific article; zbMATH DE number 4052992 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4078770 (Why is no real title available?) | 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 |
Quasi-varieties in abstract algebraic institutions
Journal of Computer and System Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4037182 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999262 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4014011 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898213 (Why is no real title available?) | 1985-01-01 | Paper |
A language of specified programs
Science of Computer Programming | 1985-01-01 | Paper |
On the existence of free models in abstract algebraic institutions
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911689 (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 |
| scientific article; zbMATH DE number 3812929 (Why is no real title available?) | 1983-01-01 | Paper |
