Science Explorer Interactive view Map
Researcher · INESC TEC · Portugal

David Pereira

David Pereira publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Real-Time Systems Scheduling, Formal Methods in Verification and Embedded Systems Design Techniques.

ORCID 0000-0002-7561-6649 OpenAlex
World rank
#1,245,959
of 1,633,909 ranked researchers
Rank in Portugal
#6,772
of 9,113
Works
26
Citations
41
Citations per work
1.6

What does David Pereira research?

Hardware and Architecture: 26.1%Computational Theory and Mathematics: 17.4%Artificial Intelligence: 10.9%Computer Networks and Communications: 10.9%other fields: 34.7%26%top field
Hardware and Architecture26.1%Computational Theory and Mathematics17.4%Artificial Intelligence10.9%Computer Networks and Communications10.9%other fields34.7%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Hardware and Architecture26% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Artificial Intelligence11% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Software6% of their works
  6. 6Clinical Psychology6% of their works

Research topics

Which keywords describe David Pereira's research?

The keywords of their largest research topics: Embedded Systems, Hard Real-Time Systems, Model Checking, Scheduling Algorithms, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis and Reconfigurable Computing.

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
  1. Embedded Systems112 topics
  2. Hard Real-Time Systems71 topic
  3. Model Checking72 topics
  4. Scheduling Algorithms71 topic
  5. Satisfiability Modulo Theories61 topic
  6. Symbolic Model Checker61 topic
  7. High-Level Synthesis41 topic
  8. Reconfigurable Computing41 topic
  9. Architecture-Based Approach21 topic
  10. Software Reliability Modeling21 topic
  11. Deep Learning11 topic
  12. Formal Verification11 topic
  13. Functional–Structural Plant Modelling11 topic
  14. Ontology11 topic
  15. Plant Architecture11 topic
  16. Plant Disease Detection11 topic
  17. Semantic Web11 topic
  18. Static Analysis11 topic

Where does David Pereira work?

David Pereira's main affiliation in the publication record is INESC TEC, Portugal.

How many publications and citations does David Pereira have?

Science Explorer counts 26 works and 41 citations for David Pereira, ranking #1,245,959 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.