# Michael B. Smyth

According to our database

Collaborative distances:

^{1}, Michael B. Smyth authored at least 38 papers between 1971 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Topological graph dimension.

Discret. Math., 2010

2008

Foreword.

Theor. Comput. Sci., 2008

2007

Discrete Spatial Models.

Proceedings of the Handbook of Spatial Logics, 2007

2006

Foreword.

Theor. Comput. Sci., 2006

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

Electr. Notes Theor. Comput. Sci., 2006

The constructive maximal point space and partial metrizability.

Ann. Pure Appl. Log., 2006

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

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.

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

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

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

2003

AFPP vs FPP.

Applied Categorical Structures, 2003

2002

Fixed points in digital topology (via Helly posets).

Electr. Notes Theor. Comput. Sci., 2002

The constructive maximal point space.

Electr. Notes Theor. Comput. Sci., 2002

Matroids from modules.

Electr. Notes Theor. Comput. Sci., 2002

2000

Region-based Discrete Geometry.

J. UCS, 2000

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

Electr. Notes Theor. Comput. Sci., 2000

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

Proceedings of the Digital and Image Geometry, 2000

1997

Topology and tolerance.

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

1995

Semi-Metrics, Closure Spaces and Digital Topology.

Theor. Comput. Sci., 1995

1994

Inverse Limits of Graphs.

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.

Theor. Comput. Sci., 1993

Information categories.

Applied Categorical Structures, 1993

1992

Compact Metric Information Systems (Extended Abstract).

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Categories of Information Systems.

Proceedings of the Category Theory and Computer Science, 1991

1987

Quasi Uniformities: Reconciling Domains with Metric Spaces.

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

Finite Approximation of Spaces.

Proceedings of the Category Theory and Computer Programming, 1985

1983

The Largest Cartesian Closed Category of Domains.

Theor. Comput. Sci., 1983

Power Domains and Predicate Transformers: A Topological View.

Proceedings of the Automata, 1983

1982

The Category-Theoretic Solution of Recursive Domain Equations.

SIAM J. Comput., 1982

1981

Algebraic Specification of Data Types: A Synthetic Approach.

Mathematical Systems Theory, 1981

1980

Computability in Categories.

Proceedings of the Automata, 1980

1978

Power Domains.

J. Comput. Syst. Sci., 1978

1977

Effectively given Domains.

Theor. Comput. Sci., 1977

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

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

Data Types (Extended Abstract)

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

1976

Powerdomains.

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Unique-Entry Graphs, Flowcharts, and State Diagrams

Information and Control, May, 1974

Involution as a basis for propositional calculi.

Notre Dame Journal of Formal Logic, 1974

1971

A diagrammatic treatment of syllogistic.

Notre Dame Journal of Formal Logic, 1971