Giuseppe Castagna
About
Giuseppe Castagna has authored 37 papers that have received a total of 594 indexed citations.
This includes 33 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 12 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, Alain Frisch, Luca Padovani, Véronique Benzaken 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
Fields of papers published by Giuseppe Castagna
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
Countries citing papers authored by Giuseppe Castagna
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Reneé van Eyden Breakdown of academic impact, for papers by Vassilis Aletras Breakdown of academic impact, for papers by Wan‐Ju Lee Breakdown of academic impact, for papers by Maria Giovanna Tanda Breakdown of academic impact, for papers by Cyrla Zaltman Breakdown of academic impact, for papers by Rajinder Jindal Breakdown of academic impact, for papers by E.M. Miyao Breakdown of academic impact, for papers by Jie Liang