Francesco Zappa Nardelli

2009
13	EE	Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391
2008
12	EE	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli: Oracle Semantics for Concurrent Separation Logic. ESOP 2008: 353-367
11	EE	Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli: A Formal Implementation of Value Commitment. ESOP 2008: 383-397
2007
10	EE	Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12
9	EE	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: High-level programming language design for distributed computation. J. Funct. Program. 17(4-5): 547-612 (2007)
2005
8	EE	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: high-level programming language design for distributed computation. ICFP 2005: 15-26
7	EE	Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005)
6	EE	Massimo Merro, Francesco Zappa Nardelli: Behavioral theory for mobile ambients. J. ACM 52(6): 961-1023 (2005)
2004
5		Glynn Winskel, Francesco Zappa Nardelli: New-HOPLA: A Higher-order Process Language with Name Generation. IFIP TCS 2004: 521-534
4		Massimo Merro, Francesco Zappa Nardelli: Behavioural Theory for Mobile Ambients. IFIP TCS 2004: 549-562
2003
3	EE	Massimo Merro, Francesco Zappa Nardelli: Bisimulation Proof Methods for Mobile Ambients. ICALP 2003: 584-598
2002
2	EE	Giuseppe Castagna, Francesco Zappa Nardelli: The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS 2002: 85-96
2001
1	EE	Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli: Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101

Coauthor Index

1	Jade Alglave	[13]
2	Mair Allen-Williams	[8] [9]
3	Andrew W. Appel	[12]
4	Thomas Braibant	[13]
5	Giuseppe Castagna	[1] [2] [7]
6	Cédric Fournet	[11]
7	Giorgio Ghelli	[1]
8	Nataliya Guts	[11]
9	Pierre Habouzit	[8] [9]
10	Aquinas Hobor	[12]
11	James J. Leifer	[8] [9]
12	Massimo Merro	[3] [4] [6]
13	Magnus O. Myreen	[13]
14	Scott Owens	[10] [13]
15	Gilles Peskine	[10]
16	Tom Ridge (Thomas Ridge)	[10] [13]
17	Susmit Sarkar	[10] [13]
18	Peter Sewell	[8] [9] [10] [13]
19	Rok Strnisa	[10]
20	Viktor Vafeiadis	[8] [9]
21	Jan Vitek	[7]
22	Keith Wansbrough	[8] [9]
23	Glynn Winskel	[5]

Colors in the list of coauthors