Andrea Pescetti

According to our database¹, Andrea Pescetti authored at least 4 papers between 2005 and 2012.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

A new look at the automatic synthesis of linear ranking functions.

[BibT_eX]

[DOI]

Inf. Comput., 2012

2010

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version

[BibT_eX]

[DOI]

CoRR, 2010

2007

On the Design of Generic Static Analyzers for Modern Imperative Languages

[BibT_eX]

[DOI]

CoRR, 2007

2005

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

[BibT_eX]

[DOI]

Roberto Bagnara

Andrea Pescetti

Alessandro Zaccagnini

Enea Zaffanella

CoRR, 2005

Andrea Pescetti

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...