Augusto Sampaio

Universidade Federal de Pernambuco

论文数

4

总引用数

87

H-Index

4

关于

暂无简介。

研究焦点

Programming language4 · 87 次引用
Computer science4 · 87 次引用
Diagrammatic reasoning3 · 82 次引用
Software3 · 82 次引用
Notation3 · 77 次引用
Software engineering2 · 72 次引用
Artificial intelligence3 · 59 次引用
Unified Modeling Language2 · 54 次引用
Semantics (computer science)2 · 49 次引用
Syntax1 · 44 次引用
Data mining1 · 44 次引用
Relation (database)1 · 44 次引用

主要成就

4
H 指数
4
论文
87
总引用数
22
篇均引用
🏆 最高被引论文
Verified simulation for robotics
44 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 14
🏛 所属机构: Universidade Federal de Pernambuco

代表论文

  1. 1
    Verified simulation for robotics
    44 次引用 · 2019
  2. 2
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 次引用 · 2020
  3. 3
    Modelling and Verification for Swarm Robotics
    10 次引用 · 2018
  4. 4
    Transforming RoboSim Models into UPPAAL
    5 次引用 · 2021

主要合作者

ACAna Cavalcanti4 篇合著论文MCMadiel Conserva Filho3 篇合著论文AMAlvaro Miyazawa3 篇合著论文PRPedro Ribeiro3 篇合著论文JTJon Timmis2 篇合著论文ADAndré Didier1 篇合著论文DDDehui Du1 篇合著论文WBWill Barnett1 篇合著论文MZMingzhuo Zhang1 篇合著论文GCGustavo Carvalho1 篇合著论文JBJames Baxter1 篇合著论文WLWei Li1 篇合著论文MZMenghan Zhang1 篇合著论文WLWei Li1 篇合著论文
尚未生成