Pietro Cenciarelli

发表

Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999 .

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2016, ArXiv.

Pietro Cenciarelli, Pietro Cenciarelli, 1993 .

Pietro Cenciarelli, Alessandro Tiberi, Alessandro Tiberi, 2005, TERMGRAPH.

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2018, Inf. Process. Lett..

Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, AMAST.

Pietro Cenciarelli, Alessandro Tiberi, Ivano Talamo, 2004, WRLA.

Pietro Cenciarelli, 1998, AMAST.

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2018, Acta Informatica.

Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999, Formal Syntax and Semantics of Java.

Alexander Knapp, Pietro Cenciarelli, Eleonora Sibilio, 2007, ESOP.

Pietro Cenciarelli, 2002, CSL.

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2018, ICTCS.

Pietro Cenciarelli, Pietro Cenciarelli, 1999, ECOOP Workshops.

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2018, Algorithmica.

Emilio Tuosto, Daniele Gorla, Pietro Cenciarelli, 2008, ICGT.

Daniele Gorla, Pietro Cenciarelli, Ivano Salvo, 2009, FCT.

Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, WADT.

Pietro Cenciarelli, Pietro Cenciarelli, 1996, CST.