Dino Distefano

发表

Radu Grigore, Matthew J. Parkinson, Daiva Naudziuniene, 2011, ESEC/FSE '11.
Jérémy Dubreil, Dino Distefano, 2013, ArXiv.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2011, JACM.
Pasquale Malacaria, Dino Distefano, Michael Tautchning, 2016, ISoLA.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2008, CAV.
Peter W. O'Hearn, Byron Cook, Josh Berdine, 2007, POPL '07.
Dino Distefano, Dino Distefano, 2009, FMICS.
Peter W. O'Hearn, Hongseok Yang, Dino Distefano, 2006, TACAS.
Matthew J. Parkinson, Dino Distefano, Matthew Parkinson, 2008 .
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2007, SAS.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2005, FMCO.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2011, JACM.
Peter W. O'Hearn, Byron Cook, Josh Berdine, 2006, CAV.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2000 .
Radu Grigore, Nikos Tzevelekos, Dino Distefano, 2012, TACAS.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2001 .
Peter W. O'Hearn, Cristiano Calcagno, Dulma Rodriguez, 2015, NFM.
James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen, 2011, CADE.
Viktor Vafeiadis, Cristiano Calcagno, Dino Distefano, 2009, APLAS.
Matthew J. Parkinson, Dino Distefano, Dino Distefano, 2008, OOPSLA.
Gidon Ernst, Radu Grigore, Vladimir Klebanov, 2011, FoVeOOS.
Peter W. O'Hearn, Manuel Fähndrich, Francesco Logozzo, 2019, Commun. ACM.
Mehdi Bouaziz, Dino Distefano, Ezgi Çiçek, 2020, SAS.
Arend Rensink, Dino Distefano, Dino Distefano, 2006, SVV@ICFEM.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2002, IFIP TCS.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2006, SAS.
Peter W. O'Hearn, Thomas Wies, Hongseok Yang, 2007, CAV.
Arend Rensink, Joost-Pieter Katoen, Dino Distefano, 2003 .
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2009, LOPSTR.
Dino Distefano, Ivana Filipovic, Dino Distefano, 2010, FASE.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2004 .
Dino Distefano, 2012, SAS.
Peter W. O'Hearn, Hongseok Yang, Cristiano Calcagno, 2007 .
Ricardo J. Dias, João Costa Seco, João Lourenço, 2012, ECOOP.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2000, FMOODS.
Joost-Pieter Katoen, Arend Rensink, Dino Distefano, 2004, FSTTCS.
Viktor Vafeiadis, Cristiano Calcagno, Dino Distefano, 2009 .
Hongseok Yang, Cristiano Calcagno, Dino Distefano, 2008 .