Science Explorer Interactive view Map
Researcher · Laboratoire de l'Informatique du Parallélisme · France

Pierre Lescanne

Pierre Lescanne publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

ORCID 0000-0001-9512-5276 OpenAlex
World rank
#285,685
of 1,633,909 ranked researchers
Rank in France
#15,751
of 96,116
Works
47
Citations
166
Citations per work
3.5

What does Pierre Lescanne research?

Artificial Intelligence: 55.4%Computational Theory and Mathematics: 23.2%Molecular Biology: 3.6%Computer Networks and Communications: 3.6%other fields: 14.2%55%top field
Artificial Intelligence55.4%Computational Theory and Mathematics23.2%Molecular Biology3.6%Computer Networks and Communications3.6%other fields14.2%

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

  1. 1Artificial Intelligence55% of their works
  2. 2Computational Theory and Mathematics23% of their works
  3. 3Molecular Biology4% of their works
  4. 4Computer Networks and Communications4% of their works
  5. 5Mathematical Physics4% of their works
  6. 6Education2% of their works

Research topics

Which keywords describe Pierre Lescanne's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Automata and Satisfiability Modulo Theories.

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 19 words, with their numbers
  1. Model Checking313 topics
  2. Temporal Logic162 topics
  3. Formal Verification151 topic
  4. Static Analysis151 topic
  5. Answer Set Programming111 topic
  6. Modal Logic111 topic
  7. Automata92 topics
  8. Satisfiability Modulo Theories51 topic
  9. Symbolic Model Checker51 topic
  10. Formal Languages41 topic
  11. Regular Expressions41 topic
  12. Neural Machine Translation31 topic
  13. Statistical Machine Translation31 topic
  14. Adaptation11 topic
  15. Evolution11 topic
  16. Gene Regulatory Networks11 topic
  17. Gene Set Enrichment Analysis11 topic
  18. Protein-Protein Interaction Networks11 topic
  19. Stochastic Gene Expression11 topic

Where does Pierre Lescanne work?

Pierre Lescanne's main affiliation in the publication record is Laboratoire de l'Informatique du Parallélisme, France.

How many publications and citations does Pierre Lescanne have?

Science Explorer counts 47 works and 166 citations for Pierre Lescanne, ranking #285,685 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.