An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. - Alessandro Ferrante; Mimmo Parente (ICTCS, 2003)

Existence of Nash Equilibria in Selfish Routing Problems. - Alessandro Ferrante; Mimmo Parente (SIROCCO, 2004)

On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality. - Alessandro Ferrante; Mimmo Parente (Int. J. Found. Comput. Sci., 2004)

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. - Alessandro Ferrante; Gennaro Parlato; Francesco Sorrentino 002; Carmine Ventre (WAOA, 2005)

Hardness and approximation algorithms of some graph problems. - Alessandro Ferrante (2006)

Enriched µ-Calculi Module Checking. - Alessandro Ferrante; Aniello Murano (FoSSaCS, 2007)

Enriched µ-Calculus Pushdown Module Checking. - Alessandro Ferrante; Aniello Murano; Mimmo Parente (LPAR, 2007)

CTLModel-Checking with Graded Quantifiers. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ATVA, 2008)

Enriched MU-Calculi Module Checking - Alessandro Ferrante; Aniello Murano; Mimmo Parente (CoRR, 2008)

Enriched µ-Calculi Module Checking. - Alessandro Ferrante; Aniello Murano; Mimmo Parente (Log. Methods Comput. Sci., 2008)

Mixed Nash equilibria in selfish routing problems with dynamic constraints. - Alessandro Ferrante; Mimmo Parente (Theor. Comput. Sci., 2008)

On the hardness of optimization in power-law graphs. - Alessandro Ferrante; Gopal Pandurangan; Kihong Park (Theor. Comput. Sci., 2008)

Graded-CTL: Satisfiability and Symbolic Model Checking. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ICFEM, 2009)

Model Checking for Graded CTL. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2009)

Fast payment schemes for truthful mechanisms with verification. - Alessandro Ferrante; Gennaro Parlato; Francesco Sorrentino 002; Carmine Ventre (Theor. Comput. Sci., 2009)

A NuSMV Extension for Graded-CTL Model Checking. - Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino 002 (CAV, 2010)