Science Explorer Interactive view Map
Research facility · Gières · France

Verimag

In research, Verimag stands highest in Computer Science (#244 of 7,020 worldwide), Physical Sciences (#2,901 of 21,541 worldwide) and Computational Theory and Mathematics (#155 of 1,086 worldwide), over all time.

www-verimag.imag.frROR OpenAlex
World rank, all time
#4,726
of 42,892
Rank in France
#247
of 2,321
Research works
678
▼ 42% vs 2013–17
Citations
26k
37.9 per fractional work
Top-10% rate
8.4%
record average 16.5%
Open access
52%
world 28%

What is Verimag known for in research?

The fields where it stands highest, over all time, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorks
Computer ScienceField #244 of 7,020 38.7%573
Physical SciencesDomain #2,901 of 21,541 38.0%622
Computational Theory and MathematicsSubfield #155 of 1,086 46.8%183
Hardware and ArchitectureSubfield #93 of 357 34.3%146

Each strip is that field’s whole ranked pool, with the notch where Verimag 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 world mark, because the world rate differs by field (from about 6% to 21% in this record).

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.

Biochemistry, Genetics and Molecular Biology: 0.12× its world share, 0 worksBiochemistry, Geneti…Neuroscience: 2.54× its world share, 2 worksNeuroscienceComputer Science: 6.56× its world share, 18 worksComputer ScienceEngineering: 0.90× its world share, 5 worksEngineeringEnvironmental Science: 0.40× its world share, 1 worksEnvironmental ScienceMathematics: 0.81× its world share, 0 worksMathematicsPhysics and Astronomy: 0.43× its world share, 0 worksPhysics and AstronomyHealth Professions: 0.32× its world share, 0 worksHealth ProfessionsMedicine: 0.25× its world share, 2 worksMedicineArts and Humanities: 2.36× its world share, 2 worksArts and HumanitiesBusiness, Management and Accounting: 0.27× its world share, 0 worksBusiness, Management…Decision Sciences: 2.06× its world share, 1 worksDecision SciencesEconomics, Econometrics and Finance: 0.91× its world share, 1 worksEconomics, Econometr…Social Sciences: 0.75× its world share, 3 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

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

Who are the top researchers at Verimag?

Ranked on the composite score, Oded Maler, Joseph Sifakis and Thao Dang lead among researchers whose main affiliation is Verimag.

  1. 1 Oded Maler France · #9,529 worldwide 1.2k citations · 53 works
  2. 2 Joseph Sifakis France · #26,202 worldwide 643 citations · 83 works
  3. 3 Thao Dang France · #32,920 worldwide 644 citations · 37 works
  4. 4 Nicolas Halbwachs France · #62,912 worldwide 926 citations · 26 works
  5. 5 Sergio Yovine France · #79,242 worldwide 263 citations · 31 works
  6. 6 Goran Frehse France · #104,297 worldwide 270 citations · 28 works
  7. 7 David Monniaux France · #110,872 worldwide 219 citations · 43 works
  8. 8 Pascal Raymond France · #118,273 worldwide 222 citations · 29 works
  9. 9 Susanne Graf France · #181,769 worldwide 199 citations · 35 works
  10. 10 Florence Maraninchi France · #186,193 worldwide 132 citations · 32 works
All ranked researchers at Verimag

Which keywords describe research at Verimag?

By fractional works in 2022–2025, weighted toward what it does more of than the world: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Neural Networks, Knowledge Representation and Distributed Systems.

▲ 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–2025 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 19 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 19 words, with their numbers
  1. Model Checking3▲ 176×3 topics
  2. Deep Learning3▲ 2.1×11 topics
  3. Machine Learning2▲ 2.1×11 topics
  4. Automata2▲ 211×2 topics
  5. Neural Networks2▲ 3.8×4 topics
  6. Temporal Logic2▲ 165×2 topics
  7. Satisfiability Modulo Theories2▲ 260×1 topic
  8. Symbolic Model Checker2▲ 260×1 topic
  9. Distributed Systems1▲ 24×4 topics
  10. Fault Tolerance1▲ 25×4 topics
  11. Knowledge Representation1▲ 47×3 topics
  12. Description Logics1▲ 70×2 topics
  13. Philosophy1▲ 8.1×4 topics
  14. Ontology1▲ 38×2 topics
  15. Security1▲ 4.6×5 topics
  16. Side-Channel Attacks1▲ 65×2 topics
  17. Embedded Systems1▲ 65×2 topics
  18. Human Rights1▲ 2.8×2 topics
  19. Real-time Optimization1▲ 55×2 topics

Which research topics does Verimag publish most on?

By volume in 2022–2025: Formal Methods in Verification, Software Reliability and Analysis Research, Security and Verification in Computing and Logic, programming, and type systems.

Formal Methods in Verifi…2Formal Methods in Verification: 2 fractional worksSoftware Reliability and…1Software Reliability and Analysis Research: 1 fractional worksSecurity and Verification in Computing: 1 fractional worksLogic, programming, and type systems: 1 fractional worksDistributed systems and fault tolerance: 1 fractional worksSemantic Web and Ontologies: 1 fractional worksSoftware Testing and Debugging Techniques: 1 fractional worksAdvanced Control Systems…1Advanced Control Systems Optimization: 1 fractional worksCognitive Science and Education Research: 1 fractional worksAdversarial Robustness in Machine Learning: 1 fractional works
Computational Theory and MathematicsSoftwareArtificial IntelligenceComputer Networks and Communications2 others

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

  1. 1 Formal Methods in Verification Computational Theory and Mathematics 2 works
  2. 2 Software Reliability and Analysis Research Software 1 works
  3. 3 Security and Verification in Computing Artificial Intelligence 1 works
  4. 4 Logic, programming, and type systems Artificial Intelligence 1 works
  5. 5 Distributed systems and fault tolerance Computer Networks and Communications 1 works
  6. 6 Semantic Web and Ontologies Artificial Intelligence 1 works
  7. 7 Software Testing and Debugging Techniques Software 1 works
  8. 8 Advanced Control Systems Optimization Control and Systems Engineering 1 works
  9. 9 Cognitive Science and Education Research Cognitive Neuroscience 1 works
  10. 10 Adversarial Robustness in Machine Learning Artificial Intelligence 1 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 available51.7%not open48.3%

World: 28% of research is openly available.

with international co-authors20.4%domestic only79.6%

World: 19% is written across borders.

How has Verimag's research output changed?

Output in 2018–2022 was 42% lower than in 2013–2017.

200020102020
grewheldshrank

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

Other research institutions in Gières

All research institutions in Gières

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.