Arnaud Sangnier
Papers
2
Total Citations
26
H-Index
2
About
No biography available yet.
Research Focus
A priori and a posteriori2 · 26 citations
Algorithm2 · 26 citations
Artificial intelligence2 · 26 citations
Asynchronous communication2 · 26 citations
Computer science2 · 26 citations
Correctness2 · 26 citations
Decidability2 · 26 citations
Formal verification2 · 26 citations
Mathematical proof2 · 26 citations
Mathematics2 · 26 citations
Model checking2 · 26 citations
Parameterized complexity2 · 26 citations
Key Achievements
2
H-Index
2
Papers
26
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Parameterized verification of algorithms for oblivious robots on a ring
17 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Délégation Paris 7, Université Paris Cité
Top Papers
- 1Parameterized verification of algorithms for oblivious robots on a ring17 citations · 2019
- 2Parameterized verification of algorithms for oblivious robots on a ring9 citations · 2017
Key Collaborators
Not generated yet