| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuri Gurevich, Grant Olney Passmore |
Impugning Randomness, Convincingly.  |
Studia Logica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
What Is an Algorithm? |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Grant Olney Passmore |
Impugning Randomness, Convincingly. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Persistent queries in the behavioral theory of algorithms. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Itay Neeman |
Logic of infons: The propositional case. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Zero-One Laws: Thesauri and Parametric Conditions. |
Proof, Computation and Agency |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Impugning Randomness, Convincingly. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Efim Hudis |
The Tower-of-Babel Problem, and Security Assesment Sharing. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Hilbertian Deductive Systems, Infon Logic, and Datalog. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Andreas Blass, Yuri Gurevich |
Content-dependent chunking for differential compression, the local maximum approach. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman |
Evidential Authorization. |
The Future of Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
Exact Exploration and Hanging Algorithms. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte |
Symbolic Bounded Model Checking of Abstract State Machines. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert H. Gilman, Yuri Gurevich, Alexei D. Miasnikov |
A geometric zero-one law. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
When are two algorithms the same? |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Itay Neeman |
Teh Logic of Infons. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche |
Database Query Processing Using Finite Cursor Machines. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Database, Query processing, Relational algebra, Semijoin |
| 1 | Yuri Gurevich, Arnab Roy 0001 |
Operational Semantics for DKAL: Application and Analysis. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Yuri Gurevich |
A Natural Axiomatization of Computability and Proof of Church's Thesis. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
One useful logic that defines its own truth |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi |
Modular difference logic is hard |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Persistent Queries |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
When are two algorithms the same? |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms: Correction and extension. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine |
| 1 | Andreas Blass, Yuri Gurevich |
Program termination and well partial orderings. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
covering observation, game criterion, well partial orderings, Program termination |
| 1 | Andreas Blass, Yuri Gurevich |
One Useful Logic That Defines Its Own Truth. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Itay Neeman |
DKAL: Distributed-Knowledge Authorization Language. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Datalog with constraints, existential fixed-point logic, infon, security, access control, authorization, Datalog, information leakage, distributed knowledge |
| 1 | Yuri Gurevich, Margus Veanes, Charles Wallace |
Can abstract state machines be useful in language theory? |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms I: Axiomatization |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Zero-One Laws: Thesauri and Parametric Conditions. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Background of Computation. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, II. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
| 1 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, III. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
| 1 | Yuri Gurevich, Paul Schupp |
Membership Problem for the Modular Group. |
SIAM J. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Proving Church's Thesis. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Bertrand Meyer (eds.) |
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers |
TAP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche |
Database Query Processing Using Finite Cursor Machines. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Dirk Leinders, Jan Van den Bussche |
A Theory of Stream Queries. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, I. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
| 1 | Yuri Gurevich, Charles Wallace |
Can Abstract State Machines Be Useful in Language Theory?. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic essence of AsmL. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Nikolai Tillmann |
Partial updates. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Interactive Algorithms 2005. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes |
Play to Test. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Behavioral Computation Theory 2005. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
Abstract Communication Model for Distributed Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Why Sets? (Column: Logic in Computer Science). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
Abstract State Machines: An Overview of the Project. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Rostislav Yavorskiy |
Observations on the Decidability of Transitions. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Intra-step Interaction. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Algorithms: A Quest for Absolute Definitions. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, abstract state machine |
| 1 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic Essence of AsmL. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Saharon Shelah |
Spectra of Monadic Second-Order Formulas with One Unary Function. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Nikolai Tillmann |
Partial Updates Exploration II. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Jan Van den Bussche |
Abstract State Machines and Computationally Complete Query Languages. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Saharon Shelah |
On Polynomial Time Computation over Unordered Structures. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Anuj Dawar, Yuri Gurevich |
Fixed point logics. |
Bulletin of Symbolic Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander Moshe Rabinovich |
Definability in Rationals with Real Order in the Background. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Pairwise Testing. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Algorithms vs. Machines. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM |
| 1 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
High-Level Executable Specification of the Universal Plug and Play Architecture. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed protocol architectures, abstract state machines, executable specifications |
| 1 | Yuri Gurevich, Nikolai Tillmann |
Partial Updates: Exploration. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Inadequacy of computable loop invariants. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants |
| 1 | Andreas Blass, Yuri Gurevich |
The Underlying Logic of Hoare Logic. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov |
Herbrand's Theorem and Equational Reasoning: Problems and Solutions. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
From Invariants to Canonization. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
The Sequential ASM Thesis. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
AMAST'91 Banquet Talk. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
The Value, if Any, of Decidability. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
The Abstract State Machine Paradigm: What Is in and What Is out. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Logician in the Land of OS: Abstract State Machines in Microsoft. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov |
Decidability and complexity of simultaneous rigid E-unification with one variable and related results. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander Moshe Rabinovich |
Definability and Undefinability with Real Order at The Background. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
The Logic of Choice. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Yuri Gurevich, Georg Gottlob |
Existential second-order logic over strings. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic |
| 1 | Andreas Blass, Yuri Gurevich |
The Underlying Logic of Hoare Logic. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
A New Zero-One Law and Strong Extension Axioms. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich |
Sequential abstract-state machines capture sequential algorithms. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
Turing's thesis, sequential ASM thesis, specification, abstract-state machine, executable specification, sequential algorithm |
| 1 | Yuri Gurevich |
Invited Talk: ASM Formalware in the Software Engineering Cycle. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Choiceless Polynominal Time Computation and the Zero-One Law. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Background, Reserve, and Gandy Machines. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Jan Van den Bussche |
Abstract State Machines and Computationally Complete Query Languages. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.) |
Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings |
Abstract State Machines |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich, Wolfram Schulte, Charles Wallace |
Investigating Java Concurrency Using Abstract State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")