| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6083352 | 2023-12-08 | Paper |
| A simple language supporting angelic nondeterminism and parallel composition | 2023-08-16 | Paper |
| A category of quantum posets | 2022-10-21 | Paper |
| Completing simple valuations in K-categories | 2022-08-20 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989404 | 2021-05-25 | Paper |
| Probabilistic Monads, Domains and Classical Information | 2021-04-27 | Paper |
| Commutative Monads for Probabilistic Programming Languages | 2021-01-31 | Paper |
| A category of quantum posets | 2021-01-26 | Paper |
| Enriching a Linear/Non-linear Lambda Calculus | 2021-01-20 | Paper |
| Domains and stochastic processes | 2020-01-22 | Paper |
| LNL-FPC: The Linear/Non-linear Fixpoint Calculus | 2019-06-22 | Paper |
| Discrete random variables over domains, revisited | 2018-03-26 | Paper |
| Every infinite compact group can have a non-measurable subgroup | 2016-08-31 | Paper |
| Domains and Random Variables | 2016-07-18 | Paper |
| Every compact group can have a non-measurable subgroup | 2015-03-04 | Paper |
| Anatomy of a domain of continuous random variables. I | 2014-07-25 | Paper |
| From Haar to Lebesgue via Domain Theory | 2014-06-02 | Paper |
| Labelled Markov Processes as Generalised Stochastic Relations | 2013-12-06 | Paper |
| Erratum to: Articles by A.H. Clifford | 2013-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847403 | 2013-09-09 | Paper |
| Anatomy of a Domain of Continuous Random Variables II | 2013-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2918877 | 2012-10-01 | Paper |
| Testing Semantics: Connecting Processes and Process Logics | 2009-04-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Discrete random variables over domains | 2007-07-16 | Paper |
| Monoids over domains | 2006-08-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Domain theory, testing and simulation for labelled Markov processes | 2005-04-06 | Paper |
| Measuring the probabilistic powerdomain | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737180 | 2004-08-11 | Paper |
| A simple process algebra based on atomic actions with resources | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417860 | 2003-07-30 | Paper |
| Continuous Lattices and Domains | 2003-01-07 | Paper |
| A truly concurrent semantics for a process algebra using resource pomsets | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536613 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945248 | 2000-03-23 | Paper |
| Topology, domain theory and theoretical computer science | 1999-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261093 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229002 | 1999-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400779 | 1999-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222896 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222772 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839064 | 1998-10-08 | Paper |
| Full abstraction and recursion | 1997-09-09 | Paper |
| Fixed points without completeness | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4715134 | 1996-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327832 | 1995-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327829 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975029 | 1992-06-26 | Paper |
| Non-well-founded sets modeled as ideal fixed points | 1991-01-01 | Paper |
| Addendum: Local product structures on homogeneous continua | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495401 | 1990-01-01 | Paper |
| Local product structures on homogeneous continua | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204456 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3818365 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735221 | 1988-01-01 | Paper |
| Ordered sets with no infinite antichains | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743354 | 1986-01-01 | Paper |
| Semilattices which must contain a copy of \(2^ N\) | 1985-01-01 | Paper |
| Infinite antichains in semilattices | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3697204 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3726178 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346372 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663815 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950602 | 1982-01-01 | Paper |
| Compact Extensions of Compactly Generated Nilpotent Groups are Pro-Lie | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896002 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896003 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915037 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898534 | 1980-01-01 | Paper |
| The lattice of kernel operators and topological algebra | 1977-01-01 | Paper |
| Amalgamation in categories with concrete duals | 1976-01-01 | Paper |
| Symmetry in Fourier-Stieltjes algebras | 1975-01-01 | Paper |
| Epics of compact Lawson semilattices are surjective | 1975-01-01 | Paper |
| On the Fixed Point Set of a Compact Transformation Group with some Applications to Compact Monoids | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071969 | 1975-01-01 | Paper |
| The Pontryagin duality of compact O-dimensional semilattices and its applications | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047753 | 1974-01-01 | Paper |
| Semigroups Over Trees | 1974-01-01 | Paper |
| Dimension raising maps in topological algebra | 1973-01-01 | Paper |
| Errors in elements of compact semigroups | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4043265 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049117 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063507 | 1973-01-01 | Paper |
| The Existence of Irr(X) | 1973-01-01 | Paper |
| The existence and structure of Irr(X) | 1972-01-01 | Paper |
| A class of semigroups having almost trivial multiplications | 1972-01-01 | Paper |
| The centralizing theorem for left normal groups of units in compact monoids | 1971-01-01 | Paper |
| Representations by HL-semigroups | 1971-01-01 | Paper |
| Representations by HL-semigroups | 1971-01-01 | Paper |
| The existence of Irr(X) | 1970-01-01 | Paper |
| Semigroups over trees | 1970-01-01 | Paper |
