Edit Profile (opens in new tab) Rabinovich, Alexander Compute Distance To: Compute Author ID: rabinovich.alexander Published as: Rabinovich, Alexander; Rabinovich, A. Homepage: http://www.cs.tau.ac.il/~rabinoa/ External Links: MGP · dblp Documents Indexed: 112 Publications since 1987 3 Contributions as Editor Co-Authors: 63 Co-Authors with 67 Joint Publications 2,094 Co-Co-Authors all top 5 Co-Authors 47 single-authored 11 Hirshfeld, Yoram 8 Trakhtenbrot, Boris Avraamovich 6 Sagiv, Mooly 4 Avron, Arnon 4 Beauquier, Danièle 4 Dershowitz, Nachum 3 Bès, Alexis 3 Gurevich, Yuri 3 Pardo (Ordentlich), Dorit 3 Shomrat, Amit 3 Slissenko, Anatol 3 Tiferet, Doron 3 Velner, Yaron 3 Yorsh, Greta 2 Abadi, Aharon 2 Abdulla, Parosh Aziz 2 Bárány, Vince 2 Bouajjani, Ahmed 2 Demri, Stéphane P. 2 Kaiser, Lukasz 2 Maoz, Shahar 2 Meyer, Albert Ronald 2 Meyer, Antoine 2 Ouaknine, Joel O. 2 Schnoebelen, Philippe 2 Thomas, Wolfgang 2 Worrell, James B. 1 Abramson, Y. 1 Agur, Zvia 1 Alpernas, Kalev 1 Artemov, Sergei 1 Bārzdiņš, Jānis 1 Bertrand, Nathalie 1 Bojańczyk, Mikołaj 1 Bokut, Leonid A. 1 Chatterjee, Krishnendu 1 Dekhtyar, Alexander M. 1 Doyen, Laurent 1 Ginosar, Yuval 1 Henzinger, Thomas A. 1 Hirvensalo, Mika 1 Ianovski, A. 1 Immerman, Neil 1 Jenkins, Mark D. 1 Karhumaki, Juhani 1 Kogan, Yuri 1 Levin, Leonid A. 1 Lomazova, Irina A. 1 Matiyasevich, Yuriĭ Vladimirovich 1 Mazurkiewicz, Antoni W. 1 Moller, Faron 1 Nepomnyashchy, V. A. 1 Niwiński, Damian 1 Novikov, Sergeĭ Petrovich 1 Panda, Aurojit 1 Radziwończyk-Syta, Adam 1 Raskin, Jean-François 1 Reps, Thomas W. 1 Rubin, Sasha 1 Sazonov, Vladimir Yu. 1 Selitser, Vera 1 Shenker, Scott J. 1 Shilov, Nikolay V. 1 Shoham, Moshe 1 Shoham, Sharon 1 Skrzypczak, Michał 1 Slisenko, A. O. 1 Sokolov, Valeriĭ Anatol’evich 1 Trakhtenbrot, Mark B. 1 Vainstein, Vladimir all top 5 Serials 20 Information and Computation 8 Theoretical Computer Science 7 Logical Methods in Computer Science 6 Fundamenta Informaticae 5 The Journal of Symbolic Logic 4 Journal of Logic and Computation 2 Logic Journal of the IGPL 1 Acta Informatica 1 Information Processing Letters 1 Russian Mathematical Surveys 1 Journal of Number Theory 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Formal Methods in System Design 1 Journal of Automata, Languages and Combinatorics 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Mathematical Modelling of Natural Phenomena all top 5 Fields 77 Mathematical logic and foundations (03-XX) 73 Computer science (68-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Partial differential equations (35-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 86 Publications have been cited 423 times in 271 Documents Cited by ▼ Year ▼ Behavior strutures and nets. Zbl 0657.68068Rabinovich, A.; Trakhtenbrot, B. A. 42 1988 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François 27 2015 Logics for real time: decidability and complexity. Zbl 1127.03012Hirshfeld, Yoram; Rabinovich, Alexander 20 2004 On the decidability of continuous time specification formalisms. Zbl 0913.03018Rabinovich, Alexander 15 1998 Quantitative temporal logic. Zbl 0943.03017Hirshfeld, Yoram; Rabinovich, Alexander 11 1999 Church synthesis problem for noisy input. Zbl 1326.68189Velner, Yaron; Rabinovich, Alexander 11 2011 On decidability of monadic logic of order over the naturals extended by monadic predicates. Zbl 1115.68100Rabinovich, Alexander 11 2007 Verification of probabilistic systems with faulty communication. Zbl 1105.68003Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. 10 2005 An expressive temporal logic for real time. Zbl 1132.03323Hirshfeld, Yoram; Rabinovich, Alexander 10 2006 Time-bounded verification. Zbl 1254.68151Ouaknine, Joël; Rabinovich, Alexander; Worrell, James 10 2009 Complexity of equivalence problems for concurrent systems of finite agents. Zbl 0892.68061Rabinovich, Alexander 9 1997 Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013Rabinovich, Alexander; Thomas, Wolfgang 9 2006 Expressiveness of metric modalities for continuous time. Zbl 1128.03007Hirshfeld, Yoram; Rabinovich, Alexander 9 2007 A proof of Kamp’s theorem. Zbl 1326.03024Rabinovich, Alexander 8 2014 Timer formulas and decidable metric temporal logic. Zbl 1068.03014Hirshfeld, Yoram; Rabinovich, Alexander 8 2005 Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023Moller, Faron; Rabinovich, Alexander 8 2003 A logic of reachable patterns in linked data-structures. Zbl 1180.68131Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed 8 2006 A framework for decidable metrical logics. Zbl 0939.03023Hirshfeld, Yoram; Rabinovich, Alexander 7 1999 Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1196.03029Rabinovich, Alexander 7 2010 A logic of probability with decidable model-checking. Zbl 1021.03013Beauquier, Danièle; Rabinovich, Alexander; Slissenko, Anatol 7 2002 Future temporal logic needs infinitely many modalities. Zbl 1045.03019Hirshfeld, Yoram; Rabinovich, Alexander 6 2003 Communication among relations. Zbl 0765.68110Rabinovich, A.; Trakhtenbrot, B. A. 6 1990 Verification of probabilistic systems with faulty communication. Zbl 1029.68094Abdulla, Parosh Aziz; Rabinovich, Alexander 6 2003 Non-elementary lower bound for Propositional Duration Calculus. Zbl 0925.68062Rabinovich, A. 6 1998 A logic of reachable patterns in linked data-structures. Zbl 1121.03040Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed 6 2007 Monadic logic of order over naturals has no finite base. Zbl 1056.03007Beauquier, Danièle; Rabinovich, Alexander 5 2002 Expressive completeness of duration calculus. Zbl 1046.68606Rabinovich, Alexander 5 2000 Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1171.03313Rabinovich, Alexander 5 2008 Quantitative analysis of probabilistic lossy channel systems. Zbl 1039.68557Rabinovich, Alexander 5 2003 Decidable fragments of many-sorted logic. Zbl 1183.03007Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly 5 2010 Automata over continuous time. Zbl 1028.68082Rabinovich, Alexander 5 2003 On compositionality and its limitations. Zbl 1367.68202Rabinovich, Alexander 5 2007 Expressive power of temporal logics. Zbl 1012.03027Rabinovich, Alexander 4 2002 Star free expressions over the reals. Zbl 0953.68075Rabinovich, Alexander 4 2000 Logical refinements of Church’s problem. Zbl 1179.03038Rabinovich, Alexander; Thomas, Wolfgang 4 2007 A logic of probability with decidable model checking. Zbl 1109.03017Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol 4 2006 Temporal logics over linear time domains are in PSPACE. Zbl 1287.68081Rabinovich, Alexander 4 2010 Verification via structure simulation. Zbl 1103.68623Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great 4 2004 Discerning causality in interleaving behavior. Zbl 0677.68006Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A. 4 1989 Nets and data flow interpreters. Zbl 0716.68062Rabinovich, A.; Trakhtenbrot, B. A. 4 1989 Why so many temporal logics climb up the trees? Zbl 0996.68112Rabinovich, Alexander; Maoz, Shahar 3 2000 An infinite hierarchy of temporal logics over branching time. Zbl 1005.03022Rabinovich, Alexander; Maoz, Shahar 3 2001 On expressive completeness of duration and mean value calculi. Zbl 0911.68138Rabinovich, Alexander 3 1997 Selection and uniformization in generalized product. Zbl 1060.03049Rabinovich, Alexander 3 2004 Checking equivalences between concurrent systems of finite agents (extended abstract). Zbl 1425.68302Rabinovich, Alexander 3 1992 Complementation of finitely ambiguous Büchi automata. Zbl 1457.68148Rabinovich, Alexander 3 2018 On translations of temporal logic of actions into monadic second-order logic. Zbl 0896.03026Rabinovich, A. 3 1998 Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002 3 2008 Symbolic model checking for \(\mu\)-calculus requires exponential time. Zbl 0944.68035Rabinovich, A. 2 2000 Definability and undefinability with real order at the background. Zbl 0963.03062Gurevich, Yuri; Rabinovich, Alexander 2 2000 Synthesis of finite-state and definable winning strategies. Zbl 1250.03015Rabinovich, Alexander 2 2009 Selection in the monadic theory of a countable ordinal. Zbl 1163.03013Rabinovich, Alexander; Shomrat, Amit 2 2008 Finite variability interpretation of monadic logic of order. Zbl 1026.68083Rabinovich, A. 2 2002 Expressive completeness of temporal logic of action. Zbl 0912.03011Rabinovich, Alexander 2 1998 Quantitative analysis of probabilistic lossy channel systems. Zbl 1103.68078Rabinovich, Alexander 2 2006 A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018Pardo (Ordentlich), Dorit; Rabinovich, Alexander 2 2012 Continuous time temporal logic with counting. Zbl 1242.03044Hirshfeld, Yoram; Rabinovich, Alexander 2 2012 On the Borel complexity of MSO definable sets of branches. Zbl 1206.03041Bojańczyk, Mikołaj; Niwiński, Damian; Rabinovich, Alexander; Radziwończyk-Syta, Adam; Skrzypczak, Michał 2 2010 Cardinality quantifiers in MLO over trees. Zbl 1257.03062Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander 2 2009 Decidable extensions of Church’s problem. Zbl 1257.03034Rabinovich, Alexander 2 2009 Improving cancer therapy by doxorubicin and granulocyte colony-stimulating factor: insights from a computerized model of human granulopoiesis. Zbl 1337.92120Vainstein, V.; Ginosar, Y.; Shoham, M.; Ianovski, A.; Rabinovich, A.; Kogan, Y.; Selitser, V.; Agur, Z. 2 2006 Definability in rationals with real order in the background. Zbl 0999.03005Gurevich, Yuri; Rabinovich, Alexander 2 2002 Pomset semantics is consistent with data flow semantics. Zbl 0663.68015Rabinovich, Alexander 2 1987 Nets of processes and data flow. (Technical contribution). Zbl 0683.68023Rabinovich, A.; Trakhtenbrot, B. A. 2 1989 The Church synthesis problem with parameters. Zbl 1131.03016Rabinovich, Alexander 2 2007 Decidable fragments of many-sorted logic. Zbl 1137.03302Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly 2 2007 Some complexity results for stateful network verification. Zbl 1425.68248Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron 2 2019 Interpretations in trees with countably many branches. Zbl 1364.03017Rabinovich, Alexander; Rubin, Sasha 1 2012 Succinctness gap between monadic logic and duration calculus. Zbl 0964.03031Rabinovich, A. 1 2000 Synchronous circuits over continuous time: feedback reliability and completeness. Zbl 1082.68058Pardo, D.; Rabinovich, A.; Trakhtenbrot, B. A. 1 2004 Decidability of split equivalence. Zbl 1009.68080Abramson, Y.; Rabinovich, A. 1 2002 \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\). Zbl 1110.68076Rabinovich, Alexander; Schnoebelen, Philippe 1 2006 Connectedness and synchronization. Zbl 0744.68049Mazurkiewicz, A.; Rabinovich, A.; Trakhtenbrot, B. A. 1 1991 Temporal logics over linear time domains are in PSPACE. Zbl 1280.68112Rabinovich, Alexander 1 2012 Computing partial information out of intractable: powers of algebraic numbers as an example. Zbl 1251.11052Hirvensalo, Mika; Karhumäki, Juhani; Rabinovich, Alexander 1 2010 On schematological equivalence of dataflow networks. Zbl 0853.68093Rabinovich, Alexander 1 1996 Modularity and expressibility for nets of relations. Zbl 0908.68041Rabinovich, Alexander 1 1998 On almost future temporal logics. Zbl 1465.03062Rabinovich, Alexander 1 2015 Decidable expansions of labelled linear orderings. Zbl 1213.03017Bès, Alexis; Rabinovich, Alexander 1 2011 Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander 1 2011 Selection over classes of ordinals expanded by monadic predicates. Zbl 1225.03012Rabinovich, Alexander; Shomrat, Amit 1 2010 Selection and uniformization problems in the monadic theory of ordinals: A survey. Zbl 1133.03313Rabinovich, Alexander; Shomrat, Amit 1 2008 The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308Demri, Stéphane; Rabinovich, Alexander 1 2007 Expressiveness of metric modalities for continuous time. Zbl 1185.03021Hirshfeld, Yoram; Rabinovich, Alexander 1 2006 Composition theorem for generalized sum. Zbl 1124.03013Rabinovich, Alexander 1 2007 The complexity of linear-time temporal logic over the class of ordinals. Zbl 1213.03027Demri, Stéphane; Rabinovich, Alexander 1 2010 Some complexity results for stateful network verification. Zbl 1425.68248Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron 2 2019 Complementation of finitely ambiguous Büchi automata. Zbl 1457.68148Rabinovich, Alexander 3 2018 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François 27 2015 On almost future temporal logics. Zbl 1465.03062Rabinovich, Alexander 1 2015 A proof of Kamp’s theorem. Zbl 1326.03024Rabinovich, Alexander 8 2014 A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018Pardo (Ordentlich), Dorit; Rabinovich, Alexander 2 2012 Continuous time temporal logic with counting. Zbl 1242.03044Hirshfeld, Yoram; Rabinovich, Alexander 2 2012 Interpretations in trees with countably many branches. Zbl 1364.03017Rabinovich, Alexander; Rubin, Sasha 1 2012 Temporal logics over linear time domains are in PSPACE. Zbl 1280.68112Rabinovich, Alexander 1 2012 Church synthesis problem for noisy input. Zbl 1326.68189Velner, Yaron; Rabinovich, Alexander 11 2011 Decidable expansions of labelled linear orderings. Zbl 1213.03017Bès, Alexis; Rabinovich, Alexander 1 2011 Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander 1 2011 Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1196.03029Rabinovich, Alexander 7 2010 Decidable fragments of many-sorted logic. Zbl 1183.03007Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly 5 2010 Temporal logics over linear time domains are in PSPACE. Zbl 1287.68081Rabinovich, Alexander 4 2010 On the Borel complexity of MSO definable sets of branches. Zbl 1206.03041Bojańczyk, Mikołaj; Niwiński, Damian; Rabinovich, Alexander; Radziwończyk-Syta, Adam; Skrzypczak, Michał 2 2010 Computing partial information out of intractable: powers of algebraic numbers as an example. Zbl 1251.11052Hirvensalo, Mika; Karhumäki, Juhani; Rabinovich, Alexander 1 2010 Selection over classes of ordinals expanded by monadic predicates. Zbl 1225.03012Rabinovich, Alexander; Shomrat, Amit 1 2010 The complexity of linear-time temporal logic over the class of ordinals. Zbl 1213.03027Demri, Stéphane; Rabinovich, Alexander 1 2010 Time-bounded verification. Zbl 1254.68151Ouaknine, Joël; Rabinovich, Alexander; Worrell, James 10 2009 Synthesis of finite-state and definable winning strategies. Zbl 1250.03015Rabinovich, Alexander 2 2009 Cardinality quantifiers in MLO over trees. Zbl 1257.03062Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander 2 2009 Decidable extensions of Church’s problem. Zbl 1257.03034Rabinovich, Alexander 2 2009 Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1171.03313Rabinovich, Alexander 5 2008 Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002 3 2008 Selection in the monadic theory of a countable ordinal. Zbl 1163.03013Rabinovich, Alexander; Shomrat, Amit 2 2008 Selection and uniformization problems in the monadic theory of ordinals: A survey. Zbl 1133.03313Rabinovich, Alexander; Shomrat, Amit 1 2008 On decidability of monadic logic of order over the naturals extended by monadic predicates. Zbl 1115.68100Rabinovich, Alexander 11 2007 Expressiveness of metric modalities for continuous time. Zbl 1128.03007Hirshfeld, Yoram; Rabinovich, Alexander 9 2007 A logic of reachable patterns in linked data-structures. Zbl 1121.03040Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed 6 2007 On compositionality and its limitations. Zbl 1367.68202Rabinovich, Alexander 5 2007 Logical refinements of Church’s problem. Zbl 1179.03038Rabinovich, Alexander; Thomas, Wolfgang 4 2007 The Church synthesis problem with parameters. Zbl 1131.03016Rabinovich, Alexander 2 2007 Decidable fragments of many-sorted logic. Zbl 1137.03302Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly 2 2007 The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308Demri, Stéphane; Rabinovich, Alexander 1 2007 Composition theorem for generalized sum. Zbl 1124.03013Rabinovich, Alexander 1 2007 An expressive temporal logic for real time. Zbl 1132.03323Hirshfeld, Yoram; Rabinovich, Alexander 10 2006 Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013Rabinovich, Alexander; Thomas, Wolfgang 9 2006 A logic of reachable patterns in linked data-structures. Zbl 1180.68131Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed 8 2006 A logic of probability with decidable model checking. Zbl 1109.03017Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol 4 2006 Quantitative analysis of probabilistic lossy channel systems. Zbl 1103.68078Rabinovich, Alexander 2 2006 Improving cancer therapy by doxorubicin and granulocyte colony-stimulating factor: insights from a computerized model of human granulopoiesis. Zbl 1337.92120Vainstein, V.; Ginosar, Y.; Shoham, M.; Ianovski, A.; Rabinovich, A.; Kogan, Y.; Selitser, V.; Agur, Z. 2 2006 \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\). Zbl 1110.68076Rabinovich, Alexander; Schnoebelen, Philippe 1 2006 Expressiveness of metric modalities for continuous time. Zbl 1185.03021Hirshfeld, Yoram; Rabinovich, Alexander 1 2006 Verification of probabilistic systems with faulty communication. Zbl 1105.68003Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph. 10 2005 Timer formulas and decidable metric temporal logic. Zbl 1068.03014Hirshfeld, Yoram; Rabinovich, Alexander 8 2005 Logics for real time: decidability and complexity. Zbl 1127.03012Hirshfeld, Yoram; Rabinovich, Alexander 20 2004 Verification via structure simulation. Zbl 1103.68623Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great 4 2004 Selection and uniformization in generalized product. Zbl 1060.03049Rabinovich, Alexander 3 2004 Synchronous circuits over continuous time: feedback reliability and completeness. Zbl 1082.68058Pardo, D.; Rabinovich, A.; Trakhtenbrot, B. A. 1 2004 Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023Moller, Faron; Rabinovich, Alexander 8 2003 Future temporal logic needs infinitely many modalities. Zbl 1045.03019Hirshfeld, Yoram; Rabinovich, Alexander 6 2003 Verification of probabilistic systems with faulty communication. Zbl 1029.68094Abdulla, Parosh Aziz; Rabinovich, Alexander 6 2003 Quantitative analysis of probabilistic lossy channel systems. Zbl 1039.68557Rabinovich, Alexander 5 2003 Automata over continuous time. Zbl 1028.68082Rabinovich, Alexander 5 2003 A logic of probability with decidable model-checking. Zbl 1021.03013Beauquier, Danièle; Rabinovich, Alexander; Slissenko, Anatol 7 2002 Monadic logic of order over naturals has no finite base. Zbl 1056.03007Beauquier, Danièle; Rabinovich, Alexander 5 2002 Expressive power of temporal logics. Zbl 1012.03027Rabinovich, Alexander 4 2002 Finite variability interpretation of monadic logic of order. Zbl 1026.68083Rabinovich, A. 2 2002 Definability in rationals with real order in the background. Zbl 0999.03005Gurevich, Yuri; Rabinovich, Alexander 2 2002 Decidability of split equivalence. Zbl 1009.68080Abramson, Y.; Rabinovich, A. 1 2002 An infinite hierarchy of temporal logics over branching time. Zbl 1005.03022Rabinovich, Alexander; Maoz, Shahar 3 2001 Expressive completeness of duration calculus. Zbl 1046.68606Rabinovich, Alexander 5 2000 Star free expressions over the reals. Zbl 0953.68075Rabinovich, Alexander 4 2000 Why so many temporal logics climb up the trees? Zbl 0996.68112Rabinovich, Alexander; Maoz, Shahar 3 2000 Symbolic model checking for \(\mu\)-calculus requires exponential time. Zbl 0944.68035Rabinovich, A. 2 2000 Definability and undefinability with real order at the background. Zbl 0963.03062Gurevich, Yuri; Rabinovich, Alexander 2 2000 Succinctness gap between monadic logic and duration calculus. Zbl 0964.03031Rabinovich, A. 1 2000 Quantitative temporal logic. Zbl 0943.03017Hirshfeld, Yoram; Rabinovich, Alexander 11 1999 A framework for decidable metrical logics. Zbl 0939.03023Hirshfeld, Yoram; Rabinovich, Alexander 7 1999 On the decidability of continuous time specification formalisms. Zbl 0913.03018Rabinovich, Alexander 15 1998 Non-elementary lower bound for Propositional Duration Calculus. Zbl 0925.68062Rabinovich, A. 6 1998 On translations of temporal logic of actions into monadic second-order logic. Zbl 0896.03026Rabinovich, A. 3 1998 Expressive completeness of temporal logic of action. Zbl 0912.03011Rabinovich, Alexander 2 1998 Modularity and expressibility for nets of relations. Zbl 0908.68041Rabinovich, Alexander 1 1998 Complexity of equivalence problems for concurrent systems of finite agents. Zbl 0892.68061Rabinovich, Alexander 9 1997 On expressive completeness of duration and mean value calculi. Zbl 0911.68138Rabinovich, Alexander 3 1997 On schematological equivalence of dataflow networks. Zbl 0853.68093Rabinovich, Alexander 1 1996 Checking equivalences between concurrent systems of finite agents (extended abstract). Zbl 1425.68302Rabinovich, Alexander 3 1992 Connectedness and synchronization. Zbl 0744.68049Mazurkiewicz, A.; Rabinovich, A.; Trakhtenbrot, B. A. 1 1991 Communication among relations. Zbl 0765.68110Rabinovich, A.; Trakhtenbrot, B. A. 6 1990 Discerning causality in interleaving behavior. Zbl 0677.68006Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A. 4 1989 Nets and data flow interpreters. Zbl 0716.68062Rabinovich, A.; Trakhtenbrot, B. A. 4 1989 Nets of processes and data flow. (Technical contribution). Zbl 0683.68023Rabinovich, A.; Trakhtenbrot, B. A. 2 1989 Behavior strutures and nets. Zbl 0657.68068Rabinovich, A.; Trakhtenbrot, B. A. 42 1988 Pomset semantics is consistent with data flow semantics. Zbl 0663.68015Rabinovich, Alexander 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 388 Authors 38 Rabinovich, Alexander 10 Bouyer, Patricia 9 Chatterjee, Krishnendu 9 Randour, Mickael 7 Demri, Stéphane P. 7 Gorrieri, Roberto 6 Kupferman, Orna 6 Markey, Nicolas 6 Ouaknine, Joel O. 6 Raskin, Jean-François 6 Worrell, James B. 5 Doyen, Laurent 5 Hirshfeld, Yoram 5 Montanari, Ugo G. 5 Reynolds, Mark Alexander 5 Skrzypczak, Michał 5 Thomas, Wolfgang 4 Baier, Christel 4 Baldan, Paolo 4 Bertrand, Nathalie 4 Cimatti, Alessandro 4 Gutierrez, Julian 4 Larsen, Kim Guldstrand 4 Murano, Aniello 4 Rossi, Matteo A. C. 4 Schnoebelen, Philippe 4 Tonetta, Stefano 4 Wooldridge, Michael J. 4 Yankelevich, Daniel N. 4 Zimmermann, Martín G. 3 Aminof, Benjamin 3 Beauquier, Danièle 3 Bersani, Marcello Maria 3 Bruyère, Véronique 3 Degano, Pierpaolo 3 Felscher, Ingo 3 Gorla, Daniele 3 Krishna, Shankara Narayanan 3 Legay, Axel 3 Leroux, Stéphane 3 Löding, Christof 3 Madnani, Khushraj 3 Michalewski, Henryk 3 Montanari, Angelo 3 Pandya, Paritosh K. 3 Pietro, Pierluigi San 3 Rubin, Sasha 3 Salvo, Ivano 3 Slissenko, Anatol 3 Steeples, Thomas 2 Abdulla, Parosh Aziz 2 Akshay, S. 2 Angluin, Dana 2 Artale, Alessandro 2 Bérard, Béatrice 2 Bès, Alexis 2 Best, Eike 2 Bojańczyk, Mikołaj 2 Bollig, Benedikt 2 Bouajjani, Ahmed 2 Brázdil, Tomáš 2 Brihaye, Thomas 2 Brochenin, Rémi 2 Chevalier, Fabrice 2 Colcombet, Thomas 2 De Nicola, Rocco 2 Deters, Morgan 2 Devillers, Raymond 2 Echenim, Mnacho 2 Ésik, Zoltán 2 Fahrenberg, Uli 2 Fisman, Dana 2 French, Tim 2 Függer, Matthias 2 Goldin, Dina Q. 2 Göller, Stefan 2 Goltz, Ursula 2 Goranko, Valentin F. 2 Griggio, Alberto 2 Hautem, Quentin 2 Henzinger, Thomas A. 2 Ho, Hsi-Ming 2 Jančar, Petr 2 Jategaonkar, Lalita A. 2 Jonsson, Bengt 2 Kontchakov, Roman 2 Kraus, Sarit 2 Kucera, Antonin 2 Kuske, Dietrich 2 Kwiatkowska, Marta Z. 2 Laroussinie, François 2 Laursen, Simon 2 Lohrey, Markus 2 Lozes, Etienne 2 Magnago, Enrico 2 Mateus, Paulo C. 2 Meyer, Albert Ronald 2 Mio, Matteo 2 Nielsen, Mogens 2 Padoan, Tommaso ...and 288 more Authors all top 5 Cited in 34 Serials 47 Information and Computation 41 Theoretical Computer Science 12 Acta Informatica 7 Information Processing Letters 7 ACM Transactions on Computational Logic 7 Logical Methods in Computer Science 6 Journal of Computer and System Sciences 6 International Journal of Foundations of Computer Science 6 Journal of Applied Non-Classical Logics 5 Artificial Intelligence 5 Annals of Pure and Applied Logic 4 Formal Aspects of Computing 4 The Journal of Logic and Algebraic Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Automated Reasoning 3 Formal Methods in System Design 2 The Journal of Symbolic Logic 2 Real-Time Systems 2 Annals of Mathematics and Artificial Intelligence 2 Theory of Computing Systems 2 Journal of the ACM 2 RAIRO. Theoretical Informatics and Applications 1 Applied Mathematics and Computation 1 SIAM Journal on Computing 1 Journal of Symbolic Computation 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 RAIRO. Informatique Théorique et Applications 1 Fundamenta Informaticae 1 Central European Journal of Mathematics 1 Journal of Applied Logic 1 The Review of Symbolic Logic 1 Games 1 Frontiers of Computer Science all top 5 Cited in 17 Fields 229 Computer science (68-XX) 117 Mathematical logic and foundations (03-XX) 29 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Combinatorics (05-XX) 5 Probability theory and stochastic processes (60-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Functions of a complex variable (30-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Biology and other natural sciences (92-XX) Citations by Year