科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
N
Niklas van de Sand
university of bonn
0
H指数
3
论文数
0
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Enhancing maternal autonomy in choosing birthing positions: an exploratory pre-post intervention study protocol (MAM-Care)
增强产妇在分娩体位选择中的自主性:一项探索性前后干预研究方案(MAM-Care)
BMJ Open
IF
2.3
2026-05-08
0
PRE
AI
Okumu, Mi-Ran; Haid-Schmallenberg, Lissa; Sand, Niklas; Stocker, Arno; Volkert, Anna; Scholten, Nadine
分享
收藏
IC3 for Loop Invariant Generation in Deductive Analysis
IC3在演绎分析中的循环不变式生成
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF
0
2026-01-01
0
PRE
AI
van de Sand, Niklas; Voelker, Marcus
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
N
Nadine Scholten
H 指数: 16 · 论文数: 159
M
Marcus Völker
H 指数: 5 · 论文数: 34
M
Mi-Ran Okumu
H 指数: 5 · 论文数: 20
A
Arno Stöcker
H 指数: 5 · 论文数: 18
V
Volkert, Anna
H 指数: 0 · 论文数: 1
查看更多