A diagrammatic treatment of syllogistic. - Michael B. Smyth (Notre Dame J. Formal Log., 1971)

Involution as a basis for propositional calculi. - Michael B. Smyth (Notre Dame J. Formal Log., 1974)

Unique-Entry Graphs, Flowcharts, and State Diagrams - Michael B. Smyth (Inf. Control., 1974)

Powerdomains. - Michael B. Smyth (MFCS, 1976)

Data Types (Extended Abstract) - Daniel Lehmann 001; Michael B. Smyth (FOCS, 1977)

The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract) - Michael B. Smyth; Gordon D. Plotkin (FOCS, 1977)

Effectively given Domains. - Michael B. Smyth (Theor. Comput. Sci., 1977)

Power Domains. - Michael B. Smyth (J. Comput. Syst. Sci., 1978)

Computability in Categories. - Michael B. Smyth (ICALP, 1980)

Algebraic Specification of Data Types: A Synthetic Approach. - Daniel Lehmann 001; Michael B. Smyth (Math. Syst. Theory, 1981)

The Category-Theoretic Solution of Recursive Domain Equations. - Michael B. Smyth; Gordon D. Plotkin (SIAM J. Comput., 1982)

Power Domains and Predicate Transformers: A Topological View. - Michael B. Smyth (ICALP, 1983)

The Largest Cartesian Closed Category of Domains. - Michael B. Smyth (Theor. Comput. Sci., 1983)

Finite Approximation of Spaces. - Michael B. Smyth (CTCS, 1985)

Quasi Uniformities: Reconciling Domains with Metric Spaces. - Michael B. Smyth (MFPS, 1987)

Categories of Information Systems. - Abbas Edalat; Michael B. Smyth (Category Theory and Computer Science, 1991)

Compact Metric Information Systems (Extended Abstract). - Abbas Edalat; Michael B. Smyth (REX Workshop, 1992)

Information categories. - Abbas Edalat; Michael B. Smyth (Appl. Categorical Struct., 1993)

I-Categories as a Framework for Solving Domain Equations. - Abbas Edalat; Michael B. Smyth (Theor. Comput. Sci., 1993)

Inverse Limits of Graphs. - Michael B. Smyth (Theory and Formal Methods, 1994)

Semi-Metrics, Closure Spaces and Digital Topology. - Michael B. Smyth (Theor. Comput. Sci., 1995)

Topology and tolerance. - Michael B. Smyth (MFPS, 1997)

"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory. - Rueiher Tsaur; Michael B. Smyth (Digital and Image Geometry, 2000)

A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions. - Michael B. Smyth; Rueiher Tsaur (MFCSIT, 2000)

Region-based Discrete Geometry. - Michael B. Smyth (J. Univers. Comput. Sci., 2000)

Matroids from modules. - Nils Anders Danielsson; Michael B. Smyth (MFCSIT, 2002)

The constructive maximal point space. - Michael B. Smyth (MFCSIT, 2002)

Fixed points in digital topology (via Helly posets). - Rueiher Tsaur; Michael B. Smyth (MFCSIT, 2002)

AFPP vs FPP. - Michael B. Smyth; Rueiher Tsaur (Appl. Categorical Struct., 2003)

Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. - Rueiher Tsaur; Michael B. Smyth (MFCSIT, 2004)

04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Spatial Representation, 2005)

04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Spatial Representation, 2005)

06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen (Computational Structures for Modelling Space, Time and Causality, 2006)

The constructive maximal point space and partial metrizability. - Michael B. Smyth (Ann. Pure Appl. Log., 2006)

Foreword. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Theor. Comput. Sci., 2006)

Discrete Spatial Models. - Michael B. Smyth; Julian Webster (Handbook of Spatial Logics, 2007)

Foreword. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen (Theor. Comput. Sci., 2008)

Topological graph dimension. - Michael B. Smyth; Rueiher Tsaur; Iain Stewart (Discret. Math., 2010)