| Publication | Date of Publication | Type |
|---|
| Finite Model Properties for Residuated Semigroups | 2022-11-21 | Paper |
| The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms | 2022-11-09 | Paper |
| Domain and range for angelic and demonic compositions | 2019-03-27 | Paper |
| Ordered Monoids: Languages and Relations | 2017-04-05 | Paper |
| The equational theories of representable residuated semigroups | 2017-03-09 | Paper |
| Complexity of equational theory of relational algebras with standard projection elements | 2017-03-09 | Paper |
| The finite representation property for composition, intersection, domain and range | 2016-10-25 | Paper |
| Relational lattices: from databases to universal algebra | 2016-06-22 | Paper |
| The algebra of functions with antidomain and range | 2016-02-04 | Paper |
| Lower semilattice-ordered residuated semigroups and substructural logics | 2015-06-26 | Paper |
| Ordered domain algebras | 2014-04-17 | Paper |
| Relational Lattices | 2014-04-16 | Paper |
| Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders | 2013-09-20 | Paper |
| Residuated Kleene Algebras | 2012-07-16 | Paper |
| On canonicity and completions of weakly representable relation algebras | 2012-04-19 | Paper |
| The equational theory of Kleene lattices | 2012-01-04 | Paper |
| Axiomatizability of positive algebras of binary relations | 2011-11-23 | Paper |
| POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS | 2011-06-10 | Paper |
| On representable ordered residuated semigroups | 2011-03-07 | Paper |
| Axiomatizability of representable domain algebras | 2011-02-09 | Paper |
| Algebras of Relations and Relevance Logic | 2009-04-16 | Paper |
| Representable semilattice-ordered monoids | 2008-03-05 | Paper |
| Axiomatizing complex algebras by games. | 2005-04-19 | Paper |
| Axiomatizability of reducts of algebras of relations | 2003-04-23 | Paper |
| An elementary construction for a non-elementary procedure | 2003-03-12 | Paper |
| Cylindric structures and dependencies in relational databases | 2002-03-03 | Paper |
| Labelled deduction for the guarded fragment | 2002-02-17 | Paper |
| Products, or how to create modal logics of high complexity | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721205 | 2001-07-01 | Paper |
| Tableau calculus for local cubic modal logic and its implementation | 2000-07-05 | Paper |
| Undecidable relativizations of algebras of relations | 2000-04-25 | Paper |
| Decidability of cylindric set algebras of dimension two and first-order logic with two variables | 2000-04-11 | Paper |
| Notions of density that imply representability in algebraic logic | 2000-02-15 | Paper |
| Taming first-order logic | 1998-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349284 | 1997-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349280 | 1997-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688813 | 1997-01-23 | Paper |
| Taming logic | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873974 | 1996-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273432 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271946 | 1994-06-05 | Paper |
| Lambek calculus and its relational semantics: Completeness and incompleteness | 1994-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4032851 | 1993-04-01 | Paper |
