| Evolving algebras 1993: Lipari guide. Y Gurevich Specification and validation methods, 9-36, 1993 | 1425 | 1993 |
| The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001 | 1053 | 2001 |
| Sequential abstract-state machines capture sequential algorithms Y Gurevich ACM Transactions on Computational Logic (TOCL) 1 (1), 77-111, 2000 | 666 | 2000 |
| Logic and the challenge of computer science Y Gurevich | 535 | 1985 |
| Trees, automata, and games Y Gurevich, L Harrington Proceedings of the fourteenth annual ACM symposium on Theory of computing, 60-65, 1982 | 473 | 1982 |
| Evolving Algebras: an Attempt to Discover Semantics. Y Gurevich Current Trends in Theoretical Computer Science 40, 266-292, 1993 | 445* | 1993 |
| Fixed-point extensions of first-order logic Y Gurevich, S Shelah Annals of pure and applied logic 32, 265-280, 1986 | 393 | 1986 |
| The classical decision problem E Borger, Y Gurevich, E Graedel Springer, 1997 | 304 | 1997 |
| Toward logic tailored for computational complexity Y Gurevich Computation and Proof Theory: Proceedings of the Logic Colloquium held in …, 2006 | 303 | 2006 |
| Generating finite state machines from abstract state machines W Grieskamp, Y Gurevich, W Schulte, M Veanes Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002 | 283 | 2002 |
| The semantics of the C programming language Y Gurevich, JK Huggins International Workshop on Computer Science Logic, 274-308, 1992 | 253 | 1992 |
| Average case completeness Y Gurevich Journal of Computer and System Sciences 42 (3), 346-398, 1991 | 238 | 1991 |
| On the unique satisfiability problem A Blass, Y Gurevich Information and Control 55 (1-3), 80-88, 1982 | 216 | 1982 |
| Abstract state machines capture parallel algorithms A Blass, Y Gurevich ACM Transactions on Computational Logic (TOCL) 4 (4), 578-651, 2003 | 213 | 2003 |
| Chapter XIII: Monadic second-order theories Y Gurevich Model-theoretic logics 8, 479-506, 1985 | 199 | 1985 |
| Intuitionistic logic with strong negation Y Gurevich Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 49-59, 1977 | 188 | 1977 |
| Expected computation time for Hamiltonian path problem Y Gurevich, S Shelah SIAM Journal on Computing 16 (3), 486-502, 1987 | 185 | 1987 |
| Algorithms: A quest for absolute definitions A Blass, Y Gurevich Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004 | 177 | 2004 |
| Metafinite model theory E Graedel, Y Gurevich Information and computation 140 (1), 26-81, 1998 | 176 | 1998 |
| Algebras of feasible functions Y Gurevich 24th Annual Symposium on Foundations of Computer Science (SFCS 1983), 210-214, 1983 | 176 | 1983 |
