×
Author ID: mcnaughton.robert Recent zbMATH articles by "McNaughton, Robert"
Published as: McNaughton, Robert; McNaughton, R.
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 42 Publications since 1951, including 4 Books
1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 17 Co-Authors with 21 Joint Publications
292 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 1,378 times in 1,262 Documents Cited by Year
Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024
McNaughton, Robert; Papert, Seymour
303
1971
Scheduling with deadlines and loss functions. Zbl 1047.90504
McNaughton, Robert
248
1959
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
183
1966
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
113
1951
Regular expressions and state graphs for automata. Zbl 0156.25501
McNaughton, R.; Yamada, H.
108
1960
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
91
1993
Algebraic decision procedures for local testability. Zbl 0287.02022
McNaughton, Robert
59
1974
Parenthesis grammars. Zbl 0168.01206
McNaughton, R.
54
1967
Church-Rosser Thue systems and formal languages. Zbl 0652.68093
McNaughton, Robert; Narendran, Paliath; Otto, Friedrich
52
1988
The loop complexity of pure-group events. Zbl 0166.26905
McNaughton, R.
26
1967
The Burnside problem for semigroups. Zbl 0302.20054
McNaughton, Robert; Zalcstein, Yechezkel
25
1975
Regularity-preserving relations. Zbl 0353.94044
Seiferas, J. I.; McNaughton, R.
17
1976
An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018
Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P.
13
1985
The theory of automata, a survey. Zbl 0133.09801
McNaughton, Robert
13
1961
Computing the order of a locally testable automaton. Zbl 0830.68065
Kim, Sam M.; McNaughton, Robert
11
1994
The undecidability of the preperfectness of Thue systems. Zbl 0545.03022
Narendran, Paliath; McNaughton, Robert
11
1984
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171
Kim, Sam M.; McNaughton, Robert; McCloskey, Robert
11
1991
Special monoids and special Thue systems. Zbl 0618.20039
McNaughton, R.; Narendran, P.
8
1987
Semi-Thue systems with an inhibitor. Zbl 0981.68073
McNaughton, Robert
7
2001
The Church-Rosser property and special Thue systems. Zbl 0586.03028
Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R.
5
1985
An insertion into the Chomsky hierarchy? Zbl 0979.68545
McNaughton, Robert
4
1999
Playing infinite games in finite time. Zbl 1053.68058
McNaughton, Robert
3
2001
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077
Kim, Sam; McNaughton, Robert; McCloskey, Robert
2
1989
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
2
1953
Elementary computability, formal languages, and automata. Zbl 0529.68001
McNaughton, Robert
2
1982
An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082
Kim, S.; McNaughton, R.; McCloskey, R.
2
1989
A theorem about infinite-valued sentential logic. Zbl 0135.24807
McNaughton, R.
2
1961
Some formal relative consistency proofs. Zbl 0053.00501
McNaughton, Robert
1
1953
Undefinability of addition from one unary operator. Zbl 0143.25001
McNaughton, R.
1
1965
Computing the order of a locally testable automaton. Zbl 0925.68321
Kim, Sam; McNaughton, Robert
1
1991
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.68073
McNaughton, Robert
7
2001
Playing infinite games in finite time. Zbl 1053.68058
McNaughton, Robert
3
2001
An insertion into the Chomsky hierarchy? Zbl 0979.68545
McNaughton, Robert
4
1999
Computing the order of a locally testable automaton. Zbl 0830.68065
Kim, Sam M.; McNaughton, Robert
11
1994
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
91
1993
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 1395.68171
Kim, Sam M.; McNaughton, Robert; McCloskey, Robert
11
1991
Computing the order of a locally testable automaton. Zbl 0925.68321
Kim, Sam; McNaughton, Robert
1
1991
A polynomial time algorithm for the local testability problem of deterministic finite automata. Zbl 0767.68077
Kim, Sam; McNaughton, Robert; McCloskey, Robert
2
1989
An upper bound on the order of locally testable deterministic finite automata. Zbl 0704.68082
Kim, S.; McNaughton, R.; McCloskey, R.
2
1989
Church-Rosser Thue systems and formal languages. Zbl 0652.68093
McNaughton, Robert; Narendran, Paliath; Otto, Friedrich
52
1988
Special monoids and special Thue systems. Zbl 0618.20039
McNaughton, R.; Narendran, P.
8
1987
An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems. Zbl 0563.03018
Kapur, D.; Krishnamoorthy, M. S.; McNaughton, R.; Narendran, P.
13
1985
The Church-Rosser property and special Thue systems. Zbl 0586.03028
Kapur, D.; Narendran, P.; Krishnamoorthy, M. S.; McNaughton, R.
5
1985
The undecidability of the preperfectness of Thue systems. Zbl 0545.03022
Narendran, Paliath; McNaughton, Robert
11
1984
Elementary computability, formal languages, and automata. Zbl 0529.68001
McNaughton, Robert
2
1982
Regularity-preserving relations. Zbl 0353.94044
Seiferas, J. I.; McNaughton, R.
17
1976
The Burnside problem for semigroups. Zbl 0302.20054
McNaughton, Robert; Zalcstein, Yechezkel
25
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.02022
McNaughton, Robert
59
1974
Counter-free automata. With an appendix by William Henneman. Zbl 0232.94024
McNaughton, Robert; Papert, Seymour
303
1971
Parenthesis grammars. Zbl 0168.01206
McNaughton, R.
54
1967
The loop complexity of pure-group events. Zbl 0166.26905
McNaughton, R.
26
1967
Testing and generating infinite sequences by a finite automaton. Zbl 0212.33902
McNaughton, R.
183
1966
Undefinability of addition from one unary operator. Zbl 0143.25001
McNaughton, R.
1
1965
The theory of automata, a survey. Zbl 0133.09801
McNaughton, Robert
13
1961
A theorem about infinite-valued sentential logic. Zbl 0135.24807
McNaughton, R.
2
1961
Regular expressions and state graphs for automata. Zbl 0156.25501
McNaughton, R.; Yamada, H.
108
1960
Scheduling with deadlines and loss functions. Zbl 1047.90504
McNaughton, Robert
248
1959
Les système axiomatiques de la théorie des ensembles. Zbl 0050.05001
Wang, Hao; McNaughton, Robert
2
1953
Some formal relative consistency proofs. Zbl 0053.00501
McNaughton, Robert
1
1953
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
113
1951
all top 5

Cited by 1,342 Authors

38 Otto, Friedrich
30 Kutrib, Martin
20 Holzer, Markus
19 Pin, Jean-Eric
15 Mandrioli, Dino
15 Mundici, Daniele
14 Crespi Reghizzi, Stefano
14 Diekert, Volker
14 Pradella, Matteo
13 Strusevich, Vitaly A.
12 Chatterjee, Krishnendu
12 Place, Thomas
11 Schewe, Sven
11 Straubing, Howard
11 Weil, Pascal
10 Epstein, Leah
10 Gastin, Paul
10 Kupferman, Orna
10 Salomaa, Kai T.
10 Shakhlevich, Natalia V.
10 Yu, Sheng
9 Caron, Pascal
9 Champarnaud, Jean-Marc
9 Flaminio, Tommaso
9 Hoffmann, Stefan
9 Kufleitner, Manfred
9 Malcher, Andreas
9 Mignot, Ludovic
9 Rabinovich, Alexander
9 Thomas, Wolfgang
9 Wendlandt, Matthias
9 Wood, Derick
8 Błażewicz, Jacek
8 Boker, Udi
8 Cohen, Rina S.
8 Di Nola, Antonio
8 Droste, Manfred
8 Gruber, Hermann
8 Restivo, Antonio
8 Vardi, Moshe Ya’akov
8 Wilke, Thomas
8 Zeitoun, Marc
8 Ziadi, Djelloul
7 Brzozowski, Janusz Antoni
7 Carton, Olivier
7 Han, Yo-Sub
7 Kroupa, Tomáš
7 Leung, Joseph Y.-T.
7 Selivanov, Viktor L’vovich
7 Shioura, Akiyoshi
6 Bedon, Nicolas
6 Blanchet-Sadri, Francine
6 Costa, José Carlos
6 Finkel, Olivier
6 Jurdziński, Tomasz
6 Litovsky, Igor
6 Mogavero, Fabio
6 Mráz, František
6 Narendran, Paliath
6 Riba, Colin
6 San Pietro, Pierluigi L.
6 Thérien, Denis
6 Zimmermann, Martin
5 Alur, Rajeev
5 Boasson, Luc
5 Bonizzoni, Paola
5 Doyen, Laurent
5 Drozdowski, Maciej
5 Filiot, Emmanuel
5 Fisman, Dana
5 Gold, Arie Y.
5 Heinz, Jeffrey
5 Henzinger, Thomas A.
5 Latteux, Michel
5 Lehtinen, Karoliina
5 Lhote, Nathan
5 McNaughton, Robert
5 Montanari, Angelo
5 Moreira, Nelma
5 Murano, Aniello
5 Nivat, Maurice
5 Panti, Giovanni
5 Pradic, Pierre
5 Reis, Rogério
5 Sénizergues, Géraud
5 Stephan, Frank
5 Szykuła, Marek
5 Timmerman, Erick
5 Trahtman, Avraham Naumovich
5 Woeginger, Gerhard
5 Zalcstein, Yechezkel
5 Zhang, Louxin
4 Aguzzoli, Stefano
4 Benerecetti, Massimo
4 Bordihn, Henning
4 Broda, Sabine
4 Chen, Haiming
4 Chiari, Michele
4 Cintula, Petr
4 de Luca, Aldo
...and 1,242 more Authors
all top 5

Cited in 161 Serials

213 Theoretical Computer Science
57 Information and Computation
51 Journal of Computer and System Sciences
36 European Journal of Operational Research
30 International Journal of Foundations of Computer Science
24 Discrete Applied Mathematics
23 Logical Methods in Computer Science
22 Information Processing Letters
20 Journal of Scheduling
19 Czechoslovak Mathematical Journal
18 Aplikace Matematiky
17 Acta Informatica
16 Semigroup Forum
15 Studia Logica
15 RAIRO. Theoretical Informatics and Applications
14 Fuzzy Sets and Systems
14 The Journal of Symbolic Logic
14 Theory of Computing Systems
13 Kybernetika
13 Annals of Pure and Applied Logic
13 Computers & Operations Research
12 Mathematical Systems Theory
11 RAIRO. Informatique Théorique et Applications
10 Annals of Operations Research
9 Journal of Pure and Applied Algebra
9 Operations Research Letters
9 International Journal of Approximate Reasoning
9 RAIRO. Theoretical Informatics and Applications
8 Journal of Algebra
8 Soft Computing
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
6 Journal of Logic, Language and Information
5 International Journal of Algebra and Computation
5 Formal Methods in System Design
5 Journal of Logical and Algebraic Methods in Programming
4 Algebra Universalis
4 Computing
4 Information Sciences
4 Algorithmica
4 Journal of Applied Non-Classical Logics
4 Fundamenta Informaticae
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Proceedings of the American Mathematical Society
3 Transactions of the American Mathematical Society
3 Advances in Applied Mathematics
3 Journal of Automated Reasoning
3 Mathematical and Computer Modelling
3 Machine Learning
3 Mathematical Structures in Computer Science
3 Applied Mathematical Modelling
3 Journal of Automata, Languages and Combinatorics
3 Journal of Combinatorial Optimization
3 ACM Transactions on Computational Logic
3 TheoretiCS
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 European Journal of Combinatorics
2 Physica D
2 Journal of Symbolic Computation
2 Forum Mathematicum
2 Journal of Parallel and Distributed Computing
2 Discrete Event Dynamic Systems
2 Automation and Remote Control
2 Linear Algebra and its Applications
2 Mathematical Programming. Series A. Series B
2 Mathematical Logic Quarterly (MLQ)
2 Top
2 Journal of the Australian Mathematical Society
2 Journal of Discrete Algorithms
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 Mathematics of Computation
1 Calcolo
1 Glasgow Mathematical Journal
1 Journal of Functional Analysis
1 Journal of Philosophical Logic
...and 61 more Serials
all top 5

Cited in 39 Fields

899 Computer science (68-XX)
321 Mathematical logic and foundations (03-XX)
179 Operations research, mathematical programming (90-XX)
114 Group theory and generalizations (20-XX)
82 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
57 Order, lattices, ordered algebraic structures (06-XX)
21 Combinatorics (05-XX)
13 Functional analysis (46-XX)
13 Information and communication theory, circuits (94-XX)
12 General algebraic systems (08-XX)
12 Numerical analysis (65-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
10 Associative rings and algebras (16-XX)
10 Category theory; homological algebra (18-XX)
9 Dynamical systems and ergodic theory (37-XX)
8 Number theory (11-XX)
8 Probability theory and stochastic processes (60-XX)
7 Measure and integration (28-XX)
7 Systems theory; control (93-XX)
6 Operator theory (47-XX)
6 General topology (54-XX)
5 History and biography (01-XX)
5 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

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