David Fernández–Duque
David Fernández–Duque publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Advanced Algebra and Logic.
- World rank
- #6,465,707 of 7,710,434 ranked researchers
- Rank in Belgium
- #56,932 of 67,186
- Works
- 150
- Citations
- 704
- Citations per work
- 4.7
What does David Fernández–Duque research?
David Fernández–Duque's work is mostly in Computer Science (88%), Engineering (2%), Mathematics (2%).
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
- Physical Sciences13791.2%
- Computer Science13288.0%
- Engineering21.6%
- Mathematics21.6%
- Everything else127.9%
- Social Sciences10.9%
- Social Sciences10.9%
- 1Artificial Intelligence55% of their works
- 2Computational Theory and Mathematics29% of their works
- 3Computer Networks and Communications4% of their works
- 4Electrical and Electronic Engineering2% of their works
- 5Mathematical Physics2% of their works
- 6Political Science and International Relations1% of their works
Research topics
Which keywords describe David Fernández–Duque's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Satisfiability Modulo Theories
- Agent-Based Modeling
- Formal Languages
- Ontology
- Algorithmic Information Theory
- Residuated Lattices
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Fuzzy Logic
- Automata
- Computability
- Semantic Web
- Regular Expressions
- Multi-Agent Systems
- Symbolic Model Checker
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 21 words, with their numbers
- Model Checking1803 topics
- Description Logics1272 topics
- Knowledge Representation1272 topics
- Temporal Logic1152 topics
- Answer Set Programming1011 topic
- Modal Logic1011 topic
- Formal Verification651 topic
- Static Analysis651 topic
- Fuzzy Logic561 topic
- Residuated Lattices561 topic
- Automata312 topics
- Algorithmic Information Theory271 topic
- Computability271 topic
- Ontology261 topic
- Semantic Web261 topic
- Formal Languages171 topic
- Regular Expressions171 topic
- Agent-Based Modeling161 topic
- Multi-Agent Systems161 topic
- Satisfiability Modulo Theories141 topic
- Symbolic Model Checker141 topic
Where does David Fernández–Duque work?
David Fernández–Duque's main affiliation in the publication record is Ghent University, Belgium.
How many publications and citations does David Fernández–Duque have?
OpenAlex counts 150 works and 704 citations for David Fernández–Duque, an h-index of 13, ranking #6,465,707 of 7,710,434 researchers worldwide on the quality 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 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 David Fernández–Duque. Posts are plain text and can be reported.