Albert R. Meyer
Orcid: 000000016555044XAffiliations:
 MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, USA
According to our database^{1},
Albert R. Meyer
authored at least 85 papers
between 1966 and 2008.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2000, "For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2008
Proceedings of the Pillars of Computer Science, 2008
2002
J. Autom. Lang. Comb., 2002
J. ACM, 2002
1996
Theor. Comput. Sci., 1996
SIAM J. Comput., 1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
1995
J. ACM, 1995
Ann. Pure Appl. Log., 1995
Proceedings of the STACS 95, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
Conservativity of Equational Theories in Typed Lambda Calculi.
Fundam. Informaticae, 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
1992
Theor. Comput. Sci., 1992
Proceedings of the CONCUR '92, 1992
1990
Inf. Comput., March, 1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
1989
Proceedings of the Logic at Botik '89, 1989
1988
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988
Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988
1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Polymorphism is conservative over simple types (Preliminary Report)
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
1986
Math. Syst. Theory, 1986
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
FloydHoare Logic Defines Semantics: Preliminary Version
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
1985
SIAM J. Comput., 1985
Proceedings of the Logics of Programs, 1985
Proceedings of the Logics of Programs, 1985
Proceedings of the Logics of Programs, 1985
1984
J. Comput. Syst. Sci., 1984
Inf. Control., 1984
Proceedings of the Semantics of Data Types, International Symposium, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
1983
Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
Inf. Control., 1983
From Denotational to Operational and Axiomatic Semantics for ALGOLlike Languages: an Overview.
Proceedings of the Logics of Programs, 1983
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics.
Proceedings of the Information Processing 83, 1983
1982
Inf. Control., January, 1982
Theor. Comput. Sci., 1982
SIAM J. Comput., 1982
J. ACM, 1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
1981
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer.
ACM Trans. Program. Lang. Syst., 1981
J. Comput. Syst. Sci., 1981
J. ACM, 1981
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the Automata, 1981
1980
Theor. Comput. Sci., 1980
J. Comput. Syst. Sci., 1980
1979
Proceedings of the Theoretical Computer Science, 1979
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
1978
J. ACM, 1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
1976
Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report
Proceedings of the 8th Annual ACM Symposium on Theory of Computing, 1976
A Note on the Average Time to Compute Transitive Closures.
Proceedings of the Third International Colloquium on Automata, 1976
1975
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975
1974
J. Symb. Log., 1974
1973
SIGACT News, 1973
SIGACT News, 1973
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973
1972
Inf. Control., November, 1972
J. Symb. Log., 1972
J. ACM, 1972
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972
The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972
1971
Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971
Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971
1970
J. Comput. Syst. Sci., 1970
1969
IEEE Trans. Computers, 1969
Math. Syst. Theory, 1969
J. ACM, 1969
Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969
1968
Math. Syst. Theory, 1968
Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968
1967
Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967
Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967
Proceedings of the 22nd national conference, 1967
1966
IEEE Trans. Electron. Comput., 1966