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

Holger Hermanns

saarland university

51H指数
414论文数
1.1W被引数
收录论文 17
发表时间
logo
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errDengler, Gabriel; Apela, Sven; Hermannsel, Holger
err分享
err收藏
errJournal of Systems Architecture
IF4.1
err2025-10-10
err0
PREAI
errLuo Cheng; Hanwei Zhang; Qisong He; Wei Huang; Renjue Li; Xiaowei Huang; Holger Hermanns; Lijun Zhang
err分享
err收藏
errnasa formal methods (nfm
IF0
err2022-05-20
err0
PREAI
errHermanns, Holger; Nies, Gilles
err分享
err收藏
errartificial intelligence review
IF4.6
err2021-07-01
err270
errOAAI
errLanger, Markus; Oster, Daniel; Speith, Timo; Hermanns, Holger; Kaestner, Lena; Schmidt, Eva; Sesing, Andreas; Baum, Kevin
err分享
err收藏
errIEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
IF2.9
err2020-11-01
err8
PREAI
errStock, Gregory; Fraire, Juan A.; Moemke, Tobias; Hermanns, Holger; Babayev, Fakhri; Cruz, Eduardo
err分享
err收藏
errINTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS AND NETWORKING
IF1.6
err2020-08-20
err8
PREAI
errFraire, Juan A.; Gerstacker, Carsten; Hermanns, Holger; Nies, Gilles; Bisgaard, Morten; Bay, Kristian
err分享
err收藏
errIEEE TRANSACTIONS ON GREEN COMMUNICATIONS AND NETWORKING
IF6.7
err2020-03-01
err16
errOAAI
errFraire, Juan A.; Nies, Gilles; Gerstacker, Carsten; Hermanns, Holger; Bay, Kristian; Bisgaard, Morten
err分享
err收藏
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2019-12-07
err2
PREAI
errHe, Kangli; Hermanns, Holger; Wu, Hengyang; Chen, Yixiang
err分享
err收藏
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2019-04-01
err10
errOAAI
errBisgaard, Morten; Gerhardt, David; Hermanns, Holger; Krcal, Jan; Nies, Gilles; Stenger, Marvin
err分享
err收藏
errACTA ASTRONAUTICA
IF3.4
err2018-10-01
err10
errOAAI
errNies, Gilles; Stenger, Marvin; Krcal, Jan; Hermanns, Holger; Bisgaard, Morten; Gerhardt, David; Haverkort, Boudewijn; Jongerden, Marijn; Larsen, Kim G.; Wognsen, Erik R.
err分享
err收藏
errFM 2016: FORMAL METHODS
IF0
err2016-11-08
err19
PREAI
errBisgaard, Morten; Gerhardt, David; Hermanns, Holger; Krcal, Jan; Nies, Gilles; Stenger, Marvin
err分享
err收藏
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2015-12-01
err4
errOAAI
errHahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd
err分享
err收藏
errCYBER PHYSICAL SYSTEMS: DESIGN, MODELING, AND EVALUATION, CYPHY 2015
IF0
err2015-11-01
err7
errOAAI
errHermanns, Holger; Krcal, Jan; Nies, Gilles
err分享
err收藏
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-09-01
err48
errOAAI
errBaier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err27
PREAI
errBoede, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Rakow, Jan; Wimmer, Ralf; Becker, Bernd
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-10-01
err91
PREAI
errBohnenkamp, Henrik; D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter
err分享
err收藏
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2003-06-01
err502
errOAAI
errBaier, C; Haverkort, B; Hermanns, H; Katoen, JP
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
K
Kim G. Larsen
H 指数: 70 · 论文数: 853
S
Sven Apel
H 指数: 60 · 论文数: 422
J
Joost-Pieter Katoen
H 指数: 58 · 论文数: 636
C
Christel Baier
H 指数: 43 · 论文数: 353
H
Hanwei Zhang
H 指数: 42 · 论文数: 352
查看更多