Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuri Gurevich
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j137]Yuri Gurevich
, Andreas Blass:
Software science view on quantum circuit algorithms. Inf. Comput. 292: 105024 (2023)- [i31]Yuri Gurevich:
The umbilical cord of finite model theory. CoRR abs/2301.09145 (2023) - [i30]Yuri Gurevich, Andreas Blass:
Primal logic of information. CoRR abs/2307.06454 (2023) - 2022
- [j136]Andreas Blass, Yuri Gurevich, Alexander Volberg:
Wigner's quasidistribution and Dirac's kets. Bull. EATCS 136 (2022) - [j135]Yuri Gurevich:
The 1966 International Congress of Mathematicians: A Micro-memoir. Fundam. Informaticae 186(1-4): 133-141 (2022) - [j134]Yuri Gurevich, Andreas Blass:
Quantum circuits with classical channels and the principle of deferred measurements. Theor. Comput. Sci. 920: 21-32 (2022) - [i29]Andreas Blass, Yuri Gurevich, Alexander Volberg:
Wigner's quasidistribution and Dirac's kets. CoRR abs/2201.05911 (2022) - [i28]Yuri Gurevich, Tatiana Yavorskaya:
A more abstract bounded exploration postulate. CoRR abs/2206.01032 (2022) - [i27]Yuri Gurevich, Andreas Blass:
Software science view on quantum circuit algorithms. CoRR abs/2209.13731 (2022) - 2021
- [j133]Yuri Gurevich:
Logical foundations: Personal perspective. Bull. EATCS 133 (2021) - [j132]Yuri Gurevich:
Reversify any sequential algorithm. Bull. EATCS 134 (2021) - [i26]Yuri Gurevich:
Logical foundations: Personal perspective. CoRR abs/2103.03930 (2021) - [i25]Yuri Gurevich:
Reversify any sequential algorithm. CoRR abs/2105.05626 (2021) - [i24]Yuri Gurevich, Andreas Blass:
Quantum circuits with classical channels and the principle of deferred measurements. CoRR abs/2107.08324 (2021) - [i23]Yuri Gurevich, Andreas Blass:
Simple circuit simulations of classical and quantum Turing machines. CoRR abs/2111.10830 (2021) - 2020
- [j131]Yuri Gurevich:
Means-fit Effectivity. Bull. EATCS 130 (2020) - [j130]Andreas Blass, Yuri Gurevich:
Circuits: An abstract viewpoint. Bull. EATCS 131 (2020) - [j129]Andreas Blass, Yuri Gurevich:
Witness algebra and anyon braiding. Math. Struct. Comput. Sci. 30(3): 234-270 (2020) - [j128]Andreas Blass, Yuri Gurevich:
Braided distributivity. Theor. Comput. Sci. 807: 73-94 (2020) - [i22]Yuri Gurevich:
Means-fit effectivity. CoRR abs/2002.03145 (2020) - [i21]Andreas Blass, Yuri Gurevich:
Circuits: An abstract viewpoint. CoRR abs/2006.09488 (2020) - [i20]Andreas Blass, Yuri Gurevich:
Negative probabilities: What they are and what they are for. CoRR abs/2009.10552 (2020)
2010 – 2019
- 2019
- [j127]Yuri Gurevich:
Unconstrained Church-Turing thesis cannot possibly be true. Bull. EATCS 127 (2019) - [j126]Andreas Blass, Yuri Gurevich:
Circuit pedantry. Bull. EATCS 129 (2019) - [c82]Yuri Gurevich, Vladimir Vovk:
Test statistics and p-values. COPA 2019: 89-104 - [i19]Yuri Gurevich:
Unconstrained Church-Turing thesis cannot possibly be true. CoRR abs/1901.04911 (2019) - [i18]Andreas Blass, Yuri Gurevich:
Circuit pedantry. CoRR abs/1910.06145 (2019) - 2018
- [j125]Andreas Blass, Yuri Gurevich:
Who needs category theory? Bull. EATCS 124 (2018) - [j124]Andreas Blass, Yuri Gurevich:
Negative probabilities, II What they are and what they are for. Bull. EATCS 125 (2018) - [j123]Andreas Blass, Yuri Gurevich:
An Invitation to Quantum Computing. Bull. EATCS 126 (2018) - [i17]Andreas Blass, Yuri Gurevich:
Witness Algebra and Anyon Braiding. CoRR abs/1807.10414 (2018) - [i16]Andreas Blass, Yuri Gurevich:
Who needs category theory? CoRR abs/1807.11399 (2018) - [i15]Andreas Blass, Yuri Gurevich:
Coherence for braided distributivity. CoRR abs/1807.11403 (2018) - [i14]Yuri Gurevich:
Evolving Algebras 1993: Lipari Guide. CoRR abs/1808.06255 (2018) - 2017
- [j122]Andreas Blass, Yuri Gurevich:
On the Rectilinear Steiner Problem. Bull. EATCS 121 (2017) - [c81]Andreas Blass, Yuri Gurevich:
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract. QPL 2017: 98-103 - 2016
- [j121]Yuri Gurevich, Jeannette M. Wing:
Inverse privacy. Commun. ACM 59(7): 38-42 (2016) - [j120]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) - [j119]Yuri Gurevich, Vladimir Vovk:
Fundamentals of p-values: Introduction. Bull. EATCS 119 (2016) - [j118]Yuri Gurevich:
The 1966 International Congress of Mathematicians: A micro-memoir. Bull. EATCS 120 (2016) - [j117]Yuri Gurevich:
Past Present. Int. J. Found. Comput. Sci. 27(2): 103-108 (2016) - [j116]Carlos Cotrini, Yuri Gurevich:
Basic primal infon logic. J. Log. Comput. 26(1): 117-141 (2016) - [p19]Andreas Blass, Yuri Gurevich:
On Quantum Computation, Anyons, and Categories. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 209-241 - 2015
- [c80]Yuri Gurevich:
Impugning alleged randomness. NAFIPS/WConSC 2015: 1 - [i13]Yuri Gurevich, Efim Hudis, Jeannette M. Wing:
Inverse Privacy. CoRR abs/1510.03311 (2015) - 2014
- [j115]Lev D. Beklemishev, Yuri Gurevich:
Propositional primal logic with disjunction. J. Log. Comput. 24(1): 257-282 (2014) - [c79]Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev:
Primal Infon Logic with Conjunctions as Sets. IFIP TCS 2014: 236-249 - 2013
- [j114]Andreas Blass, Yuri Gurevich:
Abstract Hilbertian deductive systems, infon logic, and Datalog. Inf. Comput. 231: 21-37 (2013) - [j113]Carlos Cotrini, Yuri Gurevich:
Transitive Primal Infon Logic. Rev. Symb. Log. 6(2): 281-304 (2013) - [j112]Carlos Cotrini, Yuri Gurevich:
Transitive Primal Infon Logic-ERRATUM. Rev. Symb. Log. 6(2): 366 (2013) - [c78]Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy:
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS 2013: 139-154 - [c77]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: 399-314 - 2012
- [j111]Yuri Gurevich, Grant Olney Passmore:
Impugning Randomness, Convincingly. Stud Logica 100(1-2): 193-222 (2012) - [c76]Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich:
From Primal Infon Logic with Individual Variables to Datalog. Correct Reasoning 2012: 72-86 - [c75]Yuri Gurevich:
Foundational Analyses of Computation. CiE 2012: 264-275 - [c74]Yuri Gurevich:
Datalog: A Perspective and the Potential. Datalog 2012: 9-20 - [c73]Yuri Gurevich:
What Is an Algorithm? SOFSEM 2012: 31-42 - 2011
- [j110]Yuri Gurevich, Grant Olney Passmore:
Impugning Randomness, Convincingly. Bull. EATCS 104: 112-137 (2011) - [j109]Yuri Gurevich, Itay Neeman:
Logic of infons: The propositional case. ACM Trans. Comput. Log. 12(2): 9:1-9:28 (2011) - [j108]Andreas Blass, Yuri Gurevich:
Persistent queries in the behavioral theory of algorithms. ACM Trans. Comput. Log. 12(2): 16:1-16:43 (2011) - [c72]Yuri Gurevich:
Impugning Randomness, Convincingly. FCT 2011: 38 - [p18]Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. Proof, Computation and Agency 2011: 99-114 - 2010
- [j107]Andreas Blass, Yuri Gurevich, Efim Hudis:
The Tower-of-Babel Problem, and Security Assesment Sharing. Bull. EATCS 101: 161-182 (2010) - [j106]Andreas Blass, Yuri Gurevich:
Hilbertian Deductive Systems, Infon Logic, and Datalog. Bull. EATCS 102: 122-150 (2010) - [j105]Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich:
Content-dependent chunking for differential compression, the local maximum approach. J. Comput. Syst. Sci. 76(3-4): 154-203 (2010) - [c71]Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman:
Evidential Authorization. The Future of Software Engineering 2010: 73-99 - [c70]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
Exact Exploration and Hanging Algorithms. CSL 2010: 140-154 - [c69]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2010: 1 - [e10]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010. Electronic Notes in Theoretical Computer Science 264(3), Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j104]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? Bull. Symb. Log. 15(2): 145-168 (2009) - [j103]Yuri Gurevich, Itay Neeman:
Teh Logic of Infons. Bull. EATCS 98: 150-178 (2009) - [j102]Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte:
Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics 3(2-3): 149-170 (2009) - [j101]Robert H. Gilman, Yuri Gurevich, Alexei D. Miasnikov:
A geometric zero-one law. J. Symb. Log. 74(3): 929-938 (2009) - [j100]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): 533-560 (2009) - [c68]Yuri Gurevich, Arnab Roy:
Operational Semantics for DKAL: Application and Analysis. TrustBus 2009: 149-158 - [c67]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2009: 1 - [e9]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(2), Elsevier 2009 [contents] - 2008
- [j99]Nachum Dershowitz, Yuri Gurevich:
A Natural Axiomatization of Computability and Proof of Church's Thesis. Bull. Symb. Log. 14(3): 299-350 (2008) - [j98]Andreas Blass, Yuri Gurevich:
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bull. EATCS 95: 164-182 (2008) - [j97]Andreas Blass, Yuri Gurevich:
Program termination and well partial orderings. ACM Trans. Comput. Log. 9(3): 18:1-18:26 (2008) - [j96]Andreas Blass, Yuri Gurevich:
Abstract state machines capture parallel algorithms: Correction and extension. ACM Trans. Comput. Log. 9(3): 19:1-19:32 (2008) - [c66]Andreas Blass, Yuri Gurevich:
Why Sets? Pillars of Computer Science 2008: 179-198 - [c65]Yuri Gurevich, Itay Neeman:
DKAL: Distributed-Knowledge Authorization Language. CSF 2008: 149-162 - [c64]Andreas Blass, Yuri Gurevich:
One Useful Logic That Defines Its Own Truth. MFCS 2008: 1-15 - [c63]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2008: 1 - [e8]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 [contents] - [i12]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? CoRR abs/0811.0811 (2008) - [i11]Andreas Blass, Yuri Gurevich:
Persistent Queries. CoRR abs/0811.0819 (2008) - [i10]Andreas Blass, Yuri Gurevich:
One useful logic that defines its own truth. CoRR abs/0811.0964 (2008) - [i9]Andreas Blass, Yuri Gurevich:
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. CoRR abs/0811.0977 (2008) - [i8]Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi:
Modular difference logic is hard. CoRR abs/0811.0987 (2008) - 2007
- [j95]Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. Bull. EATCS 91: 125-144 (2007) - [j94]Andreas Blass, Yuri Gurevich:
Background of Computation. Bull. EATCS 92: 82-114 (2007) - [j93]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization. Log. Methods Comput. Sci. 3(4) (2007) - [j92]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) - [j91]Yuri Gurevich, Paul E. Schupp:
Membership Problem for the Modular Group. SIAM J. Comput. 37(2): 425-459 (2007) - [j90]Yuri Gurevich, Margus Veanes, Charles Wallace:
Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007) - [j89]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, II. ACM Trans. Comput. Log. 8(3): 15 (2007) - [j88]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, III. ACM Trans. Comput. Log. 8(3): 16 (2007) - [c62]Yuri Gurevich:
Proving Church's Thesis. CSR 2007: 1-3 - [c61]Yuri Gurevich, Dirk Leinders, Jan Van den Bussche:
A Theory of Stream Queries. DBPL 2007: 153-168 - [c60]Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche:
Database Query Processing Using Finite Cursor Machines. ICDT 2007: 284-298 - [c59]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2007: 1 - [e7]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 [contents] - [e6]Yuri Gurevich, Bertrand Meyer:
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454, Springer 2007, ISBN 978-3-540-73769-8 [contents] - [i7]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization. CoRR abs/0707.3782 (2007) - [i6]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. CoRR abs/0707.3789 (2007) - 2006
- [j87]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, I. ACM Trans. Comput. Log. 7(2): 363-419 (2006) - [c58]Yuri Gurevich, Charles Wallace:
Can Abstract State Machines Be Useful in Language Theory?. Developments in Language Theory 2006: 14-19 - [c57]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2006: 1 - [e5]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents] - [e4]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 [contents] - 2005
- [j86]Yuri Gurevich, Nikolai Tillmann:
Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005) - [j85]Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) - [c56]Yuri Gurevich:
Behavioral Computation Theory 2005. Abstract State Machines 2005: 72 - [c55]Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
Play to Test. FATES 2005: 32-46 - [c54]Yuri Gurevich:
Interactive Algorithms 2005. MFCS 2005: 26-38 - [c53]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. RV@CAV 2005: 1 - [e3]Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005 [contents] - 2004
- [j84]Andreas Blass, Yuri Gurevich:
Why Sets? (Column: Logic in Computer Science). Bull. EATCS 84: 139-156 (2004) - [j83]Uwe Glässer, Yuri Gurevich, Margus Veanes:
Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30(7): 458-472 (2004) - [c52]Yuri Gurevich:
Intra-step Interaction. Abstract State Machines 2004: 1-5 - [c51]Yuri Gurevich, Rostislav Yavorskiy:
Observations on the Decidability of Transitions. Abstract State Machines 2004: 161-168 - [c50]Yuri Gurevich:
Abstract State Machines: An Overview of the Project. FoIKS 2004: 6-13 - [c49]Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev:
Preface. MBT 2004: 1-3 - 2003
- [j82]Andreas Blass, Yuri Gurevich:
Algorithms: A Quest for Absolute Definitions. Bull. EATCS 81: 195-225 (2003) - [j81]Andreas Blass, Yuri Gurevich:
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. J. Symb. Log. 68(1): 65-131 (2003) - [j80]