Gustavo Carvalho
论文数
4
总引用数
52
H-Index
4
关于
暂无简介。
研究焦点
Computer science4 · 52 次引用
Programming language3 · 42 次引用
Domain (mathematical analysis)3 · 42 次引用
Engineering2 · 38 次引用
Software2 · 38 次引用
Notation2 · 35 次引用
Software engineering2 · 35 次引用
Code (set theory)1 · 28 次引用
Operating system1 · 28 次引用
Diagrammatic reasoning1 · 28 次引用
Control engineering1 · 28 次引用
Code generation1 · 28 次引用
主要成就
4
H 指数
4
论文
52
总引用数
13
篇均引用
🏆 最高被引论文
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
28 次引用 · 2020
📈 最高产年份: 2020 (1 论文)
🤝 主要合作者: 14
🏛 所属机构: Universidade Federal de Pernambuco
代表论文
- 1
- 2
- 3RoboWorld: Where Can My Robot Work?7 次引用 · 2021
- 4
主要合作者
JBJames Baxter3 篇合著论文ACAna Cavalcanti3 篇合著论文BMBreno Miranda1 篇合著论文AOAlice Oliveira1 篇合著论文PRPedro Ribeiro1 篇合著论文MCMadiel Conserva Filho1 篇合著论文WSWilliams Santiago1 篇合著论文RRRiei Rodrigues1 篇合著论文WBWill Barnett1 篇合著论文FRFrancisco Rodrigues Júnior1 篇合著论文ASAugusto Sampaio1 篇合著论文AMAlvaro Miyazawa1 篇合著论文LDLucas D. Maciel1 篇合著论文ASAndresa Silva1 篇合著论文
尚未生成