MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Massimo Bartoletti" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Static analysis for stack inspection  
  • by Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari — 2001 — In Proceedings of International Workshop on Concurrency and Coordination, Electronic Notes in Theoretical Computer Science
  • … Inspection Massimo Bartoletti, Pierpaolo Degano, GianLuigi Ferrari Dipartimento di Informatica — Università…
  • Cited by 17 (2 self) – Add To MetaCart
  • Plans for service composition  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari — 2006 — In Workshop on Issues in the Theory of Security (WITS
  • …Plans for service composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Dipartimento…
  • Cited by 4 (2 self) – Add To MetaCart
  • Method inlining in presence of stack inspection  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari — 2004 — In Workshop on Issues in the Theory of Security (WITS’04
  • …Method Inlining in the presence of Stack Inspection ⋆ Massimo Bartoletti, Pierpaolo Degano, Gian…
  • Cited by 2 (1 self) – Add To MetaCart
  • Enforcing secure service composition  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari — 2005 — In Proc. 18th Computer Security Foundations Workshop (CSFW
  • …Enforcing Secure Service Composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari…
  • Cited by 9 (5 self) – Add To MetaCart
  • Planning and verifying service composition  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari — 2007
  • … Service Composition Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Dipartimento di Informatica…
  • Cited by 1 (0 self) – Add To MetaCart
  • Types and effects for resource usage analysis  
  • by Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino — 2007 — In Proc. of Foundations of Software Science and Computation Structure (FoSSaCS’07), LNCS
  • …Types and Effects for Resource Usage Analysis Massimo Bartoletti, Pierpaolo Degano, Gian Luigi…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB