Science Explorer Back to mapMap
Discussion
Researcher · Université Libre de Bruxelles · Belgium

Léo Exibard

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.

ORCID 0000-0003-0318-1217 OpenAlex
World rank
#6,347,328
of 7,710,434 ranked researchers
Rank in Belgium
#56,024
of 67,186
Works
26
Citations
32
Citations per work
1.2
h-index
3
i10-index 0Top 94% in Computational Theory and Mathematics
Léo Exibard

What does Léo Exibard research?

Léo Exibard's work is mostly in Computer Science (93%), Biochemistry, Genetics and Molecular Biology (4%).

Physical Sciences: 24 works · 93.3% of their workComputer Science: 24 works · 93.3% of their workComputational Theory and Mathematics: 14 works · 54.7% of their workArtificial Intelligence: 7 works · 25.3% of their workSoftware: 2 works · 9.3% of their workComputer Networks and Communications: 1 works · 2.7% of their workComputer Science Applications: 0 works · 1.3% of their workLife Sciences: 1 works · 4.0% of their workBiochemistry, Genetics and Molecular Biology: 1 works · 4.0% of their workMolecular Biology: 1 works · 4.0% of their workEverything else: 1 works · 2.7% of their workTHEIR WORKLéo Exibard26works
Life Sciences4%Physical Sciences93%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science2493.3%
    1. Biochemistry, Genetics and Molecular Biology14.0%
  3. Everything else12.7%
  1. 1Computational Theory and Mathematics55% of their works
  2. 2Artificial Intelligence25% of their works
  3. 3Software9% of their works
  4. 4Molecular Biology4% of their works
  5. 5Computer Networks and Communications3% of their works
  6. 6Computer Science Applications1% of their works

Research topics

Which keywords describe Léo Exibard's research?

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.

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. Automata332 topics
  2. Model Checking282 topics
  3. Satisfiability Modulo Theories181 topic
  4. Symbolic Model Checker181 topic
  5. Formal Languages151 topic
  6. Regular Expressions151 topic
  7. Formal Verification101 topic
  8. Static Analysis101 topic
  9. Algorithmic Information Theory41 topic
  10. Automated Testing41 topic
  11. Computability41 topic
  12. Security Policies41 topic
  13. Side-Channel Attacks41 topic
  14. Software Fault Localization41 topic
  15. Cellular Automata31 topic
  16. Computation31 topic
  17. Domain-Specific Languages31 topic
  18. Model-Driven Engineering31 topic

Where does Léo Exibard work?

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

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

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.

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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Léo Exibard. Posts are plain text and can be reported.