Science Explorer Interactive view Map
Company · Paris · France

AdaCore (France)

In research, AdaCore (France) stands highest in Physical Sciences (#20,543 of 21,541 worldwide), over all time.

adacore.comROR OpenAlex
World rank, all time
#40,454
of 42,892
Rank in France
#2,147
of 2,321
Research works
174
▼ 54% vs 2013–17
Citations
299
1.7 per fractional work
Top-10% rate
0.0%
record average 16.5%
Open access
13%
world 28%

What is AdaCore (France) 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
Physical SciencesDomain #20,543 of 21,541 2.4%147

Each strip is that field’s whole ranked pool, with the notch where AdaCore (France) 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.

Computer Science: 11.22× its world share, 10 worksComputer ScienceEngineering: 0.15× its world share, 0 worksEngineeringHealth Professions: 0.21× its world share, 0 worksHealth ProfessionsMedicine: 0.05× its world share, 0 worksMedicineDecision Sciences: 5.25× its world share, 1 worksDecision SciencesSocial Sciences: 0.31× its world share, 0 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

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

Which keywords describe research at AdaCore (France)?

By fractional works in all years, weighted toward what it does more of than the world: High-Performance Computing, Model Checking, Distributed Systems, Parallel Computing, Workflow Management, GPU Computing, Performance Optimization and Artificial Intelligence.

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

Size is fractional works in all years 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. High-Performance Computing20▲ 80×2 topics
  2. Model Checking17▲ 92×3 topics
  3. Distributed Systems15▲ 36×4 topics
  4. Parallel Computing12▲ 40×2 topics
  5. Workflow Management12▲ 71×2 topics
  6. GPU Computing12▲ 93×1 topic
  7. Performance Optimization12▲ 65×1 topic
  8. Artificial Intelligence11▲ 7.9×2 topics
  9. Digital Fabrication11▲ 124×1 topic
  10. Parametricism11▲ 313×1 topic
  11. Raman Spectroscopy11▲ 26×2 topics
  12. Resource Management11▲ 36×2 topics
  13. Static Analysis10▲ 155×2 topics
  14. Formal Verification10▲ 168×1 topic
  15. Type Inference10▲ 168×1 topic
  16. Grid Computing9▲ 79×1 topic
  17. Task Scheduling9▲ 79×1 topic
  18. Bronze Age8▲ 110×1 topic
  19. Neolithic8▲ 542×1 topic
  20. Gemstones8▲ 301×1 topic
  21. Geochemistry8▲ 68×1 topic
  22. Embedded Systems8▲ 50×3 topics
  23. Temporal Logic7▲ 56×2 topics
  24. Satisfiability Modulo Theories7▲ 99×1 topic
  25. Symbolic Model Checker7▲ 99×1 topic
  26. Software Development7▲ 64×2 topics
  27. Virtualization6▲ 49×2 topics
  28. Open Source Software6▲ 72×3 topics
  29. Ionic Liquids6▲ 10×3 topics
  30. Model-Based Development5▲ 78×2 topics
  31. Architecture-Based Approach5▲ 94×1 topic
  32. Side-Channel Attacks5▲ 64×3 topics
  33. Software Reliability Modeling5▲ 94×1 topic
  34. Automated Testing5▲ 97×1 topic
  35. Software Fault Localization5▲ 97×1 topic
  36. Dyeing5▲ 116×1 topic
  37. Textiles5▲ 116×1 topic
  38. Control-Flow Integrity4▲ 134×1 topic
  39. Security Policies4▲ 134×1 topic
  40. Semantic Web Services4▲ 27×2 topics

Which research topics does AdaCore (France) publish most on?

By volume in 2022–2025: Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Security and Verification in Computing and Software Testing and Debugging Techniques.

Logic, programming, and …1Logic, programming, and type systems: 1 fractional worksParallel Computing and O…1Parallel Computing and Optimization Techniques: 1 fractional worksSecurity and Verificatio…1Security and Verification in Computing: 1 fractional worksSoftware Testing and Deb…1Software Testing and Debugging Techniques: 1 fractional worksFormal Methods in Verification: 1 fractional worksEmbedded Systems Design Techniques: 1 fractional worksModel-Driven Software En…1Model-Driven Software Engineering Techniques: 1 fractional worksNumerical Methods and Algorithms: 1 fractional worksScientific Computing and Data Management: 1 fractional worksDistributed systems and fault tolerance: 0 fractional works
Artificial IntelligenceHardware and ArchitectureSoftwareComputational Theory and Mathematics2 others

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

  1. 1 Logic, programming, and type systems Artificial Intelligence 1 works
  2. 2 Parallel Computing and Optimization Techniques Hardware and Architecture 1 works
  3. 3 Security and Verification in Computing Artificial Intelligence 1 works
  4. 4 Software Testing and Debugging Techniques Software 1 works
  5. 5 Formal Methods in Verification Computational Theory and Mathematics 1 works
  6. 6 Embedded Systems Design Techniques Hardware and Architecture 1 works
  7. 7 Model-Driven Software Engineering Techniques Software 1 works
  8. 8 Numerical Methods and Algorithms Computational Theory and Mathematics 1 works
  9. 9 Scientific Computing and Data Management Information Systems and Management 1 works
  10. 10 Distributed systems and fault tolerance Computer Networks and Communications 0 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 available12.7%not open87.3%

World: 28% of research is openly available.

with international co-authors11.3%domestic only88.7%

World: 19% is written across borders.

How has AdaCore (France)'s research output changed?

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

201020152020
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 Paris

All research institutions in Paris

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.