Madiel Conserva Filho

Universidade Federal de Pernambuco

论文数

4

总引用数

86

H-Index

4

关于

暂无简介。

研究焦点

Programming language4 · 86 次引用
Computer science4 · 86 次引用
Notation3 · 77 次引用
Software2 · 72 次引用
Diagrammatic reasoning2 · 72 次引用
Software engineering2 · 72 次引用
Artificial intelligence3 · 58 次引用
Semantics (computer science)3 · 58 次引用
Syntax1 · 44 次引用
Relation (database)1 · 44 次引用
Data mining1 · 44 次引用
Unified Modeling Language1 · 44 次引用

主要成就

4
H 指数
4
论文
86
总引用数
22
篇均引用
🏆 最高被引论文
Verified simulation for robotics
44 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 16
🏛 所属机构: 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
    Analysing RoboChart with Probabilities
    9 次引用 · 2018
  4. 4
    Transforming RoboSim Models into UPPAAL
    5 次引用 · 2021

主要合作者

ACAna Cavalcanti3 篇合著论文ASAugusto Sampaio3 篇合著论文PRPedro Ribeiro2 篇合著论文AMAlvaro Miyazawa2 篇合著论文DDDehui Du1 篇合著论文WBWill Barnett1 篇合著论文MZMingzhuo Zhang1 篇合著论文GCGustavo Carvalho1 篇合著论文RFRhoger Fellipe Marinho1 篇合著论文JBJames Baxter1 篇合著论文WLWei Li1 篇合著论文MZMenghan Zhang1 篇合著论文JTJon Timmis1 篇合著论文AMAlexandre Mota1 篇合著论文ADAndré Didier1 篇合著论文JWJim Woodcock1 篇合著论文
尚未生成