MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Enea Zaffanella – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

28 documents found, showing 1 through 10. Next 10 →

ATOM

Domain independent ask approximations in CCP
by Enea Zaffanella — 1995 — Proceedings of the International Conference on Principles and Practice of Constraint Programming, number 976 in LNCS
…Domain Independent Ask Approximation in CCP ∗ Enea Zaffanella Dipartimento di Informatica…
Cited by 4 (1 self) – Add To MetaCart

Abstracting Synchronization in Concurrent Constraint Programming
by Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi — 1994 — In Proc. 5th Int'l Symposium on Programming Language Implementation and Logic Programming
…Abstracting Synchronization in Concurrent Constraint Programming ? Enea Zaffanella 1 Roberto…
Cited by 12 (5 self) – Add To MetaCart

Generation of basic semi-algebraic invariants using convex polyhedra
by Roberto Bagnara, Enric Rodríguez-carbonell, Enea Zaffanella — Static Analysis: Proceedings of the 12th International Symposium, volume 3672 of Lecture Notes in Computer Science
… Rodríguez-Carbonell 2 , and Enea Zaffanella 1 1 Department of Mathematics, University of Parma, Italy…
Cited by 1 (0 self) – Add To MetaCart

A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages
by Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
…-mail: hill@(email omitted);) ENEA ZAFFANELLA, ROBERTO BAGNARA Department of Mathematics, University of Parma…
Cited by 3 (1 self) – Add To MetaCart

Decomposing Non-Redundant Sharing by Complementation
by Enea Zaffanella, Patricia M. Hill, Roberto Bagnara — 2001
… of Logic Programming 1 Decomposing Non-Redundant Sharing by Complementation ENEA ZAFFANELLA Department…
Cited by 2 (2 self) – Add To MetaCart

Widening operators for powerset domains
by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella — 2004 — Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004
…Widening Operators for Powerset Domains ⋆ Roberto Bagnara 1 , Patricia M. Hill 2 , and Enea…
Cited by 16 (4 self) – Add To MetaCart

Not Necessarily Closed Convex Polyhedra and the Double Description Method
by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
… Polyhedra and the Double Description Method 1 Roberto Bagnara 1 , Patricia M. Hill 2 , and Enea Za…
Cited by 4 (2 self) – Add To MetaCart

A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra
by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella — 2003 — 176. University of Southampton
… , Patricia M. Hill 2 , and Enea Zaffanella 1 1 Department of Mathematics, University of Parma, Italy {bagnara,zaffanella…
Cited by 1 (0 self) – Add To MetaCart

Sharing Revisited
by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella — 1997 — Proceedings of the "1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97
… Revisited by Roberto Bagnara & Patricia M. Hill 1 & Enea Zaffanella 2 May 1997 1 The work of R…
Cited by 2 (2 self) – Add To MetaCart

Widening Sharing
by Enea Zaffanella, Roberto Bagnara, Patricia M. Hill — 1999 — Principles and Practice of Declarative Programming
…Widening Sharing Enea Zaffanella, Roberto Bagnara, Patricia M. Hill Abstract We study the problem…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB