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
https://portal.mardi4nfdi.de/entity/Q2852360	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
Lower and upper power domain constructions commute on all cpos	1992-06-28	Paper
Power domain constructions	1992-06-28	Paper
An efficient ELL(1)-parser generator	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reinhold Heckmann