Gustavo Carvalho
Papers
4
Total Citations
52
H-Index
4
About
No biography available yet.
Research Focus
Computer science4 · 52 citations
Programming language3 · 42 citations
Domain (mathematical analysis)3 · 42 citations
Engineering2 · 38 citations
Software2 · 38 citations
Notation2 · 35 citations
Software engineering2 · 35 citations
Code (set theory)1 · 28 citations
Operating system1 · 28 citations
Diagrammatic reasoning1 · 28 citations
Control engineering1 · 28 citations
Code generation1 · 28 citations
Key Achievements
4
H-Index
4
Papers
52
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
28 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: Universidade Federal de Pernambuco
Top Papers
- 1
- 2A Systematic Mapping Study on Robotic Testing of Mobile Devices10 citations · 2022
- 3RoboWorld: Where Can My Robot Work?7 citations · 2021
- 4RoboWorld: Verification of Robotic Systems with Environment in the Loop7 citations · 2023
Key Collaborators
JBJames Baxter3 shared papersACAna Cavalcanti3 shared papersBMBreno Miranda1 shared papersAOAlice Oliveira1 shared papersPRPedro Ribeiro1 shared papersMCMadiel Conserva Filho1 shared papersWSWilliams Santiago1 shared papersRRRiei Rodrigues1 shared papersWBWill Barnett1 shared papersFRFrancisco Rodrigues Júnior1 shared papersASAugusto Sampaio1 shared papersAMAlvaro Miyazawa1 shared papersLDLucas D. Maciel1 shared papersASAndresa Silva1 shared papers
Not generated yet