Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem with Sharpened Triangle Inequality
2003-01-01 Ferrante, Alessandro; Parente, Domenico
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality
2004-01-01 Parente, Domenico; Ferrante, Alessandro
Existence of Nash Equilibria in Selfish Routing Problems
2004-01-01 Ferrante, Alessandro; Parente, Domenico
Improvements for Truthful Mechanisms with Verifiable One-Parameter Agents
2005-01-01 Ferrante, Alessandro; Parlato, G; Sorrentino, F; Ventre, C.
Enriched µ-Calculi Module Checking
2007-01-01 Ferrante, Alessandro; A., Murano
On the Hardness of Optimization in Power Law Graphs
2007-01-01 Ferrante, Alessandro; G., Pandurangan; K., Park
Enriched µ-Calculus Pushdown Module Checking
2007-01-01 Ferrante, Alessandro; A., Murano; Parente, Domenico
On the Hardness of Optimization in Power-Law Graphs
2008-01-01 Ferrante, Alessandro; G., Pandurangan; K., Park
Enriched $mu$-Calculi Module Checking
2008-01-01 Ferrante, Alessandro; A., Murano; Parente, Domenico
Fast payment schemes for truthful mechanisms with verification
2009-01-01 Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre
MODEL-CHECKING FOR GRADED CTL
2009-01-01 Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico
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 | |
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality | 1-gen-2004 | Parente, Domenico; Ferrante, Alessandro | |
Existence of Nash Equilibria in Selfish Routing Problems | 1-gen-2004 | Ferrante, Alessandro; Parente, Domenico | |
Improvements for Truthful Mechanisms with Verifiable One-Parameter Agents | 1-gen-2005 | Ferrante, Alessandro; Parlato, G; Sorrentino, F; Ventre, C. | |
Enriched µ-Calculi Module Checking | 1-gen-2007 | Ferrante, Alessandro; A., Murano | |
On the Hardness of Optimization in Power Law Graphs | 1-gen-2007 | Ferrante, Alessandro; G., Pandurangan; K., Park | |
Enriched µ-Calculus Pushdown Module Checking | 1-gen-2007 | Ferrante, Alessandro; A., Murano; Parente, Domenico | |
On the Hardness of Optimization in Power-Law Graphs | 1-gen-2008 | Ferrante, Alessandro; G., Pandurangan; K., Park | |
Enriched $mu$-Calculi Module Checking | 1-gen-2008 | Ferrante, Alessandro; A., Murano; Parente, Domenico | |
Fast payment schemes for truthful mechanisms with verification | 1-gen-2009 | Ferrante, Alessandro; Parlato, Gennaro; F., Sorrentino; C., Ventre | |
MODEL-CHECKING FOR GRADED CTL | 1-gen-2009 | Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico |
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile