1988 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Degrees of ambiguity for parity tree automata

    Rabinovich, A. & Tiferet, D., Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2020

    Ambiguity hierarchy of regular infinite tree languages

    Rabinovich, A. & Tiferet, D., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, MFCS-2020-80. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2019

    Degrees of ambiguity of Büchi tree automata

    Rabinovich, A. & Tiferet, D., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 50. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    Complementation of Finitely Ambiguous Büchi Automata

    Rabinovich, A., 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Verlag, p. 541-552 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11088 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2016

    On expressive power of regular expressions over infinite orders

    Rabinovich, A., 2016, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Woeginger, G. J. & Kulikov, A. S. (eds.). Springer Verlag, p. 382-393 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9691).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Some complexity results for stateful network verification

    Velner, Y., Alpernas, K., Panda, A., Rabinovich, A., Sagiv, M., Shenker, S. & Shoham, S., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 811-830 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2015

    On almost future temporal logics

    Rabinovich, A., 2015, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Blass, A., Finkbeiner, B., Dershowitz, N., Schulte, W. & Beklemishev, L. D. (eds.). Springer Verlag, p. 261-272 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9300).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2013

    An unusual temporal logic

    Rabinovich, A., 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. p. 741-752 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2012

    A finite basis for 'almost future' temporal logic over the reals

    Pardo, D. & Rabinovich, A., 2012, Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Proceedings. p. 740-751 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7464 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A proof of Kamp's theorem

    Rabinovich, A., 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 516-527 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 16).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Interpretations in trees with countably many branches

    Rabinovich, A. & Rubin, S., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. p. 551-560 10 p. 6280474. (Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2011

    Church synthesis problem for noisy input

    Velner, Y. & Rabinovich, A., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 275-289 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • The church synthesis problem with metric

    Jenkins, M., Ouaknine, J., Rabinovich, A. & Worrell, J., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 307-321 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2010

    Alternating timed automata over bounded time

    Jenkins, M., Ouaknine, J., Rabinovich, A. & Worrell, J., 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. Institute of Electrical and Electronics Engineers Inc., p. 60-69 10 p. 5571054. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Decidable expansions of labelled linear orderings

    Bès, A. & Rabinovich, A., 2010, Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. p. 95-107 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6300 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Temporal logics over linear time domains are in PSPACE

    Rabinovich, A., 2010, Reachability Problems - 4th International Workshop, RP 2010, Proceedings. p. 29-50 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6227 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2009

    Cardinality quantifiers in MLO over trees

    Bárány, V., Kaiser, Ł. & Rabinovich, A., 2009, Computer Science Logic - 23rd International Workshop, CSL 2009 - 18th Annual Conference of the EACSL, Proceedings. p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5771 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Decidable extensions of church's problem

    Rabinovich, A., 2009, Computer Science Logic - 23rd International Workshop, CSL 2009 - 18th Annual Conference of the EACSL, Proceedings. p. 424-439 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5771 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Synthesis of finite-state and definable winning strategies

    Rabinovich, A., 2009, Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009 - 29th Annual Conference, Proceedings. p. 359-370 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Time-bounded verification

    Ouaknine, J., Rabinovich, A. & Worrell, J., 2009, CONCUR 2009 - Concurrency Theory - 20th International Conference, CONCUR 2009, Proceedings. p. 496-510 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5710 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2008

    Complexity of metric temporal logics with counting and the pnueli modalities

    Rabinovich, A., 2008, Formal Modeling and Analysis of Timed Systems - 6th International Conference, FORMATS 2008, Proceedings. p. 93-108 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5215 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Selection and uniformization problems in the monadic theory of ordinals: A survey

    Rabinovich, A. & Shomrat, 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.). p. 571-588 18 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 proceedingConference contributionpeer-review

  • 2007

    Decidable fragments of many-sorted logic

    Abadi, A., Rabinovich, A. & Sagiv, M., 2007, Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings. Springer Verlag, p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4790 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Logical refinements of church's problem

    Rabinovich, A. & Thomas, W., 2007, Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. Springer Verlag, p. 69-83 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4646 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The complexity of temporal logic with until and since over ordinals

    Demri, S. & Rabinovich, A., 2007, Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings. Springer Verlag, p. 531-545 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4790 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2006

    A logic of reachable patterns in linked data-structures

    Yorsh, G., Rabinovich, A., Sagiv, M., Meyer, A. & Bouajjani, A., 2006, Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. p. 94-110 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3921 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • An expressive temporal logic for real time

    Hirshfeld, Y. & Rabinovich, A., 2006, Mathematical Foundations of Computer Science 2006 - 31st International Symposium, MFCS 2006, Proceedings. Springer Verlag, p. 492-504 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4162 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Church synthesis problem with parameters

    Rabinovich, A., 2006, Computer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings. Springer Verlag, p. 546-561 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4207 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Decidability and expressive power of real time logics

    Rabinovich, A., 2006, Formal Modeling and Analysis of Timed Systems - 4th International Conference, FORMATS 2006, Proceedings. Springer Verlag, p. 32 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4202 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Decidable theories of the ordering of natural numbers with unary predicates

    Rabinovich, A. & Thomas, W., 2006, Computer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings. Springer Verlag, p. 562-574 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4207 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2002

    A logic of probability with decidable model-checking

    Beauquier, D., Rabinovich, A. & Slissenko, A., 2002, Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings. Bradfield, J. (ed.). Springer Verlag, p. 306-321 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2471).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Expressive power of temporal logics

    Rabinovich, A., 2002, CONCUR 2002, Concurrency Theory - 13th International Conference, Proceedings. Brim, L., Kretinsky, M., Kucera, A. & Jancar, P. (eds.). Springer Verlag, p. 57-76 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2421 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2000

    Why so many temporal logics climb up the trees

    Rabinovich, A. & Maoz, S., 2000, Mathematical Foundations of Computer Science 2000 - 25th International Symposium, MFCS 2000 , Proceedings. Rovan, B. & Nielsen, M. (eds.). Springer Verlag, p. 629-639 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1893).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1999

    A framework for decidable metrical logics

    Hirshfeld, Y. & Rabinovich, A., 1999, Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, p. 422-432 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1644 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On the expressive power of CTL

    Moller, F. & Rabinovich, A., 1999, Proceedings - Symposium on Logic in Computer Science. IEEE, p. 360-368 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Quantitative temporal logic

    Hirshfeld, Y. & Rabinovich, A., 1999, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Flum, J. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 172-187 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1683).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1998

    Expressive completeness of temporal logic of action

    Rabinovich, A., 1998, Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings. Brim, L., Gruska, J. & Zlatuska, J. (eds.). Springer Verlag, p. 229-238 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1450 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1997

    From finite automata toward hybrid systems

    Rabinovich, A. & Trakhtenbrot, B. A., 1997, Fundamentals of Computation Theory - 11th International Symposium, FCT 1997, Proceedings. Chlebus, B. S. & Czaja, L. (eds.). Springer Verlag, p. 411-422 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1279).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1994

    A complete axiomatisation for trace congruence of finite state behaviors

    Rabinovich, A., 1994, Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings. Brookes, S., Main, M., Melton, A., Mislove, M. & Schmidt, D. (eds.). Springer Verlag, p. 530-543 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 802 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1992

    Checking equivalences between concurrent systems of finite agents

    Rabinovich, A., 1992, Automata, Languages and Programming - 19th International Colloquium, Proceedings. Kuich, W. (ed.). Springer Verlag, p. 696-707 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 623 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Logic of trace languages

    Rabinovich, A., 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Springer Verlag, p. 504-517 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 630 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Non modularity and expressibility for nets of relations

    Rabinovich, A., 1992, Logical Foundations of Computer Science — Tver 1992 - 2nd International Symposium, Proceedings. Nerode, A. & Taitslin, M. (eds.). Springer Verlag, p. 394-405 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 620 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1991

    On nets, algebras and modularity

    Rabinovich, A. & Trakhtenbrot, B. A., 1991, Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings. Meyer, A. R. & Ito, T. (eds.). Springer Verlag, p. 176-203 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 526 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1990

    Communication among relations

    Rabinovich, A. & Trakhtenbrot, B. A., 1990, Automata, Languages and Programming - l7th International Colloquium, Proceedings. Paterson, M. S. (ed.). Springer Verlag, p. 294-307 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 443 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1989

    Discerning causality in interleaving behavior

    Hirshfeld, J., Rabinovich, A. & Trakhtenbrot, B. A., 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (eds.). Springer Verlag, p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 363 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Nets and data flow interpreters

    Rabinovich, A. & Trakhtenbrot, B. A., 1989, Proc Fourth Ann Symp Logic Comput Sci. Anon (ed.). Publ by IEEE, p. 164-174 11 p. (Proc Fourth Ann Symp Logic Comput Sci).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Nets of processes and data flow

    Rabinovich, A. & Trakhtenbrot, B. A., 1989, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop. de Bakker, J. W., Rozenberg, G. & de Roever, W-P. (eds.). Springer Verlag, p. 574-602 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 354 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review