-
Set Domains,
ESOP '90, Springer LNCS 432, 177 - 196 (1990)
[Abstract]
[Paper.ps.gz (21p, 78k, reformatted)]
-
Power Domain Constructions (Potenzbereich-Konstruktionen),
Phd thesis, Universität des Saarlandes, Dec. 1990
The thesis is available electronically
from its home page.
The next 4 papers are derived from fragments of the thesis.
-
Power Domain Constructions,
Science of Computer Programming, Vol. 17, 77 - 117 (1991)
[Abstract]
[Paper.ps.gz (38p, 112k, reformatted)]
-
Power Domains and Second Order Predicates,
Theoretical Computer Science, Vol. 111, 59 - 88 (1993)
[Abstract]
[Paper.ps.gz (28p, 92k, reformatted)]
-
Lower and Upper Power Domain Constructions
Commute on all Cpos,
Information Processing Letters, Vol. 40, Nr. 1, 7 - 11 (1991)
[Abstract+Introduction]
[Paper.ps.gz (7p, 36k, reformatted)]
-
An Upper Power Domain Construction
in terms of Strongly Compact Sets,
MFPS '91, Springer LNCS 598, 272 - 293 (1992)
[Abstract+Definition]
[Paper.ps.gz (22p, 96k)]
-
Observable Modules and Power Domain Constructions,
in: M. Droste and Y. Gurevich (eds.),
Semantics of Programming Languages and Model Theory,
Algebra, Logic, and Applications Vol. 5,
Gordon and Breach Science Publishers, OPA (Amsterdam),
159 - 187 (1993)
[Abstract]
[Paper.ps.gz (22p, 78k, reformatted)]
-
Product Operations in Strong Monads,
(First Imperial College Workshop on) Theory and Formal Methods 1993,
Springer Workshops in Computing, 159 - 170 (1993)
[Abstract]
[Paper.ps.gz (13p, 52k, reformatted)]
-
Power Domains Supporting Recursion and Failure,
CAAP '92, Springer LNCS 581, 165 - 181 (1992)
[Abstract]
[Paper.ps.gz (17p, 74k)]
-
Stable Power Domains,
Theoretical Computer Science, Vol. 136, 21 - 56 (1994)
[Abstract]
[Paper.ps.gz (30p, 112k, reformatted)]
-
Probabilistic Power Domains,
Information Systems, and Locales,
MFPS '93, Springer LNCS 802, 410 - 437 (1994)
[Abstract]
[Paper.ps.gz (28p, 90k)]
-
Probabilistic Domains,
CAAP '94, Springer LNCS 787, 142 - 156 (1994)
[Abstract]
[Paper.ps.gz (13p, 60k, reformatted)]
-
Lower Bag Domains,
Fundamenta Informaticae, Vol. 24 (3), 259 - 281 (1995)
[Abstract]
[Paper.ps.gz (23p, 78k)]
The following is a summary of the last 6 papers above.
-
Semantics of Binary Choice Constructs,
Habilitationsschrift, Universität des Saarlandes,
May 1994
[Abstract]
[Paper.ps.gz (38p, 128k)]
The following two papers deal with topological spaces of valuations.
The conference paper is younger than the report and contains some new results.
On the other hand, several sections
of the report have been omitted in the conference paper due to space restrictions.
-
Spaces of Valuations,
Technical Report Nr. A09/95, FB 14 - Informatik,
Universität des Saarlandes (1995)
[Abstract]
[Paper.ps.gz (44p, 160k)]
-
Spaces of Valuations,
Summer Conference on General Topology and Applications 1995,
Annals of the New York Academy of Sciences,
Vol. 806, 174 - 200 (1996)
[Abstract]
[Paper.ps.gz (23p, 92k, reformatted)]
-
Abstract Valuations: A Novel Representation of
Plotkin Power Domain and Vietoris Hyperspace,
MFPS '97,
Electronic Notes
in Theoretical Computer Science,
Vol. 6 (1997)
URL:
http://www.elsevier.nl/locate/entcs/volume6.html
[Abstract]
[Paper.ps.gz (13p, 58k, reformatted)]
-
Characterising FS Domains
by means of Power Domains,
Workshop Domains III (Technical Report 9712,
Institut für Informatik, Universität München),
21 - 32 (1997)
[Abstract]
[Paper.ps.gz (12p, 50k)]
An updated version appeared in:
Theoretical Computer Science, Vol. 264 (2), 195 - 203 (2001)
[Abstract]
[Paper.ps.gz (11p, 44k, reformatted)]
The two papers with
Michael Huth are closely related.
The first paper is older and more elaborate.
The CSL paper provides several new results,
while on the other hand, some proofs have been shortened or deleted.
-
With Michael Huth:
Quantitative Semantics, Topology,
and Possibility Measures,
Topology and its Applications, Vol. 89 (1-2), 151 - 178 (1998)
[Abstract]
[Paper.ps.gz (33p, 90k)]
-
With Michael Huth:
A Duality Theory for Quantitative Semantics,
Computer Science Logic CSL '97 (Selected Papers),
Springer LNCS 1414, 255 - 274 (1998)
[Abstract]
[Paper.ps.gz (20p, 74k)]
-
With Michael Huth and
Michael Mislove:
Bicontinuous Function Spaces,
Draft Report (Feb. 1999)
[Abstract]
[Paper.ps.gz (12p, 48k)]
-
With Martín Escardó:
Topologies on Spaces of Continuous Functions,
Topology Proceedings,
Vol. 26 (2),
545 - 564 (2001-2002)
[Abstract]
[Paper.ps.gz (16p, 78k)]
-
Domain Environments,
Unpublished Manuscript, Oct. 1995, updated May 1998
(A collection of facts that was never finished;
incomplete towards the end)
[Paper.ps.gz (13p, 78k)]
-
With Abbas Edalat:
A Computational Model for Metric Spaces,
Theoretical Computer Science, Vol. 193, 53 - 73 (1998)
[Abstract]
[Paper.ps.gz (26p, 78k, reformatted)]
-
Approximation of Metric Spaces
by Partial Metric Spaces,
Applied Categorical Structures, Vol. 7, 71 - 83 (1999)
[Abstract]
[Paper.ps.gz (13p, 36k)]
-
Similarity, Topology, and Uniformity,
presented at Dagstuhl workshop
"Logic, Computability and Topology in Computer Science: A New Perspective for Old Disciplines"
on the occasion of Dieter Spreen's 60th birthday, 19 to 21 April 2007,
submitted to workshop proceedings
[Abstract]
Extended Abstract (1 page): [ExtAbs.ps]
[ExtAbs.pdf]
Full paper, version 2 of 25 Sept 2008 (39 pages):
[Paper.ps.gz]
[Paper.pdf]
Some of my papers on
equilogical spaces and convergence spaces
are related to domain theory.
Reinhold Heckmann /
heckmann@absint.com