MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Daniele Gorla" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On Compositional Reasoning in the Spi-calculus  
  • by Michele Boreale, Daniele Gorla — 2002 — In Proc. of the 5th International Conference on Foundations of Software Science and Computation Structures (FossaCS’02), volume 2303 of LNCS
  • …On Compositional Reasoning in the Spi-calculus ⋆ Michele Boreale and Daniele Gorla Dipartimento di…
  • Cited by 7 (1 self) – Add To MetaCart
  • Controlling Data Movement in Global Computing Applications  
  • by Daniele Gorla Rosario — 2004 — In Proc. of 19th Annual ACM-SIGAPP Symposium on Applied Computing (SAC’04
  • …Controlling Data Movement in Global Computing Applications ∗ Abstract Daniele Gorla 1,2 We present…
  • Add To MetaCart
  • Enforcing Security Policies via Types  
  • by Daniele Gorla Rosario, Rosario Pugliese — 2003 — In Proc. of Security in Pervasive Computing (SPC’03), volume 2802 of LNCS
  • …Enforcing Security Policies via Types ⋆ Daniele Gorla Rosario Pugliese Dipartimento di Sistemi e…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB