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

Erika Ábrahám

rwth aachen university

28H指数
268论文数
3.3K被引数
收录论文 8
发表时间
logo
Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification基于反例引导的抽象精化方法用于星形神经网络的验证
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errAntal, Laszlo; Link, Franz; Abraham, Erika
err分享
err收藏
A Hyperlogic for Strategies in Stochastic Games随机博弈中的策略超逻辑
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errGerlach, Lina; Loeding, Christof; Abraham, Erika
err分享
err收藏
Preface Special Issue SCICO on HSCC2024-software
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-10-01
err0
PREAI
errAbraham, Erika; Espinosa, Manuel Mazo
err分享
err收藏
Why do women pursue a Ph.D. in Computer Science?为什么女性会追求计算机科学领域的博士学位？
errJournal of Systems and Software
IF4.1
err2025-08-25
err0
PREAI
errErika Ábrahám; Miguel Goulão; Milena Vujošević Janičić; Sarah Jane Delany; Amal Mersni; Oleksandra Yeremenko; Özge Büyükdağlı; Karima Boudaoud; Caroline Oehlhorn; Ute Schmid; Christina Büsing; Helen Bolke-Hermanns; Kaja Köhnle; Matilde Pato; Deniz Sunar Cerci; Larissa Schmid
err分享
err收藏
Reachability analysis of Hybrid Rebeca models混合Rebeca模型的可达性分析
errJournal of Systems Architecture
IF4.1
err2025-07-08
err0
PREAI
errFatemeh Ghassemi; Saeed Zhiany; Nesa Abbasi; Ali Hodaei; Ali Ataollahi; József Kovács; Erika Ábrahám; Marjan Sirjani
err分享
err收藏
Numerical Modeling and Analysis of Shadow Flicker Using Solar Path Functions for Enhanced Predictive Accuracy基于太阳轨迹函数的阴影闪烁数值建模与分析以提高预测精度
errENERGIES
IF3.2
err2025-01-15
err0
errOAAI
errRadke, Nicolai; De Smet, Patrick E. M.; Abraham, Erika
err分享
err收藏
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics物流中多机器人系统最优计划的综合与执行
errINFORMATION SYSTEMS FRONTIERS
IF8.3
err2018-05-19
err15
PREAI
errLeofante, Francesco; Abraham, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
err分享
err收藏
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
errINFORMATION SYSTEMS FRONTIERS
IF8.3
err2016-07-11
err12
PREAI
errNellen, Johanna; Driessen, Kai; Neuhaeusser, Martin; Abraham, Erika; Wolters, Benedikt
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Gerhard Lakemeyer
H 指数: 33 · 论文数: 307
A
Armando Tacchella
H 指数: 29 · 论文数: 161
S
Sarah Jane Delany
H 指数: 26 · 论文数: 110
U
Ute Schmid
H 指数: 25 · 论文数: 329
M
Marjan Sirjani
H 指数: 25 · 论文数: 191
查看更多