Will Barnett

University of York

Papers

2

Total Citations

33

H-Index

2

About

No biography available yet.

Research Focus

Software engineering2 · 33 citations
Computer science2 · 33 citations
Programming language2 · 33 citations
Domain (mathematical analysis)2 · 33 citations
Software2 · 33 citations
Engineering1 · 28 citations
Simulation1 · 28 citations
Code generation1 · 28 citations
Notation1 · 28 citations
Diagrammatic reasoning1 · 28 citations
Control engineering1 · 28 citations
Code (set theory)1 · 28 citations

Key Achievements

2
H-Index
2
Papers
33
Total Citations
17
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: 7
🏛 Institutions: University of York

Top Papers

  1. 1
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 citations · 2020
  2. 2
    Architectural modelling for robotics: RoboArch and the CorteX example
    5 citations · 2022

Key Collaborators

AMAlvaro Miyazawa2 shared papersACAna Cavalcanti2 shared papersPRPedro Ribeiro1 shared papersMCMadiel Conserva Filho1 shared papersGCGustavo Carvalho1 shared papersJBJames Baxter1 shared papersASAugusto Sampaio1 shared papers
Not generated yet