Alessandro Ferrante
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An approximation algorithm for the minimum weight vertex-connectivity problem in complete graphs with sharpened triangle inequality. Lecture Notes in Computer Science | 2010-02-23 | Paper |
| Model checking for graded CTL Fundamenta Informaticae | 2010-02-05 | Paper |
| Fast payment schemes for truthful mechanisms with verification Theoretical Computer Science | 2009-03-17 | Paper |
| On the Hardness of Optimization in Power Law Graphs Lecture Notes in Computer Science | 2009-03-06 | Paper |
| CTL Model-Checking with Graded Quantifiers Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
| Enriched MU-Calculi Module Checking Logical Methods in Computer Science | 2008-11-13 | Paper |
| Enriched μ–Calculus Pushdown Module Checking Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
| On the hardness of optimization in power-law graphs Theoretical Computer Science | 2008-04-15 | Paper |
| Mixed Nash equilibria in selfish routing problems with dynamic constraints Theoretical Computer Science | 2008-04-15 | Paper |
| Enriched μ-Calculi Module Checking Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
| Approximation and Online Algorithms Lecture Notes in Computer Science | 2007-02-12 | Paper |
| Structural Information and Communication Complexity Lecture Notes in Computer Science | 2005-09-07 | Paper |
| ON THE VERTEX-CONNECTIVITY PROBLEM FOR GRAPHS WITH SHARPENED TRIANGLE INEQUALITY International Journal of Foundations of Computer Science | 2005-04-18 | Paper |
Research outcomes over time
This page was built for person: Alessandro Ferrante
