logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
L

Luca Cardelli

university of oxford

68H-index
326Paper Count
2.0WCitation Count
Published Papers 19
Publication Date
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
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-11-01
err3
errOAAI
errCardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2023-08-02
err3
errOAAI
errAlexis, Emmanouil; Schulte, Carolin C. M.; Cardelli, Luca; Papachristodoulou, Antonis
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-02-01
err34
errOAAI
errWhitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
errShare
errSave
errSCIENTIFIC REPORTS
IF3.9
err2021-05-27
err4
errOAAI
errHernansaiz-Ballesteros, Rosa D.; Foldi, Csenge; Cardelli, Luca; Nagy, Laszlo G.; Csikasz-Nagy, Attila
errShare
errSave
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-01-01
err14
errOAAI
errLaurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
errShare
errSave
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
errShare
errSave
errACS SYNTHETIC BIOLOGY
IF3.9
err2016-05-11
err24
errOAAI
errBoemo, Michael A.; Lucas, Alexandra E.; Turberfield, Andrew J.; Cardelli, Luca
errShare
errSave
errSCIENTIFIC REPORTS
IF3.9
err2016-02-08
err31
errOAAI
errCardelli, Luca; Csikasz-Nagy, Attila; Dalchau, Neil; Tribastone, Mirco; Tschaikowski, Max
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2015-07-06
err18
errOAAI
errKothamachu, Varun B.; Feliu, Elisenda; Cardelli, Luca; Soyer, Orkun S.
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2014-10-06
err8
errOAAI
errFellermann, Harold; Cardelli, Luca
errShare
errSave
errNATURE NANOTECHNOLOGY
IF34.9
err2013-09-29
err434
errOAAI
errChen, Yuan-Jyue; Dalchau, Neil; Srinivas, Niranjan; Phillips, Andrew; Cardelli, Luca; Soloveichik, David; Seelig, Georg
errShare
errSave
errSCIENTIFIC REPORTS
IF3.9
err2012-09-13
err88
errOAAI
errCardelli, Luca; Csikasz-Nagy, Attila
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2012-01-04
err65
errOAAI
errLakin, Matthew R.; Parker, David; Cardelli, Luca; Kwiatkowska, Marta; Phillips, Andrew
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2011-07-20
err80
errOAAI
errLakin, Matthew R.; Youssef, Simon; Cardelli, Luca; Phillips, Andrew
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2010-08-11
err35
errOAAI
errCsikasz-Nagy, Attila; Cardelli, Luca; Soyer, Orkun S.
errShare
errSave
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2009-06-17
err82
errOAAI
errPhillips, Andrew; Cardelli, Luca
errShare
errSave
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1999-01-01
err39
PREAI
errCardelli, L; Davies, R
errShare
errSave
errACM COMPUTING SURVEYS
IF28
err1996-03-01
err45
errOAAI
errCardelli, L
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Kim G. Larsen
H-index: 70 · Papers: 853
M
Marta Kwiatkowska
H-index: 67 · Papers: 540
D
David Parker
H-index: 55 · Papers: 278
A
Andrew J. Turberfield
H-index: 55 · Papers: 187
A
Antonis Papachristodoulou
H-index: 49 · Papers: 332
View more