FERRANTE, ALESSANDRO
FERRANTE, ALESSANDRO
DIP.DI INFORMATICA E APPLICAZIONI (attivo dal 28/12/1983 al 31/12/2010)
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem with Sharpened Triangle Inequality
2003-01-01 Ferrante, Alessandro; Parente, Domenico
Enriched $mu$-Calculi Module Checking
2008-01-01 Ferrante, Alessandro; A., Murano; Parente, Domenico
Enriched µ-Calculi Module Checking
2007-01-01 Ferrante, Alessandro; A., Murano
Enriched µ-Calculus Pushdown Module Checking
2007-01-01 Ferrante, Alessandro; A., Murano; Parente, Domenico
Existence of Nash Equilibria in Selfish Routing Problems
2004-01-01 Ferrante, Alessandro; Parente, Domenico
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
Improvements for Truthful Mechanisms with Verifiable One-Parameter Agents
2005-01-01 Ferrante, Alessandro; Parlato, G; Sorrentino, F; Ventre, C.
MODEL-CHECKING FOR GRADED CTL
2009-01-01 Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico
On the Hardness of Optimization in Power Law Graphs
2007-01-01 Ferrante, Alessandro; G., Pandurangan; K., Park
On the Hardness of Optimization in Power-Law Graphs
2008-01-01 Ferrante, Alessandro; G., Pandurangan; K., Park
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality
2004-01-01 Parente, Domenico; Ferrante, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem with Sharpened Triangle Inequality | 1-gen-2003 | Ferrante, Alessandro; Parente, Domenico | |
| Enriched $mu$-Calculi Module Checking | 1-gen-2008 | Ferrante, Alessandro; A., Murano; Parente, Domenico | |
| Enriched µ-Calculi Module Checking | 1-gen-2007 | Ferrante, Alessandro; A., Murano | |
| Enriched µ-Calculus Pushdown Module Checking | 1-gen-2007 | Ferrante, Alessandro; A., Murano; Parente, Domenico | |
| Existence of Nash Equilibria in Selfish Routing Problems | 1-gen-2004 | Ferrante, Alessandro; Parente, Domenico | |
| Fast payment schemes for truthful mechanisms with verification | 1-gen-2009 | Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre | |
| Improvements for Truthful Mechanisms with Verifiable One-Parameter Agents | 1-gen-2005 | Ferrante, Alessandro; Parlato, G; Sorrentino, F; Ventre, C. | |
| MODEL-CHECKING FOR GRADED CTL | 1-gen-2009 | Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico | |
| On the Hardness of Optimization in Power Law Graphs | 1-gen-2007 | Ferrante, Alessandro; G., Pandurangan; K., Park | |
| On the Hardness of Optimization in Power-Law Graphs | 1-gen-2008 | Ferrante, Alessandro; G., Pandurangan; K., Park | |
| On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality | 1-gen-2004 | Parente, Domenico; Ferrante, Alessandro |