MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Annalisa Bossi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 30 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Transforming Acyclic Programs  
  • by A. Bossi, S. Etalle, Annalisa Bossi, Sandro Etalle — 1993 — ACM Transactions on Programming Languages and Systems
  • … Annalisa Bossi 1 , Sandro Etalle 1;2 . 1 Dipartimento di Matematica Pura ed Applicata, Universit`a di…
  • Cited by 9 (2 self) – Add To MetaCart
  • Successes in Logic Programs  
  • by Annalisa Bossi, Nicoletta Cocco — 1999 — In Proc. Twentieth Annual ACM Symp. on Principles of Programming Languages
  • …Successes in Logic Programs Annalisa Bossi, Nicoletta Cocco Dip. di Matematica Applicata e…
  • Cited by 19 (9 self) – Add To MetaCart
  • Programs without Failures  
  • by Annalisa Bossi, Nicoletta Cocco — 1997 — Proceedings LOPSTR'97, Lecture Notes in Computer Science
  • …Programs without Failures Annalisa Bossi, Nicoletta Cocco Dip. di Matematica Applicata e…
  • Cited by 5 (1 self) – Add To MetaCart
  • Annalisa Bossi and Sabina Rossi  
  • by Dipartimento Di, Annalisa Bossi, Sabina Rossi
  • …Verifying Partial Correctness of Logic Programs with Delay Declarations Annalisa Bossi and Sabina…
  • Add To MetaCart
  • Secure Contexts (Extended Abstract)  
  • by Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi — 2003
  • …Secure Contexts (Extended abstract) ? Annalisa Bossi, Damiano Macedonio, Carla Piazza, and Sabina…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB