Yuri Gurevich
Affiliations: Microsoft Research
According to our database^{1},
Yuri Gurevich
authored at least 230 papers
between 1976 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1997, "Professor Yuri Gurevich is an internationally acclaimed researcher, educator, and leader in the field of foundational issues of computer science.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on idref.fr

on viaf.org

on orcid.org

on id.loc.gov

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2023
CoRR, 2023
2022
Quantum circuits with classical channels and the principle of deferred measurements.
Theor. Comput. Sci., 2022
Fundam. Informaticae, 2022
Bull. EATCS, 2022
CoRR, 2022
CoRR, 2022
2021
Bull. EATCS, 2021
Bull. EATCS, 2021
CoRR, 2021
2020
Theor. Comput. Sci., 2020
Math. Struct. Comput. Sci., 2020
Bull. EATCS, 2020
Bull. EATCS, 2020
CoRR, 2020
2019
Bull. EATCS, 2019
Bull. EATCS, 2019
Proceedings of the Conformal and Probabilistic Prediction and Applications, 2019
2018
Bull. EATCS, 2018
Bull. EATCS, 2018
Bull. EATCS, 2018
CoRR, 2018
CoRR, 2018
2017
Bull. EATCS, 2017
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017
2016
J. Log. Comput., 2016
Int. J. Found. Comput. Sci., 2016
Bull. EATCS, 2016
Bull. EATCS, 2016
Commun. ACM, 2016
Proceedings of the Martin Davis on Computability, 2016
2015
CoRR, 2015
Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015
2014
J. Log. Comput., 2014
Proceedings of the Theoretical Computer Science, 2014
2013
Rev. Symb. Log., 2013
Rev. Symb. Log., 2013
Inf. Comput., 2013
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization.
Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 1416, 2013, 2013
Proceedings of the Engineering Secure Software and Systems  5th International Symposium, 2013
2012
Stud Logica, 2012
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012
Proceedings of the Datalog in Academia and Industry  Second International Workshop, 2012
Proceedings of the How the World Computes, 2012
Proceedings of the Correct Reasoning, 2012
2011
ACM Trans. Comput. Log., 2011
ACM Trans. Comput. Log., 2011
Proceedings of the Fundamentals of Computation Theory  18th International Symposium, 2011
Proceedings of the Proof, Computation and Agency  Logic at the Crossroads., 2011
2010
Contentdependent chunking for differential compression, the local maximum approach.
J. Comput. Syst. Sci., 2010
Proceedings of the Sixth Workshop on ModelBased Testing, 2010
Bull. EATCS, 2010
Bull. EATCS, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
Proceedings of the Future of Software Engineering., 2010
2009
Theory Comput. Syst., 2009
J. Symb. Log., 2009
Int. J. Softw. Informatics, 2009
Teh Logic of Infons.
Bull. EATCS, 2009
Bull. Symb. Log., 2009
Proceedings of the Trust, 2009
2008
ACM Trans. Comput. Log., 2008
ACM Trans. Comput. Log., 2008
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog.
Bull. EATCS, 2008
CoRR, 2008
CoRR, 2008
Bull. Symb. Log., 2008
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
ACM Trans. Comput. Log., 2007
ACM Trans. Comput. Log., 2007
Theor. Comput. Sci., 2007
SIAM J. Comput., 2007
Interactive SmallStep Algorithms II: Abstract State Machines and the Characterization Theorem.
Log. Methods Comput. Sci., 2007
Log. Methods Comput. Sci., 2007
Background of Computation.
Bull. EATCS, 2007
ZeroOne Laws: Thesauri and Parametric Conditions.
Bull. EATCS, 2007
Proceedings of the Database Programming Languages, 11th International Symposium, 2007
Proceedings of the Computer Science, 2007
2006
ACM Trans. Comput. Log., 2006
Proceedings of the Developments in Language Theory, 10th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Theor. Comput. Sci., 2005
Proceedings of the Fifth Workshop on Runtime Verification, 2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
2004
IEEE Trans. Software Eng., 2004
Proceedings of the Workshop on Model Based Testing, 2004
Why Sets? (Column: Logic in Computer Science).
Bull. EATCS, 2004
Proceedings of the Foundations of Information and Knowledge Systems, 2004
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004
2003
ACM Trans. Comput. Log., 2003
J. Symb. Log., 2003
Algorithms: A Quest for Absolute Definitions.
Bull. EATCS, 2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
Proceedings of the Abstract State Machines, 2003
2002
J. Log. Comput., 2002
J. Symb. Log., 2002
Inf. Comput., 2002
Algorithms vs. Machines.
Bull. EATCS, 2002
Pairwise Testing.
Bull. EATCS, 2002
Bull. Symb. Log., 2002
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS35 2002), 2002
2001
ACM Trans. Comput. Log., 2001
J. Univers. Comput. Sci., 2001
Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141187.
Ann. Pure Appl. Log., 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the Perspectives of System Informatics, 2001
The Sequential ASM Thesis.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
From Invariants to Canonization.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
The Value, if Any, of Decidability.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
AMAST'91 Banquet Talk.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
Herbrand's Theorem and Equational Reasoning: Problems and Solutions.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
The Underlying Logic of Hoare Logic.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
2000
ACM Trans. Comput. Log., 2000
Decidability and complexity of simultaneous rigid Eunification with one variable and related results.
Theor. Comput. Sci., 2000
J. Symb. Log., 2000
J. Symb. Log., 2000
J. ACM, 2000
The Underlying Logic of Hoare Logic.
Bull. EATCS, 2000
A New ZeroOne Law and Strong Extension Axioms.
Bull. EATCS, 2000
Proceedings of the Computer Science Logic, 2000
Proceedings of the Computer Science Logic, 2000
Proceedings of the Abstract State Machines, 2000
Proceedings of the Abstract State Machines, 2000
Proceedings of the Abstract State Machines, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Theor. Comput. Sci., 1999
Inf. Comput., 1999
The Sequential ASM Thesis.
Bull. EATCS, 1999
Ann. Pure Appl. Log., 1999
1998
Inf. Process. Lett., 1998
Inf. Comput., 1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
Proceedings of the Seventeenth ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, 1998
1997
Theor. Comput. Sci., 1997
J. Univers. Comput. Sci., 1997
J. Univers. Comput. Sci., 1997
J. Univers. Comput. Sci., 1997
J. Univers. Comput. Sci., 1997
From Invariants to Canonization.
Bull. EATCS, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the Structures in Logic and Computer Science, 1997
The Classical Decision Problem
Perspectives in Mathematical Logic, Springer, 1997
1996
J. Symb. Log., 1996
Herbrand's Theorem and Equational Reasoning: Problems and Solutions.
Bull. EATCS, 1996
Normal Forms for SecondOrder Logic over Finite Structures, and Classification of NP Optimization Problems.
Ann. Pure Appl. Log., 1996
1995
SIAM J. Comput., 1995
J. Symb. Log., 1995
The Value, if any, of Decidability.
Bull. EATCS, 1995
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand.
Bull. EATCS, 1995
A Tribute to Dirk van Dalen  Preface.
Ann. Pure Appl. Log., 1995
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
Formalizing Recovery in TransactionOriented Database Systems.
Proceedings of the Advances in Data Management, 1995
1994
SIGACT News, 1994
J. Comput. Syst. Sci., 1994
CoRR, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Evolving Algebras and Partial Evaluation.
Proceedings of the Technology and Foundations  Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Evolving Algebras.
Proceedings of the Technology and Foundations  Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Evolving Algebras and Linear Time Hierarchy.
Proceedings of the Technology and Foundations  Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
SIAM J. Comput., 1993
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
The bakery algorithm: yet another specification and verification.
Proceedings of the Specification and validation methods, 1993
Group membership protocol: specification and verification.
Proceedings of the Specification and validation methods, 1993
Evolving algebras 1993: Lipari guide.
Proceedings of the Specification and validation methods, 1993
1992
ZeroOne Laws.
Bull. EATCS, 1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1991
J. Comput. Syst. Sci., 1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
Nondeterministic LinearTime Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space
J. ACM, July, 1990
Inf. Comput., 1990
On the Classical Desicion Problem.
Bull. EATCS, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990
1989
J. Symb. Log., 1989
J. Symb. Log., 1989
Inf. Process. Lett., 1989
Proceedings of the Logic at Botik '89, 1989
Proceedings of the CSL '89, 1989
1988
Logic in computer Science Column.
Bull. EATCS, 1988
1987
SIAM J. Comput., 1987
J. ACM, 1987
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987
Proceedings of the CSL '87, 1987
Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987
1986
SIGACT News, 1986
Networks, 1986
Inf. Control., 1986
Ann. Pure Appl. Log., 1986
Ann. Pure Appl. Log., 1986
1985
Notre Dame J. Formal Log., 1985
J. Symb. Log., 1985
Inf. Control., 1985
1984
Inf. Control., April, 1984
SIAM J. Comput., 1984
J. Symb. Log., 1984
J. Symb. Log., 1984
Solving NPHard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems.
J. ACM, 1984
1983
J. Symb. Log., 1983
J. Symb. Log., 1983
J. Symb. Log., 1983
J. Symb. Log., 1983
J. Symb. Log., 1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
1982
Inf. Control., 1982
Inf. Control., 1982
Ann. Math. Log., 1982
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982
Proceedings of the ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1982
1980
Arch. Math. Log., 1980
Arch. Math. Log., 1980
1979
J. Symb. Log., 1979
J. Symb. Log., 1979
1977
Arch. Math. Log., 1977
1976
J. Symb. Log., 1976