Yuri Gurevich
Yuri Gurevich
Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Evolving algebras 1993: Lipari guide.
Y Gurevich
Specification and validation methods, 9-36, 1993
13181993
The classical decision problem
E Börger, E Grädel, Y Gurevich
Springer Science & Business Media, 2001
9752001
Sequential abstract-state machines capture sequential algorithms
Y Gurevich
ACM Transactions on Computational Logic (TOCL) 1 (1), 77-111, 2000
5372000
Logic and the challenge of computer science
Y Gurevich
University of Michigan, Computing Research Laboratory, 1985
4731985
Trees, automata, and games
Y Gurevich, L Harrington
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 60-65, 1982
4161982
Fixed-point extensions of first-order logic
Y Gurevich, S Shelah
26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 346-353, 1985
3551985
Evolving Algebras.
Y Gurevich
IFIP Congress (1), 423-427, 1994
297*1994
Toward logic tailored for computational complexity
Y Gurevich
Computation and proof theory, 175-216, 1984
2781984
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
2632002
The semantics of the C programming language
Y Gurevich, JK Huggins
International Workshop on Computer Science Logic, 274-308, 1992
2301992
Average case completeness
Y Gurevich
Journal of Computer and System Sciences 42 (3), 346-398, 1991
2211991
On the unique satisfiability problem
A Blass, Y Gurevich
Information and Control 55 (1-3), 80-88, 1982
1931982
Abstract state machines capture parallel algorithms
A Blass, Y Gurevich
ACM Transactions on Computational Logic (TOCL) 4 (4), 578-651, 2003
1922003
Evolving Algebras: an Attempt to Discover Semantics.
Y Gurevich
Current Trends in Theoretical Computer Science, 266-292, 1993
1821993
Monadic second-order theories
Y Gurevich
Model-theoretic logics, 479-506, 1985
1791985
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1662005
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1662005
Algebras of feasible functions
Y Gurevich
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 210-214, 1983
1571983
Intuitionistic logic with strong negation
Y Gurevich
Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 49-59, 1977
1541977
DKAL: Distributed-knowledge authorization language
Y Gurevich, I Neeman
2008 21st IEEE Computer Security Foundations Symposium, 149-162, 2008
1502008
The system can't perform the operation now. Try again later.
Articles 1–20