MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Giuliana Vitiello" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Abstract debugging of logic programs  
  • by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1994 — Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, volume 883 of Lecture Notes in Computer Science
  • … Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy {comini, levi}@(email omitted); Giuliana…
  • Cited by 15 (4 self) – Add To MetaCart
  • Modular abstract diagnosis  
  • by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1998 — In APPIAGULP-PRODE’98
  • …Modular Abstract Diagnosis Marco Comini, Giorgio Levi and Giuliana Vitiello Abstract Modular…
  • Cited by 1 (0 self) – Add To MetaCart
  • Declarative Diagnosis Revisited  
  • by Marco Comini, Giorgio Levi, Giuliana Vitiello — 1995 — Proceedings of the 1995 Int'l Symposium on Logic Programming
  • … di Pisa, Corso Italia 40, 56125 Pisa, Italy {comini, levi}@(email omitted); Giuliana Vitiello Dipartimento…
  • Cited by 15 (5 self) – Add To MetaCart
  • A Top-Down Visual Approach to GUI development  
  • by Rosanna Cassino, Genny Tortora, Maurizio Tucci, Giuliana Vitiello
  • …, GENNY TORTORA, MAURIZIO TUCCI, GIULIANA VITIELLO Dipartimento di Matematica e Informatica Università di…
  • Add To MetaCart
  • Proving properties of logic programs by abstract diagnosis  
  • by Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello — 1996 — Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, number 1192 in Lecture Notes in Computer Science
  • … Chiara Meo 2 , and Giuliana Vitiello 3 1 Dipartimento di Informatica, Università di Pisa, Corso Italia 40…
  • Cited by 19 (4 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB