Michael B. Smyth

According to our database1, 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.
Electron. 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).
Electron. Notes Theor. Comput. Sci., 2002

The constructive maximal point space.
Electron. Notes Theor. Comput. Sci., 2002

Matroids from modules.
Electron. Notes Theor. Comput. Sci., 2002

2000
Region-based Discrete Geometry.
J. Univers. Comput. Sci., 2000

A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions.
Electron. 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.
Math. Syst. 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
Inf. Control., May, 1974

Involution as a basis for propositional calculi.
Notre Dame J. Formal Log., 1974

1971
A diagrammatic treatment of syllogistic.
Notre Dame J. Formal Log., 1971


  Loading...