学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Dagstuhl reports
Journal
ISSN 2192-5283
年发文量
研究主题
论文（960）
排序
时间
引用
1
Certifying Algorithms for Automated Reasoning (dagstuhl Seminar 25231).
Nikolaj S. Bjørner
,
Marijn J. H. Heule
,
Daniela Kaufmann
,
Jakob Nordström
,
Wietze Koops
2025
引用
AI阅读
加入学术空间
2
Testing Program Analyzers and Verifiers (dagstuhl Seminar 25242).
Maria Christakis
,
Alastair F. Donaldson
,
John Regehr
,
Thodoris Sotiropoulos
2025
引用
AI阅读
加入学术空间
3
Challenges of Human Oversight: Achieving Human Control of AI-Based Systems (dagstuhl Seminar 25272).
Markus Langer
,
Raimund Dachselt
,
Q. Vera Liao
,
Tim Miller
,
Nava Tintarev
2025
引用
AI阅读
加入学术空间
4
Navigating the Maze of Guidelines to Unify Visualization Design Recommendations (dagstuhl Seminar 25232).
Miriah Meyer
,
Ghulam Jilani Quadri
,
Paul Rosen
2025
引用：1
引用
AI阅读
加入学术空间
5
Future of Human-Centered Privacy (dagstuhl Seminar 25261).
Zinaida Benenson
,
Simone Fischer-Hübner
,
Heather Richter Lipford
,
William Seymour
2025
引用
AI阅读
加入学术空间
立即登录
，查看全部 960 篇论文
高被引作者
作者
引用
发文
Ipek Ozkaya
321
2
Philippe Kruchten
316
1
Carolyn Seaman
316
1
Paris Avgeriou
316
1
Piero A. Bonatti
173
1
Valentina Presutti
173
1
Stefan Decker
173
1
Axel Florian Polleres
173
1
Norbert Fuhr
166
7
Thomas Jansen
121
1
高产作者
作者
引用
发文
Dániel Marx
62
9
Rainer Steinwandt
24
7
Norbert Fuhr
166
7
Shriram Krishnamurthi
83
7
Nikolaj S. Bjørner
70
7
Michele Mosca
32
7
Heribert Vollmer
36
7
Jürgen Dix
45
6
Till Tantau
1
6
Stephen G. Kobourov
85
6
相关期刊
Foundations and Trends in Privacy and Security
IEEE Data Engineering Bulletin
Datenbanksysteme für Business, Technologie und Web
International Conference on Extending Database Technology
GI-Jahrestagung
Proceedings. ACM-Sigmod International Conference on Management of Data
IEEE Pacific Visualization Symposium : [proceedings]
Foundations and Trends in Databases
Sigmod Record
Very Large Data Bases Conference
