Hugo Torres Vieira
Hugo Torres Vieira publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #1,566,265 of 1,633,909 ranked researchers
- Rank in Italy
- #63,544 of 65,712
- Works
- 15
- Citations
- 5
- Citations per work
- 0.3
What does Hugo Torres Vieira research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence33% of their works
- 2Computer Networks and Communications13% of their works
- 3Computational Theory and Mathematics13% of their works
- 4Developmental and Educational Psychology13% of their works
- 5Information Systems7% of their works
- 6Social Psychology7% of their works
Research topics
Which keywords describe Hugo Torres Vieira's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Agent-Based Modeling and Answer Set Programming.
- Semantic Web Services
- QoS-Aware Middleware
- Modal Logic
- Distributed Systems
- Continuous Queries
- Answer Set Programming
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Formal Verification
- Static Analysis
- Agent-Based Modeling
- Autonomic Computing
- Data Stream Management
- Fault Tolerance
- Multi-Agent 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 Checking53 topics
- Temporal Logic32 topics
- Formal Verification21 topic
- Satisfiability Modulo Theories21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
- Agent-Based Modeling11 topic
- Answer Set Programming11 topic
- Autonomic Computing11 topic
- Continuous Queries11 topic
- Data Stream Management11 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- Modal Logic11 topic
- Multi-Agent Systems11 topic
- QoS-Aware Middleware11 topic
- Self-Adaptive Systems11 topic
- Semantic Web Services11 topic
Where does Hugo Torres Vieira work?
Hugo Torres Vieira's main affiliation in the publication record is IMT School for Advanced Studies Lucca, Italy.
How many publications and citations does Hugo Torres Vieira have?
Science Explorer counts 15 works and 5 citations for Hugo Torres Vieira, ranking #1,566,265 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.