Andrea Pescetti

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		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
i3		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
i2		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
i1		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)

Coauthor Index

1	Roberto Bagnara	[j1] [i3] [i2] [i1]
2	Patricia M. Hill	[i2]
3	Frédéric Mesnard (Fred Mesnard)	[j1] [i3]
4	Alessandro Zaccagnini	[i1]
5	Enea Zaffanella	[j1] [i3] [i2] [i1]

Last update Mon May 20 08:23:09 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page