| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5869622 | 2022-09-28 | Paper |
| Institutions for SQL database schemas and datasets | 2020-06-08 | Paper |
| Canonical Selection of Colimits | 2020-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580211 | 2018-08-13 | Paper |
| Partial pushout semantics of generics in DOL | 2018-07-26 | Paper |
| Multi-view consistency in UML: a survey | 2018-04-04 | Paper |
| The Distributed Ontology, Modeling and Specification Language – DOL | 2017-08-28 | Paper |
| Model-Driven Engineering in the Heterogeneous Tool Set | 2016-04-01 | Paper |
| What Is a Derived Signature Morphism? | 2016-02-25 | Paper |
| Relations Between Spatial Calculi About Directions and Orientations | 2015-11-05 | Paper |
| Modularity of Ontologies in an Arbitrary Institution | 2015-09-14 | Paper |
| Towards an Institutional Framework for Heterogeneous Formal Development in UML | 2015-06-22 | Paper |
| The institution-theoretic scope of logic theorems | 2015-02-05 | Paper |
| A Relatively Complete Calculus for Structured Heterogeneous Specifications | 2014-04-16 | Paper |
| Parchments for CafeOBJ Logics | 2014-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848078 | 2013-09-25 | Paper |
| Compiling Logics | 2013-09-13 | Paper |
| Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl | 2013-09-13 | Paper |
| Semantics of the Distributed Ontology Language: Institutes and Institutions | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843729 | 2013-08-23 | Paper |
| A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory | 2013-08-09 | Paper |
| What is a logic translation? | 2013-01-25 | Paper |
| Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design | 2013-01-25 | Paper |
| The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization | 2012-09-07 | Paper |
| A Proof Theoretic Interpretation of Model Theoretic Hiding | 2012-06-08 | Paper |
| Towards Logical Frameworks in the Heterogeneous Tool Set Hets | 2012-06-08 | Paper |
| Compositional Modelling and Reasoning in an Institution for Processes and Data | 2012-06-08 | Paper |
| Kleene Monads: Handling Iteration in a Framework of Generic Effects | 2012-06-01 | Paper |
| A condensed semantics for qualitative spatial reasoning about oriented straight line segments | 2012-05-23 | Paper |
| Qualitative reasoning about relative direction of oriented points | 2012-05-23 | Paper |
| Refinement Trees: Calculi, Tools, and Applications | 2011-09-02 | Paper |
| Project Abstract: Logic Atlas and Integrator (LATIN) | 2011-07-29 | Paper |
| HasCasl: Towards Integrated Specification and Development of Functional Programs | 2011-05-06 | Paper |
| A much better polynomial time approximation of consistency in the LR calculus | 2011-04-12 | Paper |
| Integrating Maude into Hets | 2011-01-21 | Paper |
| Change Management for Heterogeneous Development Graphs | 2010-11-22 | Paper |
| A generic complete dynamic logic for reasoning about purity and effects | 2010-05-28 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Heterogeneous Logical Environments for Distributed Specifications | 2009-10-22 | Paper |
| HasCasl: integrated higher-order specification and program development | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520841 | 2008-08-26 | Paper |
| Structured CSP – A Process Algebra as an Institution | 2007-09-10 | Paper |
| Reasoning Support for Casl with Automated Theorem Proving Systems | 2007-09-10 | Paper |
| Coalgebraic Modal Logic in CoCasl | 2007-09-10 | Paper |
| Institutional 2-cells and Grothendieck Institutions | 2007-09-07 | Paper |
| Completeness of Global Evaluation Logic | 2007-09-05 | Paper |
| A coalgebraic approach to the semantics of the ambient calculus | 2007-01-09 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680193 | 2006-06-02 | Paper |
| Development graphs -- proof management for structured specifications | 2006-04-28 | Paper |
| Algebraic-coalgebraic specification in CoCASL | 2006-04-28 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311059 | 2005-08-22 | Paper |
| Amalgamation in the semantics of CASL | 2005-04-06 | Paper |
| Monad-independent Dynamic Logic in HasCasl | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818832 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737121 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738235 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471721 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417837 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708606 | 2003-06-18 | Paper |
| Relating CASL with other specification languages: the institution level. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779164 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782494 | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535078 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764131 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729074 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722020 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722021 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722029 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941934 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702593 | 1999-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839061 | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839060 | 1998-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362967 | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373553 | 1998-01-21 | Paper |
| Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras | 1996-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976467 | 1992-06-26 | Paper |
| Some modifications of auxiliary pushdown automata | 1991-01-01 | Paper |
