| Publication | Date of Publication | Type |
|---|
Unique-sort order-sorted theories : A description as monad morphisms
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Expressing discrete spatial relations under granularity
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
Graphical partitions and graphical relations
Fundamenta Informaticae | 2019-05-24 | Paper |
| Axiomatizing discrete spatial relations | 2018-11-08 | Paper |
| Ordered information systems and graph granulation | 2018-10-22 | Paper |
| The logic of discrete qualitative relations | 2018-08-13 | Paper |
| Axiomatic and tableau-based reasoning for \(Kt (H, R)\) | 2018-04-23 | Paper |
| Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics | 2017-03-06 | Paper |
A bi-intuitionistic modal logic: foundations and automation
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Symmetric Heyting relation algebras with applications to hypergraphs
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Tableau Development for a Bi-intuitionistic Tense Logic
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Relations on hypergraphs
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Relations between adjacency trees
Theoretical Computer Science | 2011-07-29 | Paper |
A Framework for Order-Sorted Algebra
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
| scientific article; zbMATH DE number 5790394 (Why is no real title available?) | 2010-09-22 | Paper |
Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Part and complement: Fundamental concepts in spatial relations
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 1949046 (Why is no real title available?) | 2003-07-14 | Paper |
| scientific article; zbMATH DE number 1931918 (Why is no real title available?) | 2003-06-20 | Paper |
scientific article; zbMATH DE number 1870044 (Why is no real title available?)
GeoInformatica | 2003-02-17 | Paper |
Spatial relations between indeterminate regions
International Journal of Approximate Reasoning | 2002-04-21 | Paper |
Boolean connection algebras: A new approach to the Region-Connection Calculus
Artificial Intelligence | 2000-10-26 | Paper |
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence | 1999-05-03 | Paper |
| scientific article; zbMATH DE number 4080876 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4085643 (Why is no real title available?) | 1987-01-01 | Paper |
