Yuri Gurevich

Sequential abstract-state machines capture sequential algorithms

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

Computing, Computer Science, Algorithms +12

Trees, automata, and games

Yuri Gurevich, Leo Harrington · 1982 · 326 citations

Computing, Computer Science, Mathematics +10

Logic and the Challenge of Computer Science

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

Computing, Computer Science, Algorithms +13

Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah · Annals of Pure and Applied Logic · 1986 · 243 citations · Full text

Humanities, Computer Science, Mathematics +15

Generating finite state machines from abstract state machines

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

Computing, Computer Engineering, Computer Science +17