Edit Profile (opens in new tab) Meyer, Albert Ronald Co-Author Distance Author ID: meyer.albert-ronald Published as: Meyer, Albert R.; Meyer, A. R.; Meyer, Albert; Meyer, A. more...less Homepage: https://people.csail.mit.edu/meyer/ External Links: MGP · Wikidata · dblp · IdRef Documents Indexed: 69 Publications since 1968 4 Contributions as Editor · 2 Further Contributions Co-Authors: 46 Co-Authors with 63 Joint Publications 1,440 Co-Co-Authors all top 5 Co-Authors 9 single-authored 8 Fischer, Michael J. 6 Fischer, Patrick Carl 5 Paterson, Mike S. 5 Rosenberg, Arnold Leonard 3 Bloom, Bard 3 Halpern, Joseph Yehuda 3 Mirkowska, Grazyna 3 Mitchell, John C. 3 Parikh, Rohit 3 Seiferas, Joel I. 3 Tiuryn, Jerzy 2 Bloniarz, Peter A. 2 Breazu-Tannen, Val 2 Bruce, Kim B. 2 Bruss, Anna Rosa 2 Clarke, Edmund Melson jun. 2 Greif, Irene 2 Hoffmann, Christoph M. 2 Ito, Takayasu 2 Jategaonkar, Lalita A. 2 Jim, Trevor 2 Kleitman, Daniel J. 2 Lipton, Richard Jay 2 Lynch, Nancy Ann 2 Mayr, Ernst W. 2 McCreight, Edward M. 2 Pratt, Vaughan R. 2 Rabinovich, Alexander 2 Reif, John H. 2 Rivest, Ronald Linn 2 Savage, John E. 2 Stockmeyer, Larry J. 2 Streett, Robert S. 2 Ullman, Jeffrey David 2 Winklmann, Karl 1 Aho, Alfred Vaino 1 Andler, Sten F. 1 Andrews, Gregory R. 1 Angluin, Dana 1 Banning, John 1 Bernstein, Philip A. 1 Borodin, Allan B. 1 Brent, Richard Peirce 1 Brown, Donna J. 1 Cardoza, E. 1 Carlson, David A. 1 Cartwright, Robert 1 Casanova, Marco Antonio 1 Chandra, Ashok K. 1 Chazelle, Bernard 1 Cohen, Norman H. 1 Cohen, Richard M. 1 Cohen, Rina S. 1 Constable, Robert Lee 1 Cook, Stephen Arthur 1 Cousot, Patrick 1 Cousot, Radhia 1 Critcher, Adrienne 1 Cypher, A. 1 DeMillo, Richard Allan 1 Dobkin, David P. 1 Ehrig, Hartmut 1 Even, Shimon 1 Fagin, Ronald 1 Filotti, I. S. 1 Fleck, Arthur C. 1 Fong, Amelia C. 1 Francez, Nissim 1 Fraser, Christopher W. 1 Frederickson, Greg N. 1 Gerhart, Susan L. 1 Good, Donald I. 1 Guibas, Leonidas John 1 Gull, Walter E. 1 Halpern, Joe 1 Harel, David 1 Harry, E. 1 Heintz, Joos 1 Helm, John P. 1 Hong, Jiawei 1 Ibarra, Oscar H. 1 Istrail, Sorin 1 Ja’Ja’, Joseph F. 1 Jenkins, Michael A. 1 Johnson, Donald B. 1 Jones, Neil D. 1 Joseph, Deborah 1 Kannan, Ravindran 1 Karp, Richard Manning 1 Kung, H. T. 1 Lee, Stanley 1 Leininger, Brian S. 1 Lichtenstein, David 1 Liu, Ken-Chih 1 Lloyd, Errol L. 1 Loui, Michael C. 1 Mahr, Bernd 1 Mayer, Jack N. 1 McCarthy, John 1 Miller, Gary Lee ...and 36 more Co-Authors all top 5 Serials 6 Journal of the Association for Computing Machinery 4 Information and Control 4 Journal of Computer and System Sciences 4 Theoretical Computer Science 3 Mathematical Systems Theory 3 SIAM Journal on Computing 2 The Journal of Symbolic Logic 2 Kiberneticheskiĭ Sbornik. Novaya Seriya 2 Lecture Notes in Computer Science 1 Advances in Mathematics 1 IEEE Transactions on Computers 1 Pacific Journal of Mathematics 1 Transactions of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 ACM Transactions on Programming Languages and Systems 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Journal of Automata, Languages and Combinatorics 1 Journal of the ACM 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik all top 5 Fields 64 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 4 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 1,215 times in 1,095 Documents Cited by ▼ Year ▼ Word problems requiring exponential time: Preliminary report. Zbl 0359.68050Stockmeyer, L. J.; Meyer, A. R. 291 1973 The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007Mayr, Ernst W.; Meyer, Albert R. 163 1982 Bisimulation can’t be traced. Zbl 0886.68027Bloom, Bard; Istrail, Sorin; Meyer, Albert R. 144 1995 Counter machines and counter languages. Zbl 0165.32002Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L. 70 1968 Coping with errors in binary search procedures. Zbl 0443.68043Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J. 49 1980 Separating nondeterministic time complexity classes. Zbl 0366.68038Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R. 44 1978 What is a model of the lambda calculus? Zbl 0507.03002Meyer, Albert R. 42 1982 Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074McCreight, E. M.; Meyer, A. R. 33 1969 Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067Cardoza, E.; Lipton, R.; Meyer, A. R. 30 1976 The complexity of the finite containment problem for Petri nets. Zbl 0462.68020Mayr, Ernst W.; Meyer, Albert R. 26 1981 Program size in restricted programming languages. Zbl 0301.68019Meyer, Albert R. 25 1972 The semantics of second-order lambda calculus. Zbl 0714.68052Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C. 22 1990 Real-time simulation of multihead tape units. Zbl 0261.68027Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L. 20 1972 Computational speed-up by effective operators. Zbl 0249.68018Meyer, Albert R.; Fischer, Patrick C. 20 1972 A note on star-free events. Zbl 0224.94060Meyer, Albert R. 17 1969 A classification of the recursive functions. Zbl 0247.02037Meyer, Albert R.; Ritchie, Dennis M. 16 1972 Definability in dynamic logic. Zbl 0472.03013Meyer, Albert R.; Parikh, Rohit 14 1981 Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056Jategaonkar, Lalita; Meyer, Albert R. 13 1996 On time-space classes and their relation to the theory of real addition. Zbl 0467.03038Bruss, Anna R.; Meyer, Albert R. 10 1980 Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009Meyer, Albert R.; Halpern, Joseph Y. 10 1982 Equations between regular terms and an application to process logic. Zbl 0587.68031Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert 9 1985 An improved overlap argument for on-line multiplication. Zbl 0301.68059Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R. 9 1974 Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S. 8 1982 Relativization of the theory of computational complexity. Zbl 0353.68059Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J. 8 1976 From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R. 7 1984 Continuation semantics in typed lambda-calculi. Zbl 0565.68028Meyer, Albert R.; Wand, Mitchell 7 1985 Full abstraction and the context lemma. Zbl 0856.03013Jim, Trevor; Meyer, Albert R. 7 1996 Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153Stockmeyer, Larry; Meyer, Albert R. 6 2002 Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007Greif, Irene; Meyer, Albert R. 6 1981 Expressing program looping in regular dynamic logic. Zbl 0478.68031Meyer, Albert R.; Winklmann, Karl 6 1982 Experimenting with process equivalence. Zbl 0761.68037Bloom, Bard; Meyer, Albert R. 6 1992 Time-restricted sequence generation. Zbl 0191.18301Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L. 6 1970 Equivalences among logics of programs. Zbl 0552.68037Meyer, Albert R.; Tiuryn, Jerzy 5 1984 Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R. 5 1984 Honest bounds for complexity classes of recursive functions. Zbl 0322.02038Moll, R.; Meyer, A. R. 5 1974 Lambda calculus with constrained types. Zbl 0587.03011Breazu-Tannen, Val; Meyer, Albert R. 4 1985 Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170Jategaonkar, Lalita; Meyer, Albert 4 1993 Characterization of realizable space complexities. Zbl 0826.03019Seiferas, Joel I.; Meyer, Albert R. 4 1995 Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095Rivest, R. L.; Meyer, A. R.; Kleitman, D. J. 4 1978 Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036Meyer, Albert R. 4 1975 Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034Meyer, Albert R.; Mitchell, John C. 3 1983 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 3 1981 Second-order logical relations. Zbl 0565.68029Mitchell, John C.; Meyer, Albert R. 2 1985 On time versus space. III. Zbl 0606.68043Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel 2 1986 A remark on bisimulation between probabilistic processes. Zbl 0681.68027Bloom, Bard; Meyer, Albert R. 2 1989 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029Meyer, A. R.; Winklmann, K. 2 1979 On orders of translations and enumerations. Zbl 0276.02022Helm, John; Meyer, Albert; Young, Paul 2 1973 Remarks on algebraic decomposition of automata. Zbl 0175.00902Meyer, A. R.; Thompson, C. 2 1969 Program size and economy of descriptions: Preliminary report. Zbl 0354.68024Meyer, A. R.; Bagchi, A. 2 1972 The inherent computational complexity of theories of ordered sets. Zbl 0361.02061Meyer, Albert R. 2 1975 Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034Meyer, Albert R. 2 1975 A note on the average time to compute transitive closures. Zbl 0363.68055Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R. 2 1976 The semantics of second order polymorphic lambda calculus. Zbl 0554.03011Bruce, Kim B.; Meyer, Albert R. 1 1984 A note on equivalences among logics of programs. Zbl 0502.68005Meyer, Albert R.; Tiuryn, Jerzy 1 1982 Reminiscences. Zbl 1132.01309Meyer, Albert R. 1 2008 Valid identity problem for shuffle regular expressions. Zbl 1021.68085Meyer, Albert R.; Rabinovich, Alexander 1 2002 Properties of bounds on computation. Zbl 0287.68026Meyer, A. R.; McCreight, E. M. 1 1969 Sequential Boolean equations. Zbl 0201.01603Even, Shimon; Meyer, Albert R. 1 1969 Full abstraction and the context lemma (preliminary report). Zbl 1493.68090Jim, Trevor; Meyer, Albert R. 1 1991 On time-space classes and their relation to the theory of real addition. Zbl 1282.68109Bruss, Anni R.; Meyer, Albert R. 1 1978 Reminiscences. Zbl 1132.01309Meyer, Albert R. 1 2008 Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153Stockmeyer, Larry; Meyer, Albert R. 6 2002 Valid identity problem for shuffle regular expressions. Zbl 1021.68085Meyer, Albert R.; Rabinovich, Alexander 1 2002 Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056Jategaonkar, Lalita; Meyer, Albert R. 13 1996 Full abstraction and the context lemma. Zbl 0856.03013Jim, Trevor; Meyer, Albert R. 7 1996 Bisimulation can’t be traced. Zbl 0886.68027Bloom, Bard; Istrail, Sorin; Meyer, Albert R. 144 1995 Characterization of realizable space complexities. Zbl 0826.03019Seiferas, Joel I.; Meyer, Albert R. 4 1995 Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170Jategaonkar, Lalita; Meyer, Albert 4 1993 Experimenting with process equivalence. Zbl 0761.68037Bloom, Bard; Meyer, Albert R. 6 1992 Full abstraction and the context lemma (preliminary report). Zbl 1493.68090Jim, Trevor; Meyer, Albert R. 1 1991 The semantics of second-order lambda calculus. Zbl 0714.68052Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C. 22 1990 A remark on bisimulation between probabilistic processes. Zbl 0681.68027Bloom, Bard; Meyer, Albert R. 2 1989 On time versus space. III. Zbl 0606.68043Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel 2 1986 Equations between regular terms and an application to process logic. Zbl 0587.68031Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert 9 1985 Continuation semantics in typed lambda-calculi. Zbl 0565.68028Meyer, Albert R.; Wand, Mitchell 7 1985 Lambda calculus with constrained types. Zbl 0587.03011Breazu-Tannen, Val; Meyer, Albert R. 4 1985 Second-order logical relations. Zbl 0565.68029Mitchell, John C.; Meyer, Albert R. 2 1985 From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R. 7 1984 Equivalences among logics of programs. Zbl 0552.68037Meyer, Albert R.; Tiuryn, Jerzy 5 1984 Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R. 5 1984 The semantics of second order polymorphic lambda calculus. Zbl 0554.03011Bruce, Kim B.; Meyer, Albert R. 1 1984 Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034Meyer, Albert R.; Mitchell, John C. 3 1983 The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007Mayr, Ernst W.; Meyer, Albert R. 163 1982 What is a model of the lambda calculus? Zbl 0507.03002Meyer, Albert R. 42 1982 Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009Meyer, Albert R.; Halpern, Joseph Y. 10 1982 Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S. 8 1982 Expressing program looping in regular dynamic logic. Zbl 0478.68031Meyer, Albert R.; Winklmann, Karl 6 1982 A note on equivalences among logics of programs. Zbl 0502.68005Meyer, Albert R.; Tiuryn, Jerzy 1 1982 The complexity of the finite containment problem for Petri nets. Zbl 0462.68020Mayr, Ernst W.; Meyer, Albert R. 26 1981 Definability in dynamic logic. Zbl 0472.03013Meyer, 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.68007Greif, Irene; Meyer, Albert R. 6 1981 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 3 1981 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 Coping with errors in binary search procedures. Zbl 0443.68043Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J. 49 1980 On time-space classes and their relation to the theory of real addition. Zbl 0467.03038Bruss, Anna R.; Meyer, Albert R. 10 1980 The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029Meyer, A. R.; Winklmann, K. 2 1979 Separating nondeterministic time complexity classes. Zbl 0366.68038Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R. 44 1978 Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095Rivest, R. L.; Meyer, A. R.; Kleitman, D. J. 4 1978 On time-space classes and their relation to the theory of real addition. Zbl 1282.68109Bruss, Anni R.; Meyer, Albert R. 1 1978 Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067Cardoza, E.; Lipton, R.; Meyer, A. R. 30 1976 Relativization of the theory of computational complexity. Zbl 0353.68059Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J. 8 1976 A note on the average time to compute transitive closures. Zbl 0363.68055Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R. 2 1976 Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036Meyer, Albert R. 4 1975 The inherent computational complexity of theories of ordered sets. Zbl 0361.02061Meyer, Albert R. 2 1975 Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034Meyer, Albert R. 2 1975 An improved overlap argument for on-line multiplication. Zbl 0301.68059Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R. 9 1974 Honest bounds for complexity classes of recursive functions. Zbl 0322.02038Moll, R.; Meyer, A. R. 5 1974 Word problems requiring exponential time: Preliminary report. Zbl 0359.68050Stockmeyer, L. J.; Meyer, A. R. 291 1973 On orders of translations and enumerations. Zbl 0276.02022Helm, John; Meyer, Albert; Young, Paul 2 1973 Program size in restricted programming languages. Zbl 0301.68019Meyer, Albert R. 25 1972 Real-time simulation of multihead tape units. Zbl 0261.68027Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L. 20 1972 Computational speed-up by effective operators. Zbl 0249.68018Meyer, Albert R.; Fischer, Patrick C. 20 1972 A classification of the recursive functions. Zbl 0247.02037Meyer, Albert R.; Ritchie, Dennis M. 16 1972 Program size and economy of descriptions: Preliminary report. Zbl 0354.68024Meyer, A. R.; Bagchi, A. 2 1972 Time-restricted sequence generation. Zbl 0191.18301Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L. 6 1970 Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074McCreight, E. M.; Meyer, A. R. 33 1969 A note on star-free events. Zbl 0224.94060Meyer, Albert R. 17 1969 Remarks on algebraic decomposition of automata. Zbl 0175.00902Meyer, A. R.; Thompson, C. 2 1969 Properties of bounds on computation. Zbl 0287.68026Meyer, A. R.; McCreight, E. M. 1 1969 Sequential Boolean equations. Zbl 0201.01603Even, Shimon; Meyer, Albert R. 1 1969 Counter machines and counter languages. Zbl 0165.32002Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L. 70 1968 all cited Publications top 5 cited Publications all top 5 Cited by 1,398 Authors 25 Aceto, Luca 23 Ingólfsdóttir, Anna 12 Gregorio-Rodríguez, Carlos 12 Meyer, Albert Ronald 10 de Frutos-Escrig, David 10 Okhotin, Alexander 10 van Glabbeek, Robert Jan 9 Fokkink, Willem Jan 9 Mayr, Ernst W. 9 Pelc, Andrzej 8 Klin, Bartek 8 Kozen, Dexter C. 8 Luttik, Bas 7 Case, John 7 Glaßer, Christian 7 Kutrib, Martin 7 Montanari, Ugo G. 7 Rot, Jurriaan 7 Schmitz, Sylvain 7 Tini, Simone 7 Wagner, Klaus W. 6 Castiglioni, Valentina 6 Cicalese, Ferdinando 6 Greibach, Sheila A. 6 Grigor’ev, Dmitriĭ Yur’evich 6 Holzer, Markus 6 Huynh, Dung T. 6 Ibarra, Oscar H. 6 Jeż, Artur 6 Lynch, Nancy Ann 6 Martens, Wim 6 McCullough, Jason 6 Mitchell, John C. 6 Neven, Frank 6 Reniers, Michel Adriaan 6 Rosier, Louis E. 6 Salibra, Antonino 6 Seiferas, Joel I. 6 Ulidowski, Irek 5 Bonchi, Filippo 5 Eiter, Thomas 5 Fábregas, Ignacio 5 Gebler, Daniel E. 5 Gottlob, Georg 5 Halpern, Joseph Yehuda 5 Hunt, Harry Bowen III 5 Jain, Sanjay 5 Ko, Ker-I 5 Leroux, Jérôme 5 Longo, Giuseppe 5 Masopust, Tomáš 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 Arvind, Vikraman 4 Barbanera, Franco 4 Beigel, Richard 4 Bloom, Bard 4 Book, Ronald Vernon 4 Bruce, Kim B. 4 Calude, Cristian S. 4 Cassez, Franck 4 Cheng, Allan 4 Cimini, Matteo 4 Davenport, James Harold 4 Dose, Titus 4 England, Matthew 4 Fernau, Henning 4 Finocchi, Irene 4 Fischer, Michael J. 4 Gasarch, William Ian 4 Gelade, Wouter 4 Hartmanis, Juris 4 Hashemi, Amir 4 Hemaspaandra, Edith 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 Koppenhagen, Ulla 4 Malcher, Andreas 4 Mukhopadhyay, Partha 4 Murano, Aniello 4 Neary, Turlough 4 Niehren, Joachim 4 Pous, Damien 4 Rabinovich, Alexander 4 Reif, John H. 4 Reitwießner, Christian 4 Salomaa, Kai T. 4 Seiler, Werner M. 4 Shan, Chung-chieh 4 Tiuryn, Jerzy 4 Travers, Stephen D. ...and 1,298 more Authors all top 5 Cited in 147 Serials 206 Theoretical Computer Science 97 Journal of Computer and System Sciences 72 Information and Computation 36 Mathematical Systems Theory 35 Information Processing Letters 26 Journal of Symbolic Computation 23 Acta Informatica 19 Theory of Computing Systems 18 Annals of Pure and Applied Logic 12 Logical Methods in Computer Science 11 Artificial Intelligence 11 The Journal of Logic and Algebraic Programming 10 MSCS. Mathematical Structures in Computer Science 9 The Journal of Symbolic Logic 9 Computational Complexity 8 Journal of Combinatorial Theory. Series A 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Algebra 7 Journal of Pure and Applied Algebra 7 International Journal of Foundations of Computer Science 7 ACM Transactions on Computational Logic 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 5 Journal of Complexity 5 Journal of Automated Reasoning 5 Formal Aspects of Computing 5 RAIRO. Informatique Théorique et Applications 5 Journal of Applied Non-Classical Logics 5 Journal of Mathematical Sciences (New York) 5 Mathematical Logic Quarterly (MLQ) 5 Journal of Functional Programming 4 Computing 4 Proceedings of the American Mathematical Society 4 Applicable Algebra in Engineering, Communication and Computing 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Discrete Mathematics 3 Advances in Mathematics 3 Automatica 3 Mathematische Zeitschrift 3 SIAM Journal on Computing 3 Studia Logica 3 Transactions of the American Mathematical Society 3 Advances in Applied Mathematics 3 Algorithmica 3 Discrete Event Dynamic Systems 3 European Journal of Operational Research 3 Linear Algebra and its Applications 3 Archive for Mathematical Logic 3 Formal Methods in System Design 3 Journal of Logic, Language and Information 3 Foundations of Computational Mathematics 3 Mathematics in Computer Science 3 RAIRO. Theoretical Informatics and Applications 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Communications in Algebra 2 Computers & Mathematics with Applications 2 Problems of Information Transmission 2 Mathematics of Computation 2 Annales de l’Institut Fourier 2 International Journal of Game Theory 2 Cybernetics 2 Journal of Computer Science and Technology 2 International Journal of Approximate Reasoning 2 Journal of the American Mathematical Society 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Discrete Mathematics and Applications 2 Distributed Computing 2 The Bulletin of Symbolic Logic 2 Higher-Order and Symbolic Computation 2 Theory and Practice of Logic Programming 2 Natural Computing 2 Journal of Applied Logic 2 Journal of Commutative Algebra 2 The Review of Symbolic Logic 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 Russian Mathematical Surveys 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 ...and 47 more Serials all top 5 Cited in 34 Fields 903 Computer science (68-XX) 347 Mathematical logic and foundations (03-XX) 86 Commutative algebra (13-XX) 49 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 33 Algebraic geometry (14-XX) 29 Information and communication theory, circuits (94-XX) 24 Combinatorics (05-XX) 18 Category theory; homological algebra (18-XX) 18 Group theory and generalizations (20-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 13 Systems theory; control (93-XX) 12 General algebraic systems (08-XX) 12 Associative rings and algebras (16-XX) 11 Operations research, mathematical programming (90-XX) 10 Number theory (11-XX) 10 Field theory and polynomials (12-XX) 10 Numerical analysis (65-XX) 9 Biology and other natural sciences (92-XX) 8 Several complex variables and analytic spaces (32-XX) 5 Probability theory and stochastic processes (60-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 History and biography (01-XX) 3 Quantum theory (81-XX) 2 General and overarching topics; collections (00-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) 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.