×

zbMATH — the first resource for mathematics

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
Documents Indexed: 108 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 352 times in 219 Documents Cited by Year
Behavior strutures and nets. Zbl 0657.68068
Rabinovich, A.; Trakhtenbrot, B. A.
32
1988
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
13
1998
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
12
2015
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
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
Expressiveness of metric modalities for continuous time. Zbl 1128.03007
Hirshfeld, Yoram; Rabinovich, Alexander
9
2007
Counting on CTL\(^*\): On the expressive power of monadic path logic. Zbl 1019.03023
Moller, Faron; Rabinovich, Alexander
8
2003
A logic of reachable patterns in linked data-structures. Zbl 1180.68131
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
8
2006
Timer formulas and decidable metric temporal logic. Zbl 1068.03014
Hirshfeld, Yoram; Rabinovich, Alexander
8
2005
Church synthesis problem for noisy input. Zbl 1326.68189
Velner, Yaron; Rabinovich, Alexander
8
2011
Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013
Rabinovich, Alexander; Thomas, Wolfgang
8
2006
An expressive temporal logic for real time. Zbl 1132.03323
Hirshfeld, Yoram; Rabinovich, Alexander
8
2006
A framework for decidable metrical logics. Zbl 0939.03023
Hirshfeld, Yoram; Rabinovich, Alexander
7
1999
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
7
2009
A proof of Kamp’s theorem. Zbl 1326.03024
Rabinovich, Alexander
6
2014
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
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1196.03029
Rabinovich, Alexander
6
2010
Future temporal logic needs infinitely many modalities. Zbl 1045.03019
Hirshfeld, Yoram; Rabinovich, Alexander
6
2003
Monadic logic of order over naturals has no finite base. Zbl 1056.03007
Beauquier, Danièle; Rabinovich, Alexander
5
2002
Quantitative analysis of probabilistic lossy channel systems. Zbl 1039.68557
Rabinovich, Alexander
5
2003
Complexity of metric temporal logics with counting and the Pnueli modalities. Zbl 1171.03313
Rabinovich, Alexander
5
2008
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
Expressive completeness of duration calculus. Zbl 1046.68606
Rabinovich, Alexander
4
2000
Expressive power of temporal logics. Zbl 1012.03027
Rabinovich, Alexander
4
2002
Communication among relations. Zbl 0765.68110
Rabinovich, A.; Trakhtenbrot, B. A.
4
1990
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
Temporal logics over linear time domains are in PSPACE. Zbl 1287.68081
Rabinovich, Alexander
4
2010
Discerning causality in interleaving behavior. Zbl 0677.68006
Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A.
3
1989
An infinite hierarchy of temporal logics over branching time. Zbl 1005.03022
Rabinovich, Alexander; Maoz, Shahar
3
2001
Automata over continuous time. Zbl 1028.68082
Rabinovich, Alexander
3
2003
On translations of temporal logic of actions into monadic second-order logic. Zbl 0896.03026
Rabinovich, A.
3
1998
On expressive completeness of duration and mean value calculi. Zbl 0911.68138
Rabinovich, Alexander
3
1997
Why so many temporal logics climb up the trees? Zbl 0996.68112
Rabinovich, Alexander; Maoz, Shahar
3
2000
A logic of probability with decidable model checking. Zbl 1109.03017
Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol
3
2006
Selection and uniformization in generalized product. Zbl 1060.03049
Rabinovich, Alexander
3
2004
Logical refinements of Church’s problem. Zbl 1179.03038
Rabinovich, Alexander; Thomas, Wolfgang
3
2007
Decidable fragments of many-sorted logic. Zbl 1183.03007
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
3
2010
Pomset semantics is consistent with data flow semantics. Zbl 0663.68015
Rabinovich, Alexander
2
1987
Expressive completeness of temporal logic of action. Zbl 0912.03011
Rabinovich, Alexander
2
1998
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
Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002
Avron, Arnon (ed.); Dershowitz, Nachum (ed.); Rabinovich, Alexander (ed.)
2
2008
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2007
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
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
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
Selection in the monadic theory of a countable ordinal. Zbl 1163.03013
Rabinovich, Alexander; Shomrat, Amit
2
2008
A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018
Pardo (Ordentlich), Dorit; Rabinovich, Alexander
2
2012
Continuous time temporal logic with counting. Zbl 1242.03044
Hirshfeld, Yoram; Rabinovich, Alexander
2
2012
Nets and data flow interpreters. Zbl 0716.68062
Rabinovich, A.; Trakhtenbrot, B. A.
2
1989
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
Decidability of split equivalence. Zbl 1009.68080
Abramson, Y.; Rabinovich, A.
1
2002
Modularity and expressibility for nets of relations. Zbl 0908.68041
Rabinovich, Alexander
1
1998
Selection and uniformization problems in the monadic theory of ordinals: A survey. Zbl 1133.03313
Rabinovich, Alexander; Shomrat, Amit
1
2008
The Church synthesis problem with parameters. Zbl 1131.03016
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
\(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\). Zbl 1110.68076
Rabinovich, Alexander; Schnoebelen, Philippe
1
2006
Interpretations in trees with countably many branches. Zbl 1364.03017
Rabinovich, Alexander; Rubin, Sasha
1
2012
On schematological equivalence of dataflow networks. Zbl 0853.68093
Rabinovich, Alexander
1
1996
Succinctness gap between monadic logic and duration calculus. Zbl 0964.03031
Rabinovich, A.
1
2000
Synchronous circuits over continuous time: feedback reliability and completeness. Zbl 1082.68058
Pardo, D.; Rabinovich, A.; Trakhtenbrot, B. A.
1
2004
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
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
1
2019
Composition theorem for generalized sum. Zbl 1124.03013
Rabinovich, Alexander
1
2007
Synthesis of finite-state and definable winning strategies. Zbl 1250.03015
Rabinovich, Alexander
1
2009
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
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
Some complexity results for stateful network verification. Zbl 1425.68248
Alpernas, Kalev; Panda, Aurojit; Rabinovich, Alexander; Sagiv, Mooly; Shenker, Scott; Shoham, Sharon; Velner, Yaron
1
2019
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
12
2015
On almost future temporal logics. Zbl 1465.03062
Rabinovich, Alexander
1
2015
A proof of Kamp’s theorem. Zbl 1326.03024
Rabinovich, Alexander
6
2014
A finite basis for ‘almost future’ temporal logic over the reals. Zbl 1365.03018
Pardo (Ordentlich), Dorit; Rabinovich, Alexander
2
2012
Continuous time temporal logic with counting. Zbl 1242.03044
Hirshfeld, Yoram; 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
8
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
3
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
Selection over classes of ordinals expanded by monadic predicates. Zbl 1225.03012
Rabinovich, Alexander; Shomrat, Amit
1
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
Time-bounded verification. Zbl 1254.68151
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James
7
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
1
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
Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander
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
3
2007
Decidable fragments of many-sorted logic. Zbl 1137.03302
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly
2
2007
The Church synthesis problem with parameters. Zbl 1131.03016
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
Composition theorem for generalized sum. Zbl 1124.03013
Rabinovich, Alexander
1
2007
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
An expressive temporal logic for real time. Zbl 1132.03323
Hirshfeld, Yoram; Rabinovich, Alexander
8
2006
A logic of probability with decidable model checking. Zbl 1109.03017
Beauquier, Daniéle; Rabinovich, Alexander; Slissenko, Anatol
3
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
\(\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
3
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
Expressive completeness of duration calculus. Zbl 1046.68606
Rabinovich, Alexander
4
2000
Star free expressions over the reals. Zbl 0953.68075
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
13
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.
32
1988
Pomset semantics is consistent with data flow semantics. Zbl 0663.68015
Rabinovich, Alexander
2
1987
all top 5

Cited by 327 Authors

34 Rabinovich, Alexander
9 Chatterjee, Krishnendu
7 Demri, Stéphane P.
6 Bouyer, Patricia
6 Kupferman, Orna
5 Hirshfeld, Yoram
5 Ouaknine, Joel O.
5 Randour, Mickael
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 Gorrieri, Roberto
4 Markey, Nicolas
4 Montanari, Ugo G.
4 Rossi, Matteo A. C.
4 Schnoebelen, Philippe
4 Skrzypczak, Michał
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 Larsen, Kim Guldstrand
3 Madnani, Khushraj
3 Michalewski, Henryk
3 Murano, Aniello
3 Pandya, Paritosh K.
3 Pietro, Pierluigi San
3 Slissenko, Anatol
3 Tonetta, Stefano
3 Yankelevich, Daniel
2 Abdulla, Parosh Aziz
2 Akshay, S.
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 French, Tim
2 Goldin, Dina Q.
2 Göller, Stefan
2 Goltz, Ursula
2 Goranko, Valentin F.
2 Henzinger, Thomas A.
2 Jančar, Petr
2 Jategaonkar, Lalita A.
2 Kucera, Antonin
2 Kuske, Dietrich
2 Kwiatkowska, Marta Z.
2 Laroussinie, François
2 Legay, Axel
2 Lohrey, Markus
2 Lozes, Etienne
2 Mateus, Paulo C.
2 Meyer, Albert Ronald
2 Mio, Matteo
2 Montanari, Angelo
2 Nielsen, Mogens
2 Panangaden, Prakash
2 Peltier, Nicolas
2 Roveri, Marco
2 Rubin, Sasha
2 Sagiv, Mooly
2 Shomrat, Amit
2 Smolka, Scott A.
2 Sreejith, A V
2 Strecker, Martin
2 van Glabbeek, Robert Jan
2 Velner, Yaron
2 Winskel, Glynn
2 Zimmermann, Martín G.
1 Abadi, Aharon
1 Abramson, Y.
1 Aceto, Luca
1 Afrati, Foto N.
1 Agrawal, Manindra
1 Aiguier, Marc
1 Almagor, Shaull
1 Ammar, Ikhlass
1 Andronikos, Theodore
1 Angluin, Dana
1 Antonopoulos, Timos
1 Armas-Cervantes, Abel
1 Arnold, André
1 Artale, Alessandro
...and 227 more Authors

Citations by Year