Étienne Payet
Étienne Payet publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #1,524,431 of 1,633,909 ranked researchers
- Rank in France
- #90,794 of 96,116
- Works
- 17
- Citations
- 30
- Citations per work
- 1.8
What does Étienne Payet research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence37% of their works
- 2Computational Theory and Mathematics23% of their works
- 3Software20% of their works
- 4Signal Processing7% of their works
- 5Computer Networks and Communications7% of their works
- 6Molecular Biology3% of their works
Research topics
Which keywords describe Étienne Payet's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Automated Testing, Satisfiability Modulo Theories, Software Fault Localization and Symbolic Model Checker.
- Side-Channel Attacks
- Molecular Computation
- DNA Computing
- Self-Adaptive Systems
- Autonomic Computing
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Automated Testing
- Software Fault Localization
- Android Malware
- Detection
- Answer Set Programming
- Modal Logic
- Security Policies
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
- Model Checking133 topics
- Formal Verification71 topic
- Static Analysis71 topic
- Temporal Logic62 topics
- Automated Testing51 topic
- Satisfiability Modulo Theories51 topic
- Software Fault Localization51 topic
- Symbolic Model Checker51 topic
- Android Malware21 topic
- Autonomic Computing21 topic
- Detection21 topic
- Self-Adaptive Systems21 topic
- Answer Set Programming11 topic
- DNA Computing11 topic
- Modal Logic11 topic
- Molecular Computation11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
Where does Étienne Payet work?
Étienne Payet's main affiliation in the publication record is Département mathématiques, informatique, sciences de la donnée et technologies du numérique, France.
How many publications and citations does Étienne Payet have?
Science Explorer counts 17 works and 30 citations for Étienne Payet, ranking #1,524,431 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.