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

Andrei Popescu

graz university of technology

8H指数
31论文数
251被引数
收录论文 3
发表时间
logo
Completing Structured Arguments in Assumption-Based Argumentation基于假设论证的结构化论证完成
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errPopescu, Andrei; Wallner, Johannes P.
err分享
err收藏
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL相对安全性：在Isabelle/HOL中验证对语义优化漏洞的恢复能力
errJournal of Automated Reasoning
IF0.8
err2025-11-18
err0
errOAAI
errDerrick, John; Dongol, Brijesh; Edmonds, Chelsea; Griffin, Matt; Popescu, Andrei; Wright, Jamie
err分享
err收藏
A novel methodology for identifying environmental exposures using GPS data
errINTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE
IF5.1
err2016-02-24
err11
errOAAI
errCetateanu, Andreea; Luca, Bogdan-Alexandru; Popescu, Andrei Alin; Page, Angie; Cooper, Ashley; Jones, Andy
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Andy Jones
H 指数: 81 · 论文数: 541
A
Ashley R Cooper
H 指数: 66 · 论文数: 253
A
Angie S Page
H 指数: 53 · 论文数: 150
J
Johannes Wallner
H 指数: 28 · 论文数: 164
B
Brijesh Dongol
H 指数: 14 · 论文数: 140
查看更多