João Marques‐Silva
João Marques‐Silva publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, Reasoning, and Knowledge and Constraint Satisfaction and Optimization.
- World rank
- #73,721 of 1,633,909 ranked researchers
- Rank in Portugal
- #145 of 9,113
- Works
- 100
- Citations
- 826
- Citations per work
- 8.3
What does João Marques‐Silva research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence41% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Computer Networks and Communications9% of their works
- 4Molecular Biology7% of their works
- 5Software6% of their works
- 6Genetics4% of their works
Research topics
Which keywords describe João Marques‐Silva's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Description Logics, Knowledge Representation, Answer Set Programming and Modal Logic.
- Semantic Web
- Ontology
- Software Fault Localization
- Bayesian Networks
- Static Analysis
- Distributed Algorithms
- Modal Logic
- Knowledge Representation
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Description Logics
- Answer Set Programming
- Constraint Optimization
- Formal Verification
- Automated Testing
- Causal Inference
- Heuristic Search
- Planning 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 20 words, with their numbers
- Model Checking563 topics
- Temporal Logic472 topics
- Satisfiability Modulo Theories281 topic
- Symbolic Model Checker281 topic
- Description Logics242 topics
- Knowledge Representation242 topics
- Answer Set Programming191 topic
- Modal Logic191 topic
- Constraint Optimization141 topic
- Distributed Algorithms141 topic
- Formal Verification91 topic
- Static Analysis91 topic
- Automated Testing71 topic
- Bayesian Networks71 topic
- Causal Inference71 topic
- Software Fault Localization71 topic
- Heuristic Search51 topic
- Ontology51 topic
- Planning Systems51 topic
- Semantic Web51 topic
Where does João Marques‐Silva work?
João Marques‐Silva's main affiliation in the publication record is Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal.
How many publications and citations does João Marques‐Silva have?
Science Explorer counts 100 works and 826 citations for João Marques‐Silva, ranking #73,721 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.