Question 1

What does Léo Exibard research?

Accepted Answer

Léo Exibard publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, semigroups and automata theory and Logic, programming, and type systems.

Question 2

Which keywords describe Léo Exibard's research?

Accepted Answer

The keywords of their largest research topics: Automata, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Languages, Regular Expressions, Formal Verification and Static Analysis.

Question 3

Where does Léo Exibard work?

Accepted Answer

Léo Exibard's main affiliation in the publication record is Université Libre de Bruxelles, Belgium.

Question 4

How many publications and citations does Léo Exibard have?

Accepted Answer

OpenAlex counts 26 works and 32 citations for Léo Exibard, an h-index of 3, ranking #6,347,328 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Léo Exibard's h-index high?

Accepted Answer

An h-index of 3 is at or above that of 12% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 94%.