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