| Publication | Date of Publication | Type |
|---|
| The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms | 2023-12-08 | Paper |
| A Point-Free Look at Ostrowski's Theorem and Absolute Values | 2023-08-20 | Paper |
| Generalized point-free spaces, pointwise | 2022-06-02 | Paper |
| Gelfand spectra in Grothendieck toposes using geometric mathematics | 2021-06-23 | Paper |
| The Born rule as structure of spectral bundles (extended abstract) | 2021-04-27 | Paper |
| Point-free Construction of Real Exponentiation | 2021-03-31 | Paper |
| Fibrations of AU-contexts beget fibrations of toposes | 2020-05-28 | Paper |
| The localic compact interval is an Escardó‐Simpson interval object | 2020-04-29 | Paper |
| Sketches for arithmetic universes | 2019-07-19 | Paper |
| Arithmetic universes and classifying toposes | 2018-03-29 | Paper |
| Positivity relations on a locale | 2016-06-03 | Paper |
| Continuity and geometric logic | 2016-05-10 | Paper |
| Geometric constructions preserve fibrations | 2014-11-10 | Paper |
| Presenting Dcpos and Dcpo Algebras | 2014-05-13 | Paper |
| Generalised powerlocales via relation lifting | 2013-03-14 | Paper |
| Localic completion of generalized metric spaces II: Powerlocales | 2012-12-17 | Paper |
| An induction principle for consequence in arithmetic universes | 2012-10-16 | Paper |
| Cosheaves and connectedness in formal topology | 2011-12-12 | Paper |
| Fuzzy sets and geometric logic | 2010-05-07 | Paper |
| The connected Vietoris powerlocale | 2009-07-01 | Paper |
| A localic theory of lower and upper integrals | 2008-03-07 | Paper |
| Sublocales in formal topology | 2007-07-09 | Paper |
| A language for configuring multi-level specifications | 2006-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718573 | 2006-01-16 | Paper |
| Compactness in locales and in formal topology | 2005-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701012 | 2005-11-02 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156489 | 2005-01-10 | Paper |
| Entailment systems for stably locally compact locales | 2004-08-04 | Paper |
| Localic sup-lattices and tropological systems. | 2004-03-14 | Paper |
| Strongly algebraic = SFP (topically) | 2002-08-07 | Paper |
| Presheaves as configured specifications | 2001-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518822 | 2001-02-05 | Paper |
| Topical categories of domains | 2000-10-10 | Paper |
| Constructive points of powerlocales | 1997-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4716293 | 1996-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870815 | 1996-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870821 | 1996-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870823 | 1996-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4301154 | 1994-07-13 | Paper |
| Quantales, observational logic and process semantics | 1994-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138549 | 1993-11-11 | Paper |
| Information systems for continuous posets | 1993-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994458 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978977 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205515 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778912 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723931 | 1986-01-01 | Paper |
