James Baxter

University of York

论文数

7

总引用数

89

H-Index

5

关于

暂无简介。

研究焦点

Computer science7 · 89 次引用
Programming language7 · 89 次引用
Domain (mathematical analysis)6 · 87 次引用
Notation5 · 80 次引用
Semantics (computer science)5 · 59 次引用
State (computer science)3 · 57 次引用
Operational semantics3 · 50 次引用
Diagrammatic reasoning3 · 46 次引用
Software3 · 46 次引用
Finite-state machine3 · 45 次引用
Theoretical computer science2 · 43 次引用
Software engineering3 · 37 次引用

主要成就

5
H 指数
7
论文
89
总引用数
13
篇均引用
🏆 最高被引论文
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
28 次引用 · 2020
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 16
🏛 所属机构: University of York

代表论文

  1. 1
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 次引用 · 2020
  2. 2
    Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
    27 次引用 · 2018
  3. 3
    Testing Robots Using CSP
    16 次引用 · 2019
  4. 4
    RoboWorld: Where Can My Robot Work?
    7 次引用 · 2021
  5. 5
    RoboWorld: Verification of Robotic Systems with Environment in the Loop
    7 次引用 · 2023
  6. 6
    Diagrammatic physical robot models
    2 次引用 · 2025
  7. 7
    Model-Based Engineering for Robotics with RoboChart and RoboTool
    2 次引用 · 2023

主要合作者

ACAna Cavalcanti7 篇合著论文AMAlvaro Miyazawa4 篇合著论文PRPedro Ribeiro3 篇合著论文GCGustavo Carvalho3 篇合著论文RLRaluca Lefticaru1 篇合著论文WBWill Barnett1 篇合著论文RMRobert M. Hierons1 篇合著论文FRFrancisco Rodrigues Júnior1 篇合著论文SFSimon Foster1 篇合著论文ASAugusto Sampaio1 篇合著论文JTJon Timmis1 篇合著论文SASara Ahmadi1 篇合著论文ZAZiggy Attala1 篇合著论文MPMark Post1 篇合著论文TWThomas Wright1 篇合著论文MCMadiel Conserva Filho1 篇合著论文
尚未生成