| Publication | Date of Publication | Type |
|---|
| Convexity in Helly graphs: selection and almost fixed point properties for multifunctions | 2013-12-04 | Paper |
| Matroids from modules | 2013-08-23 | Paper |
| The constructive maximal point space | 2013-08-23 | Paper |
| Fixed points in digital topology (via Helly posets) | 2013-08-23 | Paper |
A digital version of the Kakutani fixed point theorem for convex-valued multifunctions
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
The constructive maximal point space and partial metrizability
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2103296 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2084485 (Why is no real title available?) | 2004-08-09 | Paper |
Finite approximation of stably compact spaces
Applied General Topology | 2003-10-08 | Paper |
AFPP vs FPP
Applied Categorical Structures | 2003-06-09 | Paper |
| scientific article; zbMATH DE number 1543357 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1231582 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1107515 (Why is no real title available?) | 1998-04-05 | Paper |
Semi-metrics, closure spaces and digital topology
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 860053 (Why is no real title available?) | 1996-09-22 | Paper |
Completeness of Quasi-Uniform and Syntopological Spaces
Journal of the London Mathematical Society | 1994-11-10 | Paper |
Information categories
Applied Categorical Structures | 1994-08-22 | Paper |
| scientific article; zbMATH DE number 431772 (Why is no real title available?) | 1994-07-21 | Paper |
| scientific article; zbMATH DE number 517040 (Why is no real title available?) | 1994-06-02 | Paper |
I-categories as a framework for solving domain equations
Theoretical Computer Science | 1993-12-20 | Paper |
Stable Compactification I
Journal of the London Mathematical Society | 1993-02-16 | Paper |
| scientific article; zbMATH DE number 4212991 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4094358 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4043227 (Why is no real title available?) | 1986-01-01 | Paper |
The largest Cartesian closed category of domains
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3846844 (Why is no real title available?) | 1983-01-01 | Paper |
The Category-Theoretic Solution of Recursive Domain Equations
SIAM Journal on Computing | 1982-01-01 | Paper |
Algebraic specification of data types: A synthetic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3683047 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3738918 (Why is no real title available?) | 1980-01-01 | Paper |
Power domains
Journal of Computer and System Sciences | 1978-01-01 | Paper |
Effectively given domains
Theoretical Computer Science | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3635472 (Why is no real title available?) | 1976-01-01 | Paper |
Involution as a basis for propositional calculi
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Unique-entry graphs, flowcharts, and state diagrams
Information and Control | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3356737 (Why is no real title available?) | 1972-01-01 | Paper |
A diagrammatic treatment of syllogistic
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
