| Publication | Date of Publication | Type |
|---|
The Cuntz semigroup and domain theory
Soft Computing | 2018-02-27 | Paper |
scientific article; zbMATH DE number 6712178 (Why is no real title available?)
| 2017-05-08 | Paper |
Healthiness conditions for predicate transformers
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Bicontinuous domains and some old problems in domain theory.
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
Extending algebraic operations to D-completions.
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Weak upper topologies and duality for cones
Logical Methods in Computer Science | 2015-10-29 | Paper |
Continuous and completely distributive lattices
Lattice Theory: Special Topics and Applications | 2015-10-09 | Paper |
Weak topologies and compactness in asymmetric functional analysis
Topology and its Applications | 2015-03-23 | Paper |
Observationally-induced algebras in domain theory
Logical Methods in Computer Science | 2014-09-30 | Paper |
Locally convex cones and the Schröder-Simpson theorem
Quaestiones Mathematicae | 2013-11-19 | Paper |
Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism
| 2013-10-08 | Paper |
Semantic domains for combining probability and non-determinism
Electronic Notes in Theoretical Computer Science | 2013-09-30 | Paper |
Retracted: Semantic domains for combining probability and non-determinism
Electronic Notes in Theoretical Computer Science | 2013-09-30 | Paper |
Sheaf Representations for Algebraic Systems. A personal historical account
| 2013-08-28 | Paper |
The probabilistic powerdomain for stably compact spaces via compact ordered spaces
| 2013-08-27 | Paper |
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
Forum Mathematicum | 2013-04-16 | Paper |
Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
Algebra and Logic | 2012-06-29 | Paper |
Extending algebraic operations to D-completions
Theoretical Computer Science | 2012-05-30 | Paper |
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces
Mathematical Structures in Computer Science | 2011-06-15 | Paper |
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
Theoretical Computer Science | 2011-06-06 | Paper |
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science | 2009-06-30 | Paper |
D-completions and the \(d\)-topology
Annals of Pure and Applied Logic | 2009-06-11 | Paper |
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
Annals of Pure and Applied Logic | 2009-06-11 | Paper |
The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
Topology and its Applications | 2009-01-07 | Paper |
Topological cones: functional analysis in a \(T_{0}\)-setting
Semigroup Forum | 2008-08-19 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Projective topology on bifinite domains and applications
Theoretical Computer Science | 2006-12-07 | Paper |
Order environments of topological spaces
Acta Mathematica Sinica, English Series | 2005-06-07 | Paper |
Measure extension theorems for \(T_{0}\)-spaces
Topology and its Applications | 2005-06-01 | Paper |
The probabilistic powerdomain for stably compact spaces
Theoretical Computer Science | 2005-01-11 | Paper |
Continuous Lattices and Domains
| 2003-01-07 | Paper |
Linear types and approximation
MSCS. Mathematical Structures in Computer Science | 2001-08-21 | Paper |
Compact continuous \(L\)-domains
Computers & Mathematics with Applications | 2000-01-20 | Paper |
The way-below relation of function spaces over semantic domains
Topology and its Applications | 1999-09-06 | Paper |
scientific article; zbMATH DE number 1231651 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 802718 (Why is no real title available?)
| 1996-05-27 | Paper |
A Direct Proof of the Hofmann-Mislove Theorem
| 1994-04-07 | Paper |
Ordered cones and approximation
Lecture Notes in Mathematics | 1992-09-18 | Paper |
Kakutani property of the polytopes implies Kakutani property of the whole space
Journal of Mathematical Analysis and Applications | 1988-01-01 | Paper |
Samuel Wolfenstein in memoriam
Order | 1988-01-01 | Paper |
A Korovkin Type Approximation Theorem for Set-Valued Functions
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3976985 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3726419 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3722704 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3706504 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3674796 (Why is no real title available?)
| 1979-01-01 | Paper |
The Semilattices with Distinguished Endomorphisms which are Equationally Compact
| 1979-01-01 | Paper |
STRUCTURE SPACES AND THE CENTER OF VECTOR LATTICES
The Quarterly Journal of Mathematics | 1978-01-01 | Paper |
Groupes et anneaux reticules
Lecture Notes in Mathematics | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3559628 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3526742 (Why is no real title available?)
| 1976-01-01 | Paper |
Topologische Darstellung von Verbänden
Mathematische Zeitschrift | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3523636 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3523637 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3572223 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3443699 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3430719 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3470475 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3470480 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3435551 (Why is no real title available?)
| 1973-01-01 | Paper |
A general character theory for partially ordered sets and lattices
Memoirs of the American Mathematical Society | 1972-01-01 | Paper |
A unified theory of minimal prime ideals
Acta Mathematica Academiae Scientiarum Hungaricae | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3365335 (Why is no real title available?)
| 1971-01-01 | Paper |
Baer extensions of rings and Stone extensions of semigroups
Semigroup Forum | 1971-01-01 | Paper |
Congruence relations of cone semigroups
Semigroup Forum | 1971-01-01 | Paper |
Darstellung von Halbgruppen und universellen Algebren durch Schnitte in Garben; bireguläre Halbgruppen
Mathematische Nachrichten | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3394193 (Why is no real title available?)
| 1970-01-01 | Paper |
A cross section theorem for certain compact abelian semigroups
Semigroup Forum | 1970-01-01 | Paper |
Algèbres Commutatives Engendrées Par Leurs Éléments Idempotents
Canadian Journal of Mathematics | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3335969 (Why is no real title available?)
| 1970-01-01 | Paper |
Sur les endomorphismes conservant les polaires d'un groupe réticulé archimédien
Bulletin de la Société mathématique de France | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3248960 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3248869 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3248961 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3281821 (Why is no real title available?)
| 1968-01-01 | Paper |
Eine Exponentialfunktion für kompakte abelsche Halbgruppen
Mathematische Zeitschrift | 1967-01-01 | Paper |
Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume
Mathematische Zeitschrift | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3301462 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3221388 (Why is no real title available?)
| 1966-01-01 | Paper |
