Alessandro Ferrante

Available identifiers

zbMath Open ferrante.alessandroWikidataQ112233754 ScholiaQ112233754MaRDI QIDQ1006064

List of research outcomes

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
Mixed Nash equilibria in selfish routing problems with dynamic constraints	2008-04-15	Paper
On the hardness of optimization in power-law graphs	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Ferrante