Vincenzo Ciancia

发表

Vincenzo Ciancia, Diego Latella, Mieke Massink, 2016, Log. Methods Comput. Sci..
Vincenzo Ciancia, Matteo Sammartino, Matteo Sammartino, 2014, TGC.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2016, ISoLA.
Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2011, Journal of Automated Reasoning.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2018, International Journal on Software Tools for Technology Transfer.
Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2008, Concurrency, Graphs and Models.
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2008, FORTE.
Vincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli, 2012, MDsec '12.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2015, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Vincenzo Ciancia, Yde Venema, Y. Venema, 2019, CALCO.
Vincenzo Ciancia, Yde Venema, Y. Venema, 2012, CMCS.
Vincenzo Ciancia, Tommaso Bolognesi, 2016, ICE.
Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2020, ArXiv.
Marco Pistore, Vincenzo Ciancia, Emilio Tuosto, 2008, Concurrency, Graphs and Models.
Vincenzo Ciancia, Gian Luigi Ferrari, G. Ferrari, 2007, QAPL.
Vincenzo Ciancia, Tommaso Bolognesi, 2017, J. Log. Algebraic Methods Program..
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2014, IFIP TCS.
Vincenzo Ciancia, Mieke Massink, Luca Bortolussi, 2015, RV.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2014, ArXiv.
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2010, Electron. Notes Theor. Comput. Sci..
Gina Belmonte, Vincenzo Ciancia, Diego Latella, 2018, International Journal on Software Tools for Technology Transfer.
Vincenzo Ciancia, Ugo Montanari, Alexander Kurz, 2010, CMCS.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2014, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, 2008 .
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2010, Sci. Comput. Program..
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2016, SFM.
Vincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli, 2014, Int. J. Secur. Softw. Eng..
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2015, SEFM Workshops.
Vincenzo Ciancia, Ugo Montanari, 2008, CMCS.
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, 2013, FPS.
Vincenzo Ciancia, Mieke Massink, Luca Bortolussi, 2017, Log. Methods Comput. Sci..
Vincenzo Ciancia, Murdoch James Gabbay, 2011, FoSSaCS.
Vincenzo Ciancia, Ernesto Pimentel, Fabio Martinelli, 2013, 2013 International Conference on Availability, Reliability and Security.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2016, COORDINATION.
Vincenzo Ciancia, Ugo Montanari, U. Montanari, 2010, Inf. Comput..
Vincenzo Ciancia, Fabio Gadducci, Laura Bussi, 2020, ArXiv.
Vincenzo Ciancia, Emilio Tuosto, Gian Luigi Ferrari, 2011, Results of the SENSORIA Project.
Gina Belmonte, Vincenzo Ciancia, Mieke Massink, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2021, FMICS.
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2021, ArXiv.
Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
Vincenzo Ciancia, Diego Latella, Mieke Massink, 2021, ArXiv.
Vincenzo Ciancia, Fabio Gadducci, Laura Bussi, 2021, FORTE.
Giovanna Broccia, Gina Belmonte, Vincenzo Ciancia, 2021, MEDI Workshops.