Michael B. Smyth

Iain Stewart

Discret. Math., 2010

2008

Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

2007

Discrete Spatial Models.

[BibT_eX]

[DOI]

Julian Webster

Proceedings of the Handbook of Spatial Logics, 2007

2006

Foreword.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

The constructive maximal point space and partial metrizability.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality.

[BibT_eX]

[DOI]

Proceedings of the Computational Structures for Modelling Space, Time and Causality, 20.08., 2006

2005

04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions.

[BibT_eX]

[DOI]

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2003

AFPP vs FPP.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2003

2002

Fixed points in digital topology (via Helly posets).

[BibT_eX]

[DOI]

Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002

The constructive maximal point space.

[BibT_eX]

[DOI]

Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002

Matroids from modules.

[BibT_eX]

[DOI]

Nils Anders Danielsson

Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002

2000

Region-based Discrete Geometry.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory.

[BibT_eX]

[DOI]

Proceedings of the Digital and Image Geometry, 2000

1997

Topology and tolerance.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1995

Semi-Metrics, Closure Spaces and Digital Topology.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

1994

Inverse Limits of Graphs.

[BibT_eX]

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

I-Categories as a Framework for Solving Domain Equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Information categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1993

1992

Compact Metric Information Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Categories of Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1991

1987

Quasi Uniformities: Reconciling Domains with Metric Spaces.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

Finite Approximation of Spaces.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1983

The Largest Cartesian Closed Category of Domains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

Power Domains and Predicate Transformers: A Topological View.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1983

1982

The Category-Theoretic Solution of Recursive Domain Equations.

[BibT_eX]

[DOI]

Gordon D. Plotkin

SIAM J. Comput., 1982

1981

Algebraic Specification of Data Types: A Synthetic Approach.

[BibT_eX]

[DOI]

Daniel Lehmann

Math. Syst. Theory, 1981

1980

Computability in Categories.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1980

1978

Power Domains.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1978

1977

Effectively given Domains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)

[BibT_eX]

[DOI]

Gordon D. Plotkin

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

Data Types (Extended Abstract)

[BibT_eX]

[DOI]

Daniel Lehmann

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

Powerdomains.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Unique-Entry Graphs, Flowcharts, and State Diagrams

[BibT_eX]

[DOI]

Inf. Control., May, 1974

Involution as a basis for propositional calculi.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1974

1971

A diagrammatic treatment of syllogistic.

[BibT_eX]

[DOI]