Andrea Asperti

54 papers and 452 indexed citations i.

Andrea Asperti has authored 54 papers that have received a total of 452 indexed citations. This includes 33 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 12 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (9 papers). Andrea Asperti is often cited by papers focused on Logic, programming, and type systems (26 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in Italy, France and United States. Andrea Asperti's co-authors include Claudio Sacerdoti Coen, Wilmer Ricciotti, Cosimo Laneve, E. ̃Tassi and Simone Martini and has published in prestigious journals such as Sensors, IEEE Access and Applied Sciences