No photo of Eran Yahav

View Scopus Profile

Eran Yahav

Prof.

 https://orcid.org/0000-0003-4305-6314
    Calculated based on number of publications stored in Pure and citations from Scopus
    1996 …2023

    Research activity per year

    Filter
    Conference article

    Search results

    • 2019

      Learning deterministic weighted automata with queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2019, In: Advances in Neural Information Processing Systems. 32

      Research output: Contribution to journal › Conference article › peer-review

      29 Scopus citations
    • 2007

      Cartesian partial-order reduction

      Gueta, G., Flanagan, C., Yahav, E. & Sagiv, M., 2007, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595 LNCS, p. 95-112 18 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      44 Scopus citations
    • 2005

      Predicate abstraction and canonical abstraction for singly-linked lists

      Manevich, R., Yahav, E., Ramalingam, G. & Sagiv, M., 2005, In: Lecture Notes in Computer Science. 3385, p. 181-198 18 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      65 Scopus citations
    • 2003

      Automatically verifying concurrent queue algorithms

      Yahav, E. & Sagiv, M., Sep 2003, In: Electronic Notes in Theoretical Computer Science. 89, 3, p. 450-463 14 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      20 Scopus citations
    • 2001

      Verifying safety properties of concurrent Java programs using 3-valued logic

      Yahav, E., 2001, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 27-40 14 p.

      Research output: Contribution to journal › Conference article › peer-review

      60 Scopus citations