Science Explorer Interactive view Map
Researcher · École Pour l'Informatique et les Techniques Avancées · France

Alexandre Duret-Lutz

Alexandre Duret-Lutz publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.

ORCID 0000-0002-6623-2512 OpenAlex
World rank
#1,038,292
of 1,633,909 ranked researchers
Rank in France
#64,166
of 96,116
Works
16
Citations
55
Citations per work
3.4

What does Alexandre Duret-Lutz research?

Computational Theory and Mathematics: 37.5%Artificial Intelligence: 29.2%Software: 12.5%Geography, Planning and Development: 8.3%other fields: 12.5%38%top field
Computational Theory and Mathematics37.5%Artificial Intelligence29.2%Software12.5%Geography, Planning and Development8.3%other fields12.5%

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

  1. 1Computational Theory and Mathematics38% of their works
  2. 2Artificial Intelligence29% of their works
  3. 3Software12% of their works
  4. 4Geography, Planning and Development8% of their works
  5. 5Building and Construction4% of their works
  6. 6Information Systems4% of their works

Research topics

Which keywords describe Alexandre Duret-Lutz's research?

The keywords of their largest research topics: Model Checking, Automata, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Automated Testing and Software Fault Localization.

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. Model Checking102 topics
  2. Automata72 topics
  3. Formal Verification51 topic
  4. Satisfiability Modulo Theories51 topic
  5. Static Analysis51 topic
  6. Symbolic Model Checker51 topic
  7. Automated Testing31 topic
  8. Software Fault Localization31 topic
  9. Formal Languages21 topic
  10. Regular Expressions21 topic
  11. Autonomic Computing11 topic
  12. Compression11 topic
  13. Gröbner Bases11 topic
  14. Math Search11 topic
  15. Mathematical Information Retrieval11 topic
  16. Self-Adaptive Systems11 topic
  17. Suffix Arrays11 topic
  18. Symbolic Computing11 topic

Where does Alexandre Duret-Lutz work?

Alexandre Duret-Lutz's main affiliation in the publication record is École Pour l'Informatique et les Techniques Avancées, France.

How many publications and citations does Alexandre Duret-Lutz have?

Science Explorer counts 16 works and 55 citations for Alexandre Duret-Lutz, ranking #1,038,292 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.