Yuri Gurevich | Academic Influence

Yuri Gurevich's AcademicInfluence.com Rankings

Yuri Gurevich

Computer Science

#386

World Rank

#401

Historical Rank

#218

USA Rank

Database

#1034

World Rank

#1088

Historical Rank

#301

USA Rank

computer-science Degrees

Download Badge

Computer Science

Yuri Gurevich's Degrees

PhD Computer Science Moscow State University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Yuri Gurevich Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines. Gurevich was born and educated in the Soviet Union. He taught mathematics there and then in Israel before moving to the United States in 1982. The best-known work of his Soviet period is on the classical decision problem. In Israel, Gurevich worked with Saharon Shelah on monadic second-order theories. The Forgetful Determinacy Theorem of Gurevich–Harrington is of that period as well.

(See a Problem?)

Yuri Gurevich's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Annals of Pure and Applied Logic (1991) (1549)
The Classical Decision Problem (1997) (888)
Evolving algebras 1993: Lipari guide (1995) (860)
On Finite Model Theory (1990) (720)
Sequential abstract-state machines capture sequential algorithms (2000) (499)
Electronic Notes in Theoretical Computer Science (2009) (439)
Trees, automata, and games (1982) (377)
Logic in Computer Science (1993) (331)
Fixed-point extensions of first-order logic (1985) (294)
The Semantics of the C Programming Language (1992) (256)
Toward logic tailored for computational complexity (1984) (242)
Generating finite state machines from abstract state machines (2002) (228)
Abstract state machines capture parallel algorithms (2003) (181)
Average Case Completeness (1991) (156)
Expected Computation Time for Hamiltonian Path Problem (1987) (154)
Intuitionistic logic with strong negation (1977) (153)
Semantic essence of AsmL (2003) (149)
Evolving Algebras: an Attempt to Discover Semantics (1993) (146)
DKAL: Distributed-Knowledge Authorization Language (2008) (142)
On the Unique Satisfiability Problem (1982) (139)
Metafinite Model Theory (1994) (124)
Choiceless Polynomial Time (1997) (119)
Algebras of feasible functions (1983) (117)
A Natural Axiomatization of Computability and Proof of Church's Thesis (2008) (115)
Monotone versus positive (1987) (111)
Henkin quantifiers and complete problems (1986) (106)
Algorithms: A Quest for Absolute Definitions (2003) (95)
Nearly Linear Time (1989) (95)
Datalog vs. first-order logic (1989) (95)
The complexity of query reliability (1998) (90)
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization (2013) (88)
Remarks on Berger's paper on the domino problem (1972) (88)
Abstract State Machines - Theory and Applications (2002) (85)
A Zero-One Law for Logic with a Fixed-Point Operator (1986) (82)
The decision problem for linear temporal logic (1985) (81)
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions (1995) (71)
Modest theory of short chains. I (1979) (68)
Efficient decomposition of single-qubit gates intoVbasis circuits (2013) (68)
THE THEORY OF ORDERED ABELIAN GROUPS DOES NOT HAVE THE INDEPENDENCE PROPERTY (1984) (65)
Definability by Constant-Depth Polynomial-Size Circuits (1986) (64)
The bakery algorithm: yet another specification and verification (1995) (64)
Rabin's uniformization problem (1983) (64)
On polynomial time computation over unordered structures (2001) (63)
Past Present (2016) (63)
The decision problem for standard classes (1976) (63)
When are Two Algorithms the Same? (2008) (61)
Abstract communication model for distributed systems (2004) (61)
Content-dependent chunking for differential compression, the local maximum approach (2010) (60)
Evolving Algebras (1994) (59)
Current Trends in Theoretical Computer Science (2001) (58)
Existential Fixed-Point Logic (1987) (58)
Optimizing File Replication over Limited-Bandwidth Networks using Remote Differential Compression (2006) (58)
On finite rigid structures (1994) (57)
Algebraic Operational Semantics and Occam (1990) (56)
The decision problem for branching time logic (1985) (56)
Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems (1984) (56)
Abstract state machines capture parallel algorithms: Correction and extension (2006) (55)
Background, Reserve, and Gandy Machines (2000) (53)
Photothermal Characterization of Electrochemical Etching Processed n-Type Porous Silicon (1997) (52)
Specification and validation methods (1995) (52)
Ordinary interactive small-step algorithms, I (2007) (51)
A Logic for Constant-Depth Circuits (1984) (50)
The Logic in computer science Column (1989) (49)
The Logic of Choice (2000) (45)
On Kolmogorov Machines and Related Issues (2017) (45)
Draft of the ASM Guide (1997) (44)
An Automatic Verification Tool for UML (2000) (44)
Complete and incomplete randomized NP problems (1987) (43)
Inadequacy of computable loop invariants (2001) (43)
Equivalence Relations, Invariants, and Normal Forms (1983) (43)
Fixed Point Logics (2002) (42)
The monadic theory of ω2 (1983) (41)
Monadic theory of order and topology in ZFC (1982) (40)
Abstract State Machines: An Overview of the Project (2004) (40)
Play to Test (2005) (40)
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem (2007) (39)
Algebraic Operational Semantics and Modula-2 (1987) (39)
Membership Problem for the Modular Group (2007) (35)
Partial Updates: Exploration (2001) (35)
Logic of infons: The propositional case (2011) (35)
Matrix Transformation Is Complete for the Average Case (1995) (35)
The decision problem for the logic of predicates and of operations (1969) (34)
Program termination and well partial orderings (2008) (34)
Interactive Small-Step Algorithms I: Axiomatization (2007) (33)
Matrix decomposition problem is complete for the average case (1990) (32)
DKAL 2 — A Simplified and Improved Authorization Language (2009) (32)
Recursive Abstract State Machines (2017) (32)
The inference problem for template dependencies (1982) (31)
Syntax vs. Semantics on Finite Structures (1997) (30)
Semantics of Programming Languages and Model Theory (1993) (30)
The challenger-Solver Game: variations on the Theme of P=NP (2017) (29)
A Theory of Stream Queries (2007) (29)
Inverse privacy (2015) (28)
Propositional primal logic with disjunction (2014) (27)
High-level executable specification of the universal plug and play architecture (2002) (27)
Spectra of monadic second-order formulas with one unary function (2003) (27)
Formalizing Database Recovery (1997) (27)
Using Abstract State Machines at Microsoft: A Case Study (2000) (26)
Randomizing Reductions of Search Problems (1991) (26)
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information (1993) (26)
Existential second-order logic over strings (1998) (26)
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems (1996) (25)
The word problem for cancellation semigroups with zero (1984) (25)
Reconsidering Turing's thesis : (toward more realistic semantics of programs) (1984) (25)
Recognizing the real line (1981) (25)
Group membership protocol: specification and verification (1995) (24)
The word problem for lattice ordered groups (1975) (24)
Pairwise Testing (2002) (23)
Monadic theory of order and topology, 1 (1977) (23)
Tailoring recursion for complexity (1995) (23)
Partial updates (2005) (23)
Investigating Java Concurrency Using Abstract State Machines (2000) (22)
Algorithms in the world of bounded resources (1988) (22)
Abstract State Machines and Computationally Complete Query Languages (2000) (22)
Symbolic Bounded Model Checking of Abstract State Machines (2009) (22)
From Invariants to Canonization (2001) (21)
Interpreting second-order logic in the monadic theory of order (1983) (21)
Partially Ordered Runs: A Case Study (2000) (21)
Interactive Algorithms 2005 (2005) (21)
An Abstract Communication Model (2002) (21)
Database Query Processing Using Finite Cursor Machines (2007) (20)
The Decidability of Simultaneous Rigid E-Unification with One Variable (1998) (20)
The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs (2017) (20)
Herbrand's Theorem and Equational Reasoning: Problems and Solutions (2001) (20)
Monadic Second-Order Theories (2016) (20)
Expanded theory of ordered Abelian groups (1977) (20)
Modest Theory of Short Chains . II Author ( s ) : (1979) (19)
McColm's Conjecture (1994) (18)
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (2003) (18)
Monadic Simultaneous Rigid E-Unification and Related Problems (1997) (18)
Rigid homogeneous chains (1981) (18)
The Underlying Logic of Hoare Logic (2001) (18)
On Bounded Exploration and Bounded Nondeterminism (2006) (17)
General Interactive Small Step Algorithms (2005) (17)
Exact Exploration and Hanging Algorithms (2010) (17)
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (2010) (17)
Toward Industrial Strength Abstract State Machines (2001) (17)
Gurevich Abstract State Machines and Schoenhage Storage Modification Machines (2017) (17)
Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space (1990) (17)
Evidential Authorization (2010) (16)
What Is an Algorithm? (2012) (16)
Can message buffers be characterized in linear temporal logic? (1982) (16)
Can abstract state machines be useful in language theory? (2006) (15)
Evolving Algebras and Partial Evaluation (1998) (15)
Background of Computation (2007) (15)
Random models and the Gödel case of the decision problem (1983) (15)
On the strength of the interpretation method (1989) (15)
Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings (2000) (14)
Foundational Analyses of Computation (2012) (14)
On Finite Model Theory (Extended Abstract) (1990) (14)
Ordinary interactive small-step algorithms, II (2007) (14)
Average Case Complexity (1991) (14)
The monadic theory and the “next world” (1984) (14)
Proving Church's Thesis (2007) (14)
Basic primal infon logic (2016) (14)
Operational Semantics for DKAL: Application and Analysis (2009) (14)
Algorithms vs. Machines (2002) (14)
On the Reduction Theory for Average Case Complexity (1990) (13)
Equivalence is in the Eye of the Beholder (1997) (13)
Optimal ancilla-free Pauli+V circuits for axial rotations (2014) (13)
Ordinary interactive small-step algorithms, III (2007) (13)
Decidability and complexity of simultaneous rigid E-unification with one variable and related results (2000) (12)
Modular difference logic is hard (2008) (12)
Teh Logic of Infons (2009) (11)
McColm's conjecture [positive elementary inductions] (1994) (10)
Partial Updates Exploration II (2003) (10)
Universal Equivalence of Ordered Abelian Groups (2017) (10)
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols (2013) (10)
Definability and undefinability with real order at the background (2000) (10)
Logic activities in Europe (1994) (9)
Evolving Algebras and Linear Time Hierarchy (1994) (9)
Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187 (2001) (9)
Two notes on propositional primal logic (2011) (9)
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand (2001) (9)
Chapter XIII: Monadic Second-Order Theories (1985) (9)
Existential interpretation. II (1980) (9)
From Primal Infon Logic with Individual Variables to Datalog (2012) (9)
Conformance Testing with Abstract State Machines (2001) (8)
Interactive Algorithms 2005 with Added Appendix (2006) (8)
A Note on Nested Words (2006) (8)
Some undecidable problems related to the Herbrand theorem (1997) (8)
The composition method (1994) (8)
A New Zero-One Law and Strong Extension Axioms (2000) (8)
Homogeneous optimal fleet (1982) (8)
The Abstract State Machine Paradigm: What Is in and What Is out (2001) (8)
Specification and verification of the Windows Card runtime environment using Abstract State Machines (1999) (8)
The logic of infons (2009) (8)
ERRATA to "The Semantics of the C Programming Language" (1993) (8)
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog (2008) (7)
Semi-conservative reduction (1977) (7)
Semantic essence of AsmL: Extended abstract (2004) (7)
Persistent queries in the behavioral theory of algorithms (2011) (7)
Logic with Equality: Partisan Corroboration and Shifted Pairing (1999) (7)
Why Sets? (2008) (7)
Monadic theory of order and topology II (1979) (6)
A Natural Axiomatization of Church's Thesis (2007) (6)
Negative probabilities, II What they are and what they are for (2018) (6)
A decidable subclass of the minimal Gödel class with identity (1984) (6)
Hilbertian Deductive Systems, Infon Logic, and Datalog (2013) (6)
Transformation of supercooled austenite in sintered steels during continuous cooling (1979) (6)
A geometric zero-one law (2007) (6)
Study of Decomposition of Supercooled Austenite of Powder Steels with the Help of a Novel Digital Magnetometer (2005) (6)
The Infon Logic (2009) (6)
What does O(n) mean (1986) (6)
Synthetic turbulence modeling for evaluation of ultrasonic cross-correlation flow measurement (2017) (6)
Time polynomial in input or output (1989) (6)
On Matijasevitch's Nontraditional Approach to Search Problems (1989) (6)
Definability in Rationals with Real Order in the Background (2002) (6)
TRANSITIVE PRIMAL INFON LOGIC (2013) (6)
Logician in the land of OS: abstract state machines in Microsoft (2001) (6)
Impugning Randomness, Convincingly (2011) (5)
On Quantum Computation, Anyons, and Categories (2015) (5)
Structural transformations in and mechanical properties of sintered alloy steels (1979) (5)
An introduction to DKAL (2012) (5)
Current trends in theoretical computer science: entering the 21st centuary (2001) (5)
Test statistics and p-values (2017) (5)
Theory of eutectic alloys and eutectic (contact) melting (2010) (5)
Decision problem for separated distributive lattices (1983) (5)
Exact Exploration (2009) (4)
Interaction of titanium carbide with R6M5 steel (1991) (4)
Observations on the Decidability of Transitions (2004) (4)
Transitive Primal Infon Logic: the Propositional Case (2012) (4)
Elementary Properties of Ordered Abelian Groups (2017) (4)
On the Classical Desicion Problem (1990) (4)
Witness algebra and anyon braiding (2018) (4)
Datalog: A Perspective and the Potential (2012) (4)
Circuit pedantry (2019) (4)
Modest theory of short chains. II (1979) (4)
Monadic Simultaneous Rigid E-unification (1999) (4)
Correction to: Thomson effect and nonlinear performance of thermoelectric generator (2021) (4)
Prefix classes of krom formulae with identity (1980) (3)
Influence of hold time on carbide grain growth in TiC-Ni alloys (1989) (3)
What is an Algorithm? (Revised) (2017) (3)
Persistent Queries (2008) (3)
Biggish: A Solution For The Inverse Privacy Problem (2017) (3)
Quantum circuits with classical channels and the principle of deferred measurements (2021) (3)
Change of the composition of titanium carbide during interaction with molten nickel (1986) (3)
Evolving Algebras: An Introductory Tutorial (2017) (3)
Spekkens's Symmetric No-Go Theorem (2015) (3)
Computer Science Logic CSL'93 (1994) (3)
Rabin ' s Uniformization Problem Author ( s ) : (2007) (3)
Thermodynamic analysis of the reduction of a mixture of iron and chromium oxides by hydrogen (1975) (3)
Negative probabilities: what are they for? (2021) (3)
Effect of composition and porosity on the hardenability and hardness penetration of structural powder steels (1986) (3)
Formalizing Recovery in Transaction-Oriented Database Systems (1995) (3)
The evolving algebra semantics of C preliminary version (1992) (3)
The Value, if any, of Decidability (2001) (3)
The Tower-of-Babel Problem, and Security Assesment Sharing (2010) (3)
Circuits: An abstract viewpoint (2020) (3)
Rich Sequential-Time ASMs (2000) (3)
Abstract Hilbertian deductive systems, infon logic, and Datalog (2013) (2)
DISTRIBUTED-KNOWLEDGE AUTHORIZATION LANGUAGE JANUARY 2008 REVISION (2008) (2)
Kinetics of decomposition of supercooled austenite and the mechanical properties of the SP70D3 steel before and after impregnating with copper (1992) (2)
Tailoring Recursing for Complexity (1994) (2)
Optimal no-go theorem on hidden-variable predictions of effect expectations (2018) (2)
Intra-step Interaction (2004) (2)
May 1997 Draft of the ASM Guide (2017) (2)
Hereditary Undecidability of the Theory of Lattice-ordered Abelian Groups (2017) (2)
Proceedings of the International Workshop on Abstract State Machines, Theory and Applications (2000) (2)
Two notes on formalized topology (1980) (2)
Fundamentals of p-values: Introduction (2016) (2)
The Word Problem for Some Classes of Semigroups (2017) (2)
One Useful Logic That Defines Its Own Truth (2008) (2)
A decision problem for decision problems (1969) (2)
Performance evaluation and field application of clamp-on ultrasonic cross-correlation flow meter, CROSSFLOW (2002) (2)
Semantics-to-Syntax Analyses of Algorithms (2015) (2)
Partisan corroboration, and shifted pairing (1998) (2)
On the number of active nodes in a multicomputer system (1986) (2)
Inverse Privacy (revised) (2015) (2)
Effect of nonmartensitic products of austenite decomposition on the properties of a P/M chromium-nickel-molybdenum steel (1984) (2)
Thermodynamics of the chlorination of manganese oxide in the presence of iron (1981) (2)
Choiceless Polynominal Time Computation and the Zero-One Law (2000) (2)
A Quick Update on the Open Problems in Blass-Gurevich-Shelah's article \On Polynomial Time Computations Over Unordered Structures" (2017) (2)
Wear-resistant coatings of white cast iron on powder steels (2012) (2)
Diffusion chromizing of grey cast iron by reaction with chromium oxide (2012) (2)
Coherence for braided distributivity (2018) (2)
Surface hardening of parts from ferrite-pearlite gray iron (2011) (2)
University of Illinois at Chicago, Chicago, IL, June 1–4, 2003 (2004) (2)
A Variation on the Zero-One Law (1998) (2)
Zero-One Laws: Thesauri and Parametric Conditions (2007) (2)
Ancilla-approximable quantum state transformations (2014) (2)
Unconstrained Church-Turing thesis cannot possibly be true (2019) (1)
Scenario-oriented Modeling in AsmL and its Instrumentation for Testing (2017) (1)
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers (1994) (1)
Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas (1982) (1)
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract (2017) (1)
The Logic in Computer Science Column the Underlying Logic of Hoare Logic (2001) (1)
Technical communications: Critiquing a critique of Hoare's programming logics (1983) (1)
Invited Talk: ASM Formalware in the Software Engineering Cycle (2000) (1)
Typed Abstract State Machines (2017) (1)
McColm conjecture (1994) (1)
Primal Infon Logic with Conjunctions as Sets (2014) (1)
An Invitation to Quantum Computing (2018) (1)
- 1-An Abstract Communication Model (2002) (1)
Why Sets? (Column: Logic in Computer Science) (2004) (1)
Existential Second-order Logic over Strings Existential Second-order Logic over Strings – Modified March 1998 – (1997) (1)
Proving Church's Thesis (Abstract) (2007) (1)
Investigating Java Concurrency Using Abstract State Machines 1 (2000) (1)
On the Rectilinear Steiner Problem (2017) (1)
Simple circuit simulations of classical and quantum Turing machines (2021) (1)
Algenraic Operational Semantics (1987) (1)
Who needs category theory? (2018) (1)
Thermodynamics of the chlorination of a binary iron-nickel alloy (1976) (1)
Thermodynamics of the impregnation of iron alloys with chromium from a chloride phase (1978) (1)
Development of technology for strengthening gray cast iron components by heating in contact with iron scale (2012) (1)
Structure and properties of P/M 40N2M steel after isothermal quenching (1987) (1)
Hardenability of SP70DZ-1 P/M steel in relation to carbon content in it (1990) (1)
Size distribution of titanium-carbide grains in the liquid-phase sintering of Ni-TiC composite (2008) (1)
Negative probabilities. (2020) (1)
Automata, Trees, and Games (2017) (0)
L O ] 3 0 Ju l 2 01 8 WHO NEEDS CATEGORY THEORY ? (0)
L O ] 1 5 N ov 1 99 4 McColm ’ s Conjecture (2008) (0)
A more abstract bounded exploration postulate (2022) (0)
Novosibirsk algebra and logic in the mid 1960s: A personal perspective (2022) (0)
Specification problem 7 Solutions 16 (2008) (0)
M eans-fit effectivity (2020) (0)
MONADIC THEOI~Y OF ORDER AND (1982) (0)
1 Implementation 12 Other Work (2004) (0)
0 Ju l 2 01 5 ON QUANTUM COMPUTATION , ANYONS , AND CATEGORIES (0)
Yuri Gurevich (2011) (0)
Undecidable Standard Classes for Pure Predicate Logic (1997) (0)
Equivalence relations, invariants, and normal functions (1982) (0)
Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101) (2021) (0)
on analysis. Proof search. Abstract machines as a tool for history of logic. (2022) (0)
5 Outlook and Comparison with Related Work 5.1 Non-uniform Case (1999) (0)
Transitive Primal Infon Logic–ERRATUM (2013) (0)
O n the rectilinear S teiner problem (2017) (0)
Input Independence (2021) (0)
Selected Papers from the 7th Workshop on Computer Science Logic (1993) (0)
C ircuits : A n abstract viewpoint (2020) (0)
Standard Classes with the Finite Model Property (1997) (0)
Braided distributivity. (2019) (0)
Preface (2022) (0)
Algorithme et protocole efficaces de tele-compression differentielle (2005) (0)
T L  C S C B  C (2007) (0)
Monadic Theories and Decidable Standard Classes with Infinity Axioms (1997) (0)
EATCS Fellows' Advice to the Young Theoretical Computer Scientist (2016) (0)
The Monadic Theory of ω 12 Author ( s ) : (2008) (0)
Clermont-Ferrand, France, July 21–30, 1994 (1995) (0)
Reversify any sequential algorithm (2021) (0)
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers (2007) (0)
The Book Review Column 1 Part Ii: Decidable Classes and Their Complexity (2004) (0)
Infinite Games (1993) (0)
Introduction: The Classical Decision Problem (1997) (0)
The Monadic Theory of omega12 (1983) (0)
Partially OrderedRuns: a Case Study (2000) (0)
Book Review: The decision problem: Solvable classes of quantificational formulas@@@Book Review: Unsolvable classes of quantificational formulas (1982) (0)
Computer Science Logic (Dagstuhl Seminar 9229) (2021) (0)
Recent active employment (2019) (0)
Manufacturing technology for white-iron smoothing tools used with nonferrous metals (2010) (0)
Thermodynamic analysis of the reduction of oxides of iron and tungsten by hydrogen (1975) (0)
Book Review: The Classical Decision Problem (2017) (0)
Calculation of phase equilibria in the Fe-V-Cl-H-O-C system (1980) (0)
Behavioral Computation Theory 2005 (2005) (0)
The umbilical cord of finite model theory (2023) (0)
Mechanism of the formation of the ‘shiny ring’ defect in friction welding high-speed steels (2005) (0)
Photothermal chacaterization of electrochemical etching porous silicon (2013) (0)
MBT 2007 Third Workshop on Model-Based Testing (2007) (0)
Thermodynamic analysis of siliconizing of steel articles via a chloride phase (1995) (0)
Temperature dependence of heat of formation of molten eutectic alloys (1972) (0)
THE LOGIC IN COMPUTER SCIENCE COLUMN by Yuri GUREVICH Algorithms vs. Machines (2002) (0)
Logical foundations: Personal perspective (2021) (0)
Raising powder steel wear resistance by electrocontact coating with white cast iron (1994) (0)
Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126) (2021) (0)
Structural transformations and properties of powder steel PK40N2M due to conventional and isothermal hardening (2009) (0)
A Tribute to Dirk van Dalen - Preface (1995) (0)
Experience gained by the heat shop at the Chelyabinsk Tractor Works (1961) (0)
Existential Vs Preserved by Extensions, and Other Syntax/semantics Correspondences (1996) (0)
Impugning alleged randomness (2015) (0)
Effect of thermocyclic processing on the kinetics of isothermal austenite transformation and the properties of powdered 40N2M steel (1993) (0)
Heat treatment of lock rings made of SP100D3 steel crawlers of T-170 tractor by combining sintering with quenching (1998) (0)
Technical communications: Critiquing a critique of Hoare's programming logics. author's response (1983) (0)
Monadic Theory of Order and Topology Ii §0. Introduction (0)
AMAST'91 Banquet Talk (2001) (0)
Non-destructive inspection of the quality of friction welding high-speed to structural steel (2006) (0)
Means-fit effectivity (2020) (0)
Conversion of high-phosphorus chromium-nickel cast iron in open-hearth furnaces (1975) (0)
THE LOGIC IN COMPUTER SCIENCE COLUMN by Yuri GUREVICH Pairwise Testing (2002) (0)
Gas filtration in a cracked block rock mass: Parameters for placing underground boreholes (1991) (0)
Wigner's quasidistribution and Dirac's kets (2022) (0)
Current Trends in Theoretical Computer Science: Essays and Tutorials (1993) (0)
Preface (2004) (0)
TECHNOLOGY OF HARDENING OF DETAILS FROM GREY PIG-IRON (2011) (0)
A Dialogue with Yuri Gurevich about Mathematics, Computer Science and Life (2017) (0)
Games People Play (2002) (0)
Evolving Algebras: A Novel Specification and Verification Methodology. (1996) (0)
1 A hole in the iron curtain (2016) (0)
Thermodynamic equilibrium in the Mo-Fe-O-H system (1977) (0)
A thermodynamic analysis of the reduction of iron and tungsten oxides by hydrogen (1975) (0)
Structural transformations and properties of 40N2M powder steel in conventional and isothermal quenching (1991) (0)
WOLLIC, CSLI, Stanford, USA July 18–21, 2006 (2007) (0)
Technology for applying a layer of white iron to the surface of steel parts (2006) (0)
The 1966 International Congress of Mathematicians: A micro-memoir (2016) (0)
Phase equilibria in the Fe-Ti-Cl-H-O system (1985) (0)
Selecting the temperature of steel for casting (1959) (0)
In-Situ Calibration for Feedwater Flow Measurement (2002) (0)
THE COMPOSITION METHOD by RUTH SUZANNE ZEITMAN DISSERTATION (2015) (0)
Impugning Randomness, Convincingly (2012) (0)
Study on soil-like substrate prepared by a new process for bioregenerative life support system (2010) (0)
Software science view on quantum circuit algorithms (2022) (0)
The use of electric-furnace slags in open-hearth production (1969) (0)
Instrument made of Damascus steel (1996) (0)
Magnetometric system for measuring the decomposition kinetics of supercooled austenite (2008) (0)
Hardenability of powder steel PK70D3 as a function of the carbon content (2009) (0)
The quality of low-carbon stainless steel (1970) (0)
ASMs in the Classroom: Personal Experience (2006) (0)
Y. Gurevich (2011) (0)
Proceedings of the 1st international conference on Tests and proofs (2007) (0)
Undecidable Standard Classes with Functions or Equality (1997) (0)
Specifications in the Development Process: An AsmL Demonstration (2003) (0)
TOPOLOGY IN ZFC* (2002) (0)
Other Undecidable Cases (1997) (0)
1997–1998 Winter Meeting of the Association for Symbolic Logic (1998) (0)
New method of lubricating molds by using petrolatum (1960) (0)
Ten Years of Gurevich's Abstract State Machines (1998) (0)
Other Decidable Cases (1997) (0)
Phase equilibria in the system Fe-Mo-Cl-H-O (1988) (0)
The Logic in Computer Science Column Forms of Semantic Speciication (2011) (0)
T L  C S C T F  O U L: E F P L  L D (2008) (0)
Quantum circuits computing unitary transformations (2021) (0)

This paper list is powered by the following services:

Other Resources About Yuri Gurevich

What Schools Are Affiliated With Yuri Gurevich?

Yuri Gurevich is affiliated with the following schools:

Image Attributions

Image Source for Yuri Gurevich