| Publication | Date of Publication | Type |
|---|
| On Diagrams and General Model Checkers | 2023-02-23 | Paper |
| DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH | 2022-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992401 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858676 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116417 | 2020-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119359 | 2019-03-11 | Paper |
| PDL for structured data: a graph-calculus approach | 2019-01-08 | Paper |
| On graphs for intuitionistic modal logics | 2018-04-23 | Paper |
| On a graph calculus for modalities | 2017-06-15 | Paper |
| On graph calculi for multi-modal logics | 2016-08-01 | Paper |
| On methods for safe introduction of operations | 2016-06-09 | Paper |
| On a graph approach to modal logics | 2016-05-10 | Paper |
| On the Structure of Natural Deduction Derivations for “Generally” | 2015-05-22 | Paper |
| A Tool for Analysing Logics | 2015-03-18 | Paper |
| Sequent Calculi for ‘Generally’ | 2013-12-13 | Paper |
| Reasoning with Graphs | 2013-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918410 | 2013-04-24 | Paper |
| On vague notions and modalities: a modular approach | 2010-07-26 | Paper |
| On graph reasoning | 2009-10-09 | Paper |
| Positive Fork Graph Calculus | 2009-02-24 | Paper |
| On a Graph Calculus for Algebras of Relations | 2008-07-10 | Paper |
| On Positive Relational Calculi | 2008-01-18 | Paper |
| Natural Deduction for 'Generally' | 2008-01-18 | Paper |
| On fork arrow logic and its expressive power | 2007-10-22 | Paper |
| On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates | 2006-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367290 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367291 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711869 | 2005-12-08 | Paper |
| Advances in Artificial Intelligence – SBIA 2004 | 2005-08-22 | Paper |
| An Application of Logic Engineering | 2005-08-03 | Paper |
| Exploring Computational Contents of Intuitionist Proofs | 2005-08-03 | Paper |
| On ultrafilter logic and special functions | 2005-04-07 | Paper |
| Functional Interpretation of Logics for ‘Generally’ | 2005-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812325 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461800 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461806 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453705 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438106 | 2003-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438115 | 2003-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437963 | 2003-12-08 | Paper |
| Squares in fork arrow logic | 2003-08-28 | Paper |
| On local modularity and interpolation in entailment systems. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549385 | 2002-08-28 | Paper |
| On local modularity variants and \(\Pi\)-institutions | 2002-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735812 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489060 | 2001-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489078 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4487374 | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699345 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391027 | 1998-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390778 | 1998-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364502 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4345012 | 1997-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362877 | 1997-11-13 | Paper |
| A Finite Axiomatization for Fork Algebras | 1997-10-26 | Paper |
| On the Modularization Theorem for logical specifications | 1997-02-28 | Paper |
| On pushout consistency, modularity and interpolation for logical specifications | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870557 | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851408 | 1996-02-07 | Paper |
| Definition-like Extensions by Sorts | 1995-09-20 | Paper |
| A New, Simpler Proof of the Modularisation Theorem for Logical Specifications | 1994-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005196 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3989924 | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971258 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780495 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221382 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3678652 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326886 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343424 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3673160 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309100 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940881 | 1982-01-01 | Paper |
| Comparing data type specifications via their normal forms | 1982-01-01 | Paper |
| Methodical specification of abstract data types via rewriting systems | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3894952 | 1980-01-01 | Paper |
| Characterizations for the regular prefix codes and related families | 1980-01-01 | Paper |
| Some remarks on multiple-entry finite automata | 1979-01-01 | Paper |
| Characterizing the regular prefix codes and right power-bounded languages | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4172921 | 1977-01-01 | Paper |
