Adam Heriban

Centre National de la Recherche Scientifique

Papers

2

Total Citations

18

H-Index

2

About

No biography available yet.

Research Focus

Algorithm2 · 18 citations
Artificial intelligence2 · 18 citations
Computer science2 · 18 citations
Correctness2 · 18 citations
Impossibility2 · 18 citations
Model checking2 · 18 citations
Rendezvous2 · 18 citations
Robot2 · 18 citations
Simple (philosophy)2 · 18 citations
Spacecraft2 · 18 citations
Theoretical computer science2 · 18 citations

Key Achievements

2
H-Index
2
Papers
18
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
9 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Centre National de la Recherche Scientifique

Top Papers

  1. 1
    Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
    9 citations · 2020
  2. 2
    Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space
    9 citations · 2023

Key Collaborators

STSébastien Tixeuil2 shared papersKWKoichi Wada2 shared papersXDXavier Défago2 shared papers
Not generated yet