Question 1

What is IMDEA Software Institute known for?

Accepted Answer

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).

Question 2

How does IMDEA Software Institute rank in research?

Accepted Answer

IMDEA Software Institute ranks #17,567 of 22,385 institutions worldwide on research quality in 2022-now (#16,427 all time), and #334 of 426 in Spain.

Question 3

Who are the top researchers at IMDEA Software Institute?

Accepted Answer

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

Question 4

What are the most cited papers from IMDEA Software Institute?

Accepted Answer

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).

Question 5

Which research topics does IMDEA Software Institute publish most on?

Accepted Answer

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

Question 6

Which keywords describe research at IMDEA Software Institute?

Accepted Answer

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.

Question 7

Which fields of science does IMDEA Software Institute work in?

Accepted Answer

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.

Question 8

Is IMDEA Software Institute's research output growing?

Accepted Answer

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