Sergio Yovine
Sergio Yovine publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Logic, programming, and type systems.
- World rank
- #79,242 of 1,633,909 ranked researchers
- Rank in France
- #4,187 of 96,116
- Works
- 31
- Citations
- 263
- Citations per work
- 8.5
What does Sergio Yovine research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture25% of their works
- 2Computational Theory and Mathematics14% of their works
- 3Artificial Intelligence14% of their works
- 4Control and Systems Engineering11% of their works
- 5Computer Networks and Communications8% of their works
- 6Signal Processing6% of their works
Research topics
- Formal Methods in Verification
- Embedded Systems Design Techniques
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Interconnection Networks and Systems
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
- Distributed systems and fault tolerance
Which keywords describe Sergio Yovine's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Fault Tolerance, Formal Verification and Parallel Computing.
- Side-Channel Attacks
- Security Policies
- Consistency
- Networks on Chip
- Static Analysis
- Parallel Computing
- Fault Tolerance
- High-Level Synthesis
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Reconfigurable Computing
- Formal Verification
- Performance Optimization
- Interconnection Networks
- Autonomic Computing
- Distributed Systems
- Self-Adaptive Systems
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.
All 18 words, with their numbers
- Model Checking82 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- High-Level Synthesis41 topic
- Reconfigurable Computing41 topic
- Fault Tolerance32 topics
- Formal Verification31 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- Static Analysis31 topic
- Interconnection Networks21 topic
- Networks on Chip21 topic
- Autonomic Computing11 topic
- Consistency11 topic
- Distributed Systems11 topic
- Security Policies11 topic
- Self-Adaptive Systems11 topic
- Side-Channel Attacks11 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?
Science Explorer counts 31 works and 263 citations for Sergio Yovine, ranking #79,242 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.