Selected Scientific Publications

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is A and Author is Patricia M. Hill  [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 
Hill PM, Spoto F.  2000.  Analysis of Downward Closed Properties of Logic Programs. Proceedings of the International Conference on Algebraic Methodology and Software Technology. 1816:181–196.
Bagnara R, Hill PM, Zaffanella E.  2009.  Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. Theoretical Computer Science. 410:4672–4691.PDF icon BagnaraHZ09TCS.pdf (391.35 KB)