1988 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
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 proceedingChapterpeer-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 proceedingChapterpeer-review

  • 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 proceedingChapterpeer-review

  • 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 proceedingChapterpeer-review

    Open Access
  • 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 proceedingChapterpeer-review

  • 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 proceedingChapterpeer-review

    Open Access