Alessandro Ferrante
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2004–2010
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CAV | A NuSMV Extension for Graded-CTL Model Checking. | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino |
| 2009 | ICFEM | Graded-CTL: Satisfiability and Symbolic Model Checking. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | ATVA | CTLModel-Checking with Graded Quantifiers. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2007 | COCOON | On the Hardness of Optimization in Power Law Graphs. | Alessandro Ferrante, Gopal Pandurangan, Kihong Park |
| 2007 | FOSSACS | Enriched -Calculi Module Checking. | Alessandro Ferrante, Aniello Murano |
| 2007 | LPAR | Enriched -Calculus Pushdown Module Checking. | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
| 2005 | WAOA | Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. | Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre |
| 2004 | SIROCCO | Existence of Nash Equilibria in Selfish Routing Problems. | Alessandro Ferrante, Mimmo Parente |