Nicola Paoletti

32 papers and 267 indexed citations i.

Nicola Paoletti has authored 32 papers that have received a total of 267 indexed citations. This includes 13 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 8 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (8 papers), Advanced Software Engineering Methodologies (4 papers) and Adversarial Robustness in Machine Learning (3 papers). Nicola Paoletti is often cited by papers focused on Formal Methods in Verification (8 papers), Advanced Software Engineering Methodologies (4 papers) and Adversarial Robustness in Machine Learning (3 papers) and collaborates with scholars based in United Kingdom, United States and Italy. Nicola Paoletti's co-authors include Marta Kwiatkowska, Scott A. Smolka, Píetro Lió, Emanuela Merelli and Shan Lin and has published in prestigious journals such as BMC Bioinformatics, IEEE Access and Ecological Modelling