SU\G(𝔸)/K·U

Reinhold Heckmann

Follow

Generating author description...

All published works
Action Title Year Authors
+ Spatiality of countably presentable locales (proved with the Baire category theorem) 2014 Reinhold Heckmann
+ Quasicontinuous Domains and the Smyth Powerdomain 2013 Reinhold Heckmann
Klaus Keimel
+ Similarity, topology, and uniformity 2009 Reinhold Heckmann
+ Similarity, Topology, and Uniformity Dedicated to Dieter Spreen on the occasion of his 60th birthday 2008 Reinhold Heckmann
AbsInt Angewandte
+ Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation 2007 Reinhold Heckmann
Christian Ferdinand
+ Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces 2006 Reinhold Heckmann
+ PDF Chat A Cartesian closed extension of the category of locales 2006 Reinhold Heckmann
+ Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation 2005 Reinhold Heckmann
Christian Ferdinand
+ A Cartesian Closed Extension of the Category of Locales 2005 Reinhold Heckmann
+ A Cartesian Closed Extension of the Category of Locales (Preliminary Version) 2005 Reinhold Heckmann
+ A non-topological view of dcpos as convergence spaces 2002 Reinhold Heckmann
+ Contractivity of linear fractional transformations 2002 Reinhold Heckmann
+ A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract) 2001 Reinhold Heckmann
+ How Many Argument Digits are Needed to Produce n Result Digits? 2000 Reinhold Heckmann
+ None 1999 Reinhold Heckmann
+ Quantitative semantics, topology, and possibility measures 1998 Reinhold Heckmann
Michael Huth
+ A computational model for metric spaces 1998 Abbas Edalat
Reinhold Heckmann
+ Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace 1997 Reinhold Heckmann
+ Spaces of Valuations 1996 Reinhold Heckmann
+ Stable power domains 1994 Reinhold Heckmann
+ Observable modules and power domain constructions 1993 Reinhold Heckmann
+ An upper power domain construction in terms of strongly compact sets 1992 Reinhold Heckmann
+ Lower and upper power domain constructions commute on all cpos 1991 Reinhold Heckmann
Common Coauthors
Coauthor Papers Together
Christian Ferdinand 2
AbsInt Angewandte 1
Klaus Keimel 1
Abbas Edalat 1
Michael Huth 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Spaces of Valuations 1996 Reinhold Heckmann
 4
+ Two Topologies are Better Than One 1995 Simon John O'Neill
 3
+ Cartesian closed topological categories 1976 Louis H. Nel
 3
+ Filter space monads, regularity, completions 1974 Oswald Wyler
 3
+ Continuity in spatial toposes 1979 J. M. E. Hyland
 3
+ Cartesian closed categories of domains 1989 Achim Jung
 3
+ PDF Chat Exact real computer arithmetic with continued fractions 1990 Jean Vuillemin
 2
+ Scott convergence and Scott topology in partially ordered sets I 1981 Sibylle Weck
 2
+ On d-spaces 1999 Yu. L. Ershov
 2
+ Partial Metrics, Valuations, and Domain Theory 1996 Sean O’Neill
 2
+ None 1999 Reinhold Heckmann
 2
+ Some cartesian closed topological categories of convergence spaces 1976 GĂ©rard Bourdaud
 2
+ PDF Chat Completion of a construction of Johnstone 1982 John Isbell
 2
+ PDF Chat A universal characterization of the double powerlocale 2004 Steve Vickers
Christopher F. Townsend
 2
+ Dedekind complete posets and scott topologies 1981 Oswald Wyler
 2
+ An upper power domain construction in terms of strongly compact sets 1992 Reinhold Heckmann
 2
+ Scott convergence and scott topology in partially ordered sets II 1981 Marcel Erné
 2
+ Some Properties of Quasi-Uniform Spaces 1967 R. A. Stoltenberg
 2
+ A non-topological view of dcpos as convergence spaces 2002 Reinhold Heckmann
 2
+ Quantitative semantics, topology, and possibility measures 1998 Reinhold Heckmann
Michael Huth
 2
+ A New Representation for Exact Real Numbers 1997 Abbas Edalat
Peter John Potts
 2
+ PDF Chat Partial metrizability in value quantales 2004 Ralph Kopperman
Steve Matthews
Homeira Pajoohesh
 2
+ PDF Chat Cartesian closed topological hulls 1977 Horst Herrlich
Louis H. Nel
 2
+ PDF Chat Domain theory and integration 1995 Abbas Edalat
 2
+ Random upper semicontinuous functions and extremal processes 1988 Wim Vervaat
 1
+ The Scott topology induces the weak topology 2002 Abbas Edalat
 1
+ PDF Chat QRB-Domains and the Probabilistic Powerdomain 2012 Jean Goubault-Larrecq
 1
+ Exact real arithmetic 2003 Keith Briggs
 1
+ Observable modules and power domain constructions 1993 Reinhold Heckmann
 1
+ Encyclopedia of Mathematics and its Applications. 1982 Y. L. L.
William B. Jones
W. J. Thron
 1
+ PDF Chat Existence theorems for measures on continous posets, with applications to random set theory. 1989 Tommy Norberg
 1
+ Espaces d'Antoine et pseudo-topologies 1973 Armando Machado
 1
+ Dynamical Systems, Measures, and Fractals via Domain Theory 1995 Abbas Edalat
 1
+ Quasicontinuous posets 1990 P. Venugopalan
 1
+ PDF Chat Hyperconvergences 2003 Szymon Dolecki
Frédéric Mynard
 1
+ Geometric Measure Theory 2016 1
+ Local compactness and continuous lattices 1981 Karl H. Hofmann
Michael Mislove
 1
+ Scott is not always sober 1981 Peter Johnstone
 1
+ Analytic Theory of Continued Fractions 1967 H. S. Wall
 1
+ Geometric Measure Theory 1988 Herbert Fédérer
 1
+ Commutative Ring Theory 1987 H. Matsumura
 1
+ Choice principles in elementary topology and analysis 1997 Horst Herrlich
 1
+ Bifinite domains: Stable case 2005 Roberto M. Amadio
 1
+ Type theory via exact categories 2002 Lars Birkedal
A. Carboni
Giuseppe Rosolini
Dana Scott
 1
+ Note on free algebras over continuous domains 1997 JĂĽrgen Koslowski
 1
+ PDF Chat Alexandroff and Scott Topologies for Generalized Metric Spaces 1996 Marcello Bonsangue
Franck van Breugel
J.J.M.M. Rutten
 1
+ PDF Chat Continuous Markovian Logics - Axiomatization and Quantified Metatheory 2012 Radu Mardare
Luca Cardelli
Kim G. Larsen
 1
+ A computational model for metric spaces 1998 Abbas Edalat
Reinhold Heckmann
 1
+ Lower and upper power domain constructions commute on all cpos 1991 Reinhold Heckmann
 1
+ Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace 1997 Reinhold Heckmann
 1