Andrea Pescetti

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Ranking Functions

Preference Learning

Top Venues

Publications

Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
A new look at the automatic synthesis of linear ranking functions. Inf. Comput. 215 (2012)
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version CoRR (2010)
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella
On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR (2007)
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR (2005)