Antoine Girard
Antoine Girard publishes mostly in Computational Theory and Mathematics, Control and Systems Engineering and Hardware and Architecture, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Advanced Control Systems Optimization.
- World rank
- #17,306 of 1,633,909 ranked researchers
- Rank in France
- #961 of 96,116
- Works
- 84
- Citations
- 896
- Citations per work
- 10.7
What does Antoine Girard 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 Mathematics30% of their works
- 2Control and Systems Engineering30% of their works
- 3Hardware and Architecture6% of their works
- 4Artificial Intelligence4% of their works
- 5Statistical and Nonlinear Physics4% of their works
- 6Numerical Analysis4% of their works
Research topics
Which keywords describe Antoine Girard's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Robust Control, Stability Analysis, Deadlock Prevention, Petri Nets and Model Predictive Control.
- Reconfigurable Computing
- Formal Verification
- Event-Triggered Control
- Boundary Control
- Modelica
- Model Predictive Control
- Deadlock Prevention
- Robust Control
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Stability Analysis
- Petri Nets
- Optimization
- Simulation
- Distributed Parameter Systems
- Networked Control Systems
- High-Level Synthesis
- 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 19 words, with their numbers
- Model Checking212 topics
- Satisfiability Modulo Theories171 topic
- Symbolic Model Checker171 topic
- Robust Control142 topics
- Stability Analysis142 topics
- Deadlock Prevention111 topic
- Petri Nets111 topic
- Model Predictive Control91 topic
- Optimization91 topic
- Modelica61 topic
- Simulation61 topic
- Boundary Control51 topic
- Distributed Parameter Systems51 topic
- Event-Triggered Control51 topic
- Networked Control Systems51 topic
- Formal Verification41 topic
- High-Level Synthesis41 topic
- Reconfigurable Computing41 topic
- Static Analysis41 topic
Where does Antoine Girard work?
Antoine Girard's main affiliation in the publication record is Université Grenoble Alpes, France.
How many publications and citations does Antoine Girard have?
Science Explorer counts 84 works and 896 citations for Antoine Girard, ranking #17,306 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.