Marc Pantel
Marc Pantel publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Advanced Software Engineering Methodologies.
- World rank
- #494,819 of 1,633,909 ranked researchers
- Rank in France
- #29,782 of 96,116
- Works
- 51
- Citations
- 90
- Citations per work
- 1.8
What does Marc Pantel research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics23% of their works
- 2Software19% of their works
- 3Hardware and Architecture17% of their works
- 4Artificial Intelligence12% of their works
- 5Information Systems10% of their works
- 6Computer Networks and Communications8% of their works
Research topics
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Distributed and Parallel Computing Systems
- Real-Time Systems Scheduling
- Service-Oriented Architecture and Web Services
- Parallel Computing and Optimization Techniques
- Embedded Systems Design Techniques
Which keywords describe Marc Pantel's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Domain-Specific Languages, High-Performance Computing, Model-Driven Engineering, Embedded Systems, Autonomic Computing and Distributed Systems.
- Reconfigurable Computing
- Performance Optimization
- Semantic Web Services
- Scheduling Algorithms
- Hard Real-Time Systems
- Distributed Systems
- Embedded Systems
- High-Performance Computing
- Symbolic Model Checker
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Autonomic Computing
- Grid Computing
- QoS-Aware Middleware
- Self-Adaptive Systems
- Parallel Computing
- 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.
All 18 words, with their numbers
- Model Checking111 topic
- Symbolic Model Checker111 topic
- Domain-Specific Languages71 topic
- High-Performance Computing72 topics
- Model-Driven Engineering71 topic
- Embedded Systems62 topics
- Autonomic Computing41 topic
- Distributed Systems41 topic
- Grid Computing41 topic
- Hard Real-Time Systems41 topic
- QoS-Aware Middleware41 topic
- Scheduling Algorithms41 topic
- Self-Adaptive Systems41 topic
- Semantic Web Services41 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- High-Level Synthesis21 topic
- Reconfigurable Computing21 topic
Where does Marc Pantel work?
Marc Pantel's main affiliation in the publication record is Institut de Recherche en Informatique de Toulouse, France.
How many publications and citations does Marc Pantel have?
Science Explorer counts 51 works and 90 citations for Marc Pantel, ranking #494,819 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.