Luc Maranget
Luc Maranget publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Distributed systems and fault tolerance.
- World rank
- #426,555 of 7,710,434 ranked researchers
- Rank in France
- #22,934 of 324,115
- Works
- 83
- Citations
- 2.9k
- Citations per work
- 34.4
What does Luc Maranget research?
Luc Maranget's work is mostly in Computer Science (88%).
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
- Physical Sciences7387.6%
- Computer Science7387.6%
- Everything else1012.4%
- 1Artificial Intelligence29% of their works
- 2Computer Networks and Communications24% of their works
- 3Hardware and Architecture19% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Information Systems3% of their works
- 6Software3% of their works
Research topics
Which keywords describe Luc Maranget's research?
The keywords of their largest research topics: Model Checking, Parallel Computing, GPU Computing, Performance Optimization, Formal Verification, Static Analysis, Temporal Logic and Distributed Systems.
- Network Coding
- Distributed Storage
- Continuous Queries
- Answer Set Programming
- Satisfiability Modulo Theories
- Distributed Systems
- Static Analysis
- Performance Optimization
- Parallel Computing
- Model Checking
- GPU Computing
- Formal Verification
- Temporal Logic
- Fault Tolerance
- Symbolic Model Checker
- Modal Logic
- Data Stream Management
- High-Level Synthesis
- Reconfigurable Computing
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
- Model Checking603 topics
- Parallel Computing412 topics
- GPU Computing341 topic
- Performance Optimization341 topic
- Formal Verification331 topic
- Static Analysis331 topic
- Temporal Logic272 topics
- Distributed Systems231 topic
- Fault Tolerance231 topic
- Satisfiability Modulo Theories161 topic
- Symbolic Model Checker161 topic
- Answer Set Programming111 topic
- Modal Logic111 topic
- Continuous Queries81 topic
- Data Stream Management81 topic
- Distributed Storage71 topic
- High-Level Synthesis71 topic
- Network Coding71 topic
- Reconfigurable Computing71 topic
Where does Luc Maranget work?
Luc Maranget's main affiliation in the publication record is Institut national de recherche en sciences et technologies du numérique, France.
How many publications and citations does Luc Maranget have?
OpenAlex counts 83 works and 2,853 citations for Luc Maranget, an h-index of 24, ranking #426,555 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 Luc Maranget. 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.