Nathalie Sznajder

Centre National de la Recherche Scientifique, Université Paris Cité, Délégation Paris 7

Papers

6

Total Citations

73

H-Index

5

About

No biography available yet.

Research Focus

Computer science6 · 73 citations
Artificial intelligence6 · 73 citations
Theoretical computer science6 · 73 citations
Correctness6 · 73 citations
Robot6 · 73 citations
Mathematical proof5 · 71 citations
Mathematics4 · 61 citations
Algorithm4 · 61 citations
Reachability4 · 61 citations
Mobile robot4 · 47 citations
Distributed computing3 · 45 citations
Impossibility3 · 45 citations

Key Achievements

5
H-Index
6
Papers
73
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
33 citations · 2014
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: Centre National de la Recherche Scientifique, Université Paris Cité, Délégation Paris 7

Top Papers

  1. 1
    On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
    33 citations · 2014
  2. 2
    Parameterized verification of algorithms for oblivious robots on a ring
    17 citations · 2019
  3. 3
    Parameterized verification of algorithms for oblivious robots on a ring
    9 citations · 2017
  4. 4
    Formal Methods for Mobile Robots
    7 citations · 2019
  5. 5
    [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
    5 citations · 2015
  6. 6
    On the Encoding and Solving of Partial Information Games
    2 citations · 2021

Key Collaborators

STSébastien Tixeuil6 shared papersMPMaria Potop-Butucaru6 shared papersASArnaud Sangnier2 shared papersLMLaure Millet2 shared papersXUXavier Urbain2 shared papersYAYackolley Amoussou-Guenou1 shared papersSBSouheib Baarir1 shared papersLRLionel Rieg1 shared papersLTLéo Tible1 shared papersBBBéatrice Bérard1 shared papersPCPierre Courtieu1 shared papers
Not generated yet