| 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) | |
| 1 | Roberto Bagnara | [1] [2] |
| 2 | Patricia M. Hill | [2] |
| 3 | Alessandro Zaccagnini | [1] |
| 4 | Enea Zaffanella | [1] [2] |