Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Silvia Crafa
2010 – today
- 2013
[i3]- 2012
- [j9]Silvia Crafa, Francesco Ranzato: Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods in System Design 40(3): 356-376 (2012)
- [c17]Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239
- [i2]
- 2011
- [j8]Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. Fundam. Inform. 108(1-2): 23-42 (2011)
- [c16]Silvia Crafa, Francesco Ranzato: A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR 2011: 124-139
- [c15]Silvia Crafa, Francesco Ranzato: Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) 2011: 295-306
- [i1]
- 2010
- [c14]
2000 – 2009
- 2009
- [j7]Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio: A type system for Discretionary Access Control. Mathematical Structures in Computer Science 19(4): 839-875 (2009)
- [c13]Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. ACSD 2009: 60-69
- 2008
- [c12]Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
- 2007
- [j6]Silvia Crafa, Sabina Rossi: Controlling information release in the pi-calculus. Inf. Comput. 205(8): 1235-1273 (2007)
- [c11]Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
- 2006
- [c10]
- 2005
- [j5]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
- [c9]
- 2004
- [j4]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004)
- [c8]Michele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239
- 2003
- [c7]Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone: Secrecy in Untrusted Networks. ICALP 2003: 969-983
- 2002
- [j3]Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 76-97 (2002)
- [j2]Viviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
- [c6]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
- [c5]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
- 2001
- [j1]Giuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: 1-6 (2001)
- [c4]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
- [c3]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
- [c2]
- 2000
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-09 21:28 CEST by the dblp team