| Publication | Date of Publication | Type |
|---|
| Institution-independent model theory (to appear) | 2024-11-05 | Paper |
| Generating symmetric and alternating groups | 2024-07-29 | Paper |
| Decompositions of stratified institutions | 2024-02-08 | Paper |
| Partialising institutions | 2024-01-08 | Paper |
| Preservation in many-valued truth institutions | 2023-10-31 | Paper |
| Generalised graded interpolation | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869622 | 2022-09-28 | Paper |
| An introduction to category-based equational logic | 2022-08-16 | Paper |
| Non-determinsitic algebraic rewriting as adjunction | 2022-04-26 | Paper |
| Implicit Partiality of Signature Morphisms in Institution Theory | 2021-12-10 | Paper |
| Introducing \(H\), an institution-based formal specification and verification language | 2020-05-27 | Paper |
| Structuring of specification modules (extended) | 2018-07-03 | Paper |
| Implicit Kripke semantics and ultraproducts in stratified institutions | 2018-02-13 | Paper |
| 3/2-Institutions: an institution theory for conceptual blending | 2017-08-31 | Paper |
| Functorial semantics of first-order views | 2016-11-24 | Paper |
| Quasi-varieties and initial semantics for hybridized institutions | 2016-10-07 | Paper |
| Encoding hybridized institutions into first-order logic | 2016-07-28 | Paper |
| Graded consequence: an institution theoretic study | 2015-12-02 | Paper |
| The Algebra of Opposition (and Universal Logic Interpretations) | 2015-06-24 | Paper |
| The institution-theoretic scope of logic theorems | 2015-02-05 | Paper |
| From Universal Logic to Computer Science, and Back | 2015-01-13 | Paper |
| On the existence of translations of structured specifications | 2014-10-07 | Paper |
| Foundations for structuring behavioural specifications | 2014-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416165 | 2014-05-19 | Paper |
| Institutional semantics for many-valued logics | 2014-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5414299 | 2014-05-02 | Paper |
| CafeOBJ Traces | 2014-03-25 | Paper |
| What is a logic translation? | 2013-01-25 | Paper |
| An axiomatic approach to structuring specifications | 2012-06-25 | Paper |
| Borrowing interpolation | 2012-06-20 | Paper |
| Interpolation for predefined types | 2012-03-22 | Paper |
| Grothendieck inclusion systems | 2012-01-10 | Paper |
| Structural induction in institutions | 2011-10-10 | Paper |
| Hybridization of Institutions | 2011-09-02 | Paper |
| On the algebra of structured specifications | 2011-07-07 | Paper |
| On quasi-varieties of multiple valued logic models | 2011-05-06 | Paper |
| Coinduction for preordered algebra | 2011-02-21 | Paper |
| Saturated models in institutions | 2010-09-08 | Paper |
| An encoding of partial algebras as total algebras | 2010-09-02 | Paper |
| A categorical study on the finiteness of specifications | 2010-06-09 | Paper |
| Stratified institutions and elementary homomorphisms | 2010-03-24 | Paper |
| Quasi-Boolean encodings and conditionals in algebraic specification | 2010-02-05 | Paper |
| Herbrand theorems in arbitrary institutions | 2009-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520841 | 2008-08-26 | Paper |
| Institution-independent model theory | 2008-02-07 | Paper |
| Jewels of Institution-Independent Model Theory | 2007-09-07 | Paper |
| Ultraproducts and possible worlds semantics in institutions | 2007-07-16 | Paper |
| Proof Systems for Institutional Logic | 2007-04-05 | Paper |
| Abstract Beth definability in institutions | 2006-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680190 | 2006-06-02 | Paper |
| Behavioural specification for hierarchical object composition | 2005-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311059 | 2005-08-22 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Elementary Diagrams in Institutions | 2005-03-21 | Paper |
| Interpolation in Grothendieck institutions | 2004-10-27 | Paper |
| An institution-independent proof of Craig interpolation theorem | 2004-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431383 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4432964 | 2003-01-01 | Paper |
| Grothendieck institutions | 2002-09-18 | Paper |
| Logical foundations of CafeOBJ | 2002-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2715825 | 2001-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520814 | 2001-02-27 | Paper |
| Category-based constraint logic | 2000-09-04 | Paper |
| An Oxford survey of order sorted algebra | 2000-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942101 | 2000-04-02 | Paper |
| Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222983 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222860 | 1998-12-20 | Paper |
| Category-based modularisation for equational logic programming | 1995-11-19 | Paper |
| Completeness of category-based equational deduction | 1995-09-20 | Paper |
| Contraction algebras and unification of (infinite) terms | 1992-06-28 | Paper |
