Benoît Valiron
Benoît Valiron publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Atomic and Molecular Physics, and Optics, on topics such as Quantum Computing Algorithms and Architecture, Computability, Logic, AI Algorithms and Logic, programming, and type systems.
- World rank
- #219,162 of 1,633,909 ranked researchers
- Rank in France
- #11,660 of 96,116
- Works
- 31
- Citations
- 153
- Citations per work
- 4.9
What does Benoît Valiron research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence49% of their works
- 2Computational Theory and Mathematics26% of their works
- 3Atomic and Molecular Physics, and Optics9% of their works
- 4Computer Graphics and Computer-Aided Design3% of their works
- 5Hardware and Architecture3% of their works
- 6Computer Networks and Communications3% of their works
Research topics
Which keywords describe Benoît Valiron's research?
The keywords of their largest research topics: Quantum Information, Model Checking, Quantum Algorithms, Quantum Computation, Entanglement, Algorithmic Information Theory, Computability and Formal Verification.
- Symbolic Model Checker
- Residuated Lattices
- Quantum
- Decoherence
- Bell Inequality
- Temporal Logic
- Formal Verification
- Algorithmic Information Theory
- Quantum Computation
- Model Checking
- Quantum Information
- Quantum Algorithms
- Entanglement
- Computability
- Static Analysis
- Answer Set Programming
- Cryptography
- Modal Logic
- Fuzzy Logic
- 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 20 words, with their numbers
- Quantum Information102 topics
- Model Checking83 topics
- Quantum Algorithms71 topic
- Quantum Computation71 topic
- Entanglement62 topics
- Algorithmic Information Theory51 topic
- Computability51 topic
- Formal Verification41 topic
- Static Analysis41 topic
- Temporal Logic42 topics
- Answer Set Programming31 topic
- Bell Inequality31 topic
- Cryptography31 topic
- Decoherence31 topic
- Modal Logic31 topic
- Quantum31 topic
- Fuzzy Logic21 topic
- Residuated Lattices21 topic
- Satisfiability Modulo Theories11 topic
- Symbolic Model Checker11 topic
Where does Benoît Valiron work?
Benoît Valiron's main affiliation in the publication record is CentraleSupélec, France.
How many publications and citations does Benoît Valiron have?
Science Explorer counts 31 works and 153 citations for Benoît Valiron, ranking #219,162 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.