Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
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