| Publication | Date of Publication | Type |
|---|
| The Cuntz semigroup and domain theory | 2018-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980964 | 2017-05-08 | Paper |
| Healthiness conditions for predicate transformers | 2016-12-16 | Paper |
| Bicontinuous Domains and Some Old Problems in Domain Theory | 2016-08-01 | Paper |
| Extending Algebraic Operations to D-Completions | 2016-05-10 | Paper |
| Weak upper topologies and duality for cones | 2015-10-29 | Paper |
| Continuous and Completely Distributive Lattices | 2015-10-09 | Paper |
| Weak topologies and compactness in asymmetric functional analysis | 2015-03-23 | Paper |
| Observationally-induced algebras in Domain Theory | 2014-09-30 | Paper |
| Locally convex cones and the Schröder-Simpson theorem | 2013-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852362 | 2013-10-08 | Paper |
| Retracted: Semantic domains for combining probability and non-determinism | 2013-09-30 | Paper |
| Semantic domains for combining probability and non-determinism | 2013-09-30 | Paper |
| Sheaf Representations for Algebraic Systems. A personal historical account | 2013-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844078 | 2013-08-27 | Paper |
| Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic | 2013-04-16 | Paper |
| Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces | 2012-06-29 | Paper |
| Extending algebraic operations to D-completions | 2012-05-30 | Paper |
| Choquet–Kendall–Matheron theorems for non-Hausdorff spaces | 2011-06-15 | Paper |
| Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language | 2011-06-06 | Paper |
| Predicate transformers for extended probability and non-determinism | 2009-06-30 | Paper |
| D-completions and the \(d\)-topology | 2009-06-11 | Paper |
| A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language | 2009-06-11 | Paper |
| The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras | 2009-01-07 | Paper |
| Topological cones: functional analysis in a \(T_{0}\)-setting | 2008-08-19 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| Projective topology on bifinite domains and applications | 2006-12-07 | Paper |
| Order environments of topological spaces | 2005-06-07 | Paper |
| Measure extension theorems for \(T_{0}\)-spaces | 2005-06-01 | Paper |
| The probabilistic powerdomain for stably compact spaces | 2005-01-11 | Paper |
| Continuous Lattices and Domains | 2003-01-07 | Paper |
| Linear types and approximation | 2001-08-21 | Paper |
| Compact continuous \(L\)-domains | 2000-01-20 | Paper |
| The way-below relation of function spaces over semantic domains | 1999-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222976 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849833 | 1996-05-27 | Paper |
| A Direct Proof of the Hofmann-Mislove Theorem | 1994-04-07 | Paper |
| Ordered cones and approximation | 1992-09-18 | Paper |
| Kakutani property of the polytopes implies Kakutani property of the whole space | 1988-01-01 | Paper |
| Samuel Wolfenstein in memoriam | 1988-01-01 | Paper |
| A Korovkin Type Approximation Theorem for Set-Valued Functions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743296 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912843 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915036 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898534 | 1980-01-01 | Paper |
| The Semilattices with Distinguished Endomorphisms which are Equationally Compact | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871432 | 1979-01-01 | Paper |
| STRUCTURE SPACES AND THE CENTER OF VECTOR LATTICES | 1978-01-01 | Paper |
| Groupes et anneaux reticules | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132573 | 1977-01-01 | Paper |
| Topologische Darstellung von Verbänden | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103583 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101880 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101881 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143349 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769085 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181405 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4056053 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4056056 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401994 | 1973-01-01 | Paper |
| A general character theory for partially ordered sets and lattices | 1972-01-01 | Paper |
| A unified theory of minimal prime ideals | 1972-01-01 | Paper |
| Baer extensions of rings and Stone extensions of semigroups | 1971-01-01 | Paper |
| Congruence relations of cone semigroups | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638369 | 1971-01-01 | Paper |
| A cross section theorem for certain compact abelian semigroups | 1970-01-01 | Paper |
| Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen | 1970-01-01 | Paper |
| Algèbres Commutatives Engendrées Par Leurs Éléments Idempotents | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613227 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661550 | 1970-01-01 | Paper |
| Sur les endomorphismes conservant les polaires d'un groupe réticulé archimédien | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537671 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537735 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537736 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5566599 | 1968-01-01 | Paper |
| Eine Exponentialfunktion für kompakte abelsche Halbgruppen | 1967-01-01 | Paper |
| Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583104 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5510871 | 1966-01-01 | Paper |
