Michael B. Smyth
According to our database1,
Michael B. Smyth
authored at least 38 papers
between 1971 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
2008
2007
2006
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
2004
Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions.
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004
2003
2002
Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002
Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002
Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2002
2000
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
"Continuous" Multifunctions in Discrete Spaces with Applications to Fixed Point Theory.
Proceedings of the Digital and Image Geometry, 2000
1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
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
1992
Proceedings of the Sematics: Foundations and Applications, 1992
1991
Proceedings of the Category Theory and Computer Science, 1991
1987
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987
1985
Proceedings of the Category Theory and Computer Programming, 1985
1983
Proceedings of the Automata, 1983
1982
1981
Math. Syst. Theory, 1981
1980
1978
1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1974
1971