Yuri Gurevich

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 48

Top Venues

Publications

Yuri Gurevich, Andreas Blass
What are kets? CoRR (2024)
Yuri Gurevich, Andreas Blass
Primal logic of information. CoRR (2023)
Yuri Gurevich
Obituary: Gregory Tseytin. Bull. EATCS 141 (2023)
Yuri Gurevich
Obituary: Yuri Manin. Bull. EATCS 139 (2023)
Yuri Gurevich
Logical foundations: Personal perspective. Log. J. IGPL 31 (6) (2023)
Yuri Gurevich
The umbilical cord of finite model theory. Bull. EATCS 139 (2023)
Yuri Gurevich, Andreas Blass
What are kets? Bull. EATCS 141 (2023)
Yuri Gurevich
The umbilical cord of finite model theory. CoRR (2023)
Yuri Gurevich, Andreas Blass
Software science view on quantum circuit algorithms. Inf. Comput. 292 (2023)
Andreas Blass, Yuri Gurevich, Alexander Volberg
Wigner's quasidistribution and Dirac's kets. CoRR (2022)
Yuri Gurevich, Tatiana Yavorskaya
A more abstract bounded exploration postulate. CoRR (2022)
Yuri Gurevich, Andreas Blass
Software science view on quantum circuit algorithms. CoRR (2022)
Yuri Gurevich, Andreas Blass
Quantum circuits with classical channels and the principle of deferred measurements. Theor. Comput. Sci. 920 (2022)
Andreas Blass, Yuri Gurevich, Alexander Volberg
Wigner's quasidistribution and Dirac's kets. Bull. EATCS 136 (2022)
Yuri Gurevich
The 1966 International Congress of Mathematicians: A Micro-memoir. Fundam. Informaticae 186 (1-4) (2022)
Yuri Gurevich
Reversify any sequential algorithm. CoRR (2021)
Yuri Gurevich
Reversify any sequential algorithm. Bull. EATCS 134 (2021)
Yuri Gurevich, Andreas Blass
Simple circuit simulations of classical and quantum Turing machines. CoRR (2021)
Yuri Gurevich
Logical foundations: Personal perspective. Bull. EATCS 133 (2021)
Yuri Gurevich, Andreas Blass
Quantum circuits with classical channels and the principle of deferred measurements. CoRR (2021)
Yuri Gurevich
Logical foundations: Personal perspective. CoRR (2021)
Andreas Blass, Yuri Gurevich
Circuits: An abstract viewpoint. CoRR (2020)
Andreas Blass, Yuri Gurevich
Braided distributivity. Theor. Comput. Sci. 807 (2020)
Yuri Gurevich
Means-fit Effectivity. Bull. EATCS 130 (2020)
Andreas Blass, Yuri Gurevich
Negative probabilities: What they are and what they are for. CoRR (2020)
Andreas Blass, Yuri Gurevich
Witness algebra and anyon braiding. Math. Struct. Comput. Sci. 30 (3) (2020)
Yuri Gurevich
Means-fit effectivity. CoRR (2020)
Andreas Blass, Yuri Gurevich
Circuits: An abstract viewpoint. Bull. EATCS 131 (2020)
Andreas Blass, Yuri Gurevich
Circuit pedantry. Bull. EATCS 129 (2019)
Yuri Gurevich, Vladimir Vovk
Test statistics and p-values. COPA (2019)
Yuri Gurevich
Unconstrained Church-Turing thesis cannot possibly be true. Bull. EATCS 127 (2019)
Yuri Gurevich
Unconstrained Church-Turing thesis cannot possibly be true. CoRR (2019)
Andreas Blass, Yuri Gurevich
Circuit pedantry. CoRR (2019)
Andreas Blass, Yuri Gurevich
Witness Algebra and Anyon Braiding. CoRR (2018)
Andreas Blass, Yuri Gurevich
Who needs category theory? Bull. EATCS 124 (2018)
Yuri Gurevich
Evolving Algebras 1993: Lipari Guide. CoRR (2018)
Andreas Blass, Yuri Gurevich
Negative probabilities, II What they are and what they are for. Bull. EATCS 125 (2018)
Andreas Blass, Yuri Gurevich
An Invitation to Quantum Computing. Bull. EATCS 126 (2018)
Andreas Blass, Yuri Gurevich
Coherence for braided distributivity. CoRR (2018)
Andreas Blass, Yuri Gurevich
Who needs category theory? CoRR (2018)
Andreas Blass, Yuri Gurevich
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract. QPL (2017)
Andreas Blass, Yuri Gurevich
On the Rectilinear Steiner Problem. Bull. EATCS 121 (2017)
Yuri Gurevich
Past Present. Int. J. Found. Comput. Sci. 27 (2) (2016)
Yuri Gurevich, Jeannette M. Wing
Inverse privacy. Commun. ACM 59 (7) (2016)
Carlos Cotrini, Yuri Gurevich
Basic primal infon logic. J. Log. Comput. 26 (1) (2016)
Yuri Gurevich, Vladimir Vovk
Fundamentals of p-values: Introduction. Bull. EATCS 119 (2016)
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016)
Yuri Gurevich
The 1966 International Congress of Mathematicians: A micro-memoir. Bull. EATCS 120 (2016)
Yuri Gurevich
Impugning alleged randomness. NAFIPS/WConSC (2015)
Yuri Gurevich, Efim Hudis, Jeannette M. Wing
Inverse Privacy. CoRR (2015)
Lev D. Beklemishev, Yuri Gurevich
Propositional primal logic with disjunction. J. Log. Comput. 24 (1) (2014)
Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev
Primal Infon Logic with Conjunctions as Sets. IFIP TCS (2014)
Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, David Evans, Yuri Gurevich
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. USENIX Security Symposium (2013)
Carlos Cotrini, Yuri Gurevich
Transitive Primal Infon Logic. Rev. Symb. Log. 6 (2) (2013)
Carlos Cotrini, Yuri Gurevich
Transitive Primal Infon Logic-ERRATUM. Rev. Symb. Log. 6 (2) (2013)
Andreas Blass, Yuri Gurevich
Abstract Hilbertian deductive systems, infon logic, and Datalog. Inf. Comput. 231 (2013)
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS (2013)
Nikolaj Bjørner, Guido de Caso, Yuri Gurevich
From Primal Infon Logic with Individual Variables to Datalog. Correct Reasoning (2012)
Yuri Gurevich
Datalog: A Perspective and the Potential. Datalog (2012)
Yuri Gurevich
Foundational Analyses of Computation. CiE (2012)
Yuri Gurevich, Grant Olney Passmore
Impugning Randomness, Convincingly. Stud Logica 100 (1-2) (2012)
Yuri Gurevich
What Is an Algorithm? SOFSEM (2012)
Andreas Blass, Yuri Gurevich
Persistent queries in the behavioral theory of algorithms. ACM Trans. Comput. Log. 12 (2) (2011)
Yuri Gurevich, Grant Olney Passmore
Impugning Randomness, Convincingly. Bull. EATCS 104 (2011)
Yuri Gurevich, Itay Neeman
Logic of infons: The propositional case. ACM Trans. Comput. Log. 12 (2) (2011)
Yuri Gurevich
Impugning Randomness, Convincingly. FCT (2011)
Andreas Blass, Yuri Gurevich, Efim Hudis
The Tower-of-Babel Problem, and Security Assesment Sharing. Bull. EATCS 101 (2010)
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Exact Exploration and Hanging Algorithms. CSL (2010)
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich
Content-dependent chunking for differential compression, the local maximum approach. J. Comput. Syst. Sci. 76 (3-4) (2010)
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
Evidential Authorization. The Future of Software Engineering (2010)
Andreas Blass, Yuri Gurevich
Hilbertian Deductive Systems, Infon Logic, and Datalog. Bull. EATCS 102 (2010)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Yuri Gurevich, Arnab Roy
Operational Semantics for DKAL: Application and Analysis. TrustBus (2009)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
When are two algorithms the same? Bull. Symb. Log. 15 (2) (2009)
Yuri Gurevich, Itay Neeman
Teh Logic of Infons. Bull. EATCS 98 (2009)
Robert H. Gilman, Yuri Gurevich, Alexei D. Miasnikov
A geometric zero-one law. J. Symb. Log. 74 (3) (2009)
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics 3 (2-3) (2009)
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
Database Query Processing Using Finite Cursor Machines. Theory Comput. Syst. 44 (4) (2009)
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
Modular difference logic is hard CoRR (2008)
Andreas Blass, Yuri Gurevich
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bull. EATCS 95 (2008)
Andreas Blass, Yuri Gurevich
Program termination and well partial orderings. ACM Trans. Comput. Log. 9 (3) (2008)
Andreas Blass, Yuri Gurevich
Abstract state machines capture parallel algorithms: Correction and extension. ACM Trans. Comput. Log. 9 (3) (2008)
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
When are two algorithms the same? CoRR (2008)
Nachum Dershowitz, Yuri Gurevich
A Natural Axiomatization of Computability and Proof of Church's Thesis. Bull. Symb. Log. 14 (3) (2008)
Andreas Blass, Yuri Gurevich
One Useful Logic That Defines Its Own Truth. MFCS (2008)
Yuri Gurevich, Itay Neeman
DKAL: Distributed-Knowledge Authorization Language. CSF (2008)
Andreas Blass, Yuri Gurevich
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog CoRR (2008)
Andreas Blass, Yuri Gurevich
Persistent Queries CoRR (2008)
Andreas Blass, Yuri Gurevich
One useful logic that defines its own truth CoRR (2008)
Andreas Blass, Yuri Gurevich
Why Sets? Pillars of Computer Science (2008)
Andreas Blass, Yuri Gurevich
Ordinary interactive small-step algorithms, II. ACM Trans. Comput. Log. 8 (3) (2007)
Andreas Blass, Yuri Gurevich
Ordinary interactive small-step algorithms, III. ACM Trans. Comput. Log. 8 (3) (2007)
Yuri Gurevich, Paul E. Schupp
Membership Problem for the Modular Group. SIAM J. Comput. 37 (2) (2007)
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. Log. Methods Comput. Sci. 3 (4) (2007)
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
Interactive Small-Step Algorithms I: Axiomatization CoRR (2007)
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
A Theory of Stream Queries. DBPL (2007)
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
Interactive Small-Step Algorithms I: Axiomatization. Log. Methods Comput. Sci. 3 (4) (2007)
Yuri Gurevich
Proving Church's Thesis. CSR (2007)

Yuri Gurevich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuri Gurevich