Evolving algebras 1993: Lipari guide Y Gurevich, E Börger Evolving Algebras 40, 1995 | 1319 | 1995 |

The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001 | 1016 | 2001 |

Sequential abstract-state machines capture sequential algorithms Y Gurevich ACM Transactions on Computational Logic (TOCL) 1 (1), 77-111, 2000 | 579 | 2000 |

Logic and the challenge of computer science Y Gurevich University of Michigan, Computing Research Laboratory, 1985 | 482 | 1985 |

Trees, automata, and games Y Gurevich, L Harrington Proceedings of the fourteenth annual ACM symposium on Theory of computing, 60-65, 1982 | 406 | 1982 |

Fixed-point extensions of first-order logic Y Gurevich, S Shelah Annals of pure and applied logic 32, 265-280, 1986 | 374 | 1986 |

Evolving Algebras. Y Gurevich IFIP Congress (1), 423-427, 1994 | 309* | 1994 |

Toward logic tailored for computational complexity Y Gurevich Computation and proof theory, 175-216, 1984 | 276 | 1984 |

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 | 271 | 2002 |

The semantics of the C programming language Y Gurevich, JK Huggins International Workshop on Computer Science Logic, 274-308, 1992 | 240 | 1992 |

Average case completeness Y Gurevich Journal of Computer and System Sciences 42 (3), 346-398, 1991 | 226 | 1991 |

Abstract state machines capture parallel algorithms A Blass, Y Gurevich ACM Transactions on Computational Logic (TOCL) 4 (4), 578-651, 2003 | 200 | 2003 |

An Attempt to Discover Semantics Y Gurevich, E Algebras Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A …, 1993 | 191 | 1993 |

On the unique satisfiability problem A Blass, Y Gurevich Information and Control 55 (1-3), 80-88, 1982 | 190 | 1982 |

Monadic second-order theories Y Gurevich Model-theoretic logics, 479-506, 1985 | 182 | 1985 |

Semantic essence of AsmL Y Gurevich, B Rossman, W Schulte Theoretical Computer Science 343 (3), 370-412, 2005 | 167 | 2005 |

Semantic essence of AsmL Y Gurevich, B Rossman, W Schulte Theoretical Computer Science 343 (3), 370-412, 2005 | 167 | 2005 |

Algebras of feasible functions Y Gurevich 24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 210-214, 1983 | 166 | 1983 |

Metafinite model theory E Graedel, Y Gurevich Information and Computation 140 (1), 26-81, 1998 | 160* | 1998 |

Intuitionistic logic with strong negation Y Gurevich Studia Logica 36 (1-2), 49-59, 1977 | 159 | 1977 |