No photo of Orna Kupferman

View Scopus Profile

Orna Kupferman

 https://orcid.org/0000-0003-4699-6117
    Calculated based on number of publications stored in Pure and citations from Scopus
    1995 …2024

    Research activity per year

    Filter
    Chapter

    Search results

    • 2024

      Restricted Flow Games

      Alon, R. & Kupferman, O., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 22-50 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2021

      Verification

      Esparza, J., Kupferman, O. & Vardi, M. Y., 2021, Handbook of Automata Theory. Pin, J.-É. (ed.). Zürich, Switzerland: European Mathematical Society Publishing House, Zürich, Switzerland, p. 1415-1456 42 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2018

      Automata theory and model checking

      Kupferman, O., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 107-151 45 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      23 Scopus citations
    • 2006

      Verification of open systems

      Kupferman, O. & Vardi, M. Y., 2006, Interactive Computation: The New Paradigm. Springer Berlin Heidelberg, p. 97-117 21 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2004

      Büchi complementation made tighter

      Friedgut, E., Kupferman, O. & Vardi, M. Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wang, F. (ed.). Springer Verlag, p. 64-78 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3299).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      17 Scopus citations

    • From complementation to certification

      Kupferman, O. & Vardi, M. Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 591-606 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      23 Scopus citations

    • Typeness for ω-regular automata

      Kupferman, O., Morgenstern, G. & Murano, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wang, F. (ed.). Springer Verlag, p. 324-338 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3299).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      17 Scopus citations
    • 2003

      Coverage metrics for formal verification

      Chockler, H., Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer Verlag, p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      51 Scopus citations

    • On complementing nondeterministic Büchi automata

      Gurumurthy, S., Kupferman, O., Somenzi, F. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer Verlag, p. 96-110 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      43 Scopus citations

    • Resets vs. aborts in linear temporal logic

      Armoni, R., Bustan, D., Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Garavel, H. & Hatcliff, J. (eds.). Springer Verlag, p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2619).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      24 Scopus citations

    • Π2 ∩ Σ2 ≡ AFMC

      Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 697-713 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      9 Scopus citations
    Your message has successfully been sent.
    Your message was not sent due to an error.