Michael B. Smyth

Publication Activity (10 Years)

Years Active: 1971-2010
Publications (10 Years): 0

Publications

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