MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Isabella Mastroeni – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 19 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Numerical Power Analysis  
  • by Isabella Mastroeni — In: Proc. of the 2nd Symposium on Programs as Data Objects (PADO’01
  • …Numerical power analysis Isabella Mastroeni Dipartimento Scientico e Tecnologico Universita di…
  • Cited by 1 (1 self) – Add To MetaCart
  • Non-Standard Semantics for Program Slicing  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2003 — Special issue on Partial Evalution and Semantics-Based Program Manipulation
  • …Non-standard semantics for program slicing Roberto Giacobazzi and Isabella Mastroeni Dipartimento…
  • Cited by 5 (1 self) – Add To MetaCart
  • Compositionality in the Puzzle of Semantics  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2002 — In: Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02
  • …/0001 ...$5.00. Isabella Mastroeni Dipartimento di Informatica Università di Verona Strada Le Grazie, I-37134…
  • Cited by 3 (1 self) – Add To MetaCart
  • Proving abstract non-interference  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2004 — Conf. of the European Association for Computer Science Logic, volume 3210 of LNCS
  • …Proving Abstract Non-interference Roberto Giacobazzi and Isabella Mastroeni Dipartimento di…
  • Cited by 6 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB