Science Explorer Back to mapMap
Discussion
Researcher · Verimag · France

Sergio Yovine

Sergio Yovine publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Software, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Embedded Systems Design Techniques.

ORCID 0000-0002-2737-4382 OpenAlex
World rank
#253,862
of 7,710,434 ranked researchers
Rank in France
#15,437
of 324,115
Works
112
Citations
7.9k
Citations per work
70.6
h-index
37
i10-index 59Top 2.6% in Computational Theory and Mathematics
Sergio Yovine

What does Sergio Yovine research?

Sergio Yovine's work is mostly in Computer Science (85%), Engineering (2%).

Physical Sciences: 98 works · 87.6% of their workComputer Science: 95 works · 85.1% of their workComputational Theory and Mathematics: 33 works · 29.2% of their workHardware and Architecture: 31 works · 28.0% of their workArtificial Intelligence: 14 works · 12.1% of their workSoftware: 14 works · 12.1% of their workComputer Networks and Communications: 4 works · 3.7% of their workEngineering: 3 works · 2.5% of their workControl and Systems Engineering: 3 works · 2.5% of their workEverything else: 14 works · 12.4% of their workTHEIR WORKSergio Yovine112works
Physical Sciences88%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science9585.1%
    2. Engineering32.5%
  2. Everything else1412.4%
  1. 1Computational Theory and Mathematics29% of their works
  2. 2Hardware and Architecture28% of their works
  3. 3Software12% of their works
  4. 4Artificial Intelligence12% of their works
  5. 5Computer Networks and Communications4% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Sergio Yovine's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, High-Level Synthesis and Reconfigurable Computing.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking862 topics
  2. Satisfiability Modulo Theories681 topic
  3. Symbolic Model Checker681 topic
  4. Embedded Systems632 topics
  5. Hard Real-Time Systems331 topic
  6. Scheduling Algorithms331 topic
  7. High-Level Synthesis301 topic
  8. Reconfigurable Computing301 topic
  9. Parallel Computing221 topic
  10. Performance Optimization221 topic
  11. Automated Testing201 topic
  12. Deadlock Prevention201 topic
  13. Petri Nets201 topic
  14. Software Fault Localization201 topic
  15. Formal Verification181 topic
  16. Static Analysis181 topic
  17. Domain-Specific Languages131 topic
  18. Model-Driven Engineering131 topic

Where does Sergio Yovine work?

Sergio Yovine's main affiliation in the publication record is Verimag, France.

How many publications and citations does Sergio Yovine have?

OpenAlex counts 112 works and 7,903 citations for Sergio Yovine, an h-index of 37, ranking #253,862 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Sergio Yovine. 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.