×

zbMATH — the first resource for mathematics

Gentilini, Raffaella

Compute Distance To:
Author ID: gentilini.raffaella Recent zbMATH articles by "Gentilini, Raffaella"
Published as: Gentilini, Raffaella; Gentilini, R.
Documents Indexed: 19 Publications since 2002

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 126 times in 98 Documents Cited by Year
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
31
2011
Computing strongly connected components in a linear number of symbolic steps. Zbl 1092.68716
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
24
2003
From bisimulation to simulation: Coarsest partition problems. Zbl 1081.68052
Gentilini, R.; Piazza, C.; Policriti, A.
17
2003
Symbolic graphs: Linear solutions to connectivity related problems. Zbl 1203.68039
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
13
2008
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
9
2010
Quantitative languages defined by functional automata. Zbl 1364.68250
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
5
2012
The complexity of rational synthesis. Zbl 1388.68163
Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
5
2016
Successive abstractions of hybrid automata for monotonic CTL model checking. Zbl 1132.68446
Gentilini, R.; Schneider, K.; Mishra, B.
4
2007
Biconnectivity on symbolically represented graphs: A linear solution. Zbl 1205.05220
Gentilini, Raffaella; Policriti, Alberto
4
2003
Quantitative languages defined by functional automata. Zbl 1448.68263
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2015
Simulation as coarsest partition problem. Zbl 1043.68590
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
3
2002
A note on the approximation of mean-payoff games. Zbl 1284.68667
Gentilini, Raffaella
2
2014
Finite-valued weighted automata. Zbl 1360.68554
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
2
2014
Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084
Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A.
1
2002
Reachability problems on extended o-minimal hybrid automata. Zbl 1175.68245
Gentilini, Raffaella
1
2005
Rank and simulation: the well-founded case. Zbl 1328.68147
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
1
2015
The complexity of rational synthesis. Zbl 1388.68163
Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
5
2016
Quantitative languages defined by functional automata. Zbl 1448.68263
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2015
Rank and simulation: the well-founded case. Zbl 1328.68147
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
1
2015
A note on the approximation of mean-payoff games. Zbl 1284.68667
Gentilini, Raffaella
2
2014
Finite-valued weighted automata. Zbl 1360.68554
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
2
2014
Quantitative languages defined by functional automata. Zbl 1364.68250
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
5
2012
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
31
2011
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
9
2010
Symbolic graphs: Linear solutions to connectivity related problems. Zbl 1203.68039
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
13
2008
Successive abstractions of hybrid automata for monotonic CTL model checking. Zbl 1132.68446
Gentilini, R.; Schneider, K.; Mishra, B.
4
2007
Reachability problems on extended o-minimal hybrid automata. Zbl 1175.68245
Gentilini, Raffaella
1
2005
Computing strongly connected components in a linear number of symbolic steps. Zbl 1092.68716
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
24
2003
From bisimulation to simulation: Coarsest partition problems. Zbl 1081.68052
Gentilini, R.; Piazza, C.; Policriti, A.
17
2003
Biconnectivity on symbolically represented graphs: A linear solution. Zbl 1205.05220
Gentilini, Raffaella; Policriti, Alberto
4
2003
Simulation as coarsest partition problem. Zbl 1043.68590
Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto
3
2002
Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084
Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A.
1
2002
all top 5

Cited by 163 Authors

12 Bollig, Beate
11 Chatterjee, Krishnendu
10 Raskin, Jean-François
6 Ćirić, Miroslav D.
6 Ignjatović, Jelena
5 Bouyer, Patricia
5 Brihaye, Thomas
5 Randour, Mickael
4 Comin, Carlo
4 Gentilini, Raffaella
4 Larsen, Kim Guldstrand
4 Markey, Nicolas
4 Pérez, Guillermo A.
4 Rauch Henzinger, Monika
4 Rizzi, Romeo
3 Bloem, Roderick
3 Bruyère, Véronique
3 Bury, Marc
3 Doyen, Laurent
3 Filiot, Emmanuel
3 Goeminne, Aline
3 Hunter, Paul
3 Kupferman, Orna
3 Ranzato, Francesco
2 Bašić, Milan
2 Bauer, Kerstin
2 Brim, Luboš
2 Damljanović, Nada
2 Fahrenberg, Uli
2 Jančić, Ivana
2 Juhl, Line
2 Katoen, Joost-Pieter
2 Krinninger, Sebastian
2 Laursen, Simon
2 Mazzocchi, Nicolas
2 Nanongkai, Danupon
2 Piazza, Carla
2 Policriti, Alberto
2 Pröger, Tobias
2 Schneider, Klaus
2 Somenzi, Fabio
2 Stamenković, Aleksandar
2 Tapparo, Francesco
2 Velner, Yaron
2 Zhang, Chenyi
2 Zimmermann, Martín G.
1 Avni, Guy
1 Baier, Christel
1 Baldan, Paolo
1 Beneš, Nikola
1 Berardi, Daniela
1 Bogdanović, Stojan M.
1 Boker, Udi
1 Boros, Endre
1 Bošnački, Dragan
1 Cairo, Massimo
1 Capelle, Michael
1 Chaloupka, Jakub
1 Cheikh, Fahima
1 Chevalier, Fabrice
1 Condurache, Rodica
1 Daviaud, Laure
1 De Giacomo, Giuseppe
1 Deepak, Maram Sai Krishna
1 Dörband, Frederic
1 Dovier, Agostino
1 Droste, Manfred
1 Du, Yibin
1 Dullerud, Geir E.
1 Eggert, Richard
1 Elbassioni, Khaled M.
1 Ésik, Zoltán
1 Feller, Thomas
1 Fouz, Mahmoud
1 Gabow, Harold N.
1 Gardy, Patrick
1 Gazda, Maciej W.
1 Geeraerts, Gilles
1 Ghorui, Debasish
1 Gille, Marc
1 Gregorio-Rodríguez, Carlos
1 Gupta, Abhijit Kar
1 Gupta, Anshul
1 Gurvich, Vladimir A.
1 Hachtel, Gary D.
1 Haddad, Axel
1 Hagihara, Shigeki
1 He, Anping
1 Henzinger, Thomas A.
1 Hermanns, Holger
1 Hofman, Piotr
1 Ibsen-Jensen, Rasmus
1 Jančić, Zorana
1 Jansen, David N.
1 Jecker, Ismaël
1 Jobstmann, Barbara
1 Joglekar, Manas R.
1 Klump, Jochen
1 König, Barbara
1 Kößler, Alexander
...and 63 more Authors

Citations by Year