Concepedia

Yuri Gurevich

YG

118

Publications

6.3K

Citations

42

H-Index

1963

Active since

Affiliations

University of Michigan(Current)

Microsoft (United States)

Hebrew University of Jerusalem

Ben-Gurion University of the Negev

Microsoft Research (United Kingdom)

Yuri Gurevich is an author at University of Michigan specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityFormal VerificationCombinatorial OptimizationDiscrete MathematicsMathematical ProgrammingSemantics

Publications per year

1963–2022

118

Publications

118

Sequential abstract-state machines capture sequential algorithms

Yuri Gurevich · ACM Transactions on Computational Logic · 2000 · 452 citations · Full text

Artificial Intelligence, Abstract Machine, Engineering +14

Trees, automata, and games

Yuri Gurevich, Leo Harrington · 1982 · 323 citations

Tree Automata, Engineering, Game Theory +16

Logic and the Challenge of Computer Science

Yuri Gurevich · Deep Blue (University of Michigan) · 1985 · 317 citations · Full text

Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah · Annals of Pure and Applied Logic · 1986 · 241 citations

Computational Logic, Engineering, Automated Reasoning +4

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte et al. · ACM SIGSOFT Software Engineering Notes · 2002 · 182 citations

Artificial Intelligence, Engineering, Verification +19

Rows per page

1–5 of 118