James Baxter
Papers
7
Total Citations
89
H-Index
5
About
No biography available yet.
Research Focus
Computer science7 · 89 citations
Programming language7 · 89 citations
Domain (mathematical analysis)6 · 87 citations
Notation5 · 80 citations
Semantics (computer science)5 · 59 citations
State (computer science)3 · 57 citations
Operational semantics3 · 50 citations
Diagrammatic reasoning3 · 46 citations
Software3 · 46 citations
Finite-state machine3 · 45 citations
Theoretical computer science2 · 43 citations
Software engineering3 · 37 citations
Key Achievements
5
H-Index
7
Papers
89
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: 2023 (2 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: University of York
Top Papers
- 1
- 2
- 3Testing Robots Using CSP16 citations · 2019
- 4RoboWorld: Where Can My Robot Work?7 citations · 2021
- 5RoboWorld: Verification of Robotic Systems with Environment in the Loop7 citations · 2023
- 6Diagrammatic physical robot models2 citations · 2025
- 7Model-Based Engineering for Robotics with RoboChart and RoboTool2 citations · 2023
Key Collaborators
ACAna Cavalcanti7 shared papersAMAlvaro Miyazawa4 shared papersPRPedro Ribeiro3 shared papersGCGustavo Carvalho3 shared papersRLRaluca Lefticaru1 shared papersWBWill Barnett1 shared papersRMRobert M. Hierons1 shared papersFRFrancisco Rodrigues Júnior1 shared papersSFSimon Foster1 shared papersASAugusto Sampaio1 shared papersJTJon Timmis1 shared papersSASara Ahmadi1 shared papersZAZiggy Attala1 shared papersMPMark Post1 shared papersTWThomas Wright1 shared papersMCMadiel Conserva Filho1 shared papers
Not generated yet