| Publication | Date of Publication | Type |
|---|
An upper power domain construction in terms of strongly compact sets
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Probabilistic power domains, information systems, and locales
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Spatiality of countably presentable locales (proved with the Baire category theorem)
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Quasicontinuous domains and the Smyth powerdomain
| 2016-04-12 | Paper |
Injective convergence spaces and equilogical spaces via pretopological spaces
| 2013-10-08 | Paper |
Similarity, topology, and uniformity
The Journal of Logic and Algebraic Programming | 2009-12-18 | Paper |
New Developments in WCET Analysis
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
A Cartesian closed extension of the category of locales
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
scientific article; zbMATH DE number 2103282 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2090725 (Why is no real title available?)
| 2004-08-13 | Paper |
A non-topological view of dcpos as convergence spaces.
Theoretical Computer Science | 2004-03-14 | Paper |
scientific article; zbMATH DE number 1948403 (Why is no real title available?)
| 2003-07-13 | Paper |
Approximation of metric spaces by partial metric spaces
Applied Categorical Structures | 2002-09-25 | Paper |
Contractivity of linear fractional transformations
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1639658 (Why is no real title available?)
| 2001-08-30 | Paper |
scientific article; zbMATH DE number 1497757 (Why is no real title available?)
| 2001-03-06 | Paper |
scientific article; zbMATH DE number 1531364 (Why is no real title available?)
| 2001-02-28 | Paper |
Quantitative semantics, topology, and possibility measures
Topology and its Applications | 1999-12-13 | Paper |
scientific article; zbMATH DE number 1330444 (Why is no real title available?)
| 1999-09-21 | Paper |
scientific article; zbMATH DE number 1107499 (Why is no real title available?)
| 1999-01-18 | Paper |
scientific article; zbMATH DE number 1231644 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231570 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1223625 (Why is no real title available?)
| 1998-11-15 | Paper |
scientific article; zbMATH DE number 1189297 (Why is no real title available?)
| 1998-10-08 | Paper |
A functional description of TEX's formula layout
Journal of Functional Programming | 1998-08-30 | Paper |
A computational model for metric spaces
Theoretical Computer Science | 1998-08-13 | Paper |
scientific article; zbMATH DE number 956829 (Why is no real title available?)
| 1997-07-06 | Paper |
Stable power domains
Theoretical Computer Science | 1997-02-27 | Paper |
scientific article; zbMATH DE number 810102 (Why is no real title available?)
| 1995-10-29 | Paper |
scientific article; zbMATH DE number 554486 (Why is no real title available?)
| 1994-11-17 | Paper |
Power domains and second-order predicates
Theoretical Computer Science | 1993-10-17 | Paper |
scientific article; zbMATH DE number 177783 (Why is no real title available?)
| 1993-05-18 | Paper |
Power domain constructions
Science of Computer Programming | 1992-06-28 | Paper |
Lower and upper power domain constructions commute on all cpos
Information Processing Letters | 1992-06-28 | Paper |
An efficient ELL(1)-parser generator
Acta Informatica | 1986-01-01 | Paper |
