IMDEA Software

411 papers and 4.2k indexed citations i.

About

In recent decades, authors affiliated with IMDEA Software have published 411 papers, which have received a total of 4.2k indexed citations. Scholars at this organization have produced 259 papers in Artificial Intelligence, 120 papers in Information Systems and 109 papers in Computer Networks and Communications on the topics of Logic, programming, and type systems (106 papers), Formal Methods in Verification (84 papers) and Security and Verification in Computing (71 papers). Their work is cited by papers focused on Artificial Intelligence (2.4k citations), Information Systems (1.4k citations) and Computer Networks and Communications (1.2k citations). Authors at IMDEA Software collaborate with scholars in Spain, United States and France and have published in prestigious journals including Applied Physics Letters, The Science of The Total Environment and Communications of the ACM. Some of IMDEA Software's most productive authors include Gilles Barthe, Juan Caballero, Boris Köpf, Pierre-Yves Strub and Manuel V. Hermenegildo.

In The Last Decade

Fields of papers published by authors at IMDEA Software

Since Specialization
EngineeringComputer 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

This network shows the specialization of papers affiliated with IMDEA Software at the time of their publication. Nodes represent fields, and links connect fields that are likely to share authors.

Countries citing scholars working at IMDEA Software

Since Specialization
Citations

This map shows the geographic impact of research produced by authors working at IMDEA Software. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by papers produced at IMDEA Software with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites IMDEA Software more than expected).

Rankless by CCL
2025