学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Dagstuhl reports (2192-5283) | AMiner期刊详情 | AMiner
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阅读
加入学术空间
6
Utilising and Scaling the WebAssembly Semantics (dagstuhl Seminar 25241).
Amal Ahmed
,
Andreas Rossberg
,
Deian Stefan
,
Conrad Watt
,
Michelle Thalakottur
2025
引用
AI阅读
加入学术空间
7
Policy Modeling and Reasoning in Sociotechnical Systems (dagstuhl Seminar 25271).
Marina De Vos
,
Nicoletta Fornara
,
Munindar P. Singh
,
Leon van der Torre
,
Jessica Woodgate
2025
引用
AI阅读
加入学术空间
8
Learned Predictions for Data Structures and Running Time (dagstuhl Seminar 25181).
Inge Li Gørtz
,
Benjamin Moseley
,
Shikha Singh
,
Sergei Vassilvitskii
2025
引用
AI阅读
加入学术空间
9
Holistic Graph-Processing Systems: Enabling Real-World Scale and Societal Impact (dagstuhl Seminar 25171).
Alexandru Iosup
,
Ana Lucia Varbanescu
,
Hannes Voigt
,
Joze M. Rozanec
2025
引用
AI阅读
加入学术空间
10
Disruptive Memory Technologies (dagstuhl Seminar 25151).
Haibo Chen
,
Ada Gavrilovska
,
Jana Giceva
,
Olaf Spinczyk
2025
引用
AI阅读
加入学术空间
11
Information Exchange in Software Verification (dagstuhl Seminar 25172).
Dirk Beyer
,
Marieke Huisman
,
Jan Strejcek
,
Heike Wehrheim
2025
引用
AI阅读
加入学术空间
12
Multi-Faceted Visual Process Mining and Analytics (dagstuhl Seminar 25152).
Claudio Di Ciccio
,
Pnina Soffer
,
Christian Tominski
,
Katerina Vrotsou
,
Giovanni Meroni
2025
引用
AI阅读
加入学术空间
13
Challenges and Opportunities of Table Representation Learning (dagstuhl Seminar 25182).
Carsten Binnig
,
Julian Martin Eisenschlos
,
Madelon Hulsebos
,
Frank Hutter
2025
引用
AI阅读
加入学术空间
14
Visualizing Data on Non-Flat, Non-Rectangular Displays (dagstuhl Seminar 25082).
Anastasia Bezerianos
,
Raimund Dachselt
,
Wesley J. Willett
,
Ricardo Langner
2025
引用
AI阅读
加入学术空间
15
Computational Complexity of Discrete Problems (dagstuhl Seminar 25111).
Swastik Kopparty
,
Meena Mahajan
,
Rahul Santhanam
,
Till Tantau
,
Ian Mertz
2025
引用
AI阅读
加入学术空间
16
Climate Change: What is Computing's Responsibility? (dagstuhl Perspectives Workshop 25122).
Vicki L. Hanson
,
Bran Knowles
2025
引用
AI阅读
加入学术空间
17
Addressing Future Challenges of Telemedicine Applications (dagstuhl Seminar 25031).
Matias Volonte
,
Andrew T. Duchowski
,
Nuria Pelechano
,
Catarina Moreira
,
Joaquim Jorge
2025
引用
AI阅读
加入学术空间
18
Logic and Neural Networks (dagstuhl Seminar 25061).
Vaishak Belle
,
Michael Benedikt
,
Dana Drachsler-Cohen
,
Daniel Neider
,
Tom Yuviler
2025
引用
AI阅读
加入学术空间
19
Semirings in Databases, Automata, and Logic (dagstuhl Seminar 25081).
Guillermo Badia
,
Manfred Droste
,
Phokion G. Kolaitis
,
Carles Noguera
,
Sophie Brinke
,
Lovro Mrkonjic
,
Gaia Petreni
2025
引用
AI阅读
加入学术空间
20
Estimation-of-Distribution Algorithms: Theory and Applications (dagstuhl Seminar 25092).
Josu Ceberio Uribe
,
Benjamin Doerr
,
John A. W. McCall
,
Carsten Witt
,
Marcus Schmidbauer
2025
引用
AI阅读
加入学术空间
加载更多
高被引作者
作者
引用
发文
Ipek Ozkaya
321
2
Philippe Kruchten
316
1
Carolyn Seaman
316
1
Paris Avgeriou
316
1
Norbert Fuhr
165
7
Axel Florian Polleres
161
1
Stefan Decker
161
1
Valentina Presutti
161
1
Piero A. Bonatti
161
1
Thomas Jansen
121
1
高产作者
作者
引用
发文
Dániel Marx
54
9
Heribert Vollmer
36
7
Shriram Krishnamurthi
80
7
Michele Mosca
29
7
Nikolaj S. Bjørner
70
7
Norbert Fuhr
165
7
Rainer Steinwandt
24
7
Florian 'Floyd' Mueller
23
6
Till Tantau
1
6
Phokion G. Kolaitis
29
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
