Omar Inverso
Omar Inverso publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Parallel Computing and Optimization Techniques.
- World rank
- #1,335,263 of 1,633,909 ranked researchers
- Rank in Italy
- #54,341 of 65,712
- Works
- 15
- Citations
- 45
- Citations per work
- 3.0
What does Omar Inverso 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 Mathematics29% of their works
- 2Artificial Intelligence18% of their works
- 3Hardware and Architecture18% of their works
- 4Computer Networks and Communications14% of their works
- 5Information Systems and Management7% of their works
- 6Software4% of their works
Research topics
Which keywords describe Omar Inverso's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Parallel Computing, Performance Optimization and Static Analysis.
- Self-Adaptive Systems
- Autonomic Computing
- Scientific Workflows
- Reproducibility
- Fault Tolerance
- Static Analysis
- Parallel Computing
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Performance Optimization
- Distributed Systems
- Hard Real-Time Systems
- Scheduling Algorithms
- Answer Set Programming
- Modal Logic
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 Checking113 topics
- Temporal Logic82 topics
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Formal Verification31 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- Static Analysis31 topic
- Distributed Systems21 topic
- Fault Tolerance21 topic
- Hard Real-Time Systems21 topic
- Reproducibility21 topic
- Scheduling Algorithms21 topic
- Scientific Workflows21 topic
- Answer Set Programming11 topic
- Autonomic Computing11 topic
- Modal Logic11 topic
- Self-Adaptive Systems11 topic
Where does Omar Inverso work?
Omar Inverso's main affiliation in the publication record is Gran Sasso Science Institute, Italy.
How many publications and citations does Omar Inverso have?
Science Explorer counts 15 works and 45 citations for Omar Inverso, ranking #1,335,263 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.