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

Thomas A. Henzinger

university of illinois urbana-champaign

97H指数
724论文数
4.4W被引数
收录论文 18
发表时间
logo
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errHenzinger, Thomas A.; Kueffner, Konstantin; Yu, Emily
err分享
err收藏
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errCano, Filip; Henzinger, Thomas A.; Kueffner, Konstantin
err分享
err收藏
errCommunications of the ACM
IF12.2
err2026-01-01
err1
PREAI
errBarrett, Clark; Henzinger, Thomas A.; Seshia, Sanjit A.
err分享
err收藏
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err1
PREAI
errChalupa, Marek; Henzinger, Thomas A.; da Costa, Ana Oliveira
err分享
err收藏
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errHenzinger, Thomas A.; Kueffner, Konstantin; Singh, Vasu; Sun, I.
err分享
err收藏
errNATURE MACHINE INTELLIGENCE
IF23.9
err2020-10-13
err138
PREAI
errLechner, Mathias; Hasani, Ramin; Amini, Alexander; Henzinger, Thomas A.; Rus, Daniela; Grosu, Radu
err分享
err收藏
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2017-02-01
err4
PREAI
errHenzinger, Thomas A.; Otop, Jan
err分享
err收藏
errCOMMUNICATIONS OF THE ACM
IF12.2
err2015-01-28
err2
PREAI
errHenzinger, Thomas A.; Raskin, Jean-Francois
err分享
err收藏
errACM SIGPLAN NOTICES
IF0
err2014-01-08
err14
PREAI
errBoker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun
err分享
err收藏
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2013-03-01
err1
PREAI
errHenzinger, Thomas A.; Mateescu, Maria
err分享
err收藏
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-10-01
err34
PREAI
errFisher, Jasmin; Harel, David; Henzinger, Thomas A.
err分享
err收藏
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2008-07-31
err34
errOAAI
errHenzinger, Thomas A.
err分享
err收藏
errNATURE BIOTECHNOLOGY
IF41.7
err2007-11-07
err390
PREAI
errFisher, Jasmin; Henzinger, Thomas A.
err分享
err收藏
errIEEE CONTROL SYSTEMS MAGAZINE
IF6.3
err2003-02-01
err68
PREAI
errHenzinger, TA; Kirsch, CM; Sanvido, MAA; Pree, W
err分享
err收藏
errPROCEEDINGS OF THE IEEE
IF25.9
err2003-01-01
err190
PREAI
errHenzinger, TA; Horowitz, B; Kirsch, CM
err分享
err收藏
errPROCEEDINGS OF THE IEEE
IF25.9
err2000-07-01
err575
errOAAI
errAlur, R; Henzinger, TA; Lafferriere, G; Pappas, GJ
err分享
err收藏
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err1998-04-01
err169
PREAI
errHenzinger, TA; Ho, PH; Wong-Toi, H
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err1996-03-01
err277
errOAAI
errAlur, R; Henzinger, TA; Ho, PH
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
D
Daniela Rus
H 指数: 122 · 论文数: 1.1K
G
George J. Pappas
H 指数: 98 · 论文数: 902
R
Rajeev Alur
H 指数: 82 · 论文数: 401
D
David Harel
H 指数: 75 · 论文数: 535
S
Sanjit A. Seshia
H 指数: 63 · 论文数: 437
查看更多