Science Explorer Interactive view Map
Researcher · Laboratoire d'Informatique de Grenoble · France

Nicolas Peltier

Nicolas Peltier publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Semantic Web and Ontologies.

ORCID 0000-0002-8943-7000 OpenAlex
World rank
#1,414,312
of 1,633,909 ranked researchers
Rank in France
#85,313
of 96,116
Works
37
Citations
19
Citations per work
0.5

What does Nicolas Peltier research?

Artificial Intelligence: 59.6%Computational Theory and Mathematics: 17.5%Computer Networks and Communications: 5.3%Electrical and Electronic Engineering: 3.5%other fields: 14.1%60%top field
Artificial Intelligence59.6%Computational Theory and Mathematics17.5%Computer Networks and Communications5.3%Electrical and Electronic Engineering3.5%other fields14.1%

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

  1. 1Artificial Intelligence60% of their works
  2. 2Computational Theory and Mathematics18% of their works
  3. 3Computer Networks and Communications5% of their works
  4. 4Electrical and Electronic Engineering4% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Software4% of their works

Research topics

Which keywords describe Nicolas Peltier's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Knowledge Representation, Static Analysis, Temporal Logic, Answer Set Programming, Automata 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.

All 20 words, with their numbers
  1. Model Checking323 topics
  2. Formal Verification161 topic
  3. Knowledge Representation162 topics
  4. Static Analysis161 topic
  5. Temporal Logic162 topics
  6. Answer Set Programming101 topic
  7. Automata102 topics
  8. Modal Logic101 topic
  9. Ontology61 topic
  10. Satisfiability Modulo Theories61 topic
  11. Semantic Web61 topic
  12. Symbolic Model Checker61 topic
  13. Formal Languages41 topic
  14. Regular Expressions41 topic
  15. Constraint Optimization21 topic
  16. Distributed Algorithms21 topic
  17. Neural Machine Translation21 topic
  18. Parallel Computing21 topic
  19. Performance Optimization21 topic
  20. Statistical Machine Translation21 topic

Where does Nicolas Peltier work?

Nicolas Peltier's main affiliation in the publication record is Laboratoire d'Informatique de Grenoble, France.

How many publications and citations does Nicolas Peltier have?

Science Explorer counts 37 works and 19 citations for Nicolas Peltier, ranking #1,414,312 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.