×

zbMATH — the first resource for mathematics

Meyer, Albert Ronald

Compute Distance To:
Author ID: meyer.albert-ronald Recent zbMATH articles by "Meyer, Albert Ronald"
Published as: Meyer, Albert R.; Meyer, A. R.; Meyer, Albert; Meyer, A.
Homepage: https://people.csail.mit.edu/meyer/
External Links: MGP · Wikidata · dblp · IdRef
Documents Indexed: 72 Publications since 1968, including 4 Books

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 1,036 times in 943 Documents Cited by Year
Word problems requiring exponential time: Preliminary report. Zbl 0359.68050
Stockmeyer, L. J.; Meyer, A. R.
231
1973
The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007
Mayr, Ernst W.; Meyer, Albert R.
138
1982
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
122
1995
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
66
1968
Coping with errors in binary search procedures. Zbl 0443.68043
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J.
42
1980
Separating nondeterministic time complexity classes. Zbl 0366.68038
Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R.
40
1978
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
35
1982
Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074
McCreight, E. M.; Meyer, A. R.
29
1969
Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067
Cardoza, E.; Lipton, R.; Meyer, A. R.
26
1976
Program size in restricted programming languages. Zbl 0301.68019
Meyer, Albert R.
25
1972
The complexity of the finite containment problem for Petri nets. Zbl 0462.68020
Mayr, Ernst W.; Meyer, Albert R.
21
1981
Real-time simulation of multihead tape units. Zbl 0261.68027
Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L.
20
1972
Computational speed-up by effective operators. Zbl 0249.68018
Meyer, Albert R.; Fischer, Patrick C.
19
1972
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
A classification of the recursive functions. Zbl 0247.02037
Meyer, Albert R.; Ritchie, Dennis M.
16
1972
A note on star-free events. Zbl 0224.94060
Meyer, Albert R.
15
1969
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056
Jategaonkar, Lalita; Meyer, Albert R.
12
1996
On time-space classes and their relation to the theory of real addition. Zbl 0467.03038
Bruss, Anna R.; Meyer, Albert R.
10
1980
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Relativization of the theory of computational complexity. Zbl 0353.68059
Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J.
8
1976
Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036
Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S.
8
1982
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
7
1985
An improved overlap argument for on-line multiplication. Zbl 0301.68059
Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R.
7
1974
Continuation semantics in typed lambda-calculi. Zbl 0565.68028
Meyer, Albert R.; Wand, Mitchell
7
1985
Full abstraction and the context lemma. Zbl 0856.03013
Jim, Trevor; Meyer, Albert R.
6
1996
Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007
Greif, Irene; Meyer, Albert R.
6
1981
Expressing program looping in regular dynamic logic. Zbl 0478.68031
Meyer, Albert R.; Winklmann, Karl
6
1982
From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011
Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R.
6
1984
Equivalences among logics of programs. Zbl 0552.68037
Meyer, Albert R.; Tiuryn, Jerzy
5
1984
Time-restricted sequence generation. Zbl 0191.18301
Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L.
5
1970
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
4
1984
Honest bounds for complexity classes of recursive functions. Zbl 0322.02038
Moll, R.; Meyer, A. R.
4
1974
Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153
Stockmeyer, Larry; Meyer, Albert R.
4
2002
Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170
Jategaonkar, Lalita; Meyer, Albert
3
1993
Characterization of realizable space complexities. Zbl 0826.03019
Seiferas, Joel I.; Meyer, Albert R.
3
1995
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036
Meyer, Albert R.
3
1975
Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.
3
1978
Program size and economy of descriptions: Preliminary report. Zbl 0354.68024
Meyer, A. R.; Bagchi, A.
2
1972
The inherent computational complexity of theories of ordered sets. Zbl 0361.02061
Meyer, Albert R.
2
1975
Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034
Meyer, Albert R.
2
1975
A note on the average time to compute transitive closures. Zbl 0363.68055
Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R.
2
1976
The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029
Meyer, A. R.; Winklmann, K.
2
1979
On time versus space. III. Zbl 0606.68043
Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel
2
1986
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
On orders of translations and enumerations. Zbl 0276.02022
Helm, John; Meyer, Albert; Young, Paul
2
1973
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
Remarks on algebraic decomposition of automata. Zbl 0175.00902
Meyer, A. R.; Thompson, C.
2
1969
Lambda calculus with constrained types. Zbl 0587.03011
Breazu-Tannen, Val; Meyer, Albert R.
1
1985
Sequential Boolean equations. Zbl 0201.01603
Even, Shimon; Meyer, Albert R.
1
1969
Properties of bounds on computation. Zbl 0287.68026
Meyer, A. R.; McCreight, E. M.
1
1969
A note on equivalences among logics of programs. Zbl 0502.68005
Meyer, Albert R.; Tiuryn, Jerzy
1
1982
On time-space classes and their relation to the theory of real addition. Zbl 1282.68109
Bruss, Anni R.; Meyer, Albert R.
1
1978
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
1
1985
Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153
Stockmeyer, Larry; Meyer, Albert R.
4
2002
Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056
Jategaonkar, Lalita; Meyer, Albert R.
12
1996
Full abstraction and the context lemma. Zbl 0856.03013
Jim, Trevor; Meyer, Albert R.
6
1996
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
122
1995
Characterization of realizable space complexities. Zbl 0826.03019
Seiferas, Joel I.; Meyer, Albert R.
3
1995
Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170
Jategaonkar, Lalita; Meyer, Albert
3
1993
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
On time versus space. III. Zbl 0606.68043
Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel
2
1986
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
7
1985
Continuation semantics in typed lambda-calculi. Zbl 0565.68028
Meyer, Albert R.; Wand, Mitchell
7
1985
Lambda calculus with constrained types. Zbl 0587.03011
Breazu-Tannen, Val; Meyer, Albert R.
1
1985
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
1
1985
From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011
Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R.
6
1984
Equivalences among logics of programs. Zbl 0552.68037
Meyer, Albert R.; Tiuryn, Jerzy
5
1984
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
4
1984
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007
Mayr, Ernst W.; Meyer, Albert R.
138
1982
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
35
1982
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036
Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S.
8
1982
Expressing program looping in regular dynamic logic. Zbl 0478.68031
Meyer, Albert R.; Winklmann, Karl
6
1982
A note on equivalences among logics of programs. Zbl 0502.68005
Meyer, Albert R.; Tiuryn, Jerzy
1
1982
The complexity of the finite containment problem for Petri nets. Zbl 0462.68020
Mayr, Ernst W.; Meyer, Albert R.
21
1981
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007
Greif, Irene; Meyer, Albert R.
6
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
Coping with errors in binary search procedures. Zbl 0443.68043
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J.
42
1980
On time-space classes and their relation to the theory of real addition. Zbl 0467.03038
Bruss, Anna R.; Meyer, Albert R.
10
1980
The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029
Meyer, A. R.; Winklmann, K.
2
1979
Separating nondeterministic time complexity classes. Zbl 0366.68038
Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R.
40
1978
Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.
3
1978
On time-space classes and their relation to the theory of real addition. Zbl 1282.68109
Bruss, Anni R.; Meyer, Albert R.
1
1978
Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067
Cardoza, E.; Lipton, R.; Meyer, A. R.
26
1976
Relativization of the theory of computational complexity. Zbl 0353.68059
Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J.
8
1976
A note on the average time to compute transitive closures. Zbl 0363.68055
Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R.
2
1976
Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036
Meyer, Albert R.
3
1975
The inherent computational complexity of theories of ordered sets. Zbl 0361.02061
Meyer, Albert R.
2
1975
Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034
Meyer, Albert R.
2
1975
An improved overlap argument for on-line multiplication. Zbl 0301.68059
Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R.
7
1974
Honest bounds for complexity classes of recursive functions. Zbl 0322.02038
Moll, R.; Meyer, A. R.
4
1974
Word problems requiring exponential time: Preliminary report. Zbl 0359.68050
Stockmeyer, L. J.; Meyer, A. R.
231
1973
On orders of translations and enumerations. Zbl 0276.02022
Helm, John; Meyer, Albert; Young, Paul
2
1973
Program size in restricted programming languages. Zbl 0301.68019
Meyer, Albert R.
25
1972
Real-time simulation of multihead tape units. Zbl 0261.68027
Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L.
20
1972
Computational speed-up by effective operators. Zbl 0249.68018
Meyer, Albert R.; Fischer, Patrick C.
19
1972
A classification of the recursive functions. Zbl 0247.02037
Meyer, Albert R.; Ritchie, Dennis M.
16
1972
Program size and economy of descriptions: Preliminary report. Zbl 0354.68024
Meyer, A. R.; Bagchi, A.
2
1972
Time-restricted sequence generation. Zbl 0191.18301
Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L.
5
1970
Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074
McCreight, E. M.; Meyer, A. R.
29
1969
A note on star-free events. Zbl 0224.94060
Meyer, Albert R.
15
1969
Remarks on algebraic decomposition of automata. Zbl 0175.00902
Meyer, A. R.; Thompson, C.
2
1969
Sequential Boolean equations. Zbl 0201.01603
Even, Shimon; Meyer, Albert R.
1
1969
Properties of bounds on computation. Zbl 0287.68026
Meyer, A. R.; McCreight, E. M.
1
1969
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
66
1968
all top 5

Cited by 1,187 Authors

21 Aceto, Luca
19 Ingólfsdóttir, Anna
12 Gregorio-Rodríguez, Carlos
11 Meyer, Albert Ronald
10 de Frutos-Escrig, David
9 Okhotin, Alexander
8 Fokkink, Willem Jan
8 Klin, Bartek
8 Kozen, Dexter C.
8 Pelc, Andrzej
8 van Glabbeek, Robert Jan
7 Case, John
7 Mayr, Ernst W.
7 Tini, Simone
7 Wagner, Klaus W.
6 Cicalese, Ferdinando
6 Glaßer, Christian
6 Greibach, Sheila A.
6 Grigor’ev, Dmitriĭ Yur’evich
6 Huynh, Dung T.
6 Ibarra, Oscar H.
6 Jeż, Artur
6 Luttik, Bas
6 Lynch, Nancy Ann
6 Martens, Wim
6 Mitchell, John C.
6 Neven, Frank
6 Reniers, Michel Adriaan
6 Rosier, Louis E.
6 Rot, Jurriaan
6 Salibra, Antonino
6 Schmitz, Sylvain
6 Seiferas, Joel I.
6 Ulidowski, Irek
5 Eiter, Thomas
5 Gottlob, Georg
5 Halpern, Joseph Yehuda
5 Hunt, Harry Bowen III
5 Jain, Sanjay
5 Ko, Ker-I
5 Kutrib, Martin
5 Longo, Giuseppe
5 McCullough, Jason
5 Montanari, Ugo G.
5 Peeva, Irena V.
5 Smolka, Scott A.
5 Stephan, Frank
5 Stockmeyer, Larry J.
5 Teutsch, Jason
5 van Emde Boas, Peter
4 Allender, Eric W.
4 Beigel, Richard
4 Book, Ronald Vernon
4 Bruce, Kim B.
4 Cimini, Matteo
4 Davenport, James Harold
4 England, Matthew
4 Fábregas, Ignacio
4 Finocchi, Irene
4 Fischer, Michael J.
4 Gasarch, William Ian
4 Gebler, Daniel E.
4 Gelade, Wouter
4 Hartmanis, Juris
4 Hemaspaandra, Lane A.
4 Howell, Rodney R.
4 Italiano, Giuseppe Francesco
4 Jančar, Petr
4 Jones, Neil D.
4 Kleine Büning, Hans
4 Malcher, Andreas
4 Niehren, Joachim
4 Pous, Damien
4 Reif, John H.
4 Shan, Chung-chieh
4 Tiuryn, Jerzy
4 Vaccaro, Ugo
4 Yen, Hsu-Chun
3 Barbanera, Franco
3 Biere, Armin
3 Bloom, Bard
3 Bonchi, Filippo
3 Bonsangue, Marcello Maria
3 Boreale, Michele
3 Bouyer, Patricia
3 Bozzelli, Laura
3 Bruni, Roberto
3 Brzozowski, Janusz Antoni
3 Calude, Cristian S.
3 Cassez, Franck
3 Castiglioni, Valentina
3 Cheng, Allan
3 Coppo, Mario
3 Dose, Titus
3 Fernau, Henning
3 Finkel, Alain
3 Fischer, Patrick Carl
3 Fortnow, Lance J.
3 Fröschle, Sibylle B.
3 Galil, Zvi
...and 1,087 more Authors
all top 5

Cited in 138 Serials

199 Theoretical Computer Science
96 Journal of Computer and System Sciences
68 Information and Computation
36 Mathematical Systems Theory
34 Information Processing Letters
25 Journal of Symbolic Computation
23 Acta Informatica
18 Annals of Pure and Applied Logic
17 Theory of Computing Systems
11 The Journal of Logic and Algebraic Programming
10 MSCS. Mathematical Structures in Computer Science
9 Artificial Intelligence
9 The Journal of Symbolic Logic
9 Computational Complexity
8 Journal of Combinatorial Theory. Series A
7 Journal of Algebra
7 Journal of Pure and Applied Algebra
7 International Journal of Foundations of Computer Science
7 Logical Methods in Computer Science
7 Journal of Logical and Algebraic Methods in Programming
6 Discrete Applied Mathematics
6 Information Sciences
6 Journal of Soviet Mathematics
6 RAIRO, Informatique Théorique
6 Annals of Mathematics and Artificial Intelligence
6 RAIRO. Theoretical Informatics and Applications
6 ACM Transactions on Computational Logic
5 Journal of Complexity
5 Formal Aspects of Computing
5 RAIRO. Informatique Théorique et Applications
5 Journal of Applied Non-Classical Logics
5 Mathematical Logic Quarterly (MLQ)
4 Computing
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Functional Programming
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Discrete Mathematics
3 Mathematische Zeitschrift
3 Proceedings of the American Mathematical Society
3 Studia Logica
3 Transactions of the American Mathematical Society
3 Advances in Applied Mathematics
3 Journal of Automated Reasoning
3 European Journal of Operational Research
3 Archive for Mathematical Logic
3 Formal Methods in System Design
3 Journal of Mathematical Sciences (New York)
3 RAIRO. Theoretical Informatics and Applications
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Communications in Algebra
2 Computers & Mathematics with Applications
2 Advances in Mathematics
2 Annales de l’Institut Fourier
2 Automatica
2 International Journal of Game Theory
2 Cybernetics
2 Journal of Computer Science and Technology
2 Algorithmica
2 Journal of the American Mathematical Society
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Discrete Mathematics and Applications
2 Linear Algebra and its Applications
2 Journal of Logic, Language and Information
2 The Bulletin of Symbolic Logic
2 Higher-Order and Symbolic Computation
2 Foundations of Computational Mathematics
2 Theory and Practice of Logic Programming
2 Natural Computing
2 Journal of Applied Logic
2 Mathematics in Computer Science
2 Journal of Commutative Algebra
2 ACM Transactions on Computation Theory
2 Prikladnaya Diskretnaya Matematika
1 Advances in Applied Probability
1 International Journal of Control
1 International Journal of Theoretical Physics
1 Mathematical Notes
1 Problems of Information Transmission
1 Mathematics of Computation
1 Acta Mathematica
1 Algebra Universalis
1 The Annals of Statistics
1 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série
1 Collectanea Mathematica
1 Compositio Mathematica
1 Duke Mathematical Journal
1 Inventiones Mathematicae
1 Journal of Philosophical Logic
1 Journal für die Reine und Angewandte Mathematik
1 Journal of Statistical Planning and Inference
1 Kybernetika
1 Manuscripta Mathematica
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Semigroup Forum
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Tohoku Mathematical Journal. Second Series
1 Topology and its Applications
...and 38 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.