Nicola Paoletti
发表
Hongkai Chen,
Nicola Paoletti,
Scott A. Smolka,
2020,
ArXiv.
Pietro Liò,
Nicola Paoletti,
Mohammad Ali Moni,
2012,
BMC Bioinformatics.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
2017 IEEE International Conference on Software Architecture (ICSA).
Nicola Paoletti,
Marta Z. Kwiatkowska,
Andrea Patanè,
2018,
ACM Trans. Cyber Phys. Syst..
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
QEST.
Nicola Paoletti,
Scott A. Smolka,
Shan Lin,
2017,
CMSB.
Nicola Paoletti,
Pallavi Bagga,
Bedour Alrayes,
2020,
IJCAI.
Hongkai Chen,
Nicola Paoletti,
Scott A. Smolka,
2019,
2019 American Control Conference (ACC).
Nicola Paoletti,
Luca Bortolussi,
Scott D. Stoller,
2019,
From Reactive Systems to Cyber-Physical Systems.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2016,
TACAS.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2018,
ATVA.
Nicola Paoletti,
Pallavi Bagga,
Kostas Stathis,
2020,
ArXiv.
Nicola Paoletti,
2014
.
Nicola Paoletti,
Hillel Kugler,
Youssef Hamadi,
2014,
CAV.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2012,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2011,
CompMod.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
ArXiv.
Nicola Paoletti,
Emanuela Merelli,
Luca Tesei,
2012,
FOCLASA.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
J. Syst. Softw..
Luca Cardelli,
Matthew Wicker,
Nicola Paoletti,
2019,
IJCAI.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2011,
CS2Bio@DisCoTec.
Nicola Paoletti,
Emanuela Merelli,
Luca Tesei,
2013
.
Nicola Paoletti,
Milan Ceska,
Milan Ceska,
2017,
EUROCAST.
Radu Calinescu,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2018,
Journal of Systems and Software.
Luca Cardelli,
Martin Fränzle,
Nicola Paoletti,
2017,
CAV.
Ashish Tiwari,
Radu Grosu,
Nicola Paoletti,
2017,
SAC.
Nicola Paoletti,
Scott A. Smolka,
Luca Bortolussi,
2020,
OVERLAY.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2015,
CMSB.
Nicola Paoletti,
Emanuela Merelli,
Luca Tesei,
2014,
ArXiv.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2011,
CMSB.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2019,
IEEE Access.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2013,
Computational Methods in Systems Biology.
Pietro Liò,
Ezio Bartocci,
Nicola Paoletti,
2018,
TCBB.
Ezio Bartocci,
Nicola Paoletti,
Pietro Liò,
2016,
Lecture Notes in Computer Science.
Ezio Bartocci,
Nicola Paoletti,
Scott A. Smolka,
2017,
Haifa Verification Conference.
Pietro Liò,
Ezio Bartocci,
Nicola Paoletti,
2012,
Trans. Comp. Sys. Biology.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2019,
NFM.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
2014 IEEE International Conference on Healthcare Informatics.
Hongkai Chen,
Nicola Paoletti,
Shan Lin,
2019,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2014,
Acta Informatica.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2017,
ArXiv.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2018,
ATVA.
Ivan Martinovic,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2017,
NDSS.
Nicola Paoletti,
Scott A. Smolka,
Luca Bortolussi,
2019,
RV.
Nicola Paoletti,
Marta Z. Kwiatkowska,
Milan Ceska,
2014,
CMSB.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2016,
HSCC.
Houssam Abbas,
Nicola Paoletti,
Scott A. Smolka,
2018,
ICCPS.
Mauro Marini,
Nicola Paoletti,
Emanuela Merelli,
2013,
SEFM Workshops.
Nicola Paoletti,
Emanuela Merelli,
Luca Tesei,
2016,
Sci. Comput. Program..
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2012,
HSB.
Nicola Paoletti,
Andrea Patane,
Alexandru Mereacre,
2015,
HSB.
Nicola Paoletti,
Emanuela Merelli,
Luca Tesei,
2013
.
Nicola Paoletti,
Alexandru Mereacre,
Marta Z. Kwiatkowska,
2014,
ISoLA.
Pietro Liò,
Nicola Paoletti,
Emanuela Merelli,
2011,
FET.
Chris Barker,
Nicola Paoletti,
Andrea Patane,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Nicola Paoletti,
Kostas Stathis,
Pallavi Bagga,
2021,
Autonomous Agents and Multi-Agent Systems.
Matthew Wicker,
Nicola Paoletti,
Alessandro Abate,
2021,
UAI.
Nicola Paoletti,
Luca Bortolussi,
Francesca Cairoli,
2021,
RV.
Nicola Paoletti,
Scott A. Smolka,
Luca Bortolussi,
2021,
International Journal on Software Tools for Technology Transfer.
Nicola Paoletti,
Marta Kwiatkowska,
Agnieszka Zbrzezny,
2021,
IJCAI.
Nicola Paoletti,
Kostas Stathis,
Pallavi Bagga,
2021,
2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).
Pietro Liò,
Nicola Paoletti,
Sandra Pucciarelli,
2015
.