Madiel Conserva Filho

Universidade Federal de Pernambuco

Papers

4

Total Citations

86

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
86
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
Verified simulation for robotics
44 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: Universidade Federal de Pernambuco

Top Papers

  1. 1
    Verified simulation for robotics
    44 citations · 2019
  2. 2
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 citations · 2020
  3. 3
    Analysing RoboChart with Probabilities
    9 citations · 2018
  4. 4
    Transforming RoboSim Models into UPPAAL
    5 citations · 2021

Key Collaborators

ACAna Cavalcanti3 shared papersASAugusto Sampaio3 shared papersPRPedro Ribeiro2 shared papersAMAlvaro Miyazawa2 shared papersDDDehui Du1 shared papersWBWill Barnett1 shared papersMZMingzhuo Zhang1 shared papersGCGustavo Carvalho1 shared papersRFRhoger Fellipe Marinho1 shared papersJBJames Baxter1 shared papersWLWei Li1 shared papersMZMenghan Zhang1 shared papersJTJon Timmis1 shared papersAMAlexandre Mota1 shared papersADAndré Didier1 shared papersJWJim Woodcock1 shared papers
Not generated yet