We stand with Ukraine  

Andrea Pescetti

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2005
2006
2007
2008
2009
2010
2011
2012
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
A new look at the automatic synthesis of linear ranking functions.
[BibTeX]
[DOI]
Roberto Bagnara
,
Fred Mesnard
,
Andrea Pescetti
,
Enea Zaffanella
Inf. Comput., 2012

2010
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
[BibTeX]
[DOI]
Roberto Bagnara
,
Fred Mesnard
,
Andrea Pescetti
,
Enea Zaffanella
CoRR, 2010

2007
On the Design of Generic Static Analyzers for Modern Imperative Languages
[BibTeX]
[DOI]
Roberto Bagnara
,
Patricia M. Hill
,
Andrea Pescetti
,
Enea Zaffanella
CoRR, 2007

2005
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
[BibTeX]
[DOI]
Roberto Bagnara
,
Andrea Pescetti
,
Alessandro Zaccagnini
,
Enea Zaffanella
CoRR, 2005


  Loading...