Edit Profile (opens in new tab) McNaughton, Robert Co-Author Distance Author ID: mcnaughton.robert Published as: McNaughton, Robert; McNaughton, R. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 41 Publications since 1951, including 4 Books 1 Further Contribution Biographic References: 1 Publication Co-Authors: 16 Co-Authors with 19 Joint Publications 279 Co-Co-Authors all top 5 Co-Authors 22 single-authored 5 Kim, Sam Myo 5 Narendran, Paliath 3 McCloskey, Robert 2 Kapur, Deepak 2 Krishnamoorthy, Mukkai S. 2 Papert, Seymour Aubrey 2 Pollmar, Carl H. 2 Wang, Hao 2 Warren, Don W. 2 Wright, Jesse B. 1 Arbib, Michael A. 1 Assmus, Edward Ferdinand jun. 1 Buks, Arthur W. 1 Burks, Arthur W. 1 Buslenko, Nikolai Pantelejmonovich 1 Day, Jane Maxwell 1 Florentin, J. J. 1 Ginsburg, Seymour 1 Krohn, K. B. 1 Otto, Friedrich 1 Patterson, George W. 1 Rhodes, John Lewis 1 Seiferas, Joel I. 1 Tilson, Bret R. 1 Zalcstein, Yechezkel 1 Zeiger, H. Paul all top 5 Serials 6 Theoretical Computer Science 2 Information and Control 2 Journal of Algebra 2 Journal of the Association for Computing Machinery 2 The Journal of Symbolic Logic 1 IEEE Transactions on Computers 1 Management Science 1 Mathematical Systems Theory 1 Pacific Journal of Mathematics 1 Proceedings of the American Mathematical Society 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Journal of the Society for Industrial & Applied Mathematics 1 Advances in Computers all top 5 Fields 23 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 5 Group theory and generalizations (20-XX) 4 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 1,229 times in 1,132 Documents Cited by ▼ Year ▼ Scheduling with deadlines and loss functions. Zbl 1047.90504McNaughton, Robert 238 1959 Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024McNaughton, Robert; Papert, Seymour 238 1971 Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902McNaughton, R. 166 1966 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 108 1951 Regular expressions and state graphs for automata. Zbl 0156.25501McNaughton, R.; Yamada, H. 94 1960 Infinite games played on finite graphs. Zbl 0798.90151McNaughton, Robert 76 1993 Algebraic decision procedures for local testability. Zbl 0287.02022McNaughton, Robert 54 1974 Church-Rosser Thue systems and formal languages. Zbl 0652.68093McNaughton, Robert; Narendran, Paliath; Otto, Friedrich 51 1988 Parenthesis grammars. Zbl 0168.01206McNaughton, R. 49 1967 The Burnside problem for semigroups. Zbl 0302.20054McNaughton, Robert; Zalcstein, Yechezkel 23 1975 The loop complexity of pure-group events. Zbl 0166.26905McNaughton, R. 23 1967 Regularity-preserving relations. Zbl 0353.94044Seiferas, J. I.; McNaughton, R. 14 1976 The theory of automata, a survey. Zbl 0133.09801McNaughton, Robert 12 1961 An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P. 12 1985 The undecidability of the preperfectness of Thue systems. Zbl 0545.03022Narendran, Paliath; McNaughton, Robert 11 1984 Computing the order of a locally testable automaton. Zbl 0830.68065Kim, Sam M.; McNaughton, Robert 10 1994 A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171Kim, Sam M.; McNaughton, Robert; McCloskey, Robert 10 1991 Special monoids and special Thue systems. Zbl 0618.20039McNaughton, R.; Narendran, P. 8 1987 Semi-Thue systems with an inhibitor. Zbl 0981.68073McNaughton, Robert 7 2001 The Church-Rosser property and special Thue systems. Zbl 0586.03028Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R. 5 1985 An insertion into the Chomsky hierarchy? Zbl 0979.68545McNaughton, Robert 4 1999 Playing infinite games in finite time. Zbl 1053.68058McNaughton, Robert 3 2001 Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001Wang, Hao; McNaughton, Robert 2 1953 A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077Kim, Sam; McNaughton, Robert; McCloskey, Robert 2 1989 A theorem about infinite-valued sentential logic. Zbl 0135.24807McNaughton, R. 2 1961 An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082Kim, S.; McNaughton, R.; McCloskey, R. 2 1989 Elementary computability, formal languages, and automata. Zbl 0529.68001McNaughton, Robert 2 1982 Some formal relative consistency proofs. Zbl 0053.00501McNaughton, Robert 1 1953 Computing the order of a locally testable automaton. Zbl 0925.68321Kim, Sam; McNaughton, Robert 1 1991 Undefinability of addition from one unary operator. Zbl 0143.25001McNaughton, R. 1 1965 Algebraic theory of machines, languages and semigroups. (Algebraicheskaya teoriya avtomatov, yazykov i polugrupp.) Translated from the English by N. I. Osetinskii. Zbl 0358.94001 1 1975 Semi-Thue systems with an inhibitor. Zbl 0981.68073McNaughton, Robert 7 2001 Playing infinite games in finite time. Zbl 1053.68058McNaughton, Robert 3 2001 An insertion into the Chomsky hierarchy? Zbl 0979.68545McNaughton, Robert 4 1999 Computing the order of a locally testable automaton. Zbl 0830.68065Kim, Sam M.; McNaughton, Robert 10 1994 Infinite games played on finite graphs. Zbl 0798.90151McNaughton, Robert 76 1993 A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171Kim, Sam M.; McNaughton, Robert; McCloskey, Robert 10 1991 Computing the order of a locally testable automaton. Zbl 0925.68321Kim, Sam; McNaughton, Robert 1 1991 A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077Kim, Sam; McNaughton, Robert; McCloskey, Robert 2 1989 An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082Kim, S.; McNaughton, R.; McCloskey, R. 2 1989 Church-Rosser Thue systems and formal languages. Zbl 0652.68093McNaughton, Robert; Narendran, Paliath; Otto, Friedrich 51 1988 Special monoids and special Thue systems. Zbl 0618.20039McNaughton, R.; Narendran, P. 8 1987 An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P. 12 1985 The Church-Rosser property and special Thue systems. Zbl 0586.03028Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R. 5 1985 The undecidability of the preperfectness of Thue systems. Zbl 0545.03022Narendran, Paliath; McNaughton, Robert 11 1984 Elementary computability, formal languages, and automata. Zbl 0529.68001McNaughton, Robert 2 1982 Regularity-preserving relations. Zbl 0353.94044Seiferas, J. I.; McNaughton, R. 14 1976 The Burnside problem for semigroups. Zbl 0302.20054McNaughton, Robert; Zalcstein, Yechezkel 23 1975 Algebraic theory of machines, languages and semigroups. (Algebraicheskaya teoriya avtomatov, yazykov i polugrupp.) Translated from the English by N. I. Osetinskii. Zbl 0358.94001 1 1975 Algebraic decision procedures for local testability. Zbl 0287.02022McNaughton, Robert 54 1974 Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024McNaughton, Robert; Papert, Seymour 238 1971 Parenthesis grammars. Zbl 0168.01206McNaughton, R. 49 1967 The loop complexity of pure-group events. Zbl 0166.26905McNaughton, R. 23 1967 Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902McNaughton, R. 166 1966 Undefinability of addition from one unary operator. Zbl 0143.25001McNaughton, R. 1 1965 The theory of automata, a survey. Zbl 0133.09801McNaughton, Robert 12 1961 A theorem about infinite-valued sentential logic. Zbl 0135.24807McNaughton, R. 2 1961 Regular expressions and state graphs for automata. Zbl 0156.25501McNaughton, R.; Yamada, H. 94 1960 Scheduling with deadlines and loss functions. Zbl 1047.90504McNaughton, Robert 238 1959 Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001Wang, Hao; McNaughton, Robert 2 1953 Some formal relative consistency proofs. Zbl 0053.00501McNaughton, Robert 1 1953 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 108 1951 all cited Publications top 5 cited Publications all top 5 Cited by 1,237 Authors 38 Otto, Friedrich 28 Kutrib, Martin 19 Holzer, Markus 15 Mundici, Daniele 15 Pin, Jean-Eric 12 Crespi Reghizzi, Stefano 12 Diekert, Volker 12 Mandrioli, Dino 12 Pradella, Matteo 11 Strusevich, Vitaly A. 10 Epstein, Leah 10 Kupferman, Orna 10 Schewe, Sven 10 Weil, Pascal 9 Caron, Pascal 9 Chatterjee, Krishnendu 9 Gastin, Paul 9 Kufleitner, Manfred 9 Malcher, Andreas 9 Thomas, Wolfgang 9 Yu, Sheng 8 Błażewicz, Jacek 8 Champarnaud, Jean-Marc 8 Cohen, Rina S. 8 Di Nola, Antonio 8 Flaminio, Tommaso 8 Gruber, Hermann 8 Place, Thomas 8 Rabinovich, Alexander 8 Restivo, Antonio 8 Salomaa, Kai T. 8 Shakhlevich, Natalia V. 8 Straubing, Howard 8 Wendlandt, Matthias 8 Wood, Derick 7 Carton, Olivier 7 Droste, Manfred 7 Kroupa, Tomáš 7 Leung, Joseph Y.-T. 7 Mignot, Ludovic 6 Blanchet-Sadri, Francine 6 Brzozowski, Janusz Antoni 6 Costa, José Carlos 6 Finkel, Olivier 6 Han, Yo-Sub 6 Hoffmann, Stefan 6 Jurdziński, Tomasz 6 Litovsky, Igor 6 Mráz, František 6 Narendran, Paliath 6 Selivanov, Viktor L’vovich 6 Vardi, Moshe Ya’akov 6 Wilke, Thomas 6 Zeitoun, Marc 6 Ziadi, Djelloul 6 Zimmermann, Martín G. 5 Bedon, Nicolas 5 Boasson, Luc 5 Boker, Udi 5 Bonizzoni, Paola 5 Doyen, Laurent 5 Drozdowski, Maciej 5 Fisman, Dana 5 Garcia, Pedro 5 Gold, Arie Y. 5 Henzinger, Thomas A. 5 Latteux, Michel 5 Mogavero, Fabio 5 Murano, Aniello 5 Panti, Giovanni 5 San Pietro, Pierluigi L. 5 Sénizergues, Géraud 5 Shioura, Akiyoshi 5 Timmerman, Erick 5 Trahtman, Avraham Naumovich 5 Zalcstein, Yechezkel 5 Zhang, Louxin 4 Aguzzoli, Stefano 4 Bordihn, Henning 4 Cintula, Petr 4 Colcombet, Thomas 4 de Luca, Aldo 4 Ésik, Zoltán 4 Finke, Gerd 4 Geser, Alfons 4 Hunt, Harry Bowen III 4 Huo, Yumei 4 Jakubík, Ján 4 Jiang, Yiwei 4 Kovalëv, Mikhail Yakovlevich 4 Kuske, Dietrich 4 La Torre, Salvatore 4 Lapenta, Serafina 4 Le Saëc, Bertrand 4 Leuştean, Ioana 4 Levin, Asaf 4 Lhote, Nathan 4 Löding, Christof 4 Lonati, Violetta 4 Malinowski, Grzegorz ...and 1,137 more Authors all top 5 Cited in 154 Serials 206 Theoretical Computer Science 50 Information and Computation 48 Journal of Computer and System Sciences 35 European Journal of Operational Research 28 International Journal of Foundations of Computer Science 23 Discrete Applied Mathematics 22 Information Processing Letters 20 Logical Methods in Computer Science 19 Aplikace Matematiky 19 Czechoslovak Mathematical Journal 19 Journal of Scheduling 16 Acta Informatica 15 Semigroup Forum 15 Studia Logica 15 RAIRO. Theoretical Informatics and Applications 14 The Journal of Symbolic Logic 14 Theory of Computing Systems 13 Fuzzy Sets and Systems 13 Kybernetika 12 Mathematical Systems Theory 11 Annals of Pure and Applied Logic 11 Computers & Operations Research 11 RAIRO. Informatique Théorique et Applications 10 Annals of Operations Research 9 Journal of Pure and Applied Algebra 9 International Journal of Approximate Reasoning 8 Journal of Algebra 8 Operations Research Letters 8 Soft Computing 8 RAIRO. Theoretical Informatics and Applications 7 Discrete Mathematics 7 RAIRO, Informatique Théorique 7 Real-Time Systems 7 Annals of Mathematics and Artificial Intelligence 6 International Journal of Production Research 6 Archive for Mathematical Logic 5 International Journal of Algebra and Computation 5 Formal Methods in System Design 5 Journal of Logic, Language and Information 5 Journal of Logical and Algebraic Methods in Programming 4 Algebra Universalis 4 Computing 4 Algorithmica 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Information Sciences 3 Proceedings of the American Mathematical Society 3 Journal of Automated Reasoning 3 Machine Learning 3 Journal of Applied Non-Classical Logics 3 Journal of Combinatorial Optimization 3 Fundamenta Informaticae 3 ACM Transactions on Computational Logic 2 Communications in Algebra 2 Israel Journal of Mathematics 2 Bulletin of Mathematical Biology 2 Advances in Mathematics 2 Algebra and Logic 2 International Journal of Computer & Information Sciences 2 Journal of Soviet Mathematics 2 Kybernetes 2 SIAM Journal on Computing 2 Transactions of the American Mathematical Society 2 European Journal of Combinatorics 2 Advances in Applied Mathematics 2 Physica D 2 Journal of Symbolic Computation 2 Mathematical and Computer Modelling 2 Forum Mathematicum 2 Journal of Parallel and Distributed Computing 2 MSCS. Mathematical Structures in Computer Science 2 Discrete Event Dynamic Systems 2 Applied Mathematical Modelling 2 Automation and Remote Control 2 Mathematical Programming. Series A. Series B 2 Mathematical Logic Quarterly (MLQ) 2 Top 2 Journal of Automata, Languages and Combinatorics 2 Discrete Optimization 2 BIT. Nordisk Tidskrift for Informationsbehandling 2 Optimization Letters 2 Computer Science Review 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Artificial Intelligence 1 Bulletin of the Australian Mathematical Society 1 Computers & Mathematics with Applications 1 International Journal of Systems Science 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Mathematical Biosciences 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Problems of Information Transmission 1 Calcolo 1 Glasgow Mathematical Journal 1 Journal of Functional Analysis 1 Journal of Philosophical Logic 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Siberian Mathematical Journal 1 Cybernetics 1 Journal of Information & Optimization Sciences 1 Systems & Control Letters ...and 54 more Serials all top 5 Cited in 39 Fields 790 Computer science (68-XX) 287 Mathematical logic and foundations (03-XX) 166 Operations research, mathematical programming (90-XX) 102 Group theory and generalizations (20-XX) 70 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 18 Combinatorics (05-XX) 12 General algebraic systems (08-XX) 12 Functional analysis (46-XX) 12 Information and communication theory, circuits (94-XX) 11 Numerical analysis (65-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Category theory; homological algebra (18-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Number theory (11-XX) 8 Associative rings and algebras (16-XX) 7 Measure and integration (28-XX) 7 Probability theory and stochastic processes (60-XX) 6 Operator theory (47-XX) 6 General topology (54-XX) 5 History and biography (01-XX) 5 Systems theory; control (93-XX) 4 Biology and other natural sciences (92-XX) 3 Statistics (62-XX) 2 \(K\)-theory (19-XX) 2 Difference and functional equations (39-XX) 2 Differential geometry (53-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Sequences, series, summability (40-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Fluid mechanics (76-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.