Skip to search formSkip to main contentSkip to account menu

Yuri Gurevich

Known as: Yury Gurevich 
Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines. He is Principal Researcher at… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Abstract state machinesAlgorithmAlgorithm characterizationsAverage-case complexity

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Composition with Algebra at the Background - On a Question by Gurevich and Rabinovich on the Monadic Theory of Linear Orderings
Gurevich and Rabinovich raised the following question: given a property of a set of rational numbers definable in the real line… 
2012
2012
Combinatorial-State Automata and Models of Computation
David Chalmers has defended an account of what it is for a physical system to implement a computation. The account appeals to the… 
2010
2010
Hilbertian Deductive Systems, Infon Logic, and Datalog
In the first part of the paper, we develop a general method for converting derivability problems, from a broad range of deductive… 
2010
2010
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  • Y. Gurevich
  • Fields of Logic and Computation
  • 2010
  • Corpus ID: 8329378
fields of logic and computation essays dedicated to yuri gurevich on the occasion of his 70th birthd. Book lovers, when you need… 
2006
2006
SPECIFICATION LANGUAGE DESIGN CONCEPTS: AGGREGATION AND EXTENSIBILITY IN CoreAS M
Abstract State Machines (ASMs) are a proven methodology for the precise high-level specification of formal requirements in early… 
Review
2004
Review
2004
Review of "The classical decision problem" by Egon Börger,Erich Grädel and Yuri Gurevich. Springer-Verlag 1997.
This book is dedicated to a comprehensive presentation of the classical decision problem of firstorder logic. The centrality of… 
1998
1998
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
AbstractWe apply the Gurevich Abstract State Machine methodology to a benchmark specification problemof Broy and Lamport. As part… 
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
1994
1994
Whitham deformations partially saturating a modulational instability in a nonlinear Schrödinger equation
In the framework of Gurevich and Pitaevskii approach [1] we construct modulated by Whitham [2] solution of nonlinear Shrodinger… 
1969
1969
I.I. Gurevich and L.V. Tarasov: Low-Energy Neutron physics, North-Holland, 1968, 607頁, 16×23cm, 10,800円.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)