MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Enea Zaffanella – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • 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
  • 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
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB