| Publication | Date of Publication | Type |
|---|
| Equivalences among various logical frameworks of partial algebras | 2024-06-21 | Paper |
| Towards fuzzy neural conceptors | 2022-09-28 | Paper |
| Institutions for SQL database schemas and datasets | 2020-06-08 | Paper |
| Canonical selection of colimits | 2020-01-16 | Paper |
| UML interactions meet state machines -- an institutional approach | 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 -- a position paper | 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 |
| Higher-order nets for mobile policies | 2013-09-25 | Paper |
| Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl} | 2013-09-13 | Paper |
| Compiling logics | 2013-09-13 | Paper |
| Semantics of the distributed ontology language: institutes and institutions | 2013-09-13 | Paper |
| \textsc{CoCasl} at work -- modelling process algebra | 2013-08-23 | Paper |
| A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory | 2013-08-09 | Paper |
| Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design | 2013-01-25 | Paper |
| What is a logic translation? | 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 |
| \textsc{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 |
| Foundations of heterogeneous specification. | 2010-04-20 | Paper |
| Algebraic-coalgebraic specification in CoCasl. | 2010-04-20 | Paper |
| Algebraic higher-order nets: graphs and Petri nets as tokens. | 2010-04-20 | Paper |
| Monad-independent dynamic logic in HasCasl. | 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 |
| Coalgebraic Modal Logic in CoCasl | 2007-09-10 | Paper |
| Reasoning Support for Casl with Automated Theorem Proving Systems | 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 |
| Categorial fibring of logics with terms and binding operators | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535078 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764131 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729074 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722029 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722021 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722020 | 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 |
