Augusto Sampaio
Papers
4
Total Citations
87
H-Index
4
About
No biography available yet.
Research Focus
Programming language4 · 87 citations
Computer science4 · 87 citations
Diagrammatic reasoning3 · 82 citations
Software3 · 82 citations
Notation3 · 77 citations
Software engineering2 · 72 citations
Artificial intelligence3 · 59 citations
Unified Modeling Language2 · 54 citations
Semantics (computer science)2 · 49 citations
Syntax1 · 44 citations
Data mining1 · 44 citations
Relation (database)1 · 44 citations
Key Achievements
4
H-Index
4
Papers
87
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
Verified simulation for robotics
44 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: Universidade Federal de Pernambuco
Top Papers
- 1Verified simulation for robotics44 citations · 2019
- 2
- 3Modelling and Verification for Swarm Robotics10 citations · 2018
- 4Transforming RoboSim Models into UPPAAL5 citations · 2021
Key Collaborators
ACAna Cavalcanti4 shared papersMCMadiel Conserva Filho3 shared papersAMAlvaro Miyazawa3 shared papersPRPedro Ribeiro3 shared papersJTJon Timmis2 shared papersADAndré Didier1 shared papersDDDehui Du1 shared papersWBWill Barnett1 shared papersMZMingzhuo Zhang1 shared papersGCGustavo Carvalho1 shared papersJBJames Baxter1 shared papersWLWei Li1 shared papersMZMenghan Zhang1 shared papersWLWei Li1 shared papers
Not generated yet