Science Explorer Interactive view Map
Researcher · Laboratoire de Mathématiques Blaise Pascal · France

René David

René David publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Biomedical Engineering, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Advanced Algebra and Logic.

OpenAlex
World rank
#468,589
of 1,633,909 ranked researchers
Rank in France
#28,038
of 96,116
Works
42
Citations
80
Citations per work
1.9

What does René David research?

Artificial Intelligence: 26.2%Computational Theory and Mathematics: 16.7%Biomedical Engineering: 4.8%Sociology and Political Science: 4.8%other fields: 47.5%26%top field
Artificial Intelligence26.2%Computational Theory and Mathematics16.7%Biomedical Engineering4.8%Sociology and Political Science4.8%other fields47.5%

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

  1. 1Artificial Intelligence26% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Biomedical Engineering5% of their works
  4. 4Sociology and Political Science5% of their works
  5. 5Mechanical Engineering5% of their works
  6. 6Water Science and Technology5% of their works

Research topics

Which keywords describe René David's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Fuzzy Logic, Residuated Lattices and Bioreactor.

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 17 words, with their numbers
  1. Model Checking92 topics
  2. Formal Verification51 topic
  3. Static Analysis51 topic
  4. Answer Set Programming41 topic
  5. Modal Logic41 topic
  6. Fuzzy Logic31 topic
  7. Residuated Lattices31 topic
  8. Bioreactor21 topic
  9. Crystallization21 topic
  10. Floating-Point Arithmetic21 topic
  11. Interval Analysis21 topic
  12. Nanobubbles21 topic
  13. Nucleation21 topic
  14. Scale-up21 topic
  15. Water Treatment21 topic
  16. Catalysis11 topic
  17. Dehydrogenation11 topic

Where does René David work?

René David's main affiliation in the publication record is Laboratoire de Mathématiques Blaise Pascal, France.

How many publications and citations does René David have?

Science Explorer counts 42 works and 80 citations for René David, ranking #468,589 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.