Raffaella Gentilini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MFCS | Register Automata with Permutations. | Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos |
| 2024 | CONCUR | Passive Learning of Regular Data Languages in Polynomial Time and Data. | Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini |
| 2020 | ICALP | The Adversarial Stackelberg Value in Quantitative Games. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2018 | LICS | Rational Synthesis Under Imperfect Information. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2017 | SC | Accelerating Energy Games Solvers on Modern Architectures. | Andrea Formisano, Raffaella Gentilini, Flavio Vella |
| 2016 | ICALP | The Complexity of Rational Synthesis. | Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2012 | CONCUR | Quantitative Languages Defined by Functional Automata. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2010 | CSL | Energy and Mean-Payoff Games with Imperfect Information. | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-Franois Raskin, Szymon Torunczyk |
| 2009 | WoLLIC | Property Driven Three-Valued Model Checking on Hybrid Automata. | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
| 2007 | LFCS | Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. | Raffaella Gentilini, Klaus Schneider, Bud Mishra |
| 2003 | ISAAC | Biconnectivity on Symbolically Represented Graphs: A Linear Solution. | Raffaella Gentilini, Alberto Policriti |
| 2003 | SODA | Computing strongly connected components in a linear number of symbolic steps. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2002 | TACAS | Simulation as Coarsest Partition Problem. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |