| Publication | Date of Publication | Type |
|---|
| Cryptomorphic topological structures: a computational, relation-algebraic approach | 2018-12-19 | Paper |
| Relational topology | 2018-03-09 | Paper |
| A Point-Free Relation-Algebraic Approach to General Topology | 2014-04-16 | Paper |
| Partiality. II: Constructed relation algebras | 2013-01-16 | Paper |
| Relational Concepts in Social Choice | 2012-09-21 | Paper |
| Contact, closure, topology, and the linking of row and column types of relations | 2011-07-18 | Paper |
| Constructions around Partialities | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3060335 | 2010-12-02 | Paper |
| Contact Relations with Applications | 2009-12-11 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Algebraic Visualization of Relations Using RelView | 2008-07-01 | Paper |
| Relational measures and integration in preference modeling | 2008-06-19 | Paper |
| Rectangles, Fringes, and Inverses | 2008-05-15 | Paper |
| Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective | 2008-04-24 | Paper |
| Relational Measures and Integration | 2008-04-24 | Paper |
| Partiality. I: Embedding relation algebras | 2006-03-16 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| A necessary relation algebra for mereotopology | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362876 | 2001-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362874 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273429 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287518 | 1993-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041054 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035699 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011708 | 1992-09-27 | Paper |
| Symmetric quotients and domain constructions | 1989-01-01 | Paper |
| Describing semantic domains with sprouts | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753467 | 1987-01-01 | Paper |
| Relation algebras: Concept of points and representability | 1985-01-01 | Paper |
| On Kernels of Graphs and Solutions of Games: A Synopsis Based on Relations and Fixpoints | 1985-01-01 | Paper |
| Discrete ordering relations | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3323249 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703918 | 1982-01-01 | Paper |
| Programs as partial graphs. I: Flow equivalence and correctness | 1981-01-01 | Paper |
| Programs as partial graphs. II: Recursion | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190104 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184276 | 1978-01-01 | Paper |
| A Boolean matrix iteration in timetable construction | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152539 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154885 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055380 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611010 | 1970-01-01 | Paper |
