Sergio Mover
Sergio Mover publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Software Reliability and Analysis Research.
- World rank
- #1,012,432 of 1,633,909 ranked researchers
- Rank in Italy
- #40,239 of 65,712
- Works
- 15
- Citations
- 44
- Citations per work
- 2.9
What does Sergio Mover research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics28% of their works
- 2Software22% of their works
- 3Hardware and Architecture17% of their works
- 4Artificial Intelligence17% of their works
- 5Safety, Risk, Reliability and Quality11% of their works
- 6Computer Vision and Pattern Recognition6% of their works
Research topics
Which keywords describe Sergio Mover's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Model-Based Development, Architecture-Based Approach, Assurance Cases, High-Level Synthesis, Reconfigurable Computing and Safety Assurance.
- Reinforcement Learning
- Machine Learning
- Deep Learning
- Autonomic Computing
- Safety Assurance
- High-Level Synthesis
- Architecture-Based Approach
- Symbolic Model Checker
- Model Checking
- Model-Based Development
- Assurance Cases
- Reconfigurable Computing
- Software Reliability Modeling
- Deadlock Prevention
- Genetic Programming
- Petri Nets
- 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 17 words, with their numbers
- Model Checking41 topic
- Symbolic Model Checker41 topic
- Model-Based Development32 topics
- Architecture-Based Approach21 topic
- Assurance Cases21 topic
- High-Level Synthesis21 topic
- Reconfigurable Computing21 topic
- Safety Assurance21 topic
- Software Reliability Modeling21 topic
- Autonomic Computing11 topic
- Deadlock Prevention11 topic
- Deep Learning11 topic
- Genetic Programming11 topic
- Machine Learning11 topic
- Petri Nets11 topic
- Reinforcement Learning11 topic
- Self-Adaptive Systems11 topic
Where does Sergio Mover work?
Sergio Mover's main affiliation in the publication record is Fondazione Bruno Kessler, Italy.
How many publications and citations does Sergio Mover have?
Science Explorer counts 15 works and 44 citations for Sergio Mover, ranking #1,012,432 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.