P. S. Pietro
发表
Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
O. Ibarra,
P. S. Pietro,
Z. Dang,
2004
.
Carlo Ghezzi,
Domenico Bianculli,
Pierluigi San Pietro,
2013
.
O. Ibarra,
P. S. Pietro,
Z. Dang,
2003
.
P. S. Pietro,
S. C. Reghizzi,
2014
.
S. Crespi-Reghizzi,
A. Restivo,
P. S. Pietro,
2022,
Theor. Comput. Sci..
Stefano Crespi-Reghizzi,
Pierluigi San Pietro,
S. Crespi-Reghizzi,
2011,
Int. J. Found. Comput. Sci..
Stefano Crespi-Reghizzi,
Pierluigi San Pietro,
S. Crespi-Reghizzi,
2018,
Inf. Comput..
Stefano Crespi-Reghizzi,
Pierluigi San Pietro,
S. Crespi-Reghizzi,
2016,
LATA.
Matteo Pradella,
Alessandra Cherubini,
Stefano Crespi-Reghizzi,
2006,
Theor. Comput. Sci..
Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro,
2000,
IEEE Trans. Software Eng..
Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro,
1996,
ISSTA '96.
Pierluigi San Pietro,
Anna Beletska,
Wlodzimierz Bielecki,
2008,
ICCSA.
Pierluigi San Pietro,
Anna Beletska,
Marek Palkowski,
2008,
ICA3PP.
Pierluigi San Pietro,
Anna Beletska,
Wlodzimierz Bielecki,
2007,
Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07).
Oscar H. Ibarra,
Zhe Dang,
Pierluigi San Pietro,
2003,
Theor. Comput. Sci..
Oscar H. Ibarra,
Zhe Dang,
Pierluigi San Pietro,
2001,
FSTTCS.
Matteo Pradella,
Marcello M. Bersani,
Angelo Morzenti,
2012,
J. Appl. Log..
Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro,
2007,
ESEC-FSE '07.
Angelo Morzenti,
Pierluigi San Pietro,
A. Morzenti,
1994,
TSEM.
Matteo Pradella,
Paola Spoletini,
Angelo Morzenti,
2003
.
Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro,
2000,
Automated Software Engineering.
Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro,
2013,
TSEM.
Stefano Crespi-Reghizzi,
Jean Berstel,
Pierluigi San Pietro,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Silvana Castano,
Valeria De Antonellis,
Pierluigi San Pietro,
1993,
ER.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2017,
Theor. Comput. Sci..
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2014,
MFCS.
Oscar H. Ibarra,
Gaoyan Xie,
Zhe Dang,
2004,
FSTTCS.
Stefano Crespi-Reghizzi,
Jean Berstel,
Pierluigi San Pietro,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Stefano Crespi-Reghizzi,
Pierluigi San Pietro,
S. Crespi-Reghizzi,
2017,
Theor. Comput. Sci..
Pierluigi San Pietro,
Vincenzo Martena,
P. S. Pietro,
2001,
CC.
Pierluigi San Pietro,
Anna Beletska,
Wlodzimierz Bielecki,
2007
.
Matteo Pradella,
Paola Spoletini,
Angelo Morzenti,
2003,
FME.
Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Carlo Ghezzi,
Marcello M. Bersani,
Domenico Bianculli,
2015,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Angelo Montanari,
Emanuele Ciapessoni,
Pierluigi San Pietro,
1993,
Sci. Comput. Program..
E. Corsetti,
E. Crivelli,
D. Mandrioli,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.
Zhe Dang,
Richard A. Kemmerer,
Pierluigi San Pietro,
2001,
STACS.
Stefano Crespi-Reghizzi,
Pierluigi San Pietro,
S. Crespi-Reghizzi,
2011,
RAIRO Theor. Informatics Appl..
Marcella Anselmo,
Alessandra Cherubini,
Pierluigi San Pietro,
2007,
Discret. Math. Theor. Comput. Sci..
Alessandra Cherubini,
Pierluigi San Pietro,
P. S. Pietro,
2000,
Theory of Computing Systems.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
J. Berstel,
S. Crespi-Reghizzi,
P. S. Pietro,
2005,
TSEM.