No photo of Alexander Rabinovich

View Scopus Profile

Alexander Rabinovich

Professor

 https://orcid.org/0000-0002-1460-2358
1988 …2023

Research activity per year

Filter
Chapter

Search results

  • 2020

    The expressive power of temporal and first-order metric logics

    Rabinovich, A., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 226-246 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12180 LNCS).

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

  • 2008

    Boris A. Trakhtenbrot: Academic genealogy and publications

    Avron, A., Dershowitz, N. & Rabinovich, A., 2008, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). Springer Berlin Heidelberg, p. 46-57 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

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

    1 Scopus citations
  • 2004

    The boundary between decidability and undecidability for transitive-closure logics

    Immerman, N., Rabinovich, A., Reps, T., Sagiv, M. & Yorsh, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Marcinkowski, J. & Tarlecki, A. (eds.). Springer Verlag, p. 160-174 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3210).

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

    74 Scopus citations

  • Verification via structure simulation

    Immerman, N., Rabinovich, A., Reps, T. W., Sagiv, M. & Yorsh, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer Verlag, p. 281-294 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

    Open Access
    21 Scopus citations
  • 2003

    Quantitative analysis of probabilistic lossy channel systems

    Rabinovich, A., 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. 1008-1021 14 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

    26 Scopus citations

  • Verification of probabilistic systems with faulty communication

    Abdulla, P. A. & Rabinovich, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Gordon, A. D. (ed.). Springer Verlag, p. 39-53 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2620).

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

    Open Access
    21 Scopus citations