Sasha Rubin

University of Naples Federico II, The University of Sydney

论文数

4

总引用数

48

H-Index

3

关于

暂无简介。

研究焦点

Artificial intelligence4 · 48 次引用
Theoretical computer science4 · 48 次引用
Computer science4 · 48 次引用
Distributed computing3 · 46 次引用
Automaton3 · 46 次引用
Decidability3 · 46 次引用
Programming language3 · 39 次引用
Mobile robot2 · 37 次引用
Robot2 · 37 次引用
Computer network1 · 28 次引用
Bounded function1 · 28 次引用
Asynchronous communication1 · 28 次引用

主要成就

3
H 指数
4
论文
48
总引用数
12
篇均引用
🏆 最高被引论文
Verification of Asynchronous Mobile-Robots in Partially-Known Environments
28 次引用 · 2015
📈 最高产年份: 2015 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: University of Naples Federico II, The University of Sydney

代表论文

  1. 1
    Verification of Asynchronous Mobile-Robots in Partially-Known Environments
    28 次引用 · 2015
  2. 2
    Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments
    9 次引用 · 2015
  3. 3
    Verification of agent navigation in partially-known environments
    9 次引用 · 2022
  4. 4
    Public and Private Affairs in Strategic Reasoning
    2 次引用 · 2022

主要合作者

AMAniello Murano3 篇合著论文BABenjamin Aminof2 篇合著论文FZFlorian Zuleger2 篇合著论文NFNathanaël Fijalkow1 篇合著论文MYMoshe Y. Vardi1 篇合著论文BMBastien Maubert1 篇合著论文
尚未生成