logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Cliff B. Jones

School of Computing

30H指数
285论文数
5.6K被引数
收录论文 5
发表时间
logo
Correction: Three Early Formal Approaches to the Verification of Concurrent Programs更正：三种早期形式化方法用于并发程序的验证
errMinds and Machines
IF3.4
err2025-10-21
err0
errOAAI
errCliff B. Jones
err分享
err收藏
A Specification Framework for Mixed-Criticality Scheduling Protocols混合关键性调度协议的规范框架
errACM Transactions on Embedded Computing Systems
IF2.6
err2025-10-13
err0
PREAI
errAlan Burns; Cliff Jones
err分享
err收藏
Kinematics for multisection continuum robots
errIEEE TRANSACTIONS ON ROBOTICS
IF10.5
err2006-02-01
err815
PREAI
errJones, BA; Walker, ID
err分享
err收藏
Panelist position statement: reasoning about the design of programs
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2005-09-06
err1
PREAI
errJones, CB
err分享
err收藏
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY - BROY,M, SCHMIDT,G
errPROCEEDINGS OF THE IEEE
IF25.9
err1984-07-01
err0
PREAI
errJONES, CB
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alan Burns
H 指数: 65 · 论文数: 537
I
Ian D. Walker
H 指数: 60 · 论文数: 426
已加载全部