( en | de | ru )

 

Disambiguation of "Zaffanella, Enea"

Author of the publication

copydeleteadd this publication to your clipboard
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis

, , , and . CoRR, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Enea Parini

Constantin Enea

Enea Parini

 

Other publications of authors with the same name

Modular Analysis of Suspension Free cc Programs.. APPIA-GULP-PRODE, page 367-378. (1996)Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness., , and . Formal Methods Syst. Des., 35 (3): 279-323 (2009)Soundness, Idempotence and Commutativity of Set-Sharing, , and . CoRR, (2001)Enhanced sharing analysis techniques: a comprehensive evaluation., , and . PPDP, page 103-114. ACM, (2000)The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version, , , and . CoRR, (2010)The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems., , and . Sci. Comput. Program., 72 (1-2): 3-21 (2008)Finite-tree analysis for constraint logic-based languages., , , and . Inf. Comput., 193 (2): 84-116 (2004)An Efficient Abstract Domain for Not Necessarily Closed Polyhedra., and . SAS, volume 11002 of Lecture Notes in Computer Science, page 146-165. Springer, (2018)Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract), , , and . CoRR, (2004)Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems, , and . CoRR, (2007)