|Reconciliation of elementary order and metric fixpoint theorems (with M. Kostanek).|
|Approximation in quantale-enriched categories (with Dirk Hofmann). |
Topology and Its Applications 158 (2011), pp. 963-977.
|A duality of quantale-enriched categories (with D. Hofmann).|
|A duality of generalized metric spaces (with S. Antoniuk).|
Topology and Its Applications, accepted.
|Common patterns for metric and ordered fixed point theorems.|
In Proceedings of the 7th Workshop on Fixed Points in Computer Science
(Luigi Santocanale ed.), 2010, pp. 83-87.
|The limit-colimit coincidence theorem for Q-categories (with M. Kostanek).|
Mathematical Structures in Computer Science 20(2) (2010), pp. 267-284.
|The formal ball model for Q-categories (with M.Kostanek).|
Mathematical Structures in Computer Science 21(1) (2011), pp. 41-64.
|On domain theory over Girard quantales.|
Fundamenta Informaticae 92 (2009), pp. 1-24.
|Partial metrisability of continuous posets.|
Mathematical Structures in Computer Science 16(2) (2006), pp. 359-372.
|Banach Domains: Computational Models of Banach Spaces|
Topology Proceedings 29(2) (2005), pp.641-671.
|Completeness and Compactness in Quantitative Domains.|
Lecture Notes in Computer Science 3623 (2005), pp. 341-350.
|Approximation simply characterized.|
Electronic Notes in Theoretical Computer Science 140 (2005), pp. 113-117.
|Bounded complete models of topological spaces|
(with R.Kopperman and H.-P.Kunzi).
Topology and Its Applications 139 (2004), pp. 285-297.
|How do domains model topologies?|
Electronic Notes in Theoretical Computer Science 83 (2003), 18 pp.
|The local triangle axiom in Topology and Domain Theory.|
Applied General Topology 4(1) (2003), pp. 47-70.
|Quantitative Continuous Domains.|
Applied Categorical Structures 11 (2003), pp. 41-67.
|Distance and Measurement in Domain Theory.|
Electronic Notes in Theoretical Computer Science 45 (2001), pp. 1-15.