# Michael B. Smyth

According to our database

Collaborative distances:

^{1}, Michael B. Smyth authored at least 38 papers between 1971 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Discret. Math., 2010

2008

Theor. Comput. Sci., 2008

2007

Proceedings of the Handbook of Spatial Logics, 2007

2006

Theor. Comput. Sci., 2006

Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions.

Electron. Notes Theor. Comput. Sci., 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

2003

Applied Categorical Structures, 2003

2002

Electron. Notes Theor. Comput. Sci., 2002

Electron. Notes Theor. Comput. Sci., 2002

Electron. Notes Theor. Comput. Sci., 2002

2000

J. Univers. Comput. Sci., 2000

A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions.

Electron. Notes Theor. Comput. Sci., 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

Theor. Comput. Sci., 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

Theor. Comput. Sci., 1993

Applied Categorical Structures, 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

Theor. Comput. Sci., 1983

Proceedings of the Automata, 1983

1982

SIAM J. Comput., 1982

1981

Math. Syst. Theory, 1981

1980

Proceedings of the Automata, 1980

1978

J. Comput. Syst. Sci., 1978

1977

Theor. Comput. Sci., 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

Inf. Control., May, 1974

Notre Dame J. Formal Log., 1974

1971

Notre Dame J. Formal Log., 1971