Science Explorer Back to mapMap
Discussion
Researcher · Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento · Portugal

João P. Marques-Silva

João P. Marques-Silva publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Constraint Satisfaction and Optimization and Logic, Reasoning, and Knowledge.

ORCID 0000-0002-6632-3086 OpenAlex
World rank
#222,117
of 7,710,434 ranked researchers
Rank in Portugal
#576
of 41,760
Works
383
Citations
9.9k
Citations per work
26.0
h-index
47
i10-index 200Top 1.3% in Artificial Intelligence
João P. Marques-Silva

What does João P. Marques-Silva research?

João P. Marques-Silva's work is mostly in Computer Science (80%), Engineering (5%).

Physical Sciences: 328 works · 85.6% of their workComputer Science: 308 works · 80.5% of their workArtificial Intelligence: 152 works · 39.8% of their workComputational Theory and Mathematics: 74 works · 19.3% of their workComputer Networks and Communications: 35 works · 9.1% of their workSoftware: 32 works · 8.3% of their workHardware and Architecture: 15 works · 4.0% of their workEngineering: 20 works · 5.1% of their workElectrical and Electronic Engineering: 20 works · 5.1% of their workEverything else: 55 works · 14.4% of their workTHEIR WORKJoão P.Marques-Silva383works
Physical Sciences86%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science30880.5%
    2. Engineering205.1%
  2. Everything else5514.4%
  1. 1Artificial Intelligence40% of their works
  2. 2Computational Theory and Mathematics19% of their works
  3. 3Computer Networks and Communications9% of their works
  4. 4Software8% of their works
  5. 5Electrical and Electronic Engineering5% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe João P. Marques-Silva's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Constraint Optimization, Distributed Algorithms, Answer Set Programming and 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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking2973 topics
  2. Temporal Logic2432 topics
  3. Satisfiability Modulo Theories1711 topic
  4. Symbolic Model Checker1711 topic
  5. Constraint Optimization851 topic
  6. Distributed Algorithms851 topic
  7. Answer Set Programming721 topic
  8. Modal Logic721 topic
  9. Interpretable Models711 topic
  10. Machine Learning Interpretability711 topic
  11. Bayesian Networks561 topic
  12. Causal Inference561 topic
  13. Automated Testing551 topic
  14. Software Fault Localization551 topic
  15. Formal Verification541 topic
  16. Static Analysis541 topic
  17. Embedded Cores331 topic
  18. Test Data Compression331 topic

Where does João P. Marques-Silva work?

João P. 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 P. Marques-Silva have?

OpenAlex counts 383 works and 9,946 citations for João P. Marques-Silva, an h-index of 47, ranking #222,117 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about João P. Marques-Silva. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.