Yuri Gurevich

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