Silvia Crafa

	2012
27		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239
26		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)
	2011
25		Silvia Crafa, Francesco Ranzato: A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR 2011: 124-139
24		Silvia Crafa, Francesco Ranzato: Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) 2011: 295-306
23		Paolo Baldan, Silvia Crafa: A Logic for True Concurrency CoRR abs/1110.4094: (2011)
22		Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. Fundam. Inform. 108(1-2): 23-42 (2011)
	2010
21		Paolo Baldan, Silvia Crafa: A Logic for True Concurrency. CONCUR 2010: 147-161
	2009
20		Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. ACSD 2009: 60-69
19		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)
	2008
18		Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
	2007
17		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
16		Silvia Crafa, Sabina Rossi: Controlling information release in the pi-calculus. Inf. Comput. 205(8): 1235-1273 (2007)
	2006
15		Silvia Crafa, Sabina Rossi: P-congruences as non-interference for the pi-calculus. FMSE 2006: 13-22
	2005
14		Silvia Crafa, Sabina Rossi: A Theory of Noninterference for the pi-Calculus. TGC 2005: 2-18
13		Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
	2004
12		Michele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239
11		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)
	2003
10		Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone: Secrecy in Untrusted Networks. ICALP 2003: 969-983
	2002
9		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
8		Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
7		Viviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
6		Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 76-97 (2002)
	2001
5		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
4		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
3		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Boxed Ambients. TACS 2001: 38-63
2		Giuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: 1-6 (2001)
	2000
1		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. CONCUR 2000: 504-520

Coauthor Index

1	Paolo Baldan	[21] [23]
2	Viviana Bono	[7]
3	Michele Bugliesi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [19]
4	Giuseppe Castagna	[1] [2] [3] [4] [5] [6] [9] [11]
5	Dario Colazzo	[12] [19]
6	Riccardo Focardi	[9]
7	Damiano Macedonio	[19]
8	Massimo Merro	[8] [13]
9	Marino Miculan	[18]
10	Matteo Mio	[18]
11	Carla Piazza	[18]
12	Amela Prelic	[10]
13	Francesco Ranzato	[20] [22] [24] [25] [26]
14	Sabina Rossi	[14] [15] [16] [18]
15	Vladimiro Sassone	[8] [9] [10] [13]
16	Francesco Tapparo	[20] [22]
17	Daniele Varacca	[17] [27]
18	Nobuko Yoshida	[17] [27]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page