Alessandro Ferrante

Available identifiers

Publication	Date of Publication	Type
Theoretical Computer Science	2010-02-23	Paper
Model Checking for Graded CTL	2010-02-05	Paper
Fast payment schemes for truthful mechanisms with verification	2009-03-17	Paper
On the Hardness of Optimization in Power Law Graphs	2009-03-06	Paper
CTL Model-Checking with Graded Quantifiers	2008-11-20	Paper
Enriched MU-Calculi Module Checking	2008-11-13	Paper
Enriched μ–Calculus Pushdown Module Checking	2008-05-15	Paper
On the hardness of optimization in power-law graphs	2008-04-15	Paper
Mixed Nash equilibria in selfish routing problems with dynamic constraints	2008-04-15	Paper
Enriched μ-Calculi Module Checking	2007-09-07	Paper
Approximation and Online Algorithms	2007-02-12	Paper
Structural Information and Communication Complexity	2005-09-07	Paper
ON THE VERTEX-CONNECTIVITY PROBLEM FOR GRAPHS WITH SHARPENED TRIANGLE INEQUALITY	2005-04-18	Paper

This page was built for person: Alessandro Ferrante