Cristiano Calcagno

发表

Cristiano Calcagno, Dino Distefano, 2011, NASA Formal Methods.
Hongseok Yang, Cristiano Calcagno, Dino Distefano, 2009, POPL.
Cristiano Calcagno, Josh Berdine, Peter O’Hearn, 2005 .
Hongseok Yang, Cristiano Calcagno, Dino Distefano, 2008 .
Cristiano Calcagno, J. Brotherston, 2008 .
Stephan van Staden, B. Meyer, Cristiano Calcagno, 2009 .
Hongseok Yang, Cristiano Calcagno, Dino Distefano, 2011, JACM.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2011, JACM.
Richard Bornat, Cristiano Calcagno, Peter O’Hearn, 2004 .
Stephan van Staden, Cristiano Calcagno, Cristiano Calcagno, 2010, OOPSLA.
Peter W. O'Hearn, Cristiano Calcagno, Josh Berdine, 2005, APLAS.
James Brotherston, Cristiano Calcagno, Cristiano Calcagno, 2010, Log. Methods Comput. Sci..
Viktor Vafeiadis, Matthew J. Parkinson, Cristiano Calcagno, 2007, SAS.
Philippa Gardner, Cristiano Calcagno, Matthew Hague, 2005, FoSSaCS.
Philippa Gardner, Cristiano Calcagno, Uri Zarfaty, 2005, POPL '05.
Luca Cardelli, Andrew D. Gordon, Cristiano Calcagno, 2003, TLDI '03.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2001, APLAS.
Peter W. O'Hearn, Cristiano Calcagno, Josh Berdine, 2005, FMCO.
Peter W. O'Hearn, Richard Bornat, Matthew J. Parkinson, 2005, POPL '05.
Peter W. O'Hearn, Cristiano Calcagno, Dulma Rodriguez, 2015, NFM.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2008, CAV.
Kwangkeun Yi, Cristiano Calcagno, Ik-Soon Kim, 2006, POPL '06.
Philippa Gardner, Cristiano Calcagno, Uri Zarfaty, 2007, POPL '07.
Cristiano Calcagno, J. Brotherston, 2008 .
Peter W. O'Hearn, Thomas Wies, Hongseok Yang, 2007, CAV.
Peter W. O'Hearn, Richard Bornat, Cristiano Calcagno, 2003, Theor. Comput. Sci..
Cristiano Calcagno, Cristiano Calcagno, 2002 .
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Richard Bornat, Matthew J. Parkinson, Cristiano Calcagno, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Peter W. O'Hearn, Cristiano Calcagno, Josh Berdine, 2004, FSTTCS.
Hongseok Yang, Cristiano Calcagno, Dino Distefano, 2009, POPL '09.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2007, SAS.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2006, SAS.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2007 .
Bertrand Meyer, Stephan van Staden, Cristiano Calcagno, 2010, ECOOP.
Viktor Vafeiadis, Cristiano Calcagno, Dino Distefano, 2009, APLAS.
Philippa Gardner, Cristiano Calcagno, Mohammad Raza, 2009, ESOP.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2009, LOPSTR.
James Brotherston, Cristiano Calcagno, Cristiano Calcagno, 2009, POPL '09.
Viktor Vafeiadis, Cristiano Calcagno, Dino Distefano, 2009 .
Peter W. O'Hearn, Cristiano Calcagno, Josh Berdine, 2012, ArXiv.
Peter Thiemann, Cristiano Calcagno, Simon Helsen, 2002, Inf. Comput..
Bertrand Meyer, Peter Müller, Cristiano Calcagno, 2010, TOOLS.
Cristiano Calcagno, Cristiano Calcagno, 2004, Theor. Comput. Sci..
Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2000, ICALP.
Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2004, ESOP.
Walid Taha, Xavier Leroy, Cristiano Calcagno, 2003, GPCE.