Science Explorer Back to mapMap
Discussion
Research facility · Pozuelo de Alarcón · Spain

IMDEA Software Institute

In research, IMDEA Software Institute stands highest in Computer Science (#1,464 of 4,417 worldwide) and Physical Sciences (#7,800 of 10,670 worldwide), 2022-now. Relative to its size it is most specialised in Artificial Intelligence, Computer Science and Information Systems (Artificial Intelligence is 12.9× its share of world research).

software.imdea.orgROR OpenAlex
World rank, 2022-now
#17,567
of 22,385 · #16,427 all time
Rank in Spain
#334
of 426
Research works
606
▲ 30% vs 2018-21
Citations
9.6k
15.8 per fractional work
Top-10% rate
11.9%
all institutions 10.0%
vs its own fields
1.00×
1.00× is exactly expected
Open access
44%
world 40%
International
53%
world 18%
IMDEA Software Institute

What is IMDEA Software Institute known for in research?

The fields where it stands highest, 2022-now, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorksAll time
Computer ScienceField #1,464 of 4,417 13.9%103 #1249
Physical SciencesDomain #7,800 of 10,670 13.3%115 #6379

Each strip is that field's whole ranked pool, with the notch where IMDEA Software Institute sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no average mark, because the average differs by field (from about 6% in Dentistry to 21% in Economics).

Which fields of science does IMDEA Software Institute work in?

In 2022-now, 86% of research at IMDEA Software Institute is in Physical Sciences, 12% in Social Sciences. Its largest fields are Computer Science (77%), Social Sciences (6%), Engineering (6%). It does 2.2× the world's share of Physical Sciences.

Physical Sciences: 133 fractional works · 86.4% of its workComputer Science: 119 fractional works · 77.4% of its workArtificial Intelligence: 48 fractional works · 31.2% of its workInformation Systems: 21 fractional works · 13.4% of its workComputational Theory and Mathematics: 16 fractional works · 10.2% of its workComputer Networks and Communications: 13 fractional works · 8.6% of its workSoftware: 7 fractional works · 4.8% of its workSignal Processing: 6 fractional works · 3.8% of its workHardware and Architecture: 4 fractional works · 2.9% of its workComputer Vision and Pattern Recognition: 3 fractional works · 2.1% of its workComputer Science Applications: 0 fractional works · 0.3% of its workEngineering: 9 fractional works · 5.8% of its workElectrical and Electronic Engineering: 4 fractional works · 2.6% of its workIndustrial and Manufacturing Engineering: 1 fractional works · 0.7% of its workBiomedical Engineering: 1 fractional works · 0.5% of its workAerospace Engineering: 1 fractional works · 0.4% of its workControl and Systems Engineering: 0 fractional works · 0.3% of its workMechanics of Materials: 0 fractional works · 0.3% of its workBuilding and Construction: 0 fractional works · 0.3% of its workSafety, Risk, Reliability and Quality: 0 fractional works · 0.3% of its workSmaller subfields together: 1 fractional works · 0.5% of its workMathematics: 2 fractional works · 1.0% of its workStatistics and Probability: 0 fractional works · 0.3% of its workAlgebra and Number Theory: 0 fractional works · 0.3% of its workSmaller subfields together: 1 fractional works · 0.4% of its workPhysics and Astronomy: 1 fractional works · 0.8% of its workAtomic and Molecular Physics, and Optics: 1 fractional works · 0.4% of its workSmaller subfields together: 1 fractional works · 0.5% of its workEnvironmental Science: 1 fractional works · 0.5% of its workHealth, Toxicology and Mutagenesis: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.3% of its workMaterials Science: 1 fractional works · 0.4% of its workMaterials Chemistry: 1 fractional works · 0.4% of its workSmaller subfields together: 0 fractional works · 0.0% of its workEarth and Planetary Sciences: 0 fractional works · 0.3% of its workOceanography: 0 fractional works · 0.3% of its workChemistry: 0 fractional works · 0.1% of its workEnergy: 0 fractional works · 0.1% of its workSocial Sciences: 19 fractional works · 12.3% of its workSocial Sciences: 9 fractional works · 6.1% of its workSociology and Political Science: 3 fractional works · 2.1% of its workEducation: 2 fractional works · 1.6% of its workLaw: 1 fractional works · 0.7% of its workPolitical Science and International Relations: 1 fractional works · 0.6% of its workDemography: 1 fractional works · 0.3% of its workCultural Studies: 0 fractional works · 0.2% of its workGeneral Social Sciences: 0 fractional works · 0.2% of its workSafety Research: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.2% of its workBusiness, Management and Accounting: 4 fractional works · 2.5% of its workManagement Information Systems: 2 fractional works · 1.5% of its workStrategy and Management: 1 fractional works · 0.5% of its workOrganizational Behavior and Human Resource Management: 0 fractional works · 0.2% of its workSmaller subfields together: 1 fractional works · 0.3% of its workDecision Sciences: 3 fractional works · 1.8% of its workInformation Systems and Management: 1 fractional works · 0.9% of its workManagement Science and Operations Research: 1 fractional works · 0.8% of its workArts and Humanities: 1 fractional works · 0.9% of its workLanguage and Linguistics: 1 fractional works · 0.7% of its workSmaller subfields together: 0 fractional works · 0.2% of its workPsychology: 1 fractional works · 0.5% of its workNeuropsychology and Physiological Psychology: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.3% of its workEconomics, Econometrics and Finance: 1 fractional works · 0.4% of its workEconomics and Econometrics: 1 fractional works · 0.4% of its workSmaller subfields together: 0 fractional works · 0.1% of its workHealth Sciences: 1 fractional works · 0.7% of its workMedicine: 1 fractional works · 0.6% of its workDentistry: 0 fractional works · 0.1% of its workHealth Professions: 0 fractional works · 0.0% of its workLife Sciences: 1 fractional works · 0.6% of its workPharmacology, Toxicology and Pharmaceutics: 0 fractional works · 0.2% of its workPharmacology: 0 fractional works · 0.2% of its workBiochemistry, Genetics and Molecular Biology: 0 fractional works · 0.2% of its workNeuroscience: 0 fractional works · 0.2% of its workAgricultural and Biological Sciences: 0 fractional works · 0.0% of its workALL ITS WORKIMDEA SoftwareInstitute154fractional works, 2022-now
Life Sciences1%Physical Sciences86%Health Sciences1%Social Sciences12%

Each ring splits the one inside it: the four domains of science, their fields, their subfields. Size is fractional works in 2022-now. Every slice is a page; the interactive view zooms down to single topics and colours each by how much more of it this institution does than the world.

Its 4 domains and 22 fields, with their numbers
    1. Computer Science11977.4%
    2. Engineering95.8%
    3. Mathematics21.0%
    4. Physics and Astronomy10.8%
    5. Environmental Science10.5%
    6. Materials Science10.4%
    7. Earth and Planetary Sciences00.3%
    8. Chemistry00.1%
    9. Energy00.1%
    1. Social Sciences96.1%
    2. Business, Management and Accounting42.5%
    3. Decision Sciences31.8%
    4. Arts and Humanities10.9%
    5. Psychology10.5%
    6. Economics, Econometrics and Finance10.4%
    1. Medicine10.6%
    2. Dentistry00.1%
    3. Health Professions00.0%
    1. Pharmacology, Toxicology and Pharmaceutics00.2%
    2. Biochemistry, Genetics and Molecular Biology00.2%
    3. Neuroscience00.2%
    4. Agricultural and Biological Sciences00.0%
All of science, and how each field's share has moved since 1950: the Science domain explorer

What does IMDEA Software Institute specialise in?

Where its research is concentrated relative to its size: Artificial Intelligence takes 12.9× the share of its output that it takes of world research.

  1. Artificial IntelligenceSubfield · 47.9 works13×
  2. Computer ScienceField · 118.9 works9.9×
  3. Information SystemsSubfield · 20.6 works7.6×
← less than its size predicts1×more →

Location quotient, a volume reading rather than an impact one. It surfaces small, lopsided specialities.

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Agricultural and Biological Sciences: 0.01× its world share, 0 worksAgricultural and Bio…Biochemistry, Genetics and Molecular Biology: 0.03× its world share, 0 worksBiochemistry, Geneti…Neuroscience: 0.10× its world share, 0 worksNeurosciencePharmacology, Toxicology and Pharmaceutics: 0.62× its world share, 0 worksPharmacology, Toxico…Chemistry: 0.05× its world share, 0 worksChemistryComputer Science: 9.95× its world share, 119 worksComputer ScienceEarth and Planetary Sciences: 0.21× its world share, 0 worksEarth and Planetary …Energy: 0.08× its world share, 0 worksEnergyEngineering: 0.39× its world share, 9 worksEngineeringEnvironmental Science: 0.11× its world share, 1 worksEnvironmental ScienceMaterials Science: 0.12× its world share, 1 worksMaterials ScienceMathematics: 0.86× its world share, 2 worksMathematicsPhysics and Astronomy: 0.37× its world share, 1 worksPhysics and AstronomyDentistry: 0.11× its world share, 0 worksDentistryHealth Professions: 0.01× its world share, 0 worksHealth ProfessionsMedicine: 0.03× its world share, 1 worksMedicineArts and Humanities: 0.31× its world share, 1 worksArts and HumanitiesBusiness, Management and Accounting: 0.79× its world share, 4 worksBusiness, Management…Decision Sciences: 1.84× its world share, 3 worksDecision SciencesEconomics, Econometrics and Finance: 0.20× its world share, 1 worksEconomics, Econometr…Psychology: 0.17× its world share, 1 worksPsychologySocial Sciences: 0.48× its world share, 9 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 9.9×. Every wedge is a field page.

All 22 fields, with their numbers
  1. Computer Science9.95×119 works
  2. Decision Sciences1.84×3 works
  3. Mathematics0.86×2 works
  4. Business, Management and Accounting0.79×4 works
  5. Pharmacology, Toxicology and Pharmaceutics0.62×0 works
  6. Social Sciences0.48×9 works
  7. Engineering0.39×9 works
  8. Physics and Astronomy0.37×1 works
  9. Arts and Humanities0.31×1 works
  10. Earth and Planetary Sciences0.21×0 works
  11. Economics, Econometrics and Finance0.20×1 works
  12. Psychology0.17×1 works
  13. Materials Science0.12×1 works
  14. Environmental Science0.11×1 works
  15. Dentistry0.11×0 works
  16. Neuroscience0.10×0 works
  17. Energy0.08×0 works
  18. Chemistry0.05×0 works
  19. Biochemistry, Genetics and Molecular Biology0.03×0 works
  20. Medicine0.03×1 works
  21. Agricultural and Biological Sciences0.01×0 works
  22. Health Professions0.01×0 works

Who are the top researchers at IMDEA Software Institute?

Ranked on the quality score, Juan Caballero, Pedro Moreno-Sánchez and Alessandra Gorla lead among researchers whose main affiliation is IMDEA Software Institute.

  1. 1 Juan Caballero Spain · #96,746 worldwide 4.5k citations · 90 works
  2. 2 Pedro Moreno-Sánchez Spain · #174,259 worldwide 2.9k citations · 93 works
  3. 3 Alessandra Gorla Spain · #182,489 worldwide 3.4k citations · 84 works
  4. 4 Dario Fiore Spain · #235,142 worldwide 4.1k citations · 139 works
  5. 5 Boris Köpf Spain · #258,441 worldwide 2.4k citations · 83 works
  6. 6 Alexey Gotsman Spain · #350,416 worldwide 2k citations · 95 works
  7. 7 Pierre-Yves Strub Spain · #387,515 worldwide 3.2k citations · 127 works
  8. 8 Dimitris Kolonelos Spain · #442,766 worldwide 354 citations · 20 works
  9. 9 Aleksandar Nanevski Spain · #477,184 worldwide 2k citations · 72 works
  10. 10 Gilles Barthe Spain · #558,556 worldwide 9k citations · 406 works
All ranked researchers at IMDEA Software Institute

What are the most cited papers from IMDEA Software Institute?

The most cited paper from IMDEA Software Institute is "The TAMARIN Prover for the Symbolic Analysis of Security Protocols" (Simon Meier-Vieracker, Benedikt Schmidt, Cas J. F. Cremers et al., 2013), with 653 citations. Next come "Automated Test Input Generation for Android: Are We There Yet? (E)" (468) and "AVclass: A Tool for Massive Malware Labeling" (392).

Most cited papers
#PaperReleasedCitations
1 The TAMARIN Prover for the Symbolic Analysis of Security Protocols Simon Meier-Vieracker, Benedikt Schmidt, Cas J. F. Cremers et al. · Lecture notes in computer science Conference paper 2013 653
2 Automated Test Input Generation for Android: Are We There Yet? (E) Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso Conference paper Nov 2015 468
3 AVclass: A Tool for Massive Malware Labeling Marcos Sebastián, Richard R. Rivera, Platon Kotzias et al. · Lecture notes in computer science Conference paper 2016 392
4 A survey on service quality description Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani et al. · ACM Computing Surveys Open access 11 Jul 2013 323
5 Dependent types and multi-monadic effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. Conference paperOpen access 7 Jan 2016 305
All 60 most cited papers, with filters and sorting

Which keywords describe research at IMDEA Software Institute?

By fractional works in 2022-now, weighted toward what it does more of than the world: Model Checking, Machine Learning, Temporal Logic, Security, Homomorphic Encryption, Identity-Based Encryption, Automata and Satisfiability Modulo Theories.

▲ more of its work than of the world's◆ about the world's share▼ less than the world's

Size is fractional works in 2022-now in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Machine Learning22▲ 4.2×20 topics
  2. Model Checking21▲ 288×3 topics
  3. Deep Learning14▲ 2.7×19 topics
  4. Temporal Logic14▲ 263×2 topics
  5. Security12▲ 12×9 topics
  6. Homomorphic Encryption11▲ 159×1 topic
  7. Identity-Based Encryption11▲ 159×1 topic
  8. Automata10▲ 239×2 topics
  9. Satisfiability Modulo Theories10▲ 347×1 topic
  10. Symbolic Model Checker10▲ 347×1 topic
  11. Security Analysis10▲ 37×4 topics
  12. Privacy9▲ 21×3 topics
  13. Side-Channel Attacks9▲ 115×3 topics
  14. Supply Chain Management9▲ 6.2×3 topics
  15. Internet of Things8▲ 6.5×6 topics
  16. Distributed Systems8▲ 31×6 topics
  17. Healthcare8▲ 4.6×6 topics
  18. Virtualization8▲ 61×2 topics
  19. Formal Verification7▲ 351×1 topic
  20. Static Analysis7▲ 230×1 topic
  21. Blockchain7▲ 20×1 topic
  22. IoT Security7▲ 15×3 topics
  23. Smart Contracts7▲ 29×1 topic
  24. Behavioral Analysis6▲ 34×2 topics
  25. Cryptanalysis6▲ 44×4 topics
  26. Control-Flow Integrity6▲ 178×1 topic
  27. Security Policies6▲ 178×1 topic
  28. Big Data5▲ 3.6×10 topics
  29. Cloud Computing5▲ 12×5 topics
  30. Android Malware5▲ 43×1 topic
  31. Detection5▲ 12×1 topic
  32. Knowledge Representation5▲ 39×3 topics
  33. Description Logics5▲ 69×2 topics
  34. Fault Tolerance5▲ 19×6 topics
  35. Automated Testing4▲ 108×1 topic
  36. Software Fault Localization4▲ 108×1 topic
  37. Code Clone Detection4▲ 68×1 topic
  38. Refactoring4▲ 68×1 topic
  39. Answer Set Programming4▲ 162×1 topic
  40. Modal Logic4▲ 83×1 topic

Which research topics does IMDEA Software Institute publish most on?

By volume in 2022-now: Cryptography and Data Security, Formal Methods in Verification, Logic, programming, and type systems and Blockchain Technology Applications and Security.

Cryptography and Data Security: 11 fractional worksFormal Methods in Verification: 10 fractional worksLogic, programming, and …7Logic, programming, and type systems: 7 fractional worksBlockchain Technology Ap…7Blockchain Technology Applications and Security: 7 fractional worksSecurity and Verification in Computing: 6 fractional worksAdvanced Malware Detection Techniques: 5 fractional worksSoftware Testing and Deb…4Software Testing and Debugging Techniques: 4 fractional worksSoftware Engineering Research: 4 fractional worksLogic, Reasoning, and Knowledge: 4 fractional worksDistributed systems and fault tolerance: 4 fractional works
Artificial IntelligenceComputational Theory and MathematicsInformation SystemsSignal Processing2 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Cryptography and Data Security Artificial Intelligence 11 works
  2. 2 Formal Methods in Verification Computational Theory and Mathematics 10 works
  3. 3 Logic, programming, and type systems Artificial Intelligence 7 works
  4. 4 Blockchain Technology Applications and Security Information Systems 7 works
  5. 5 Security and Verification in Computing Artificial Intelligence 6 works
  6. 6 Advanced Malware Detection Techniques Signal Processing 5 works
  7. 7 Software Testing and Debugging Techniques Software 4 works
  8. 8 Software Engineering Research Information Systems 4 works
  9. 9 Logic, Reasoning, and Knowledge Artificial Intelligence 4 works
  10. 10 Distributed systems and fault tolerance Computer Networks and Communications 4 works

How open and international is its research?

Against the world's own shares: the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available44.0%not open56.0%

World: 40% of research is openly available.

with international co-authors53.1%domestic only46.9%

World: 18% is written across borders.

How has IMDEA Software Institute's research output changed?

Output in 2022-2025 was 30% higher than in 2018-2021.

still counting200020102020
grewheldshrank

The same series as a ribbon: one cell per year, darker for more. The line above answers how much; this answers when.

Its share of all research

Growing output can still be a shrinking share: all of science grows. This is IMDEA Software Institute as a percentage of every work published that year, 0.00064% in 2024.

still counting0.00050%0.0010%0.0015%IMDEA Software Institute0.00059% in 202519801990200020102020

Fractional works of IMDEA Software Institute over all fractional works that year. How the balance of science has shifted.

How much of it reaches the world top 10%

Year by year, against all institutions in the same year.

still counting10%20%30%IMDEA Software Institute10.9% in 2025all institutions10.0% in 20252020

Of each year's output, the share that reached the world's 10% most cited for its field and year. Peak 24.2% in 2013.

Other research institutions in Pozuelo de Alarcón

All research institutions in Pozuelo de Alarcón

Share IMDEA Software Institute's ranking

IMDEA Software Institute on Science Explorer

A card with IMDEA Software Institute's standing and the fields it leads in, for a post or a slide. A link to this page previews as the same card.

Download the card

1200 × 630 PNG, sized for social posts, drawn from the latest snapshot.

Badges for a website1Each links back here and updates with every snapshot

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners have tabs of their own, above.

Discussion

Ask a question or share a note about IMDEA Software Institute. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.