- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c17 |      | Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli: Correct and efficient work-stealing for weak memory models. PPOPP 2013: 69-80 |
| 2011 | ||
| c16 | | Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell: Lem: A Lightweight Tool for Heavyweight Semantics. ITP 2011: 363-369 |
| c15 | | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell: Relaxed-memory concurrency and verified compilation. POPL 2011: 43-54 |
| c14 | | Viktor Vafeiadis, Francesco Zappa Nardelli: Verifying Fence Elimination Optimisations. SAS 2011: 146-162 |
| 2010 | ||
| j5 | | Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen: x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Commun. ACM 53(7): 89-97 (2010) |
| j4 | | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010) |
| c13 | | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek: Integrating typed and untyped code in a scripting language. POPL 2010: 377-388 |
| 2009 | ||
| c12 | | Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli: Reliable Evidence: Auditability by Typing. ESORICS 2009: 168-183 |
| c11 | | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli: The semantics of power and ARM multiprocessor machine code. DAMP 2009: 13-24 |
| c10 | | 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 | ||
| c9 | | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli: Oracle Semantics for Concurrent Separation Logic. ESOP 2008: 353-367 |
| c8 | | Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli: A Formal Implementation of Value Commitment. ESOP 2008: 383-397 |
| 2007 | ||
| j3 | | 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) |
| c7 | | 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 |
| 2005 | ||
| j2 | | Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005) |
| j1 | | Massimo Merro, Francesco Zappa Nardelli: Behavioral theory for mobile ambients. J. ACM 52(6): 961-1023 (2005) |
| c6 | | 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 |
| 2004 | ||
| c5 |  | Glynn Winskel, Francesco Zappa Nardelli: New-HOPLA: A Higher-order Process Language with Name Generation. IFIP TCS 2004: 521-534 |
| c4 | | Massimo Merro, Francesco Zappa Nardelli: Behavioural Theory for Mobile Ambients. IFIP TCS 2004: 549-562 |
| 2003 | ||
| c3 | | Massimo Merro, Francesco Zappa Nardelli: Bisimulation Proof Methods for Mobile Ambients. ICALP 2003: 584-598 |
| 2002 | ||
| c2 | | Giuseppe Castagna, Francesco Zappa Nardelli: The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS 2002: 85-96 |
| 2001 | ||
| c1 | | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli: Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101 |
Colors in the list of coauthors
Last update Sun May 19 15:50:08 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page