|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bjørner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei | Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) | Artikel Article | 2011 |
| 2 | | Fitzpatrick, Geraldine | Designing to support People Working, Connecting and Living Well in Mobile Work Environments | Konferenzbeitrag Inproceedings | 2021 |
| 3 |  | Ding, Aaron Yi ; de Lara, Eyal ; Dustdar, Schahram ; Peltonen, Ella ; Meuser, Tobias | Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432) | Article Artikel   | 8-Apr-2024 |
| 4 | | Castañeda, Armando ; Ditmarsch, Hans van ; Kuznets, Roman ; Moses, Yoram ; Schmid, Ulrich | Epistemic and Topological Reasoning in Distributed Systems | Article Artikel | 8-Mar-2024 |
| 5 | | Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef | Formal Verification of Distributed Algorithms | Artikel Article | 2013 |
| 6 | | Artikis, Alexander ; Eiter, Thomas ; Margara, Alessandro ; Vansummeren, Stijn | Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) | Artikel Article | 2020 |
| 7 | | Di Ciccio, Claudio ; Miksch, Silvia ; Soffer, Pnina ; Weber, Barbara ; Meroni, Giovanni | Human in the (Process) Mines | Article Artikel | Apr-2024 |
| 8 | | Castro, Rodrigo ; Denil, Joachim ; FERET, Jerome ; Matković, Krešimir ; Popper, Nikolas ; Sanchez, Susan ; Sloot, Peter | Policy by simulation: seeing is believing for interactive model co-creation and effective intervention | Article Artikel | Oct-2023 |
| 9 | | Freire, Juliana ; Fuhr, Norbert ; Rauber, Andreas | Reproducibility of Data-Oriented Experiments in e-Science (Dagstuhl Seminar 16041) | Artikel Article | 12-Jul-2016 |
| 10 | | Bjorner, Nikolaj S. ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore | Rigorous Methods for Smart Contracts | Artikel Article | Apr-2022 |
| 11 | | Fisher, Michael ; Slavkovik, Marija ; Dobrosovestnova, Anna ; Schuster, Nick | Roadmap for Responsible Robotics (Dagstuhl Seminar 23371) | Article Artikel | 27-Mar-2024 |
| 12 | | Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia | SAT and Interactions (Dagstuhl Seminar 20061) | Artikel Article | 2020 |
| 13 | | Hu, Yifan ; Micallef, Luana ; Nöllenburg, Martin ; Rodgers, Peter | Scalable Set Visualizations (Dagstuhl Seminar 17332) | Artikel Article | 2018 |
| 14 | | Ahmetaj, Shqiponja ; Staworko, Slawomir ; Van den Bussche, Jan ; Jakubowski, Maxime | Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar24102) | Article Artikel | 19-Sep-2024 |
| 15 | | Christakis, Maria ; Donaldson, Alastair F. ; Regehr, John ; Sotiropoulos, Thodoris | Testing Program Analyzers and Verifiers | Article Artikel | 17-Feb-2026 |
| 16 | | Bodenheimer, Bobby ; Creem-Regehr, Sarah ; Fox, Dylan ; Hwang, Faustina ; Langlotz, Tobias ; Pfeiffer, Thies ; Quarles, John ; Roth, Daniel ; Skarbez, Richard ; Steed, Anthony ; Trutoiu, Laura ; Vasylevska, Khrystyna ; Welch, Gregory | Working Group on Low and High Hanging Fruits for Accessibility in XR | Article Artikel | 4-Apr-2025 |
| 17 |  | Duchowski, Andrew ; Hwang, Faustina ; Kiyokawa, Kiyoshi ; Olivier, Anne-Hélène ; Peck, Tabitha ; Skarbez, Richard ; Steed, Anthony ; Vasylevska, Khrystyna | Working Group on XR Taxonomy for Accessibility | Article Artikel | 4-Apr-2025 |
