Concepedia

Robert McNaughton

RM

Statistics

Publications

24

Citations

3.3K

H-Index

18

Active since

1951

Affiliations

Rensselaer Polytechnic Institute(Current)

University of Pennsylvania

Robert McNaughton is an author at Rensselaer Polytechnic Institute specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityVerificationSoftware TestingLanguageSystems Engineering

Publications per year

1951–2001

24

Publications

24

Scheduling with Deadlines and Loss Functions

Robert McNaughton · Management Science · 1959 · 842 citations

Mathematical Programming, Engineering, Computer Architecture +16

Regular Expressions and State Graphs for Automata

Robert McNaughton, Hisao Yamada · IEEE Transactions on Electronic Computers · 1960 · 518 citations

State Graph, Engineering, Graph Theory +12

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 478 citations

Engineering, Automated Reasoning, Software Testing +7

Infinite games played on finite graphs

Robert McNaughton · Annals of Pure and Applied Logic · 1993 · 281 citations

Graph Theory, Network Game, Infinite Games +8

A theorem about infinite-valued sentential logic

Robert McNaughton · Journal of Symbolic Logic · 1951 · 279 citations

Truth Values, Engineering, Classical Logic +16

1–5 of 24