Giuseppe Castagna
About
Giuseppe Castagna has authored 37 papers that have received a total of 582 indexed citations.
This includes 33 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 11 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (30 papers), Advanced Database Systems and Queries (11 papers) and Formal Methods in Verification (9 papers). Giuseppe Castagna is often cited by papers focused on Logic, programming, and type systems (30 papers), Advanced Database Systems and Queries (11 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in France, Italy and United States. Giuseppe Castagna's co-authors include Michele Bugliesi, Véronique Benzaken, Alain Frisch, Luca Padovani and Kim Nguyễn and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and ACM Transactions on Database Systems.
In The Last Decade
side by side view
Countries citing papers authored by Giuseppe Castagna
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by P.E. Raison Breakdown of academic impact, for papers by Roberta Bedin Breakdown of academic impact, for papers by C. M. Ramakritinan Breakdown of academic impact, for papers by Geraldo Antônio Daher Corrêa Franco Breakdown of academic impact, for papers by Ingunn Størksen Breakdown of academic impact, for papers by Laurence Likforman-Sulem Breakdown of academic impact, for papers by Anbok Lee Breakdown of academic impact, for papers by M. Mar Orta