A. Pierro
发表
M. Bernardo,
A. Aldini,
A. Pierro,
2011
.
A. Pierro,
dipierro di.unipi.it,
1999
.
A. Pierro,
A. D. Pierro,
2007
.
A. Pierro,
Federica Panarotto,
2014
.
L. Bortolussi,
E. Vink,
J. Hillston,
2013,
SFM.
C. Hankin,
A. Pierro,
H. Wiklicky,
2004
.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
CATS.
C. Palamidessi,
M. Martelli,
A. Pierro,
1991,
ICLP.
A. Pierro,
R. Mengoni,
2019
.
A. Pierro,
H. Wiklicky,
2006
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002
.
Herbert Wiklicky,
Alessandro Aldini,
Marco Bernardo,
2010
.
A. Pierro,
Antonio Mandarino,
R. Mengoni,
2022,
Quantum Mach. Intell..
A. Pierro,
Antonio Mandarino,
R. Mengoni,
2021,
Quantum Mach. Intell..
David Windridge,
S. Vallecorsa,
A. Pierro,
2022,
IEEE Transactions on Quantum Engineering.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2008,
Electron. Notes Theor. Comput. Sci..
Stefano Mancini,
Laleh Memarzadeh,
Riccardo Mengoni,
2019,
Quantum Inf. Comput..
Herbert Wiklicky,
Pascal Sotin,
Alessandra Di Pierro,
2008,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
FMCO.
Herbert Wiklicky,
Marco Bernardo,
A. Di Pierro,
2013,
Lecture Notes in Computer Science.
Alessandra Di Pierro,
Stefano Mancini,
Laleh Memarzadeh,
2018,
EPL (Europhysics Letters).
F. Martini,
A. Pierro,
Massimiliano Incudini,
2022,
ArXiv.
David Windridge,
Rajagopal Nagarajan,
Alessandra Di Pierro,
2017,
TPNC.
Alessandra Di Pierro,
Federica Panarotto,
A. Pierro,
2014,
WoLLIC.
Alessandra Di Pierro,
Riccardo Mengoni,
Antonio Mandarino,
2021,
ArXiv.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2011,
International Journal of Information Security.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
Comput. J..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2008,
ICICS.
Chris Hankin,
Herbert Wiklicky,
Igor Siveroni,
2007,
J. Log. Algebraic Methods Program..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2003,
CONCUR.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2001,
MFCSIT.
Alessandro Aldini,
Alessandra Di Pierro,
A. Aldini,
2004,
MEFISTO.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2006,
MFCSIT.
Frank S. de Boer,
Catuscia Palamidessi,
Alessandra Di Pierro,
1997,
J. Log. Comput..
Frank S. de Boer,
Catuscia Palamidessi,
Alessandra Di Pierro,
1995,
Theor. Comput. Sci..
Catuscia Palamidessi,
Alessandra Di Pierro,
C. Palamidessi,
1994,
ESOP.
Manuele Bicego,
Alessandro Farinelli,
Alessandra Di Pierro,
2018,
Soft Computing.
Manuele Bicego,
Alessandro Farinelli,
Alessandra Di Pierro,
2016,
TPNC.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
SFM.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
SAS.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2000,
PPDP '00.
Alessandra Di Pierro,
A. Pierro,
2020,
From Lambda Calculus to Cybersecurity Through Program Analysis.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Program Analysis and Compilation.
M. Bernardo,
A. Aldini,
A. Pierro,
2011
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Mathematical Structures in Computer Science.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
J. Log. Comput..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Journal of Functional Programming.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
SecCo.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
FMCO.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1999,
New Trends in Constraints.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
APPIA-GULP-PRODE.
M. Bernardo,
A. Aldini,
A. Pierro,
2018
.
A. Pierro,
H. Wiklicky,
A. D. Pierro,
2015
.
Alessandro Aldini,
Alessandra Di Pierro,
A. Aldini,
2008,
International Journal of Information Security.
C. Hankin,
I. Siveroni,
A. Pierro,
2007,
J. Log. Algebraic Methods Program..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
APPIA-GULP-PRODE.
Alessandro Aldini,
Alessandra Di Pierro,
A. Aldini,
2004,
QAPL.