C. Piazza
发表
Carla Piazza,
Alberto Casagrande,
A. Casagrande,
2014,
FMMB.
Alessandra Carbone,
Amir Pnueli,
Bing Sun,
2022
.
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2000,
APPIA-GULP-PRODE.
Ádám M. Halász,
Carla Piazza,
Oded Maler,
2014,
Lecture Notes in Computer Science.
B. Mishra,
C. Piazza,
2004
.
C. Piazza,
A. Bossi,
2003
.
C. Piazza,
N. Vitacolonna,
N. Rossi,
2022,
bioRxiv.
C. Piazza,
Enrico Pivato,
2008
.
A. Dovier,
C. Piazza,
2007
.
C. Piazza,
Dovier,
2002
.
Carla Piazza,
Bud Mishra,
Alberto Casagrande,
2008,
ATVA.
B. Mishra,
A. Casagrande,
C. Piazza,
2008
.
C. Piazza,
S. Rossi,
Dalila Ressi,
2022,
2209.07475.
T. Dreossi,
A. Casagrande,
C. Piazza,
2014
.
T. Dang,
T. Dreossi,
C. Piazza,
2017,
Formal Methods in System Design.
Carla Piazza,
Oded Maler,
Alexandre Rocca,
2019,
Automated Reasoning for Systems Biology and Medicine.
Alessandra Carbone,
Yi Zhou,
Amir Pnueli,
2003,
Omics : a journal of integrative biology.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2017,
Formal Methods in System Design.
Carla Piazza,
Alberto Casagrande,
A. Casagrande,
2015,
Theor. Comput. Sci..
François Fages,
Carla Piazza,
F. Fages,
2014,
Lecture Notes in Computer Science.
Carla Piazza,
Alberto Policriti,
Bud Mishra,
2005,
CAV.
Carla Piazza,
Bud Mishra,
B. Mishra,
2005
.
Carla Piazza,
Alberto Policriti,
Bud Mishra,
2005
.
Carla Piazza,
Sabina Rossi,
Andrea Marin,
2018,
Inf. Comput..
Carla Piazza,
Sabina Rossi,
Jane Hillston,
2013,
VALUETOOLS.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2007,
J. Comput. Secur..
Carla Piazza,
Alberto Policriti,
C. Piazza,
2003,
Theory Pract. Log. Program..
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2002,
WoLLIC.
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2001,
CAV.
Carla Piazza,
Alberto Policriti,
C. Piazza,
2001,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2000,
TOPL.
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2004,
Theor. Comput. Sci..
Carla Piazza,
Alberto Policriti,
Raffaella Gentilini,
2003,
Journal of Automated Reasoning.
Agostino Dovier,
Carla Piazza,
A. Dovier,
2003,
IEEE Trans. Knowl. Data Eng..
Carla Piazza,
Alberto Policriti,
Bud Mishra,
2008,
Inf. Comput..
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2002,
VMCAI.
Yde Venema,
Carla Piazza,
George Goguadze,
2003,
Journal of Symbolic Logic.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2015,
FM.
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2017,
InfQ@VALUETOOLS.
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2017,
ArXiv.
Carla Piazza,
Paolo Zuliani,
Linda Anticoli,
2016,
RC.
A. Dovier,
C. Piazza,
A. Policriti,
2007
.
Agostino Dovier,
Gianfranco Rossi,
Carla Piazza,
2003,
TOCL.
Carla Piazza,
Sabina Rossi,
Jane Hillston,
2018,
EPEW.
Albert Atserias,
A. Montalbán,
C. Piazza,
2019,
The Bulletin of Symbolic Logic.
Carla Piazza,
Thao Dang,
Tommaso Dreossi,
2016,
HSCC.
Carla Piazza,
Alberto Policriti,
Alberto Casagrande,
2009,
Discret. Event Dyn. Syst..
Carla Piazza,
Sabina Rossi,
Andrea Marin,
2019,
CILC.
Carla Piazza,
Sabina Rossi,
Jane Hillston,
2019,
VALUETOOLS.
Carla Piazza,
Sabina Rossi,
Jane Hillston,
2018,
EXPRESS/SOS.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2008,
LOPSTR.
Silvia Crafa,
Carla Piazza,
Sabina Rossi,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2005,
J. Comput. Secur..
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2004,
Comput. Lang. Syst. Struct..
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2004,
LOPSTR.
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2004,
MEFISTO.
Chiara Braghin,
Carla Piazza,
C. Piazza,
2004,
MEFISTO.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Carla Piazza,
Sabina Rossi,
Enrico Pivato,
2004,
TACAS.
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2003,
ICTCS.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2003,
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2002,
LOPSTR.
Riccardo Focardi,
Carla Piazza,
Annalisa Bossi,
2002,
AMAST.
Riccardo Focardi,
Carla Piazza,
Sabina Rossi,
2002,
VMCAI.
J. Hillston,
C. Piazza,
A. Marin,
2019
.
Carla Piazza,
Annalisa Bossi,
Sabina Rossi,
2004
.
T. Dang,
T. Dreossi,
A. Casagrande,
2022,
Inf. Comput..
Carla Piazza,
Bud Mishra,
Venkatesh Mysore,
2005,
ATVA.
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010,
Fundam. Informaticae.
Carla Piazza,
Andrea Albarelli,
Matteo Sottana,
2017,
VALUETOOLS.
Carla Piazza,
Dario Campagna,
C. Piazza,
2010,
Theor. Comput. Sci..
Carla Piazza,
Dario Campagna,
C. Piazza,
2009,
FBTC@ICALP.
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010
.
A. Montanari,
A. Dovier,
C. Piazza,
2022
.
Carla Piazza,
Alberto Casagrande,
Bhubaneswar Mishra,
2005
.