| Publication | Date of Publication | Type |
|---|
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
(available as arXiv preprint) | 2026-01-01 | Paper |
| 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
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
| UML interactions meet state machines -- an institutional approach | 2018-08-13 | Paper |
Partial pushout semantics of generics in DOL
Theoretical Computer Science | 2018-07-26 | Paper |
Multi-view consistency in UML: a survey
(available as arXiv preprint) | 2018-04-04 | Paper |
The distributed ontology, modeling and specification language -- DOL
Studies in Universal Logic | 2017-08-28 | Paper |
Model-driven engineering in the heterogeneous tool set
Lecture Notes in Computer Science | 2016-04-01 | Paper |
What Is a derived signature morphism?
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Relations between spatial calculi about directions and orientations
Journal of Artificial Intelligence Research | 2015-11-05 | Paper |
Modularity of ontologies in an arbitrary institution
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Towards an institutional framework for heterogeneous formal development in UML -- a position paper
Software, Services, and Systems | 2015-06-22 | Paper |
The institution-theoretic scope of logic theorems
Logica Universalis | 2015-02-05 | 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 |
| Higher-order nets for mobile policies | 2013-09-25 | Paper |
Compiling logics
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Semantics of the distributed ontology language: institutes and institutions
Recent Trends in Algebraic Development Techniques | 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
Lecture Notes in Computer Science | 2013-08-09 | Paper |
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
Lecture Notes in Computer Science | 2013-08-09 | Paper |
What is a logic translation?
Logica Universalis | 2013-01-25 | Paper |
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
Logica Universalis | 2013-01-25 | Paper |
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
Lecture Notes in Computer Science | 2012-09-07 | Paper |
A proof theoretic interpretation of model theoretic hiding
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Towards logical frameworks in the heterogeneous tool set Hets
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Compositional modelling and reasoning in an institution for processes and data
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Kleene monads: handling iteration in a framework of generic effects
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence | 2012-05-23 | Paper |
Qualitative reasoning about relative direction of oriented points
Artificial Intelligence | 2012-05-23 | Paper |
Refinement trees: calculi, tools, and applications
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Project abstract: logic atlas and integrator (LATIN)
Lecture Notes in Computer Science | 2011-07-29 | Paper |
\textsc{HasCasl}: towards integrated specification and development of functional programs
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
| A much better polynomial time approximation of consistency in the LR calculus | 2011-04-12 | Paper |
Integrating Maude into Hets
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
Change management for heterogeneous development graphs
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
A generic complete dynamic logic for reasoning about purity and effects
Formal Aspects of Computing | 2010-05-28 | Paper |
Algebraic higher-order nets: graphs and Petri nets as tokens.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Foundations of heterogeneous specification.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Algebraic-coalgebraic specification in CoCasl.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Monad-independent dynamic logic in HasCasl.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Heterogeneous Logical Environments for Distributed Specifications
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
HasCasl: integrated higher-order specification and program development
Theoretical Computer Science | 2009-03-25 | Paper |
| scientific article; zbMATH DE number 5316606 (Why is no real title available?) | 2008-08-26 | Paper |
Structured CSP – A Process Algebra as an Institution
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Reasoning Support for Casl with Automated Theorem Proving Systems
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Coalgebraic Modal Logic in CoCasl
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Institutional 2-cells and Grothendieck Institutions
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Completeness of Global Evaluation Logic
Lecture Notes in Computer Science | 2007-09-05 | Paper |
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science | 2007-01-09 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2172806 (Why is no real title available?) | 2006-06-02 | Paper |
Development graphs -- proof management for structured specifications
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Algebraic-coalgebraic specification in CoCASL
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | 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 |
Monad-independent Dynamic Logic in HasCasl
Journal Of Logic And Computation | 2004-10-28 | Paper |
Different types of arrow between logical frameworks
Lecture Notes in Computer Science | 2004-09-24 | Paper |
Integrating HOL-CASL into the development graph manager MAYA
Lecture Notes in Computer Science | 2004-08-11 | Paper |
Heterogeneous development graphs and heterogeneous borrowing
Lecture Notes in Computer Science | 2004-08-11 | Paper |
Institution independent static analysis for CASL
Lecture Notes in Computer Science | 2004-07-30 | Paper |
Monad-independent Hoare logic in HasCasl
Lecture Notes in Computer Science | 2003-07-30 | Paper |
Comorphism-based Grothendieck logics
Lecture Notes in Computer Science | 2003-06-18 | Paper |
Relating CASL with other specification languages: the institution level.
Theoretical Computer Science | 2003-01-21 | Paper |
Checking amalgamability conditions for CASL architectural specifications
Lecture Notes in Computer Science | 2002-11-25 | Paper |
| Categorial fibring of logics with terms and binding operators | 2002-08-05 | Paper |
Amalgamation in CASL via enriched signatures
Lecture Notes in Computer Science | 2002-06-12 | Paper |
Semantics of architectural specifications in CASL
Lecture Notes in Computer Science | 2002-01-22 | Paper |
Extending development graphs with hiding
Lecture Notes in Computer Science | 2002-01-22 | Paper |
CASL: From semantics to tools
Lecture Notes in Computer Science | 2001-11-06 | Paper |
Subsorted partial higher-order logic as an extension of CASL
Lecture Notes in Computer Science | 2001-07-11 | Paper |
Specifying real numbers in CASL
Lecture Notes in Computer Science | 2001-07-11 | Paper |
Specifications in an arbitrary instituion with symbols
Lecture Notes in Computer Science | 2001-07-11 | Paper |
Translating OBJ3 into CASL: The institution level
Lecture Notes in Computer Science | 2000-03-19 | Paper |
| From total equational to partial first-order logic | 1999-11-24 | Paper |
Combining and representing logical systems using model-theoretic parchments
Lecture Notes in Computer Science | 1999-03-02 | Paper |
Colimits of order-sorted specifications
Lecture Notes in Computer Science | 1998-12-03 | Paper |
Combining and representing logical systems
Lecture Notes in Computer Science | 1998-02-17 | Paper |
Permissive subsorted partial logic in CASL
Lecture Notes in Computer Science | 1998-01-21 | Paper |
Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
Mathematical Structures in Computer Science | 1996-11-04 | Paper |
| scientific article; zbMATH DE number 19041 (Why is no real title available?) | 1992-06-26 | Paper |
Some modifications of auxiliary pushdown automata
RAIRO - Theoretical Informatics and Applications | 1991-01-01 | Paper |
