Selected Scientific Publications

Export 4 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is E and Author is Roberto Bagnara  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Bagnara R, Hill PM, Zaffanella E.  2010.  Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43:453–473.PDF icon BagnaraHZ10CGTA.pdf (339.41 KB)
Bagnara R, Mesnard F.  2013.  Eventual Linear Ranking Functions. 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). :229-238.PDF icon BagnaraM13PPDP.pdf (276.55 KB)
Bagnara R, Zaffanella E, Hill PM.  2005.  Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5:1-43.PDF icon BagnaraZH05TPLP.pdf (449.66 KB)
Bagnara R, Hill PM, Zaffanella E.  2000.  Efficient Structural Information Analysis for Real CLP Languages. Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000). 1955:189–206.