Michael B. Smyth

40 papers A* 4B 3Journal 17Unranked 13
YearRankTypeTitle / Venue / Authors
2010 J jnl
Topological graph dimension.
Discret. Math.
Michael B. Smyth, Rueiher Tsaur, Iain Stewart
2008 J jnl
Foreword.
Theor. Comput. Sci.
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2007 — ed.
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006
Computational Structures for Modelling Space, Time and Causality
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2007 — ch.
Discrete Spatial Models.
Handbook of Spatial Logics
Michael B. Smyth, Julian Webster
2006 — conf
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality.
Computational Structures for Modelling Space, Time and Causality
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2006 J jnl
Foreword.
Theor. Comput. Sci.
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2006 J jnl
The constructive maximal point space and partial metrizability.
Ann. Pure Appl. Log.
Michael B. Smyth
2005 — conf
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.
Spatial Representation
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2005 — conf
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.
Spatial Representation
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2005 — ed.
Spatial Representation: Discrete vs. Continuous Computational Models
Spatial Representation
Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster
2004 — conf
Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions.
MFCSIT
Rueiher Tsaur, Michael B. Smyth
2003 J jnl
AFPP vs FPP.
Appl. Categorical Struct.
Michael B. Smyth, Rueiher Tsaur
2002 — conf
Fixed points in digital topology (via Helly posets).
MFCSIT
Rueiher Tsaur, Michael B. Smyth
2002 — conf
Matroids from modules.
MFCSIT
Nils Anders Danielsson, Michael B. Smyth
2002 — conf
The constructive maximal point space.
MFCSIT
Michael B. Smyth
2000 — conf
"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory.
Digital and Image Geometry
Rueiher Tsaur, Michael B. Smyth
2000 — conf
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions.
MFCSIT
Michael B. Smyth, Rueiher Tsaur
2000 J jnl
Region-based Discrete Geometry.
J. Univers. Comput. Sci.
Michael B. Smyth
1997 B conf
Topology and tolerance.
MFPS
Michael B. Smyth
1995 J jnl
Semi-Metrics, Closure Spaces and Digital Topology.
Theor. Comput. Sci.
Michael B. Smyth
1994 — conf
Inverse Limits of Graphs.
Theory and Formal Methods
Michael B. Smyth
1993 J jnl
I-Categories as a Framework for Solving Domain Equations.
Theor. Comput. Sci.
Abbas Edalat, Michael B. Smyth
1993 J jnl
Information categories.
Appl. Categorical Struct.
Abbas Edalat, Michael B. Smyth
1992 — conf
Compact Metric Information Systems (Extended Abstract).
REX Workshop
Abbas Edalat, Michael B. Smyth
1991 — conf
Categories of Information Systems.
Category Theory and Computer Science
Abbas Edalat, Michael B. Smyth
1987 B conf
Quasi Uniformities: Reconciling Domains with Metric Spaces.
MFPS
Michael B. Smyth
1985 — conf
Finite Approximation of Spaces.
CTCS
Michael B. Smyth
1983 A* conf
Power Domains and Predicate Transformers: A Topological View.
ICALP
Michael B. Smyth
1983 J jnl
The Largest Cartesian Closed Category of Domains.
Theor. Comput. Sci.
Michael B. Smyth
1982 J jnl
The Category-Theoretic Solution of Recursive Domain Equations.
SIAM J. Comput.
Michael B. Smyth, Gordon D. Plotkin
1981 J jnl
Algebraic Specification of Data Types: A Synthetic Approach.
Math. Syst. Theory
Daniel Lehmann, Michael B. Smyth
1980 A* conf
Computability in Categories.
ICALP
Michael B. Smyth
1978 J jnl
Power Domains.
J. Comput. Syst. Sci.
Michael B. Smyth
1977 A* conf
Data Types (Extended Abstract)
FOCS
Daniel Lehmann, Michael B. Smyth
1977 J jnl
Effectively given Domains.
Theor. Comput. Sci.
Michael B. Smyth
1977 A* conf
The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)
FOCS
Michael B. Smyth, Gordon D. Plotkin
1976 B conf
Powerdomains.
MFCS
Michael B. Smyth
1974 J jnl
Involution as a basis for propositional calculi.
Notre Dame J. Formal Log.
Michael B. Smyth
1974 J jnl
Unique-Entry Graphs, Flowcharts, and State Diagrams
Inf. Control.
Michael B. Smyth
1971 J jnl
A diagrammatic treatment of syllogistic.
Notre Dame J. Formal Log.
Michael B. Smyth