Nathalie Sznajder

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

论文数

6

总引用数

73

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
6
论文
73
总引用数
12
篇均引用
🏆 最高被引论文
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
33 次引用 · 2014
📈 最高产年份: 2019 (2 论文)
🤝 主要合作者: 11
🏛 所属机构: Centre National de la Recherche Scientifique, Université Paris Cité, Délégation Paris 7

代表论文

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

主要合作者

STSébastien Tixeuil6 篇合著论文MPMaria Potop-Butucaru6 篇合著论文ASArnaud Sangnier2 篇合著论文LMLaure Millet2 篇合著论文XUXavier Urbain2 篇合著论文YAYackolley Amoussou-Guenou1 篇合著论文SBSouheib Baarir1 篇合著论文LRLionel Rieg1 篇合著论文LTLéo Tible1 篇合著论文BBBéatrice Bérard1 篇合著论文PCPierre Courtieu1 篇合著论文
尚未生成