Matthieu Roy
Matthieu Roy publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Distributed systems and fault tolerance, Formal Methods in Verification and Real-Time Systems Scheduling.
- World rank
- #624,732 of 1,633,909 ranked researchers
- Rank in France
- #38,363 of 96,116
- Works
- 31
- Citations
- 60
- Citations per work
- 1.9
What does Matthieu Roy research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications38% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Hardware and Architecture17% of their works
- 4Artificial Intelligence10% of their works
- 5Computer Vision and Pattern Recognition7% of their works
- 6Sociology and Political Science3% of their works
Research topics
Which keywords describe Matthieu Roy's research?
The keywords of their largest research topics: Distributed Systems, Fault Tolerance, Model Checking, Hard Real-Time Systems, Satisfiability Modulo Theories, Scheduling Algorithms, Symbolic Model Checker and Activity Recognition.
- Semantic Web
- Petri Nets
- Formal Verification
- Autonomic Computing
- Activity Recognition
- Scheduling Algorithms
- Hard Real-Time Systems
- Fault Tolerance
- Distributed Systems
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Pervasive Computing
- Deadlock Prevention
- Ontology
- Self-Adaptive Systems
- 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 17 words, with their numbers
- Distributed Systems61 topic
- Fault Tolerance61 topic
- Model Checking52 topics
- Hard Real-Time Systems41 topic
- Satisfiability Modulo Theories41 topic
- Scheduling Algorithms41 topic
- Symbolic Model Checker41 topic
- Activity Recognition21 topic
- Pervasive Computing21 topic
- Autonomic Computing11 topic
- Deadlock Prevention11 topic
- Formal Verification11 topic
- Ontology11 topic
- Petri Nets11 topic
- Self-Adaptive Systems11 topic
- Semantic Web11 topic
- Static Analysis11 topic
Where does Matthieu Roy work?
Matthieu Roy's main affiliation in the publication record is Laboratoire d'Analyse et d'Architecture des Systèmes, France.
How many publications and citations does Matthieu Roy have?
Science Explorer counts 31 works and 60 citations for Matthieu Roy, ranking #624,732 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.