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

Daniel Kroening

university of oxford

49H-index
438Paper Count
1.1WCitation Count
Published Papers 4
Publication Date
logo
errartificial intelligence review
IF4.6
err2023-09-01
err4
errOAAI
errHasanbeig, Hosein; Kroening, Daniel; Abate, Alessandro
errShare
errSave
errCOMPUTER SCIENCE REVIEW
IF12.7
err2020-08-01
err237
errOAAI
errHuang, Xiaowei; Kroening, Daniel; Ruan, Wenjie; Sharp, James; Sun, Youcheng; Thamo, Emese; Wu, Min; Yi, Xinping
errShare
errSave
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err25
errOAAI
errDavid, Cristina; Kroening, Daniel
errShare
errSave
err2016 IEEE 24TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS)
IF0
err2016-09-01
err8
PREAI
errKim, Chang Hwan Peter; Kroening, Daniel; Kwiatkowska, Marta
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Marta Kwiatkowska
H-index: 67 · Papers: 540
吴
吴敏 (Min Wu)
H-index: 62 · Papers: 993
X
Xiaowei Huang
H-index: 34 · Papers: 391
W
Wenjie Ruan
H-index: 26 · Papers: 168
X
Xinping Yi
H-index: 21 · Papers: 157
View more