% csauthors.net - beta - BibTeX bibliography of Albert R. Meyer
@article{journals/tc/EvenM66,
title = {Test for Planarity of a Circuit Given by an Expression.},
year = {1966},
journal = {IEEE Trans. Electron. Comput.},
author = {{Shimon Even} and {Albert R. Meyer}}
}
@inproceedings{conf/acm/MeyerR67,
title = {The complexity of loop programs.},
year = {1967},
booktitle = {ACM National Conference},
author = {{Albert R. Meyer} and {Dennis M. Ritchie}},
publisher = {ACM},
booktitle = {Proceedings of the 22nd national conference, ACM 1967, Washington, D.C., USA, 1967}
}
@inproceedings{conf/focs/FischerMR67,
title = {Real Time Counter Machines (Preliminary Version)},
year = {1967},
booktitle = {SWAT},
author = {{Patrick C. Fischer} and {Albert R. Meyer} and {Arnold L. Rosenberg}},
publisher = {IEEE Computer Society},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas, USA, October 18-20, 1967}
}
@inproceedings{conf/focs/MeyerRF67,
title = {Turing Machines with Several Read-Write Heads (Preliminary Report)},
year = {1967},
booktitle = {SWAT},
author = {{Albert R. Meyer} and {Arnold L. Rosenberg} and {Patrick C. Fischer}},
publisher = {IEEE Computer Society},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas, USA, October 18-20, 1967}
}
@inproceedings{conf/focs/MeyerF68,
title = {On Computational Speed-Up},
year = {1968},
booktitle = {SWAT},
author = {{Albert R. Meyer} and {Patrick C. Fischer}},
publisher = {IEEE Computer Society},
booktitle = {9th Annual Symposium on Switching and Automata Theory, Schenectady, New York, USA, October 15-18, 1968}
}
@article{journals/mst/FischerMR68,
title = {Counter Machines and Counter Languages.},
year = {1968},
journal = {Math. Syst. Theory},
author = {{Patrick C. Fischer} and {Albert R. Meyer} and {Arnold L. Rosenberg}}
}
@inproceedings{conf/stoc/McCreightM69,
title = {Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report},
year = {1969},
booktitle = {STOC},
author = {{Edward M. McCreight} and {Albert R. Meyer}},
publisher = {ACM},
booktitle = {Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5-7, 1969, Marina del Rey, CA, USA}
}
@article{journals/jacm/Meyer69,
title = {A Note on Star-Free Events.},
year = {1969},
journal = {J. ACM},
author = {{Albert R. Meyer}}
}
@article{journals/mst/MeyerT69,
title = {Remarks on Algebraic Decomposition of Automata.},
year = {1969},
journal = {Math. Syst. Theory},
author = {{Albert R. Meyer} and {C. Thompson}}
}
@article{journals/tc/EvenM69,
title = {Sequential Boolean Equations.},
year = {1969},
journal = {IEEE Trans. Computers},
author = {{Shimon Even} and {Albert R. Meyer}}
}
@article{journals/jcss/FischerMR70,
title = {Time-Restricted Sequence Generation.},
year = {1970},
journal = {J. Comput. Syst. Sci.},
author = {{Patrick C. Fischer} and {Albert R. Meyer} and {Arnold L. Rosenberg}}
}
@inproceedings{conf/focs/FischerM71,
title = {Boolean Matrix Multiplication and Transitive Closure},
year = {1971},
booktitle = {SWAT},
author = {{Michael J. Fischer} and {Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971}
}
@inproceedings{conf/focs/MeyerF71,
title = {Economy of Description by Automata, Grammars, and Formal Systems},
year = {1971},
booktitle = {SWAT},
author = {{Albert R. Meyer} and {Michael J. Fischer}},
publisher = {IEEE Computer Society},
booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing, Michigan, USA, October 13-15, 1971}
}
@inproceedings{conf/focs/MeyerS72,
title = {The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space},
year = {1972},
booktitle = {SWAT},
author = {{Albert R. Meyer} and {Larry J. Stockmeyer}},
publisher = {IEEE Computer Society},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972}
}
@inproceedings{conf/stoc/MeyerB72,
title = {Program Size and Economy of Descriptions: Preliminary Report},
year = {1972},
booktitle = {STOC},
author = {{Albert R. Meyer} and {A. Bagchi}},
publisher = {ACM},
booktitle = {Proceedings of the 4th Annual ACM Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, USA}
}
@article{journals/jacm/FischerMR72,
title = {Real-Time Simulation of Multihead Tape Units.},
year = {1972},
journal = {J. ACM},
author = {{Patrick C. Fischer} and {Albert R. Meyer} and {Arnold L. Rosenberg}}
}
@article{journals/jsyml/MeyerF72,
title = {Computational Speed-Up by Effective Operators.},
year = {1972},
journal = {J. Symb. Log.},
author = {{Albert R. Meyer} and {Patrick C. Fischer}}
}
@article{journals/iandc/Meyer72,
title = {Program Size in Restricted Programming Languages},
year = {1972},
month = {November},
journal = {Inf. Control.},
author = {{Albert R. Meyer}}
}
@inproceedings{conf/focs/SeiferasFM73,
title = {Refinements of the Nondeterministic Time and Space Hierarchies},
year = {1973},
booktitle = {SWAT},
author = {{Joel I. Seiferas} and {Michael J. Fischer} and {Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973}
}
@inproceedings{conf/stoc/LynchMF73,
title = {Sets that Don't Help},
year = {1973},
booktitle = {STOC},
author = {{Nancy A. Lynch} and {Albert R. Meyer} and {Michael J. Fischer}},
publisher = {ACM},
booktitle = {Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA}
}
@inproceedings{conf/stoc/StockmeyerM73,
title = {Word Problems Requiring Exponential Time: Preliminary Report},
year = {1973},
booktitle = {STOC},
author = {{Larry J. Stockmeyer} and {Albert R. Meyer}},
publisher = {ACM},
booktitle = {Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA}
}
@article{journals/sigact/BauerBFMP73,
title = {A note on disjunctive form tautologies.},
year = {1973},
journal = {SIGACT News},
author = {{M. Bauer} and {D. Brand} and {Michael J. Fischer} and {Albert R. Meyer} and {Mike Paterson}}
}
@article{journals/sigact/LindM73,
title = {A characterization of log-space computable functions.},
year = {1973},
journal = {SIGACT News},
author = {{John Lind} and {Albert R. Meyer}}
}
@article{journals/jsyml/MollM74,
title = {Honest Bounds for Complexity Classes of Recursive Functions.},
year = {1974},
journal = {J. Symb. Log.},
author = {{Robert Moll} and {Albert R. Meyer}}
}
@inproceedings{conf/stoc/FischerMP75,
title = {Lower Bounds on the Size of Boolean Formulas: Preliminary Report},
year = {1975},
booktitle = {STOC},
author = {{Michael J. Fischer} and {Albert R. Meyer} and {Mike Paterson}},
publisher = {ACM},
booktitle = {Proceedings of the 7th Annual ACM Symposium on Theory of Computing, May 5-7, 1975, Albuquerque, New Mexico, USA}
}
@inproceedings{conf/icalp/BloniarzFM76,
title = {A Note on the Average Time to Compute Transitive Closures.},
year = {1976},
booktitle = {ICALP},
author = {{Peter A. Bloniarz} and {Michael J. Fischer} and {Albert R. Meyer}},
publisher = {Edinburgh University Press},
booktitle = {Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976}
}
@inproceedings{conf/stoc/CardozaLM76,
title = {Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report},
year = {1976},
booktitle = {STOC},
author = {{E. Cardoza} and {Richard J. Lipton} and {Albert R. Meyer}},
publisher = {ACM},
booktitle = {Proceedings of the 8th Annual ACM Symposium on Theory of Computing, May 3-5, 1976, Hershey, Pennsylvania, USA}
}
@inproceedings{conf/stoc/HarelMP77,
title = {Computability and Completeness in Logics of Programs (Preliminary Report)},
year = {1977},
booktitle = {STOC},
author = {{David Harel} and {Albert R. Meyer} and {Vaughan R. Pratt}},
publisher = {ACM},
booktitle = {Proceedings of the 9th Annual ACM Symposium on Theory of Computing, May 4-6, 1977, Boulder, Colorado, USA}
}
@inproceedings{conf/stoc/BrussM78,
title = {On Time-Space Classes and Their Relation to the Theory of Real Addition},
year = {1978},
booktitle = {STOC},
author = {{Anni R. Bruss} and {Albert R. Meyer}},
publisher = {ACM},
booktitle = {Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1-3, 1978, San Diego, California, USA}
}
@inproceedings{conf/stoc/RivestMKWS78,
title = {Coping with Errors in Binary Search Procedures (Preliminary Report)},
year = {1978},
booktitle = {STOC},
author = {{Ronald L. Rivest} and {Albert R. Meyer} and {Daniel J. Kleitman} and {Karl Winklmann} and {Joel Spencer}},
publisher = {ACM},
booktitle = {Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1-3, 1978, San Diego, California, USA}
}
@article{journals/jacm/SeiferasFM78,
title = {Separating Nondeterministic Time Complexity Classes.},
year = {1978},
journal = {J. ACM},
author = {{Joel I. Seiferas} and {Michael J. Fischer} and {Albert R. Meyer}}
}
@inproceedings{conf/popl/GreifM79,
title = {Specifying Programming Language Semantics.},
year = {1979},
booktitle = {POPL},
author = {{Irene Greif} and {Albert R. Meyer}},
publisher = {ACM Press},
booktitle = {Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979}
}
@inproceedings{conf/stoc/MeyerW79,
title = {On the Expressive Power of Dynamic Logic (Preliminary Report)},
year = {1979},
booktitle = {STOC},
author = {{Albert R. Meyer} and {Karl Winklmann}},
publisher = {ACM},
booktitle = {Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA}
}
@inproceedings{conf/tcs/MeyerG79,
title = {Can Partial Correctness Assertions Specify Programming Language Semantics?.},
year = {1979},
booktitle = {Theoretical Computer Science},
author = {{Albert R. Meyer} and {Irene Greif}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings}
}
@article{journals/jcss/RivestMKWS80,
title = {Coping with Errors in Binary Search Procedures.},
year = {1980},
journal = {J. Comput. Syst. Sci.},
author = {{Ronald L. Rivest} and {Albert R. Meyer} and {Daniel J. Kleitman} and {Karl Winklmann} and {Joel Spencer}}
}
@article{journals/tcs/BrussM80,
title = {On Time-Space Classes and their Relation to the Theory of Real Addition.},
year = {1980},
journal = {Theor. Comput. Sci.},
author = {{Anna R. Bruss} and {Albert R. Meyer}}
}
@inproceedings{conf/icalp/MeyerSM81,
title = {The Deducibility Problem in Propositional Dynamic Logic.},
year = {1981},
booktitle = {ICALP},
author = {{Albert R. Meyer} and {Robert S. Streett} and {Grazyna Mirkowska}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings}
}
@inproceedings{conf/lop/MeyerT81,
title = {A Note On Equivalences Among Logics of Programs.},
year = {1981},
booktitle = {Logic of Programs},
author = {{Albert R. Meyer} and {Jerzy Tiuryn}},
publisher = {Springer},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981}
}
@inproceedings{conf/popl/HalpernM81,
title = {Axiomatic Definitions of Programming Languages, II.},
year = {1981},
booktitle = {POPL},
author = {{Joseph Y. Halpern} and {Albert R. Meyer}},
publisher = {ACM Press},
booktitle = {Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981}
}
@article{journals/jacm/MayrM81,
title = {The Complexity of the Finite Containment Problem for Petri Nets.},
year = {1981},
journal = {J. ACM},
author = {{Ernst W. Mayr} and {Albert R. Meyer}}
}
@article{journals/jcss/MeyerP81,
title = {Definability in Dynamic Logic.},
year = {1981},
journal = {J. Comput. Syst. Sci.},
author = {{Albert R. Meyer} and {Rohit Parikh}}
}
@article{journals/toplas/GreifM81,
title = {Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer.},
year = {1981},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Irene Greif} and {Albert R. Meyer}}
}
@inproceedings{conf/popl/MeyerM82,
title = {Axiomatic Definability and Completeness for Recursive Programs.},
year = {1982},
booktitle = {POPL},
author = {{Albert R. Meyer} and {John C. Mitchell}},
publisher = {ACM Press},
booktitle = {Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982}
}
@article{journals/jacm/MeyerH82,
title = {Axiomatic Definitions of Programming Languages: A Theoretical Assessment.},
year = {1982},
journal = {J. ACM},
author = {{Albert R. Meyer} and {Joseph Y. Halpern}}
}
@article{journals/siamcomp/FischerMP82,
title = {Omega(n log n) Lower Bounds on Length of Boolean Formulas.},
year = {1982},
journal = {SIAM J. Comput.},
author = {{Michael J. Fischer} and {Albert R. Meyer} and {Mike Paterson}}
}
@article{journals/tcs/MeyerW82,
title = {Expressing Program Looping in Regular Dynamic Logic.},
year = {1982},
journal = {Theor. Comput. Sci.},
author = {{Albert R. Meyer} and {Karl Winklmann}}
}
@article{journals/iandc/Meyer82,
title = {What is a Model of the Lambda Calculus?},
year = {1982},
month = {January},
journal = {Inf. Control.},
author = {{Albert R. Meyer}}
}
@inproceedings{conf/ifip/Meyer83,
title = {Understanding ALGOL: The View of a Recent Convert to Denotational Semantics.},
year = {1983},
booktitle = {IFIP Congress},
author = {{Albert R. Meyer}},
publisher = {North-Holland/IFIP},
booktitle = {Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983}
}
@inproceedings{conf/lop/TrakhtenbrotHM83,
title = {From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.},
year = {1983},
booktitle = {Logic of Programs},
author = {{Boris A. Trakhtenbrot} and {Joseph Y. Halpern} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings}
}
@article{journals/iandc/MeyerM83,
title = {Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability},
year = {1983},
journal = {Inf. Control.},
author = {{Albert R. Meyer} and {John C. Mitchell}}
}
@inproceedings{conf/popl/HalpernMT84,
title = {The Semantics of Local Storage, or What Makes the Free-List Free?},
year = {1984},
booktitle = {POPL},
author = {{Joseph Y. Halpern} and {Albert R. Meyer} and {Boris A. Trakhtenbrot}},
publisher = {ACM Press},
booktitle = {Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984}
}
@inproceedings{conf/sdt/BruceM84,
title = {The Semantics of Second Order Polymorphic Lambda Calculus.},
year = {1984},
booktitle = {Semantics of Data Types},
author = {{Kim B. Bruce} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings}
}
@article{journals/iandc/SistlaCFNM84,
title = {Can Message Buffers Be Axiomatized in Linear Temporal Logic?},
year = {1984},
journal = {Inf. Control.},
author = {{A. Prasad Sistla} and {Edmund M. Clarke} and {Nissim Francez} and {Albert R. Meyer}}
}
@article{journals/jcss/MeyerT84,
title = {Equivalences among Logics of Programs.},
year = {1984},
journal = {J. Comput. Syst. Sci.},
author = {{Albert R. Meyer} and {Jerzy Tiuryn}}
}
@inproceedings{conf/lop/Breazu-TannenM85,
title = {Lambda Calculus with Constrained Types (Extended Abstract).},
year = {1985},
booktitle = {Logic of Programs},
author = {{Val Breazu-Tannen} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings}
}
@inproceedings{conf/lop/MeyerW85,
title = {Continuation Semantics in Typed Lambda-Calculi (Summary).},
year = {1985},
booktitle = {Logic of Programs},
author = {{Albert R. Meyer} and {Mitchell Wand}},
publisher = {Springer},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings}
}
@inproceedings{conf/lop/MitchellM85,
title = {Second-Order Logical Relations (Extended Abstract).},
year = {1985},
booktitle = {Logic of Programs},
author = {{John C. Mitchell} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings}
}
@article{journals/siamcomp/ParikhCHM85,
title = {Equations Between Regular Terms and an Application to Process Logic.},
year = {1985},
journal = {SIAM J. Comput.},
author = {{Rohit Parikh} and {Ashok K. Chandra} and {Joseph Y. Halpern} and {Albert R. Meyer}}
}
@inproceedings{conf/lics/Meyer86,
title = {Floyd-Hoare Logic Defines Semantics: Preliminary Version},
year = {1986},
booktitle = {LICS},
author = {{Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986}
}
@inproceedings{conf/popl/MeyerR86,
title = {"Type" Is Not A Type.},
year = {1986},
booktitle = {POPL},
author = {{Albert R. Meyer} and {Mark B. Reinhold}},
publisher = {ACM Press},
booktitle = {Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986}
}
@article{journals/mst/HalpernLMW86,
title = {On Time versus Space III.},
year = {1986},
journal = {Math. Syst. Theory},
author = {{Joseph Y. Halpern} and {Michael C. Loui} and {Albert R. Meyer} and {Daniel Weise}}
}
@inproceedings{conf/lics/Breazu-TannenM87,
title = {Polymorphism is conservative over simple types (Preliminary Report)},
year = {1987},
booktitle = {LICS},
author = {{Val Tannen} and {Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987}
}
@inproceedings{conf/popl/MeyerMMS87,
title = {Empty Types in Polymorphic Lambda Calculus.},
year = {1987},
booktitle = {POPL},
author = {{Albert R. Meyer} and {John C. Mitchell} and {Eugenio Moggi} and {Richard Statman}},
publisher = {ACM Press},
booktitle = {Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987}
}
@inproceedings{conf/popl/TannenM87,
title = {Computable Values Can Be Classical.},
year = {1987},
booktitle = {POPL},
author = {{Val Tannen} and {Albert R. Meyer}},
publisher = {ACM Press},
booktitle = {Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987}
}
@inproceedings{conf/lfp/MeyerR88,
title = {Continuations May be Unreasonable.},
year = {1988},
booktitle = {LISP and Functional Programming},
author = {{Albert R. Meyer} and {Jon G. Riecke}},
publisher = {ACM},
booktitle = {Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988}
}
@inproceedings{conf/lics/Meyer88,
title = {Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis},
year = {1988},
booktitle = {LICS},
author = {{Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988}
}
@inproceedings{conf/popl/MeyerS88,
title = {Towards Fully Abstract Semantics for Local Variables.},
year = {1988},
booktitle = {POPL},
author = {{Albert R. Meyer} and {Kurt Sieber}},
publisher = {ACM Press},
booktitle = {Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988}
}
@inproceedings{conf/ershov/BloomM89,
title = {A Remark on Bisimulation Between Probabilistic Processes.},
year = {1989},
booktitle = {Logic at Botik},
author = {{Bard Bloom} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings}
}
@inproceedings{conf/lics/CosmadakisMR90,
title = {Completeness for typed lazy inequalities},
year = {1990},
booktitle = {LICS},
author = {{Stavros S. Cosmadakis} and {Albert R. Meyer} and {Jon G. Riecke}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990}
}
@article{journals/iandc/BruceMM90,
title = {The Semantics of Second-Order Lambda Calculus},
year = {1990},
month = {March},
journal = {Inf. Comput.},
author = {{Kim B. Bruce} and {Albert R. Meyer} and {John C. Mitchell}}
}
@inproceedings{conf/concur/JategaonkarM92,
title = {Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.},
year = {1992},
booktitle = {CONCUR},
author = {{Lalita Jategaonkar} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}
}
@article{journals/tcs/BloomM92,
title = {Experimenting with Process Equivalence.},
year = {1992},
journal = {Theor. Comput. Sci.},
author = {{Bard Bloom} and {Albert R. Meyer}}
}
@inproceedings{conf/icalp/JategaonkarM93,
title = {Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).},
year = {1993},
booktitle = {ICALP},
author = {{Lalita Jategaonkar} and {Albert R. Meyer}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings}
}
@inproceedings{conf/lics/JategaonkarM93,
title = {Self-Synchronization of Concurrent Processes (Preliminary Report)},
year = {1993},
booktitle = {LICS},
author = {{Lalita Jategaonkar} and {Albert R. Meyer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993}
}
@article{journals/fuin/TannenM93,
title = {Conservativity of Equational Theories in Typed Lambda Calculi.},
year = {1993},
journal = {Fundam. Informaticae},
author = {{Val Tannen} and {Albert R. Meyer}}
}
@inproceedings{conf/tacs/Meyer94,
title = {Observing Truly Concurrent Processes.},
year = {1994},
booktitle = {TACS},
author = {{Albert R. Meyer}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings}
}
@inproceedings{conf/stacs/Meyer95,
title = {Concurrent Process Equivalences: Some Decision Problems (Abstract).},
year = {1995},
booktitle = {STACS},
author = {{Albert R. Meyer}},
publisher = {Springer},
booktitle = {STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings}
}
@article{journals/apal/SeiferasM95,
title = {Characterizations of Realizable Space Complexities.},
year = {1995},
journal = {Ann. Pure Appl. Log.},
author = {{Joel I. Seiferas} and {Albert R. Meyer}}
}
@article{journals/jacm/BloomIM95,
title = {Bisimulation Can't be Traced.},
year = {1995},
journal = {J. ACM},
author = {{Bard Bloom} and {Sorin Istrail} and {Albert R. Meyer}}
}
@inproceedings{conf/dimacs/MeyerR96,
title = {A solution of an interleaving decision problem by a partial order technique.},
year = {1996},
booktitle = {Partial Order Methods in Verification},
author = {{Albert R. Meyer} and {Alexander Moshe Rabinovich}},
publisher = {DIMACS/AMS},
booktitle = {Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996}
}
@article{journals/siamcomp/JimM96,
title = {Full Abstraction and the Context Lemma.},
year = {1996},
journal = {SIAM J. Comput.},
author = {{Trevor Jim} and {Albert R. Meyer}}
}
@article{journals/tcs/JategaonkarM96,
title = {Deciding True Concurrency Equivalences on Safe, Finite Nets.},
year = {1996},
journal = {Theor. Comput. Sci.},
author = {{Lalita Jategaonkar} and {Albert R. Meyer}}
}
@article{journals/jacm/StockmeyerM02,
title = {Cosmological lower bound on the circuit complexity of a small problem in logic.},
year = {2002},
journal = {J. ACM},
author = {{Larry J. Stockmeyer} and {Albert R. Meyer}}
}
@article{journals/jalc/MeyerR02,
title = {Valid Identity Problem for Shuffle Regular Expressions.},
year = {2002},
journal = {J. Autom. Lang. Comb.},
author = {{Albert R. Meyer} and {Alexander Rabinovich}}
}
@inproceedings{conf/birthday/Meyer08,
title = {Reminiscences.},
year = {2008},
booktitle = {Pillars of Computer Science},
author = {{Albert R. Meyer}},
publisher = {Springer},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday}
}