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

Carsten Sinz

helmholtz association

23H指数
176论文数
2.2K被引数
收录论文 6
发表时间
logo
Certified Error Analysis of Homomorphically Encrypted Neural Networks同态加密神经网络的可验证误差分析
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errKern, Philipp; Manino, Edoardo; Sinz, Carsten
err分享
err收藏
The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software
errSCIENTIFIC REPORTS
IF3.9
err2021-05-11
err6
errOAAI
errZapletal, Adrian; Hoehler, Dimitri; Sinz, Carsten; Stamatakis, Alexandros
err分享
err收藏
SAT Race 2015
errartificial intelligence review
IF4.6
err2016-12-01
err29
errOAAI
errBalyo, Tomas; Biere, Armin; Iser, Markus; Sinz, Carsten
err分享
err收藏
Overview and analysis of the SAT Challenge 2012 solver competition
errartificial intelligence review
IF4.6
err2015-06-01
err27
errOAAI
errBalint, Adrian; Belov, Anton; Jarvisalo, Matti; Sinz, Carsten
err分享
err收藏
Configuration
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2007-01-01
err11
PREAI
errSinz, Carsten; Haag, Albert
err分享
err收藏
Detection of dynamic execution errors in IBM system automation's rule-based expert system
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2002-11-01
err6
errOAAI
errSinz, C; Lumpp, T; Schneider, J; Küchlin, W
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alexandros Stamatakis
H 指数: 76 · 论文数: 483
A
Armin Biere
H 指数: 52 · 论文数: 294
M
Matti J„ärvisalo
H 指数: 27 · 论文数: 194
J
Jürgen Schneider
H 指数: 22 · 论文数: 346
W
Wolfgang Küchlin
H 指数: 16 · 论文数: 148
查看更多