| Publication | Date of Publication | Type |
|---|
| Stone duality for relations | 2024-10-01 | Paper |
| Decomposition of domains | 2023-08-16 | Paper |
| A duality for two-sorted lattices | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079763 | 2022-05-28 | Paper |
| Non-involutive twist-structures | 2021-01-08 | Paper |
| Diagrammatic Semantics for Digital Circuits. | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5206547 | 2019-12-18 | Paper |
| Stone Duality for Relations | 2019-12-18 | Paper |
| Quotients of d-frames | 2019-06-20 | Paper |
| Free constructions and coproducts of d-frames | 2018-08-13 | Paper |
| Bitopology and four-valued logic | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130546 | 2018-01-23 | Paper |
| Kripke Semantics for Modal Bilattice Logic | 2017-07-03 | Paper |
| Four-valued modal logic: Kripke semantics and duality | 2017-05-17 | Paper |
| A note on coherence of dcpos | 2016-07-27 | Paper |
| On a categorical framework for coalgebraic modal logic | 2016-05-13 | Paper |
| QRB, QFS, and the probabilistic powerdomain | 2016-05-13 | Paper |
| All Cartesian closed categories of quasicontinuous domains consist of domains | 2015-07-24 | Paper |
| A Hofmann-Mislove theorem for Bitopological Spaces | 2015-07-10 | Paper |
| Presenting Dcpos and Dcpo Algebras | 2014-05-13 | Paper |
| Convergence of preference functions | 2013-12-19 | Paper |
| Priestley duality for strong proximity lattices | 2013-10-10 | Paper |
| Stably compact spaces and the probabilistic powerspace construction | 2013-08-27 | Paper |
| Continuous Domain Theory in Logical Form | 2013-05-28 | Paper |
| Stably Compact Spaces and Closed Relations | 2013-04-26 | Paper |
| Priestley duality for bilattices | 2012-10-01 | Paper |
| A bitopological point-free approach to compactifications | 2011-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3597351 | 2009-02-09 | Paper |
| A Hofmann-Mislove theorem for bitopological spaces | 2008-09-01 | Paper |
| A logical approach to stable domains | 2007-01-22 | Paper |
| The probabilistic powerdomain for stably compact spaces | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411825 | 2003-07-10 | Paper |
| Linear types and approximation | 2001-08-21 | Paper |
| Uniform approximation of topological spaces | 2000-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265614 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222969 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222892 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222769 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373424 | 1998-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281476 | 1994-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281477 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997287 | 1992-09-17 | Paper |
| Using powerdomains to generalize relational databases | 1992-06-28 | Paper |
| The dependent product construction in various categories of domains | 1991-01-01 | Paper |
| Cartesian closed categories of algebraic cpos | 1990-01-01 | Paper |
| Coherence and consistency in domains | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812427 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797244 | 1988-01-01 | Paper |
