Silvano Dal-Zilio

	2009
20		Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat: Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221
	2007
19		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
	2006
18		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182
17		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions CoRR abs/cs/0610137: (2006)
16		Roberto M. Amadio, Silvano Dal-Zilio: Resource control for synchronous cooperative threads. Theor. Comput. Sci. 358(2-3): 229-254 (2006)
	2005
15		Silvano Dal-Zilio, Régis Gascon: Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS 2005: 247-263
14		Roberto M. Amadio, Silvano Dal-Zilio: Resource Control for Synchronous Cooperative Threads CoRR abs/cs/0512057: (2005)
	2004
13		Roberto M. Amadio, Silvano Dal-Zilio: Resource Control for Synchronous Cooperative Threads. CONCUR 2004: 68-82
12		Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279
11		Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier: A logic you can count on. POPL 2004: 135-146
	2003
10		Silvano Dal-Zilio, Denis Lugiez: XML Schema, Tree Logic and Sheaves Automata. RTA 2003: 246-263
9		Silvano Dal-Zilio, Enrico Formenti: On the Dynamics of PB Systems: A Petri Net View. Workshop on Membrane Computing 2003: 153-167
8		Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003)
	2002
7		Silvano Dal-Zilio, Andrew D. Gordon: Region analysis and a pi-calculus with groups. J. Funct. Program. 12(3): 229-292 (2002)
	2001
6		Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167
	2000
5		Silvano Dal-Zilio: Spatial Congruence for Ambients Is Decidable. ASIAN 2000: 88-103
4		Silvano Dal-Zilio: An Interpretation of Typed Concurrent Objects in the Blue Calculus. IFIP TCS 2000: 409-424
3		Silvano Dal-Zilio, Andrew D. Gordon: Region Analysis and a pi-Calculus wiht Groups. MFCS 2000: 1-20
2		Silvano Dal-Zilio: Mobile Processes: A Commented Bibliography. MOVEP 2000: 206-222
	1999
1		Gérard Boudol, Silvano Dal-Zilio: An Interpretation of Extensible Objects. FCT 1999: 148-160

Coauthor Index

1	Lucia Acciai	[17] [18] [19]
2	Roberto M. Amadio	[12] [13] [14] [16]
3	Bernard Berthomieu	[20]
4	Jean-Paul Bodeveix	[20]
5	Michele Boreale	[17] [18] [19]
6	Gérard Boudol	[1]
7	Witold Charatonik	[6] [8]
8	Christelle Chaudet	[20]
9	Solange Coupet-Grimal	[12]
10	Mamoun Filali	[20]
11	Enrico Formenti	[9]
12	Régis Gascon	[15]
13	Andrew D. Gordon (Andy Gordon)	[3] [6] [7] [8]
14	Line Jakubiec	[12]
15	Denis Lugiez	[10] [11]
16	Charles Meyssonnier	[11]
17	Supratik Mukhopadhyay	[6] [8]
18	Jean-Marc Talbot	[6] [8]
19	François Vernadat	[20]

Colors in the list of coauthors