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
