| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q2863888 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843616 | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843631 | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843633 | 2013-08-23 | Paper |
| A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions | 2013-06-06 | Paper |
| The constructive maximal point space and partial metrizability | 2005-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4819394 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475310 | 2004-08-09 | Paper |
| Finite approximation of stably compact spaces | 2003-10-08 | Paper |
| AFPP vs FPP | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520832 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222901 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373438 | 1998-04-05 | Paper |
| Semi-metrics, closure spaces and digital topology | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870825 | 1996-09-22 | Paper |
| Completeness of Quasi-Uniform and Syntopological Spaces | 1994-11-10 | Paper |
| Information categories | 1994-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138548 | 1994-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282568 | 1994-06-02 | Paper |
| I-categories as a framework for solving domain equations | 1993-12-20 | Paper |
| Stable Compactification I | 1993-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3359391 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821265 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780421 | 1986-01-01 | Paper |
| The largest Cartesian closed category of domains | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316563 | 1983-01-01 | Paper |
| The Category-Theoretic Solution of Recursive Domain Equations | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878751 | 1981-01-01 | Paper |
| Algebraic specification of data types: A synthetic approach | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926040 | 1980-01-01 | Paper |
| Effectively given domains | 1978-01-01 | Paper |
| Power domains | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195918 | 1976-01-01 | Paper |
| Involution as a basis for propositional calculi | 1974-01-01 | Paper |
| Unique-entry graphs, flowcharts, and state diagrams | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631081 | 1972-01-01 | Paper |
| A diagrammatic treatment of syllogistic | 1971-01-01 | Paper |
