Science Explorer Back to mapMap
Discussion
Researcher · Université Grenoble Alpes · France

Jean‐François Monin

Jean‐François Monin publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Parallel Computing and Optimization Techniques.

OpenAlex
World rank
#6,348,353
of 7,710,434 ranked researchers
Rank in France
#271,444
of 324,115
Works
46
Citations
199
Citations per work
4.3
h-index
7
i10-index 3Top 65% in Artificial Intelligence
Jean‐François Monin

What does Jean‐François Monin research?

Jean‐François Monin's work is mostly in Computer Science (87%), Engineering (2%).

Physical Sciences: 41 works · 88.6% of their workComputer Science: 40 works · 87.1% of their workArtificial Intelligence: 13 works · 29.0% of their workComputational Theory and Mathematics: 12 works · 26.0% of their workHardware and Architecture: 8 works · 18.3% of their workComputer Networks and Communications: 5 works · 10.7% of their workInformation Systems: 1 works · 3.1% of their workEngineering: 1 works · 1.5% of their workBuilding and Construction: 1 works · 1.5% of their workEverything else: 5 works · 11.4% of their workTHEIR WORKJean‐FrançoisMonin46works
Physical Sciences89%

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 Science4087.1%
    2. Engineering11.5%
  2. Everything else511.4%
  1. 1Artificial Intelligence29% of their works
  2. 2Computational Theory and Mathematics26% of their works
  3. 3Hardware and Architecture18% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Information Systems3% of their works
  6. 6Building and Construction2% of their works

Research topics

Which keywords describe Jean‐François Monin's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Embedded Systems and High-Level Synthesis.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 19 words, with their numbers
  1. Model Checking533 topics
  2. Temporal Logic302 topics
  3. Satisfiability Modulo Theories241 topic
  4. Symbolic Model Checker241 topic
  5. Formal Verification231 topic
  6. Static Analysis231 topic
  7. Embedded Systems142 topics
  8. High-Level Synthesis91 topic
  9. Parallel Computing91 topic
  10. Performance Optimization91 topic
  11. Reconfigurable Computing91 topic
  12. Distributed Systems71 topic
  13. Fault Tolerance71 topic
  14. Answer Set Programming61 topic
  15. Deadlock Prevention61 topic
  16. Modal Logic61 topic
  17. Petri Nets61 topic
  18. Hard Real-Time Systems51 topic
  19. Scheduling Algorithms51 topic

Where does Jean‐François Monin work?

Jean‐François Monin's main affiliation in the publication record is Université Grenoble Alpes, France.

How many publications and citations does Jean‐François Monin have?

OpenAlex counts 46 works and 199 citations for Jean‐François Monin, an h-index of 7, ranking #6,348,353 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Jean‐François Monin. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.