Carla Piazza

50 papers and 390 indexed citations i.

Carla Piazza has authored 50 papers that have received a total of 390 indexed citations. This includes 30 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (21 papers), Logic, programming, and type systems (12 papers) and Security and Verification in Computing (9 papers). Carla Piazza is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, programming, and type systems (12 papers) and Security and Verification in Computing (9 papers) and collaborates with scholars based in Italy, United States and France. Carla Piazza's co-authors include Sabina Rossi, Alberto Policriti, Agostino Dovier, Annalisa Bossi and Raffaella Gentilini and has published in prestigious journals such as Bioinformatics, Neural Networks and IEEE Transactions on Knowledge and Data Engineering