TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Der Inhalt dieser Seite ist leider nur auf Englisch verfügbar.

Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards. These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are the consequence of a Dagstuhl Seminar.

Also, Schloss Dagstuhl would kindly ask you to acknowledge in the publication that the publication has in some way benefited from the seminar. You are free to word the acknowledgement however you like, but we would ask you to always include the seminar's title and seminar number as well as some kind of link to the seminar's website. Note that a seminar's website can be linked to using "https://www.dagstuhl.de/seminar_number" where "seminar_number" is replaced by the seminar's five-digit seminar number.
Nevertheless, as there have often been questions on how to word the acknowledgement, here are a few fictional example wordings for your inspiration:

  • This work has benefitted from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted substantially from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted from the second and fourth author's participation in Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • Part of this work was initiated by Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces"
  • We thank the organizers of Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces" for bringing us together. We are particularly indebted to seminar participant Jane Doe for asking a question that initiated our research.

Dipl.-Bibl. Petra Meyer

Bibliothekarin (Raum N038)

2026   2025   2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   Specials

2025

Dagstuhl-Seminar 25432, 2025-10-19 - 2025-10-24
Article
Modular Memory is the Key to Continual Learning Agents : article
Dorovatas, Vaggelis; Schwerin, Malte; Bagdanov, Andrew D.; Aljundi, Rahaf; Mundt, Martin; Tuytelaars, Tinne; Ricci, Elisa; Patil, Darshan; Mendez-Mendez, Jorge; Prabhu, Ameya; Ven, Gido van de; Wang, Liyuan; Hammer, Barbara; Weijer, Joost van de; Hayes, Tyler L.; Choi, Jonghyun; Kanan, Christopher; Kudithipudi, Dhireesha; Lomonaco, Vincenzo; Caccia, Lucas; Carta, Antonio; Charlin, Laurent; Hess, Timm; Liu, Xialei – Cornell University : arXiv.org, 2026. - 15 pp.
Dagstuhl-Seminar 25432, 2025-10-19 - 2025-10-24
Article
Modular Memory is the Key to Continual Learning Agents : Position : article in Proceedings of the 43 rd International Conference on Machine Learning, Seoul, South Korea, PMLR 306, 2026
Dorovatas, Vaggelis; Schwerin, Malte; Mendez-Mendez, Jorge; Ven, Gido van de; Weijer, Joost van de; Aljundi, Rahaf; Mundt, Martin; Choi, Jonghyun; Wang, Liyuan; Tuytelaars, Tinne; Ricci, Elisa; Prabhu, Ameya; Patil, Darshan; Lomonaco, Vincenzo; Liu, Xialei; Kudithipudi, Dhireesha; Kanan, Christopher; Hess, Timm; Hayes, Tyler L.; Hammer, Barbara; Charlin, Laurent; Carta, Antonio; Caccia, Lucas; Bagdanov, Andrew – Openreview.net, 2026. - 18 pp.
Dagstuhl-Seminar 25421, 2025-10-12 - 2025-10-17
Article
Try-Mopsa : Relational Static Analysis in Your Pocket : VMCAI 2026 accepted paper
Monat, Raphaël – Cornell University : arXiv.org, 2025. - 16 pp.
Dagstuhl-Seminar 25421, 2025-10-12 - 2025-10-17
Article
Same Engine, Multiple Gears : Parallelizing Fixpoint Iteration at Different Granularities : extended version
Kocal, Ali Rasim; Schwarz, Michael -Singapore-; Saan, Simmo; Seidl, Helmut – Cornell University : arXiv.org, 2026. - 26 pp.
Dagstuhl-Seminar 25401, 2025-09-28 - 2025-10-02
Article
Social Choice with Text : Collective Decision Making in the LLM Era
Grandi, Umberto; Bredereck, Robert; Delemazure, Théo; Maly, Jan; Mattei, Nicholas; Szufa, Stanislaw; Nardi, Oliviero; Maudet, Nicolas; Endriss, Ulle – HAL Inria, 2026. - 18 pp.
Dagstuhl-Seminar 25401, 2025-09-28 - 2025-10-02
Article
Computational Social Choice : Research and Development : 25th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2026 (Blue Sky Ideas Track) : accepted paper
Baumeister, Dorothea; Berker, Ratip Emin; Boehmer, Niclas; Bouveret, Sylvain; Darmann, Andreas; Novaro, Arianna; Mattei, Nicholas; Lang, Jerome; Lackner, Martin; Faliszewski, Piotr – Cornell University : arXiv.org, 2026. - 12 pp.
Dagstuhl-Seminar 25391, 2025-09-21 - 2025-09-26
Article
Talmud-IR : A Talmud-Inspired Interface for Discussing RAG Response Quality : article in Advances in Information Retrieval : ECIR 2026 Part IV
Kusa, Wojciech; Deckers, Niklas; Fröbe, Maik; Dietz, Laura; Platow, Birte; Sanderson, Mark – Berlin : Springer, 2026. - pp 148–153 – (Lecture notes in computer science ; 16486 : article)
Dagstuhl-Seminar 25382, 2025-09-14 - 2025-09-19
Article
SpiderCat : Optimal Fault-Tolerant Cat State Preparation
Khesin, Andrey Boris; Li, Sarah Meng; Poor, Boldizsar; Rodatz, Benjamin; Wetering, John van de; Yeung, Richie – Cornell University : arXiv.org, 2026. - 45 pp.
Dagstuhl-Seminar 25382, 2025-09-14 - 2025-09-19
Article
Fault Tolerance by Construction
Rodatz, Benjamin; Poór, Boldizsár; Kissinger, Aleks – Cornell University : arXiv.org, 2026. - 59 S.
Dagstuhl-Seminar 25361, 2025-08-31 - 2025-09-05
Article
Responsible Evaluation of AI for Mental Health
Arnaout, Hiba; ArnaGoel, Anmol; Atzil-Slonim, Dana; De Choudhury, Munmun; Plaza-del-Arco, Flor Miriam; Gurevych, Iryna; Liakata, Maria; Hovy, Dirk; Shah, Raj Sanjay; Jamalabadi, Hamidreza; Althoff, Tim; Lutz, Wolfgang; Schwartz, Brian; Doherty, Gavin; Eberhardt, Steffen T.; Schwartz, H. Andrew – Cornell University : arXiv.org, 2026. - 35 pp.
Dagstuhl-Seminar 25282, 2025-07-06 - 2025-07-11
Article
Probability Distributions Computed by Hard-Attention Transformers
Yang, Andy; Svete, Anej; Li, Jiaoda; Lin, Anthony Widjaja; Rawski, Jonathan; Chiang, David; Cotterell, Ryan – Cornell University : arXiv.org, 2025. - 18 pp.
Dagstuhl-Seminar 25231, 2025-06-01 - 2025-06-06
Article
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Anders, Markus; Bogaerts, Bart; Tan, Yong Kiam; Oertel, Andy; Nordström, Jakob; Koops, Wietze; Bogø, Benjamin; Gontier, Arthur; MacCreesh, Ciaran; Myreen, Magnus O.; Rebola-Pardo, Adrian – Cornell University : arXiv.org, 2025. - 26 pp.
Dagstuhl-Seminar 25231, 2025-06-01 - 2025-06-06
Article
Simplify, Order, Break, Repeat : article in In: 29th International Conference on Theory and Applications of Satisfiability Testing SAT 2026
Anders, Markus; Codel, Cayden; Heule, Marijn J. H. – Wadern : LZI, 2026, pp. 4:1-4:19 – (Leibniz International Proceedings in Informatics ; 377 : article)
Dagstuhl-Seminar 25211, 2025-05-18 - 2025-05-23
Article
Going Beyond Twin-Width? : CSPs with Unbounded Domain and Few Variable : article in 53rd International Colloquium on Automata, Languages, and Programming
Jonsson, Peter; Lagerkvist, Victor; Vlas, Jorke M. de; Wahlström, Magnus – Wadern : LZI, 2026 – (Leibniz International Proceedings in Informatics ; 374 : article)
Dagstuhl-Seminar 25212, 2025-05-18 - 2025-05-23
Article
Euclidean Noncrossing Steiner Spanners of Nearly Optimal Sparsity : article in 42nd International Symposium on Computational Geometry (SoCG 2026)
Bhore, Sujoy; Kisfaludi‑Bak, Sándor; Milenković, Lazar; Tóth, Csaba D.; Węgrzycki, Karol; Wong, Sampson – Wadern : LZI, 2026 – (Leibniz International Proceedings in Informatics ; 367 : article)
Dagstuhl-Seminar 25211, 2025-05-18 - 2025-05-23
Article
Characterizing Streaming Decidability of CSPs via Non-Redundancy : article
Sharma, Amatya; Velusamy, Santhoshini – Cornell University : arXiv.org, 2026. - 19 pp.
Dagstuhl-Seminar 25211, 2025-05-18 - 2025-05-23
Article
Non-Redundancy of Low-Arity Symmetric Boolean CSPs : article
Sharma, Amatya; Velusamy, Santhoshini – Cornell University : arXiv.org, 2026. - 26 pp.
Dagstuhl-Seminar 25211, 2025-05-18 - 2025-05-23
Article
Approximation Algorithms for Satisfiable and Nearly Satisfiable Ordering CSPs : article in STOC '26: Proceedings of the 58th Annual ACM Symposium on Theory of Computing
Makarychev, Yury – New York : ACM, 2026. - Pages 1692 - 1703
Dagstuhl-Seminar 25201, 2025-05-11 - 2025-05-16
Article
Graph Tiles (Poster Abstract) : article in 33rd International Symposium on Graph Drawing and Network Visualization : GD 2025
Aichholzer, Oswin; Ganian, Robert; Keldenich, Phillip; Löffler, Maarten; Meijer, Gert – Wadern : LZI, 2025 – (Leibniz International Proceedings in Informatics ; 357 : article)
Dagstuhl-Seminar 25191, 2025-05-04 - 2025-05-09
Article
Circle-Segment Intersection Queries in Connected Geometric Graphs : article in 36th International Symposium on Algorithms and Computation : ISAAC 2025
Afshani, Peyman; Bosch, Yannick; Storandt, Sabine – Wadern : LZI, 2025 – (Leibniz International Proceedings in Informatics ; 359 : article)
Dagstuhl-Seminar 25192, 2025-05-04 - 2025-05-09
Article
Agentic Business Process Management: A Research Manifesto
Calvanese, Diego; Casciani, Angelo; Giacomo, Giuseppe De; Malfa, Emanuele La; Rinderle-Ma, Stefanie; Tax, Niek; Weber, Barbara; Sardiña, Sebastian; Polyvyanyy, Artem; Fettke, Peter; Amyot, Daniel; Montali, Marco; Metzger, Andreas; Marrella, Andrea; Limonad, Lior; Kampik, Timotheus; Fournier, Fabiana; Dumas, Marlon – Cornell University : arXiv.org, 2026. - 35 pp.
Dagstuhl-Seminar 25191, 2025-05-04 - 2025-05-09
Article
Bit-Array-Based Alternatives to HyperLogLog : article
Janson, Svante; Lumbroso, Jérémie; Sedgewick, Robert – Amsterdam : Elsevier, 2025. - 15 pp. – (Theoretical Computer Science ; 1054. 2025, article 115450)
Dagstuhl-Seminar 25191, 2025-05-04 - 2025-05-09
Article
DAG Covers : The Steiner Point Effect : article
Bhore, Sujoy; Chang, Hsien-Chih; Conroy, Jonathan B.; Filtser, Arnold; Oh, Eunjin; Zheng, Da Wei; Wein, Nicole – Cornell University : arXiv.org, 2026. - 20 pp.
Dagstuhl-Seminar 25192, 2025-05-04 - 2025-05-09
Article
Agentic Business Process Management : A research manifesto : article
Calvanese, Diego; Casciani, Angelo; Giacomo, Giuseppe De; Dumas, Marlon; Malfa, Emanuele La; Weber, Barbara; Tax, Niek; Sardiña, Sebastian; Rinderle-Ma, Stefanie; Polyvyanyy, Artem; Fettke, Peter; Amyot, Daniel; Montali, Marco; Metzger, Andreas; Marrella, Andrea; Limonad, Lior; Kampik, Timotheus; Fournier, Fabiana – Amsterdam : Elsevier, 2026. - 14 pp. – (Information Systems ; 140. 2026, article 102738)
Dagstuhl-Seminar 25192, 2025-05-04 - 2025-05-09
Article
Autonomy in Business Process Execution : Why We Need First-Class Abstractions for Goals and Normative Frames : article in PMAI’25: 4th International Workshop on Process Management in the AI era, October 25, 2025, Bologna, Italy
Calvanese, Diego; Giacomo, Giuseppe De; Kampik, Timotheus; Lesperance, Yves; Marrella, Andrea; Matta, Andrea – 2025. - 4 pp.
Dagstuhl-Seminar 25182, 2025-04-27 - 2025-05-02
Article
SemBench : A Benchmark for Semantic Query Processing Engines
Lao, Jiale; Zimmerer, Andreas; Ovcharenko, Olga; Özcan, Fatma; Cochez, Michael; Trummer, Immanuel; Kipf, Andreas; Schelter, Sebastian; Jagadish, H. V.; Kissel, KrisCong, Tianji; Russo, Matthew; Vitagliano, Gerardo; Gupta, Gautam; Hottelier, Thibaud; – Cornell University : arXiv.org, 2025. - 14 pp.
Dagstuhl-Seminar 25181, 2025-04-27 - 2025-05-02
Article
Ski Rental with Distributional Predictions of Unknown Quality : article in ICML 2026 Conference
Cui, Qiming; Dinitz, Michael – Openreview.net, 2026. - 24 pp.
Dagstuhl-Seminar 25181, 2025-04-27 - 2025-05-02
Article
An Optimal Algorithm for Stochastic Vertex Cover : article in STOC '26: Proceedings of the 58th Annual ACM Symposium on Theory of Computing
Brand, Jan van den; Gørtz, Inge Li; Pabbaraju, Chirag; Panigrahi, Debmalya; Stein, Clifford; Vakilian, Ali; Svensson, Ola; Stouras, Miltiadis – New York : ACM, 2026. - Pages 1548 - 1557
Dagstuhl-Seminar 25181, 2025-04-27 - 2025-05-02
Article
Incremental Strongly Connected Components with Predictions
Deng, Ronald; McCauley, Samuel; Ptak, Bennett; Quintanilla, Shirel; Vosburg, Nathan; ingh, Shikha; Niaparast, Helia; Niaparast, Aidin – Cornell University : arXiv.org, 2026. - 19 pp.
Dagstuhl-Seminar 25181, 2025-04-27 - 2025-05-02
Article
Stable Matching with Predictions : Robustness and Efficiency under Pruned Preferences
McCauley, Samuel; Moseley, Benjamin; Niaparast, Helia; Singh, Shikha – Cornell University : arXiv.org, 2026. - 18 pp.
Dagstuhl-Seminar 25181, 2025-04-27 - 2025-05-02
Article
Unlocking the Full Potential of Data Science Requires Tabular Foundation Models, Agents, and Humans : article in NeurIPS 2025 Position Paper Track
Cong, Tianji; Gomm, Daniel; Grinsztajn, Leo; Vadim, Borsiov; Hutter, Frank; Hulsebos, Madelon; Binnig, Carsten; Trummer, Immanuel; Schelter, Sebastian; Ovcharenko, Olga; Li, Xue; Kipf, Andreas; Geerts, Floris; Cochez, Michael; Bodensohn, Jan-Micha; Sanghi, Anupam; Müller, Andreas C.; Eisenschlos, Julian Martin; Varoquaux, Gaël; Eggensperger, Katharina; Kim, Myung Jun; Papotti, Paolo; Purucker, Lennart; Vogel, Liane – Openreview.net, 2025. - 20 pp.
Dagstuhl-Seminar 25172, 2025-04-22 - 2025-04-25
Article
Formal Verification of PKCS#1 Signature Parser Using Frama-C : article in Integrated Formal Methods (IFM 2025)
Hána, Martin; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien – Berlin : Springer, 2025. - pp 336–358 – (Lecture notes in computer science ; 16194 : article)
Dagstuhl-Seminar 25172, 2025-04-22 - 2025-04-25
Article
ATLAS : From Access conTrol Language to ACSL Specifications : article in GPCE '26: Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
Signoles, Julien; Boukir, Khaoula; Nasri, Amine – New York : ACM, 2026. - Pages 15 - 26
Dagstuhl-Seminar 25151, 2025-04-06 - 2025-04-11
Article
Declarative Memory Services : article in Proceedings of CIDR 2026
Castrillón, Jerónimo; Giveca, Jana; Hua, Yu; Shekar, Akhil; Skadron, Kevin; Zhang, Huanchen; Wang, Tianzheng; Keeton, Kimberly – Irvine, CA : VLDB Endowment, Inc., 2026. - 9 pp.
Dagstuhl-Seminar 25151, 2025-04-06 - 2025-04-11
Article
MMCaps : Towards Fast and Secure IPC using MMU-Accelerated Memory Capabilities : article in EuroSec '26: Proceedings of the 19th European Workshop on Systems Security
Gollenstede, Niklas; Tempel, Sören; Wrenger, Lars; Lohmann, Daniel; Dietrich, Christian – New York : ACM, 2026. - Pages 31 - 38
Dagstuhl-Seminar 25152, 2025-04-06 - 2025-04-11
Article
Interactive Discovery and Visualization of Process Trees : article in 2025 IEEE Visualization and Visual Analytics (VIS)
Heijden, Wouter van der; Elzen, Stef van den – Los Alamitos : IEEE, 2026. - 5 pp.
Dagstuhl-Seminar 25152, 2025-04-06 - 2025-04-11
Article
Towards Multi-Faceted Visual Process Analytics
Elzen, Stef van den; Martin, Niels; Pieters, Femke; Villa-Uriol, Maria-Cruz; Zelst, Sebastiaan J. van; Tominski, Christian; Jans, Mieke – Amsterdam : Elsevier, 2025. - 16 pp. – (Information Systems ; 133. 2025 : article)
Dagstuhl-Seminar 25152, 2025-04-06 - 2025-04-11
Article
Towards Integrating Visual Analytics in Multi-Perspective Conformance Checking : A Call to Action
Linden, Sanne van de; Filipov, Velitchko; Pufahl, Luise; Miksch, Silvia; Elzen, Stef van den – Aire-la-Ville : Eurographics Association, 2025. - 6 pp.
Dagstuhl-Seminar 25152, 2025-04-06 - 2025-04-11
Article
VESPA : Visual Event-Stream Progressive Analytics : article in Business Process Management Workshops (BPM 2025)
Burratin, Andrea; Miksch, Silvia; Schulz, Hans-Jörg; Vrotsou, Katerina – Berlin : Springer, 2025. - 8 pp.
Dagstuhl-Seminar 25152, 2025-04-06 - 2025-04-11
Article
Towards informed process exploration : better previews, reviews, and views beyond
Tominski, Christian; Hadar, Irit; Koytek, Philipp; Villa-Uriol, Maria-Cruz; Zerbato, Francesca – Berlin : Springer, 2026. - 24 pp. – (Process Science ; 3. 2026, article 20)
Dagstuhl-Seminar 25141, 2025-03-30 - 2025-04-04
Article
Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing : article in 43rd International Symposium on Theoretical Aspects of Computer Science : STACS 2026
Černý, Marek; Seppelt, Tim – Wadern : LZI, 2026. - pp. 25:1-25:20 – (Leibniz International Proceedings in Informatics ; 364 : article)
Dagstuhl-Seminar 25141, 2025-03-30 - 2025-04-04
Article
A Categorical Perspective on Constraint Satisfaction : The Wonderland of Adjunctions : article in 41st Annual Symposium on Logic in Computer Science
Hadek, Maximilian; Jakl, Tomas; Opršal, Jakub – Wadern : LZI, 2026 – (Leibniz International Proceedings in Informatics ; 380 : article)
Dagstuhl-Seminar 25142, 2025-03-30 - 2025-04-02
Article
A Review of Taxonomies of Explainable AI (XAI) Evaluation : article in FAccT '26: The 2026 ACM Conference on Fairness, Accountability, and Transparency
Speith, Timo – New York : ACM, 2026. - Pages 541 - 569
Dagstuhl-Seminar 25142, 2025-03-30 - 2025-04-02
Article
Examples of Null Effects and Explainability Pitfalls in XAI User Studies : article in IUI MIRAGE 2026 workshop, Limassol, Cyprus
Ismail-Tsaous, Eda; Schmid, Ute; Spannagl, Celine – 2026. - 7 pp.
Dagstuhl-Seminar 25131, 2025-03-23 - 2025-03-28
Article
Represented Spaces of Represented Spaces : article in Crossroads of Computability and Logic: Insights, Inspirations, and Innovations : Cie 2025
Franklin, Johanna N. Y. ; Neumann, Eike; Pauly, Arno; Pradic, Cécilia; Valenti, Valenti – Berlin : Springer, 2025. - pp 47–61 – (Lecture notes in computer science ; 15764 : article)
Dagstuhl-Seminar 25132, 2025-03-23 - 2025-03-28
Article
Minimizing Completion Times of Stochastic Jobs on Parallel Machines is Hard
Moseley, Benjamin; Pruhs, Kirk; Uetz, Marc; Zhou, Rudy – Cornell University : arXiv.org, 2026. - 13 pp.
Dagstuhl-Seminar 25132, 2025-03-23 - 2025-03-28
Article
Bayesian Probing on Graphs : article in International Conference on Integer Programming and Combinatorial Optimization 2026
Gupta, Anupam; Moseley, Benjamin; Zhou, Rudy – Berlin : Springer, 2026. - pp 410–425 – (Lecture notes in computer science ; 16588 : article)
Dagstuhl-Seminar 25132, 2025-03-23 - 2025-03-28
Article
Stochastic scheduling with Bernoulli-type jobs through policy stratification : article in 2025 IEEE 66th Annual Symposium on Foundations of Computer Science (FOCS)
Antoniadis, Antonios; Hoeksma, Ruben; Schewior, Kevin; Uetz, Marc – Los Alamitos : IEEE, 2026. - pp. 2446-2469
Dagstuhl-Seminar 25132, 2025-03-23 - 2025-03-28
Article
Approximating Matroid Basis Testing for Partition Matroids using Budget-In-Expectation : article in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
Hellerstein, Lisa; Plank, Benedikt M.; Schewior, Kevin – Philadelphia : SIAM, 2026. - Pages 2588 - 2616
Dagstuhl-Seminar 25121, 2025-03-16 - 2025-03-21
Article
Condorcet Dimension and Pareto Optimality for Matchings and Beyond : article
Kavitha, Telikepalli; Matuschke, Jannik; Schmidt-Kraepelin, Ulrike – Cornell University : arXiv.org, 2026. - 29 pp.
Dagstuhl-Seminar 25121, 2025-03-16 - 2025-03-21
Article
A (2 +𝜀)-approximation algorithm for the general scheduling problem in quasipolynomial time : article in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)
Armbruster, Alexander; Rohwedder, Lars; Wiese, Andreas – Philadelphia : SIAM, 2026. - Pages 3498 - 3510
Dagstuhl-Seminar 25121, 2025-03-16 - 2025-03-21
Article
Randomized Rounding over Dynamic Programs
Bamas, Étienne; Li, Shi; Rohwedder, Lars – Cornell University : arXiv.org, 2025. - 37 pp.
Dagstuhl-Perspektiven-Workshop 25122, 2025-03-16 - 2025-03-19
Article
Once Upon a Time When HCI Prioritised Environmental Sustainability : Reflections on a Collection of Fictions : article in CHI EA '25: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems
Kuijer, Lenneke; Kaipainen, Kirsikka; Olsson, Thomas; Sari, Eunice R.; Shakeri, Gözel; Väänänen, Kaisa; Raake, Alexander; Lockton, Dan; Laschke, Matthias; Lallemand, Carine; Hassenzahl, Marc; Friday, Adrian; Fiedler, Markus; Bidwell, Nicola – New York : ACM, 2025. - Pages 1 - 10
Dagstuhl-Seminar 25111, 2025-03-09 - 2025-03-14
Article
Optimal Random Self-Reductions for All Linear Problems : article
Hirahara, Shuichi; Shimizu, Nobutaka – Haifa : ECCC, 2026. - 33 pp. – Electronic Colloquium on Computational Complexity ; 48. 2026)
Forschungstreffen 25103, 2025-03-05 - 2025-03-07
Article
ContinuumConductor : Decentralized Process Mining on the Edge-Cloud Continuum : Accepted at Fourth International Workshop on Collaboration Mining for Distributed Systems (COMINDS 2025)
Reiter, Hendrik; Kabierski, Martin; Landsiedel, Olaf; Lepsien, Arvid; Lu, Xixi; Serral, Estefania; Hasselbring, Wilhelm; Weidlich, Matthias; Tschorsch, Florian; Schulte, Stefan; Marrella, Andrea; Koschmider, Agnes; Edinger, Janick – 2025. - 12 pp.
Dagstuhl-Perspektiven-Workshop 25102, 2025-03-02 - 2025-03-05
Article
Shaping the Future of Games in Society : Insights from a Dagstuhl Perspectives Workshop : article
Nacke, Lennart; Drachen, Anders; Pirker, Johanna – New York : ACM, 2025. - Pages 62 - 65 – (Interactions ; 32. 2025, 4 _ article)
Dagstuhl-Seminar 25091, 2025-02-23 - 2025-02-28
Article
Worst-case performance for real-time systems
Schoeberl, Martin; Jellum, Erling; Lin, Shaokai; Jerad, Chadlia; Maroun, Emad Jacob; Lee, Edward A.; Lohstroh, Marten – Cambridge : Cambridge University Press, 2025. - 8 pp. – (Research Directions: Cyber-Physical Systems ; 3. 2025, e2)
Dagstuhl-Seminar 25091, 2025-02-23 - 2025-02-28
Article
Combining Early Exit and Selective Prediction for Convolutional Neural Networks : article
Bouraoui, Hasna; Jerad, Chadlia; Castrillón-Mazo, Jerónimo – Los Alamitos : IEEE, 2026. - pp. 224-227 – (IEEE Embedded Systems Letters ; 18. 2026, 3)
Dagstuhl-Seminar 25072, 2025-02-09 - 2025-02-14
Article
The role of sound and auditory displays in telescope control rooms : a pilot study
Zanella, Anita; Lenzi, Sara; Pauletto, Sandra; Aigner, Wolfgang – Cornell University : arXiv.org, 2026. - 6 pp.
Dagstuhl-Seminar 25062, 2025-02-02 - 2025-02-07
Article
Extended Reality for Enhancing Surgery : Research Directions to Transform the Operating Environment : article
Zachmann, Gabriel; Haddawy, Peter; Kikinis, Ron; Hennemuth, Anja; Cattin, Philippe C.; Döring, Tanja; Fichtinger, Gabor; Welch, Greg; Wijewickrema, Sudanthi; Flügge, Tabea; Jorge, Joaquim Armando Pires; Kohli, Luv; Lorenz, Mario; Malaka, Rainer; Pascau, Javier; Reiners, Dirk; Reinschlüssel, Anke V.; Schenk, Andrea; Schmid, Falko; Suebnukarn, Siriwan; Uslar, Verena; Drouin, Simon; Weller, Rene; Weyhe, Dirk; Yin, Myat Su – Berlin : Springer, 2026. - 46 pp. – (Journal of Healthcare Informatics Research ; 2026 : article)
Dagstuhl-Seminar 25051, 2025-01-26 - 2025-01-31
Article
Towards Computer-Using Personal Agents
Bonatti, Piero A.; Jimenez-Ruiz, Ernesto; MacGuinness, Deborah L.; Sun, Chang; Wright, Jesse; Verborgh, Ruben; Hose, Katja; Hogan, Aidan; Hartig, Olaf; Harth, Andreas; Gentile, Anna Lisa; Domingue, John – Cornell University : arXiv.org, 2025. - 10 pp.
Dagstuhl-Seminar 25051, 2025-01-26 - 2025-01-31
Article
Towards a Formal Semantics of the Open Digital RightsLanguage (ODRL 2.2) : article in ESWC-JP 2025 : ESWC 2025 Workshops and Tutorials Joint Proceedings
Bonatti, Piero Andrea; Fornara, Nicoletta; Harth, Andreas – CEUR-WS.org, 2025. - 16 pp.
Dagstuhl-Seminar 25051, 2025-01-26 - 2025-01-31
Article
Improving ODRL 2.2 : current limitations and theoretical solutions : article in ESWC-JP 2025, ESWC 2025 Workshops and Tutorials Joint Proceedings
Cimmino, Andrea; Fornara, Nicoletta – CEUR-WS.org, 2025. - 15 pp.
Dagstuhl-Seminar 25041, 2025-01-19 - 2025-01-24
Article
Every Graph is Essential to Large Treewidth : article
Alecu, Bogdan; Bonnet, Édouard; Bureo Villafana, Pedro; Trotignon, Nicolas – Cornell University : arXiv.org, 2025. - 23 pp.
Dagstuhl-Seminar 25032, 2025-01-12 - 2025-01-15
Article
Good practices for evaluation of synthesized speech
Cooper, Erica; Maguer, Sébastien Le; Klabbers, Esther; Yamagishi, Junichi – Cornell University : arXiv.org, 2025. - 8 pp.
Dagstuhl-Seminar 25021, 2025-01-05 - 2025-01-10
Article
From procedures to peril : Towards risk transparency in information privacy for users
Ebert, Nico; Fischer-Hübner, Simone; Human, Soheil; Kitkowska, Agnieszka; Kollnig, Konrad; Mitrović, Jelena; Pan, Shidong; Schaltegger, Thierry; Smullen, Daniel; Xian, Lu – Amsterdam : Elsevier, 2026. - 11 pp. – (Telecommunications Policy ; 50. 2026, 5 : article)