Reinhold Heckmann

Available identifiers

zbMath Open heckmann.reinholdMaRDI QIDQ265812

List of research outcomes

Publication	Date of Publication	Type
An upper power domain construction in terms of strongly compact sets	2023-08-16	Paper
Probabilistic power domains, information systems, and locales	2023-04-28	Paper
Spatiality of countably presentable locales (proved with the Baire category theorem)	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	2009-12-18	Paper
New Developments in WCET Analysis	2007-09-24	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
A Cartesian closed extension of the category of locales	2006-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4819380	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813225	2004-08-13	Paper
A non-topological view of dcpos as convergence spaces.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4411967	2003-07-13	Paper
Approximation of metric spaces by partial metric spaces	2002-09-25	Paper
Contractivity of linear fractional transformations	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2738484	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4499169	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4513581	2001-02-28	Paper
Quantitative semantics, topology, and possibility measures	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4261087	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4373421	1999-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q4222968	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222889	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4218936	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q3839072	1998-10-08	Paper
A functional description of TEX's formula layout	1998-08-30	Paper
A computational model for metric spaces	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q5687236	1997-07-06	Paper
Stable power domains	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4853314	1995-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4288288	1994-11-17	Paper
Power domains and second-order predicates	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4038660	1993-05-18	Paper
Power domain constructions	1992-06-28	Paper
Lower and upper power domain constructions commute on all cpos	1992-06-28	Paper
An efficient ELL(1)-parser generator	1986-01-01	Paper

Research outcomes over time

This page was built for person: Reinhold Heckmann