Michael B. Smyth Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Rueiher Tsaur, Iain Stewart: Topological graph dimension. Discrete Mathematics 310(2): 325-329 (2010)
2008
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008)
2007
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Julian Webster: Discrete Spatial Models. Handbook of Spatial Logics 2007: 713-798
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen (Eds.): Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
2006
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: The constructive maximal point space and partial metrizability. Ann. Pure Appl. Logic 137(1-3): 360-379 (2006)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rueiher Tsaur, Michael B. Smyth: Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. Electr. Notes Theor. Comput. Sci. 161: 151-163 (2006)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2005
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster (Eds.): Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings 04351, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
2003
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Rueiher Tsaur: AFPP vs FPP. Applied Categorical Structures 11(1): 95-116 (2003)
2002
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nils Anders Danielsson, Michael B. Smyth: Matroids from modules. Electr. Notes Theor. Comput. Sci. 74: 21-38 (2002)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: The constructive maximal point space. Electr. Notes Theor. Comput. Sci. 74: 172-188 (2002)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rueiher Tsaur, Michael B. Smyth: Fixed points in digital topology (via Helly posets). Electr. Notes Theor. Comput. Sci. 74: 207-223 (2002)
2000
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Rueiher Tsaur: A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions. Electr. Notes Theor. Comput. Sci. 40: 393-407 (2000)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Region-based Discrete Geometry. J. UCS 6(4): 447-459 (2000)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rueiher Tsaur, Michael B. Smyth: "Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory. Digital and Image Geometry 2000: 75-90
1997
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Topology and tolerance. Electr. Notes Theor. Comput. Sci. 6: 326 (1997)
1995
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Semi-Metrics, Closure Spaces and Digital Topology. Theor. Comput. Sci. 151(1): 257-276 (1995)
1994
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Inverse Limits of Graphs. Theory and Formal Methods 1994: 397-409
1993
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Michael B. Smyth: Information categories. Applied Categorical Structures 1(2): 197-232 (1993)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Michael B. Smyth: I-Categories as a Framework for Solving Domain Equations. Theor. Comput. Sci. 115(1): 77-106 (1993)
1992
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Michael B. Smyth: Compact Metric Information Systems (Extended Abstract). REX Workshop 1992: 154-173
1991
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Michael B. Smyth: Categories of Information Systems. Category Theory and Computer Science 1991: 37-52
1987
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Quasi Uniformities: Reconciling Domains with Metric Spaces. MFPS 1987: 236-253
1985
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Finite Approximation of Spaces. CTCS 1985: 225-241
1983
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: The Largest Cartesian Closed Category of Domains. Theor. Comput. Sci. 27: 109-119 (1983)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Power Domains and Predicate Transformers: A Topological View. ICALP 1983: 662-675
1982
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Gordon D. Plotkin: The Category-Theoretic Solution of Recursive Domain Equations. SIAM J. Comput. 11(4): 761-783 (1982)
1981
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Lehmann, Michael B. Smyth: Algebraic Specification of Data Types: A Synthetic Approach. Mathematical Systems Theory 14: 97-139 (1981)
1980
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Computability in Categories. ICALP 1980: 609-620
1978
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Power Domains. J. Comput. Syst. Sci. 16(1): 23-36 (1978)
1977
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Effectively given Domains. Theor. Comput. Sci. 5(3): 257-274 (1977)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Lehmann, Michael B. Smyth: Data Types (Extended Abstract). FOCS 1977: 7-12
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth, Gordon D. Plotkin: The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract). FOCS 1977: 13-17
1976
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Powerdomains. MFCS 1976: 537-543
1974
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael B. Smyth: Unique-Entry Graphs, Flowcharts, and State Diagrams. Information and Control 25(1): 20-29 (1974)

Coauthor Index

1Nils Anders Danielsson
[j15]
2Abbas Edalat
[j8] [j7] [c9] [c8]
3Ralph Kopperman
[j20] [e2] [j17] [c14] [c13] [c12] [e1]
4Daniel J. Lehmann
[j4] [c3]
5Prakash Panangaden
[j20] [e2] [j17] [c14] [c13] [c12]
6Gordon D. Plotkin
[j5] [c2]
7Dieter Spreen
[j20] [e2] [j17] [c14] [c13] [c12] [e1]
8Iain Stewart
[j21]
9Rueiher Tsaur
[j21] [j18] [j16] [j13] [j12] [c11]
10Julian Webster
[p1] [j17] [c13] [c12] [e1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 03:01:15 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page