Carla Piazza

发表

Agostino Cortesi, Flaminia L. Luccio, Riccardo Focardi, 2004, Electron. Notes Theor. Comput. Sci..
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2008, LOPSTR.
Agostino Cortesi, Flaminia L. Luccio, Riccardo Focardi, 2003, VMCAI.
Carla Piazza, Alberto Casagrande, Bud Mishra, 2011 .
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Agostino Dovier, Carla Piazza, Alberto Policriti, 2001, CAV.
Carla Piazza, Bud Mishra, Alberto Casagrande, 2008, ATVA.
Carla Piazza, Sabina Rossi, Jane Hillston, 2018, EXPRESS/SOS.
Carla Piazza, Sabina Rossi, Jane Hillston, 2018, EPEW.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2004, Comput. Lang. Syst. Struct..
Agostino Cortesi, Flaminia L. Luccio, Riccardo Focardi, 2003, TACAS.
Carla Piazza, Alberto Casagrande, 2012, 2012 15th Euromicro Conference on Digital System Design.
Carla Piazza, Alberto Policriti, 2008, ICLP.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, VMCAI.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2015, J. Log. Comput..
Carla Piazza, Alberto Policriti, Alberto Casagrande, 2009, Discret. Event Dyn. Syst..
Carla Piazza, Alberto Policriti, C. Piazza, 2001, APPIA-GULP-PRODE.
Carla Piazza, Thao Dang, Tommaso Dreossi, 2017, Formal Methods in System Design.
Carla Piazza, Alberto Policriti, Bud Mishra, 2005, CAV.
Carla Piazza, Alberto Casagrande, Tommaso Dreossi, 2012, HSB.
Carla Piazza, Paolo Zuliani, Linda Anticoli, 2016, RC.
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2005, J. Comput. Secur..
Silvia Crafa, Carla Piazza, Sabina Rossi, 2008, 2008 8th International Conference on Application of Concurrency to System Design.
Chiara Braghin, Carla Piazza, C. Piazza, 2004, MEFISTO.
Agostino Dovier, Angelo Montanari, Carla Piazza, 2010, Fundam. Informaticae.
Carla Piazza, Dario Campagna, C. Piazza, 2009, FBTC@ICALP.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, LOPSTR.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2003, SODA '03.
Angelo Montanari, Carla Piazza, Massimo Franceschet, 2013, TODS.
Alessandra Carbone, Yi Zhou, Amir Pnueli, 2003, Omics : a journal of integrative biology.
Agostino Dovier, Carla Piazza, A. Dovier, 2003, IEEE Trans. Knowl. Data Eng..
Carla Piazza, Alberto Casagrande, Tommaso Dreossi, 2014, Inf. Comput..
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Carla Piazza, Alberto Casagrande, Bhubaneswar Mishra, 2007 .
Agostino Dovier, Carla Piazza, Alberto Policriti, 2004, Theor. Comput. Sci..
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2012, CILC.
Carla Piazza, Sabina Rossi, Jane Hillston, 2013, VALUETOOLS.
Agostino Dovier, Gianfranco Rossi, Carla Piazza, 1998, APPIA-GULP-PRODE.
Carla Piazza, Alberto Policriti, Alberto Casagrande, 2016, ICTCS.
Carla Piazza, Paolo Zuliani, Linda Anticoli, 2017, InfQ@VALUETOOLS.
Carla Piazza, Bud Mishra, Alberto Casagrande, 2007, HSCC.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2003, Journal of Automated Reasoning.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1998, IJCSLP.
Agostino Dovier, Gianfranco Rossi, Carla Piazza, 2003, TOCL.
Carla Piazza, Sabina Rossi, Andrea Marin, 2019, CILC.
François Fages, Carla Piazza, F. Fages, 2014, Lecture Notes in Computer Science.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002, AMAST.
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2003, ICTCS.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2004, MEFISTO.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2002, Electron. Notes Theor. Comput. Sci..
Carla Piazza, Dario Campagna, C. Piazza, 2010, Theor. Comput. Sci..
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2004, LOPSTR.
Marta Simeoni, Carla Piazza, Alberto Policriti, 2003, CMSB.
Carla Piazza, Alberto Casagrande, A. Casagrande, 2014, FMMB.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2002, TACAS.
Agostino Dovier, Gianfranco Rossi, Carla Piazza, 2000, APPIA-GULP-PRODE.
Ádám M. Halász, Carla Piazza, Oded Maler, 2014, Lecture Notes in Computer Science.
Carla Piazza, Oded Maler, Alexandre Rocca, 2019, Automated Reasoning for Systems Biology and Medicine.
Carla Piazza, Alberto Policriti, Alexandru I. Tomescu, 2014, CILC.
Carla Piazza, Alberto Casagrande, Tommaso Dreossi, 2013, HAS.
Carla Piazza, Alberto Policriti, Raffaella Gentilini, 2007, Algorithmica.
Agostino Dovier, Enrico Pontelli, Carla Piazza, 2004, Constraints.
Carla Piazza, Sabina Rossi, Jane Hillston, 2019, VALUETOOLS.
Carla Piazza, Alberto Policriti, Bud Mishra, 2008, Inf. Comput..
Agostino Dovier, Carla Piazza, Alberto Policriti, 2000, APPIA-GULP-PRODE.
Angelo Montanari, Carla Piazza, Massimo Franceschet, 2009, SEBD.
Carla Piazza, Thao Dang, Tommaso Dreossi, 2015, FM.
Carla Piazza, Paolo Zuliani, Linda Anticoli, 2017, ArXiv.
Carla Piazza, Alberto Casagrande, A. Casagrande, 2015, Theor. Comput. Sci..
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 2000, TOPL.
Riccardo Focardi, Carla Piazza, Annalisa Bossi, 2002 .
Carla Piazza, Sabina Rossi, Andrea Marin, 2019, FORMATS.
Riccardo Focardi, Carla Piazza, Sabina Rossi, 2002, VMCAI.
Agostino Dovier, Angelo Montanari, Carla Piazza, 2010 .
Carla Piazza, Filippo Del Tedesco, 2009, Electron. Notes Theor. Comput. Sci..
Carla Piazza, Thao Dang, Tommaso Dreossi, 2016, HSCC.
Carla Piazza, Sabina Rossi, Enrico Pivato, 2004, TACAS.
Marta Simeoni, Carla Piazza, Alberto Policriti, 2004, Theor. Comput. Sci..
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1999, APPIA-GULP-PRODE.
Carla Piazza, Alberto Casagrande, Bhubaneswar Mishra, 2005 .
Agostino Cortesi, Flaminia L. Luccio, Riccardo Focardi, 2004, Comput. Lang. Syst. Struct..
Agostino Dovier, Carla Piazza, Alberto Policriti, 2002, WoLLIC.
Yde Venema, Carla Piazza, George Goguadze, 2003, Journal of Symbolic Logic.
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2007, J. Comput. Secur..
Carla Piazza, Sabina Rossi, Jane Hillston, 2021, Fundam. Informaticae.
Carla Piazza, Sabina Rossi, 2021, QEST.
Carla Piazza, Sabina Rossi, Andrea Marin, 2021, Theor. Comput. Sci..
Alessandra Carbone, Amir Pnueli, Bing Sun, 2022 .
Carla Piazza, Bud Mishra, Alberto Casagrande, 2005 .
Carla Piazza, Annalisa Bossi, Sabina Rossi, 2004 .
Carla Piazza, Alberto Casagrande, Tommaso Dreossi, 2014 .