Science Explorer Interactive view Map
Researcher · Laboratoire Interuniversitaire des Systèmes Atmosphériques · France

Jean-Louis Boimond

Jean-Louis Boimond publishes mostly in Computational Theory and Mathematics, Industrial and Manufacturing Engineering and Computer Networks and Communications, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Scheduling and Optimization Algorithms.

OpenAlex
World rank
#576,136
of 1,633,909 ranked researchers
Rank in France
#35,072
of 96,116
Works
36
Citations
57
Citations per work
1.6

What does Jean-Louis Boimond research?

Computational Theory and Mathematics: 40.6%Industrial and Manufacturing Engineering: 18.8%Computer Networks and Communications: 12.5%Artificial Intelligence: 9.4%other fields: 18.7%41%top field
Computational Theory and Mathematics40.6%Industrial and Manufacturing Engineering18.8%Computer Networks and Communications12.5%Artificial Intelligence9.4%other fields18.7%

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 Mathematics41% of their works
  2. 2Industrial and Manufacturing Engineering19% of their works
  3. 3Computer Networks and Communications12% of their works
  4. 4Artificial Intelligence9% of their works
  5. 5Hardware and Architecture3% of their works
  6. 6Algebra and Number Theory3% of their works

Research topics

Which keywords describe Jean-Louis Boimond's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Petri Nets, Manufacturing and Scheduling.

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 Checking82 topics
  2. Automata72 topics
  3. Satisfiability Modulo Theories61 topic
  4. Symbolic Model Checker61 topic
  5. Deadlock Prevention51 topic
  6. Petri Nets51 topic
  7. Manufacturing31 topic
  8. Scheduling31 topic
  9. Formal Verification21 topic
  10. Static Analysis21 topic
  11. Algorithmic Information Theory11 topic
  12. Computability11 topic
  13. Continuous Queries11 topic
  14. Data Stream Management11 topic
  15. Formal Languages11 topic
  16. Heuristic Search11 topic
  17. Planning Systems11 topic
  18. Regular Expressions11 topic

Where does Jean-Louis Boimond work?

Jean-Louis Boimond's main affiliation in the publication record is Laboratoire Interuniversitaire des Systèmes Atmosphériques, France.

How many publications and citations does Jean-Louis Boimond have?

Science Explorer counts 36 works and 57 citations for Jean-Louis Boimond, ranking #576,136 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.