×

Rabinovich, Alexander

Compute Distance To:
Author ID: rabinovich.alexander Recent zbMATH articles by "Rabinovich, Alexander"
Published as: Rabinovich, Alexander; Rabinovich, A.
Homepage: http://www.cs.tau.ac.il/~rabinoa/
External Links: MGP · dblp

Publications by Year

Citations contained in zbMATH Open

82 Publications have been cited 383 times in 246 Documents Cited by Year
Behavior strutures and nets. Zbl 0657.68068
Rabinovich, A.; Trakhtenbrot, B. A.
36
1988
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
20
2015
Logics for real time: decidability and complexity. Zbl 1127.03012
Hirshfeld, Yoram; Rabinovich, Alexander
17
2004
On the decidability of continuous time specification formalisms. Zbl 0913.03018
Rabinovich, Alexander
14
1998
Quantitative temporal logic. Zbl 0943.03017
Hirshfeld, Yoram; Rabinovich, Alexander
11
1999
On decidability of monadic logic of order over the naturals extended by monadic predicates. Zbl 1115.68100
Rabinovich, Alexander
10
2007
An expressive temporal logic for real time. Zbl 1132.03323
Hirshfeld, Yoram; Rabinovich, Alexander
10
2006
Expressiveness of metric modalities for continuous time. Zbl 1128.03007
Hirshfeld, Yoram; Rabinovich, Alexander
9
2007
Church synthesis problem for noisy input. Zbl 1326.68189
Velner, Yaron; Rabinovich, Alexander
9
2011
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
9
2009
Verification of probabilistic systems with faulty communication. Zbl 1105.68003
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph.
9
2005
Complexity of equivalence problems for concurrent systems of finite agents. Zbl 0892.68061
Rabinovich, Alexander
9
1997
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
A proof of Kamp’s theorem. Zbl 1326.03024
Rabinovich, Alexander
8
2014
Timer formulas and decidable metric temporal logic. Zbl 1068.03014
Hirshfeld, Yoram; Rabinovich, Alexander
8
2005
Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023
Moller, Faron; Rabinovich, Alexander
8
2003
Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013
Rabinovich, Alexander; Thomas, Wolfgang
8
2006
A framework for decidable metrical logics. Zbl 0939.03023
Hirshfeld, Yoram; Rabinovich, Alexander
7
1999
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1196.03029
Rabinovich, Alexander
6
2010
A logic of probability with decidable model-checking. Zbl 1021.03013
Beauquier, Danièle; Rabinovich, Alexander; Slissenko, Anatol
6
2002
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
6
2003
Non-elementary lower bound for Propositional Duration Calculus. Zbl 0925.68062
Rabinovich, A.
6
1998
Future temporal logic needs infinitely many modalities. Zbl 1045.03019
Hirshfeld, Yoram; Rabinovich, Alexander
6
2003
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1171.03313
Rabinovich, Alexander
5
2008
Monadic logic of order over naturals has no finite base. Zbl 1056.03007
Beauquier, Danièle; Rabinovich, Alexander
5
2002
On compositionality and its limitations. Zbl 1367.68202
Rabinovich, Alexander
5
2007
Quantitative analysis of probabilistic lossy channel systems. Zbl 1039.68557
Rabinovich, Alexander
5
2003
A logic of probability with decidable model checking. Zbl 1109.03017
Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol
4
2006
Temporal logics over linear time domains are in PSPACE. Zbl 1287.68081
Rabinovich, Alexander
4
2010
Decidable fragments of many-sorted logic. Zbl 1183.03007
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
4
2010
Star free expressions over the reals. Zbl 0953.68075
Rabinovich, Alexander
4
2000
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
Expressive completeness of duration calculus. Zbl 1046.68606
Rabinovich, Alexander
4
2000
Expressive power of temporal logics. Zbl 1012.03027
Rabinovich, Alexander
4
2002
Automata over continuous time. Zbl 1028.68082
Rabinovich, Alexander
4
2003
Logical refinements of Church’s problem. Zbl 1179.03038
Rabinovich, Alexander; Thomas, Wolfgang
4
2007
Communication among relations. Zbl 0765.68110
Rabinovich, A.; Trakhtenbrot, B. A.
4
1990
An infinite hierarchy of temporal logics over branching time. Zbl 1005.03022
Rabinovich, Alexander; Maoz, Shahar
3
2001
On expressive completeness of duration and mean value calculi. Zbl 0911.68138
Rabinovich, Alexander
3
1997
Discerning causality in interleaving behavior. Zbl 0677.68006
Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A.
3
1989
On translations of temporal logic of actions into monadic second-order logic. Zbl 0896.03026
Rabinovich, A.
3
1998
Why so many temporal logics climb up the trees? Zbl 0996.68112
Rabinovich, Alexander; Maoz, Shahar
3
2000
Selection and uniformization in generalized product. Zbl 1060.03049
Rabinovich, Alexander
3
2004
Complementation of finitely ambiguous Büchi automata. Zbl 1457.68148
Rabinovich, Alexander
3
2018
Continuous time temporal logic with counting. Zbl 1242.03044
Hirshfeld, Yoram; Rabinovich, Alexander
2
2012
Quantitative analysis of probabilistic lossy channel systems. Zbl 1103.68078
Rabinovich, Alexander
2
2006
Cardinality quantifiers in MLO over trees. Zbl 1257.03062
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
2
2009
Decidable extensions of Church’s problem. Zbl 1257.03034
Rabinovich, Alexander
2
2009
Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002
2
2008
The Church synthesis problem with parameters. Zbl 1131.03016
Rabinovich, Alexander
2
2007
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2007
A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018
Pardo (Ordentlich), Dorit; Rabinovich, Alexander
2
2012
Synthesis of finite-state and definable winning strategies. Zbl 1250.03015
Rabinovich, Alexander
2
2009
On the Borel complexity of MSO definable sets of branches. Zbl 1206.03041
Bojańczyk, Mikołaj; Niwiński, Damian; Rabinovich, Alexander; Radziwończyk-Syta, Adam; Skrzypczak, Michał
2
2010
Symbolic model checking for \(\mu\)-calculus requires exponential time. Zbl 0944.68035
Rabinovich, A.
2
2000
Definability and undefinability with real order at the background. Zbl 0963.03062
Gurevich, Yuri; Rabinovich, Alexander
2
2000
Expressive completeness of temporal logic of action. Zbl 0912.03011
Rabinovich, Alexander
2
1998
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
2
2019
Pomset semantics is consistent with data flow semantics. Zbl 0663.68015
Rabinovich, Alexander
2
1987
Nets and data flow interpreters. Zbl 0716.68062
Rabinovich, A.; Trakhtenbrot, B. A.
2
1989
Improving cancer therapy by doxorubicin and granulocyte colony-stimulating factor: insights from a computerized model of human granulopoiesis. Zbl 1337.92120
Vainstein, V.; Ginosar, Y.; Shoham, M.; Ianovski, A.; Rabinovich, A.; Kogan, Y.; Selitser, V.; Agur, Z.
2
2006
Selection in the monadic theory of a countable ordinal. Zbl 1163.03013
Rabinovich, Alexander; Shomrat, Amit
2
2008
Definability in rationals with real order in the background. Zbl 0999.03005
Gurevich, Yuri; Rabinovich, Alexander
2
2002
Finite variability interpretation of monadic logic of order. Zbl 1026.68083
Rabinovich, A.
2
2002
Expressiveness of metric modalities for continuous time. Zbl 1185.03021
Hirshfeld, Yoram; Rabinovich, Alexander
1
2006
Composition theorem for generalized sum. Zbl 1124.03013
Rabinovich, Alexander
1
2007
\(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\). Zbl 1110.68076
Rabinovich, Alexander; Schnoebelen, Philippe
1
2006
Computing partial information out of intractable: powers of algebraic numbers as an example. Zbl 1251.11052
Hirvensalo, Mika; Karhumäki, Juhani; Rabinovich, Alexander
1
2010
Decidable expansions of labelled linear orderings. Zbl 1213.03017
Bès, Alexis; Rabinovich, Alexander
1
2011
Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
1
2011
Selection over classes of ordinals expanded by monadic predicates. Zbl 1225.03012
Rabinovich, Alexander; Shomrat, Amit
1
2010
Selection and uniformization problems in the monadic theory of ordinals: A survey. Zbl 1133.03313
Rabinovich, Alexander; Shomrat, Amit
1
2008
The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308
Demri, Stéphane; Rabinovich, Alexander
1
2007
Succinctness gap between monadic logic and duration calculus. Zbl 0964.03031
Rabinovich, A.
1
2000
On schematological equivalence of dataflow networks. Zbl 0853.68093
Rabinovich, Alexander
1
1996
Decidability of split equivalence. Zbl 1009.68080
Abramson, Y.; Rabinovich, A.
1
2002
On almost future temporal logics. Zbl 1465.03062
Rabinovich, Alexander
1
2015
Nets of processes and data flow. (Technical contribution). Zbl 0683.68023
Rabinovich, A.; Trakhtenbrot, B. A.
1
1989
Interpretations in trees with countably many branches. Zbl 1364.03017
Rabinovich, Alexander; Rubin, Sasha
1
2012
Modularity and expressibility for nets of relations. Zbl 0908.68041
Rabinovich, Alexander
1
1998
Synchronous circuits over continuous time: feedback reliability and completeness. Zbl 1082.68058
Pardo, D.; Rabinovich, A.; Trakhtenbrot, B. A.
1
2004
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
2
2019
Complementation of finitely ambiguous Büchi automata. Zbl 1457.68148
Rabinovich, Alexander
3
2018
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
20
2015
On almost future temporal logics. Zbl 1465.03062
Rabinovich, Alexander
1
2015
A proof of Kamp’s theorem. Zbl 1326.03024
Rabinovich, Alexander
8
2014
Continuous time temporal logic with counting. Zbl 1242.03044
Hirshfeld, Yoram; Rabinovich, Alexander
2
2012
A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018
Pardo (Ordentlich), Dorit; Rabinovich, Alexander
2
2012
Interpretations in trees with countably many branches. Zbl 1364.03017
Rabinovich, Alexander; Rubin, Sasha
1
2012
Church synthesis problem for noisy input. Zbl 1326.68189
Velner, Yaron; Rabinovich, Alexander
9
2011
Decidable expansions of labelled linear orderings. Zbl 1213.03017
Bès, Alexis; Rabinovich, Alexander
1
2011
Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
1
2011
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1196.03029
Rabinovich, Alexander
6
2010
Temporal logics over linear time domains are in PSPACE. Zbl 1287.68081
Rabinovich, Alexander
4
2010
Decidable fragments of many-sorted logic. Zbl 1183.03007
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
4
2010
On the Borel complexity of MSO definable sets of branches. Zbl 1206.03041
Bojań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.11052
Hirvensalo, Mika; Karhumäki, Juhani; Rabinovich, Alexander
1
2010
Selection over classes of ordinals expanded by monadic predicates. Zbl 1225.03012
Rabinovich, Alexander; Shomrat, Amit
1
2010
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
9
2009
Cardinality quantifiers in MLO over trees. Zbl 1257.03062
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
2
2009
Decidable extensions of Church’s problem. Zbl 1257.03034
Rabinovich, Alexander
2
2009
Synthesis of finite-state and definable winning strategies. Zbl 1250.03015
Rabinovich, Alexander
2
2009
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1171.03313
Rabinovich, Alexander
5
2008
Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002
2
2008
Selection in the monadic theory of a countable ordinal. Zbl 1163.03013
Rabinovich, Alexander; Shomrat, Amit
2
2008
Selection and uniformization problems in the monadic theory of ordinals: A survey. Zbl 1133.03313
Rabinovich, Alexander; Shomrat, Amit
1
2008
On decidability of monadic logic of order over the naturals extended by monadic predicates. Zbl 1115.68100
Rabinovich, Alexander
10
2007
Expressiveness of metric modalities for continuous time. Zbl 1128.03007
Hirshfeld, Yoram; Rabinovich, Alexander
9
2007
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
5
2007
On compositionality and its limitations. Zbl 1367.68202
Rabinovich, Alexander
5
2007
Logical refinements of Church’s problem. Zbl 1179.03038
Rabinovich, Alexander; Thomas, Wolfgang
4
2007
The Church synthesis problem with parameters. Zbl 1131.03016
Rabinovich, Alexander
2
2007
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2007
Composition theorem for generalized sum. Zbl 1124.03013
Rabinovich, Alexander
1
2007
The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308
Demri, Stéphane; Rabinovich, Alexander
1
2007
An expressive temporal logic for real time. Zbl 1132.03323
Hirshfeld, Yoram; Rabinovich, Alexander
10
2006
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013
Rabinovich, Alexander; Thomas, Wolfgang
8
2006
A logic of probability with decidable model checking. Zbl 1109.03017
Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol
4
2006
Quantitative analysis of probabilistic lossy channel systems. Zbl 1103.68078
Rabinovich, Alexander
2
2006
Improving cancer therapy by doxorubicin and granulocyte colony-stimulating factor: insights from a computerized model of human granulopoiesis. Zbl 1337.92120
Vainstein, V.; Ginosar, Y.; Shoham, M.; Ianovski, A.; Rabinovich, A.; Kogan, Y.; Selitser, V.; Agur, Z.
2
2006
Expressiveness of metric modalities for continuous time. Zbl 1185.03021
Hirshfeld, Yoram; Rabinovich, Alexander
1
2006
\(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\). Zbl 1110.68076
Rabinovich, Alexander; Schnoebelen, Philippe
1
2006
Verification of probabilistic systems with faulty communication. Zbl 1105.68003
Abdulla, P. A.; Bertrand, N.; Rabinovich, A.; Schnoebelen, Ph.
9
2005
Timer formulas and decidable metric temporal logic. Zbl 1068.03014
Hirshfeld, Yoram; Rabinovich, Alexander
8
2005
Logics for real time: decidability and complexity. Zbl 1127.03012
Hirshfeld, Yoram; Rabinovich, Alexander
17
2004
Verification via structure simulation. Zbl 1103.68623
Immerman, Niel; Rabinovich, Alexander; Reps, Thomas W.; Sagiv, Mooly; Yorsh, Great
4
2004
Selection and uniformization in generalized product. Zbl 1060.03049
Rabinovich, Alexander
3
2004
Synchronous circuits over continuous time: feedback reliability and completeness. Zbl 1082.68058
Pardo, D.; Rabinovich, A.; Trakhtenbrot, B. A.
1
2004
Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023
Moller, Faron; Rabinovich, Alexander
8
2003
Verification of probabilistic systems with faulty communication. Zbl 1029.68094
Abdulla, Parosh Aziz; Rabinovich, Alexander
6
2003
Future temporal logic needs infinitely many modalities. Zbl 1045.03019
Hirshfeld, Yoram; Rabinovich, Alexander
6
2003
Quantitative analysis of probabilistic lossy channel systems. Zbl 1039.68557
Rabinovich, Alexander
5
2003
Automata over continuous time. Zbl 1028.68082
Rabinovich, Alexander
4
2003
A logic of probability with decidable model-checking. Zbl 1021.03013
Beauquier, Danièle; Rabinovich, Alexander; Slissenko, Anatol
6
2002
Monadic logic of order over naturals has no finite base. Zbl 1056.03007
Beauquier, Danièle; Rabinovich, Alexander
5
2002
Expressive power of temporal logics. Zbl 1012.03027
Rabinovich, Alexander
4
2002
Definability in rationals with real order in the background. Zbl 0999.03005
Gurevich, Yuri; Rabinovich, Alexander
2
2002
Finite variability interpretation of monadic logic of order. Zbl 1026.68083
Rabinovich, A.
2
2002
Decidability of split equivalence. Zbl 1009.68080
Abramson, Y.; Rabinovich, A.
1
2002
An infinite hierarchy of temporal logics over branching time. Zbl 1005.03022
Rabinovich, Alexander; Maoz, Shahar
3
2001
Star free expressions over the reals. Zbl 0953.68075
Rabinovich, Alexander
4
2000
Expressive completeness of duration calculus. Zbl 1046.68606
Rabinovich, Alexander
4
2000
Why so many temporal logics climb up the trees? Zbl 0996.68112
Rabinovich, Alexander; Maoz, Shahar
3
2000
Symbolic model checking for \(\mu\)-calculus requires exponential time. Zbl 0944.68035
Rabinovich, A.
2
2000
Definability and undefinability with real order at the background. Zbl 0963.03062
Gurevich, Yuri; Rabinovich, Alexander
2
2000
Succinctness gap between monadic logic and duration calculus. Zbl 0964.03031
Rabinovich, A.
1
2000
Quantitative temporal logic. Zbl 0943.03017
Hirshfeld, Yoram; Rabinovich, Alexander
11
1999
A framework for decidable metrical logics. Zbl 0939.03023
Hirshfeld, Yoram; Rabinovich, Alexander
7
1999
On the decidability of continuous time specification formalisms. Zbl 0913.03018
Rabinovich, Alexander
14
1998
Non-elementary lower bound for Propositional Duration Calculus. Zbl 0925.68062
Rabinovich, A.
6
1998
On translations of temporal logic of actions into monadic second-order logic. Zbl 0896.03026
Rabinovich, A.
3
1998
Expressive completeness of temporal logic of action. Zbl 0912.03011
Rabinovich, Alexander
2
1998
Modularity and expressibility for nets of relations. Zbl 0908.68041
Rabinovich, Alexander
1
1998
Complexity of equivalence problems for concurrent systems of finite agents. Zbl 0892.68061
Rabinovich, Alexander
9
1997
On expressive completeness of duration and mean value calculi. Zbl 0911.68138
Rabinovich, Alexander
3
1997
On schematological equivalence of dataflow networks. Zbl 0853.68093
Rabinovich, Alexander
1
1996
Communication among relations. Zbl 0765.68110
Rabinovich, A.; Trakhtenbrot, B. A.
4
1990
Discerning causality in interleaving behavior. Zbl 0677.68006
Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A.
3
1989
Nets and data flow interpreters. Zbl 0716.68062
Rabinovich, A.; Trakhtenbrot, B. A.
2
1989
Nets of processes and data flow. (Technical contribution). Zbl 0683.68023
Rabinovich, A.; Trakhtenbrot, B. A.
1
1989
Behavior strutures and nets. Zbl 0657.68068
Rabinovich, A.; Trakhtenbrot, B. A.
36
1988
Pomset semantics is consistent with data flow semantics. Zbl 0663.68015
Rabinovich, Alexander
2
1987
all top 5

Cited by 363 Authors

35 Rabinovich, Alexander
9 Chatterjee, Krishnendu
8 Bouyer, Patricia
7 Demri, Stéphane P.
7 Gorrieri, Roberto
6 Kupferman, Orna
6 Markey, Nicolas
6 Randour, Mickael
5 Hirshfeld, Yoram
5 Ouaknine, Joel O.
5 Raskin, Jean-François
5 Reynolds, Mark Alexander
5 Thomas, Wolfgang
5 Worrell, James B.
4 Baier, Christel
4 Bertrand, Nathalie
4 Doyen, Laurent
4 Larsen, Kim Guldstrand
4 Montanari, Ugo G.
4 Murano, Aniello
4 Rossi, Matteo A. C.
4 Schnoebelen, Philippe
4 Skrzypczak, Michał
4 Tonetta, Stefano
3 Aminof, Benjamin
3 Baldan, Paolo
3 Beauquier, Danièle
3 Bersani, Marcello Maria
3 Cimatti, Alessandro
3 Degano, Pierpaolo
3 Felscher, Ingo
3 Krishna, Shankara Narayanan
3 Legay, Axel
3 Madnani, Khushraj
3 Michalewski, Henryk
3 Montanari, Angelo
3 Pandya, Paritosh K.
3 Pietro, Pierluigi San
3 Rubin, Sasha
3 Slissenko, Anatol
3 Yankelevich, Daniel
3 Zimmermann, Martín G.
2 Abdulla, Parosh Aziz
2 Akshay, S.
2 Angluin, Dana
2 Artale, Alessandro
2 Bès, Alexis
2 Best, Eike
2 Bojańczyk, Mikołaj
2 Bouajjani, Ahmed
2 Brázdil, Tomáš
2 Brihaye, Thomas
2 Brochenin, Rémi
2 Bruyère, Véronique
2 Chevalier, Fabrice
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 Goldin, Dina Q.
2 Göller, Stefan
2 Goltz, Ursula
2 Goranko, Valentin F.
2 Gorla, Daniele
2 Gutierrez, Julian
2 Henzinger, Thomas A.
2 Ho, Hsi-Ming
2 Jančar, Petr
2 Jategaonkar, Lalita A.
2 Kontchakov, Roman
2 Kucera, Antonin
2 Kuske, Dietrich
2 Kwiatkowska, Marta Z.
2 Laroussinie, François
2 Laursen, Simon
2 Löding, Christof
2 Lohrey, Markus
2 Lozes, Etienne
2 Mateus, Paulo C.
2 Meyer, Albert Ronald
2 Mio, Matteo
2 Nielsen, Mogens
2 Panangaden, Prakash
2 Peltier, Nicolas
2 Roveri, Marco
2 Ryzhikov, Vladislav
2 Sagiv, Mooly
2 Salvo, Ivano
2 Shomrat, Amit
2 Smolka, Scott A.
2 Srba, Jiří
2 Sreejith, A V
2 Steeples, Thomas
2 Strecker, Martin
2 van Glabbeek, Robert Jan
2 Vardi, Moshe Ya’akov
...and 263 more Authors

Citations by Year