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

Luca Cardelli

university of oxford

68H指数
326论文数
2.0W被引数
收录论文 19
发表时间
logo
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errCardelli, Luca; Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
err分享
err收藏
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-11-01
err3
errOAAI
errCardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2023-08-02
err3
errOAAI
errAlexis, Emmanouil; Schulte, Carolin C. M.; Cardelli, Luca; Papachristodoulou, Antonis
err分享
err收藏
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-02-01
err34
errOAAI
errWhitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
err分享
err收藏
errSCIENTIFIC REPORTS
IF3.9
err2021-05-27
err4
errOAAI
errHernansaiz-Ballesteros, Rosa D.; Foldi, Csenge; Cardelli, Luca; Nagy, Laszlo G.; Csikasz-Nagy, Attila
err分享
err收藏
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-01-01
err14
errOAAI
errLaurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
err分享
err收藏
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2017-09-06
err39
errOAAI
errCardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
err分享
err收藏
errACS SYNTHETIC BIOLOGY
IF3.9
err2016-05-11
err24
errOAAI
errBoemo, Michael A.; Lucas, Alexandra E.; Turberfield, Andrew J.; Cardelli, Luca
err分享
err收藏
errSCIENTIFIC REPORTS
IF3.9
err2016-02-08
err31
errOAAI
errCardelli, Luca; Csikasz-Nagy, Attila; Dalchau, Neil; Tribastone, Mirco; Tschaikowski, Max
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2015-07-06
err18
errOAAI
errKothamachu, Varun B.; Feliu, Elisenda; Cardelli, Luca; Soyer, Orkun S.
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2014-10-06
err8
errOAAI
errFellermann, Harold; Cardelli, Luca
err分享
err收藏
errNATURE NANOTECHNOLOGY
IF34.9
err2013-09-29
err434
errOAAI
errChen, Yuan-Jyue; Dalchau, Neil; Srinivas, Niranjan; Phillips, Andrew; Cardelli, Luca; Soloveichik, David; Seelig, Georg
err分享
err收藏
errSCIENTIFIC REPORTS
IF3.9
err2012-09-13
err88
errOAAI
errCardelli, Luca; Csikasz-Nagy, Attila
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2012-01-04
err65
errOAAI
errLakin, Matthew R.; Parker, David; Cardelli, Luca; Kwiatkowska, Marta; Phillips, Andrew
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2011-07-20
err80
errOAAI
errLakin, Matthew R.; Youssef, Simon; Cardelli, Luca; Phillips, Andrew
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2010-08-11
err35
errOAAI
errCsikasz-Nagy, Attila; Cardelli, Luca; Soyer, Orkun S.
err分享
err收藏
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2009-06-17
err82
errOAAI
errPhillips, Andrew; Cardelli, Luca
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1999-01-01
err39
PREAI
errCardelli, L; Davies, R
err分享
err收藏
errACM COMPUTING SURVEYS
IF28
err1996-03-01
err45
errOAAI
errCardelli, L
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
K
Kim G. Larsen
H 指数: 70 · 论文数: 853
M
Marta Kwiatkowska
H 指数: 67 · 论文数: 540
D
David Parker
H 指数: 55 · 论文数: 278
A
Andrew J. Turberfield
H 指数: 55 · 论文数: 187
A
Antonis Papachristodoulou
H 指数: 49 · 论文数: 332
查看更多