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. 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.

Petra Meyer

Bibliothekarin

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

2024

Dagstuhl-Seminar 24342, 2024-08-18 - 2024-08-21
Article
Beware of "Explanations" of AI
Martens, David; Goethals, Sofie; Greene, Travis; Kraus, Mathias; Zharova, Alona; Zschech, Patrick; Provost, Foster; Verbeke, Wouter; Perlich, Claudia; Kühl, Niklas; Klein, Nadja; Feuerriegel, Stefan; Janiesch, Christian; Evgeniou, Theodoros; Shmueli, Galit; Gabel, Sebastian; Bauer, Kevin – Cornell University : arXiv.org, 2025. - 10 pp.
Dagstuhl-Seminar 24282, 2024-07-07 - 2024-07-12
Article
Code Evolution Graphs : Understanding Large Language Model Driven Design of Algorithms
Stein, Niki van; Kononova, Anna V.; Kotthoff, Lars; Bäck, Thomas – Cornell University : arXiv.org, 2025. - 9 pp.
Dagstuhl-Seminar 24272, 2024-06-30 - 2024-07-05
Article
Goodbye Hello World : Research Questions for a Future CS1 Curriculum : article in Koli Calling '24: Proceedings of the 24th Koli Calling International Conference on Computing Education Research
Keuning. Hieke; Luxton-Reilly, Andrew; Ott, Claudia; Petersen, Andrew; Kiesler, Natalie – New York : ACM, 2024. - pp. 1-2
Dagstuhl-Seminar 24272, 2024-06-30 - 2024-07-05
Article
The Role of Generative AI in Software Student CollaborAItion
Kiesler, Natalie; Smith, Jacqueline; Leinonen, Fox, Armando; Juho; MacNeil, Stephen; Ihantola, Petri – Cornell University : arXiv.org, 2025. - 7 pp.
Forschungstreffen 24264, 2024-06-26 - 2024-06-28
Article
New trends in applied machine intelligence : Selected results of the Dagstuhl Workshop AMI’2024
Humm, Bernhard G.; Blum, Lothar B.; Decher, Sophie; Dembach, Michael; Schwerk, Anne; Seidlmayer, Eva; Zender, Alexander; Wenning, Rigo; Siegel, Melanie; Kaupp, Lukas; Hoppe, Thomas; Goetz, Christian; Busse, Johannes – Berlin : Springer, 2025. - 17 pp. – (Informatik Spektrum ; 2025 : article)
Dagstuhl-Seminar 24192, 2024-05-05 - 2024-05-08
Article
Aligning Generalisation Between Humans and Machines
Ilievski, Filip; Villmann, Thomas; Ven, Gido van de; Shawe-Taylor, John; Serafini, Luciano; Pasi, Gabriella; Oltramari, Alessandro; Ngonga Ngomo, Axel-Cyrille; Mundt, Martin; Hitzler, Pascal; Dong, Xin Luna; Biehl, Michael; Schmid, Ute; Saralajew, Sascha; Harmelen, Frank van; Hammer, Barbara; Ilievski, Filip; Minervini, Pasquale; Saribatur, Zeynep G.; Shwartz, Vered; Skitalinskaya, Gabriella; Paassen, Benjamin; Bolognesi, Marianne; Gashteovski, Kiril; Marra, Giuseppe; Stachl, Clemens – Cornell University : arXiv.org, 2024. - 35 pp.
Dagstuhl-Seminar 24181, 2024-04-28 - 2024-05-03
Article
MassSpecGym : A benchmark for the discovery and identification of molecules
Bushuiev, Roman; Bushuiev, Anton; Jonge, Nick de; Young, Adamo; Kretschmer, Fleming; Samusevich, Raman; Heirman, Janne; Wang, Fei; Pluskal, Tomáš; Sivic, Josef; Böcker, Sebastian; Stravs, Michael A.; Hooft, Justin J. J. van der; Huber, Florian; Hassoun, Soha; Mak, Tytus D.; Rost, Hannes; Bittremieux, Wout; Rousu, Juho; Liu, Li-Ping; Wishart, David S.; Wang, Bo; Greiner, Russell; Schmid, Robin; Brungs, Corinna; Kalia, Apurva; Haupt, Nils A.; Ludwig, Marcus; Dührkop, Kai; Zhang, Luke – Cornell University : arXiv.org, 2024. - 49 pp.
Dagstuhl-Seminar 24162, 2024-04-14 - 2024-04-19
Article
Databases in the Era of Memory-Centric Computing : article in 15th Annual Conference on Innovative Data Systems Research (CIDR ’25), January 19-22, Amsterdam
Chronis, Yannis; Ailamaki, Anastasia; Benson, Lawrence; Caminal, Helena; Gičeva, Jana; Patterson. Dave; Sedlar, Eric; Wills, Lisa Wu – vldb.org, 2025. - 7 pp.
Dagstuhl-Seminar 24122, 2024-03-17 - 2024-03-22
Article
Node Embeddings via Neighbor Embeddings
Böhm, Jan Niklas; Keute, Marius; Guzmán, Alica; Draganov, Andrew; Kobak, Dmitry – Cornell University : arXiv.org, 2025. - 8 pp.
Dagstuhl-Seminar 24101, 2024-03-03 - 2024-03-08
Article
The Five-Minute Rule for the Cloud: Caching in Analytics Systems : article in The Conference on Innovative Data Systems Research (CIDR), 2025, Amsterdam, The Netherlands
Duwe, Kira; Anadiotis, Angelos; Lamb, Andrew; Lersch, Lucas; Leskes, Boaz; Tözün, Pinar; Ritter, Daniel – cidrdb.org, 2025. - 6 pp.
Dagstuhl-Seminar 24051, 2024-01-28 - 2024-02-02
Article
Behavioural Types for Heterogeneous Systems : Position Paper
Fowler, Simon; Haller, Philipp; Kuhn, Roland; Lindley, Sam; Scalas, Alceste; Vasconcelos, Vasco T. – Cornell University : arXiv.org, 2024. - 12 pp.
Dagstuhl-Seminar 24052, 2024-01-28 - 2024-02-02
Article
What Can Natural Language Processing Do for Peer Review?
Kuznetsov, Ilia; Afzal, Osama Mohammed; Dercksen, Koen; Leyton-Brown, Kevin; Névéol, Aurélie; Schwartz, Roy; Zhu, Xiaodan; Gurevych, Iryna; Shah, Nihar B.; Rogers, Anna; Wang, Jingyan; Solorio, Thamar; Smith, Noah A.; Qu, Lizhen; Pruthi, Danish; Mieskes, Margot; Mausam; Lu, Sheng; Lauscher, Anne; Dycke, Nils; Goldberg, Alexander; Hope, Tom; Hovy, Dirk; Kummerfeld, Jonathan K. – Cornell University : arXiv.org, 2024. - 43 pp.
Dagstuhl-Seminar 24051, 2024-01-28 - 2024-02-02
Article
Split Decisions : Explicit Contexts for Substructural Languages : article in CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
Zackon, Daniel; Sano, Chuta; Momigliano, Alberto; Pientka, Brigitte – New York : ACM, 2025. - Pages 257 - 27
Dagstuhl-Seminar 24051, 2024-01-28 - 2024-02-02
Article
The Concurrent Calculi Formalisation Benchmark
Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel – Heidelberg : Springer, 2024. - 330 S. – (Lecture notes in computer science ; 14676 : article)
Dagstuhl-Seminar 24041, 2024-01-21 - 2024-01-26
Article
Comprehensive Robustness Analysis of GCM, CCM, and OCB3
Inoue, Akiko; Iwata, Tetsu; Minematsu, Kazuhiko – Cryptology ePrint Archive, 2024. - 43 pp.
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
Root cause analysis using anomaly detection and temporal informed causal graphs : article in ML4CPS – Machine Learning for Cyber-Physical Systems
Rehak, Josephine; Youssef, Shahenda; Beyerer, Jürgen – Hamburg : Universität, 2024. - 10 pp.
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
A Lazy Approach to Neural Numerical Planning with Control Parameters : article in ECAI 2024
Heesch, René; Cimatti, Alessandro; Ehrhardt, Jonas; Diedrich, Alexander; Niggemann, Oliver – Amsterdam : IOS Press, 2024. - 9 pp. – (Frontiers in Artificial Intelligence and Applications ; 392)
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Niggemann, Oliver; Diedrich, Alexander; Heesch, René; Bozzano, Marco; Ludwig, Björn; Cimatti, Alessandro – Wadern : LZI 2024. ; pp. 9:1-9:19
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper) : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Niggemann, Oliver; Dumitrescu, Roman; Merkelbach, Silke; Diedrich, Alexander; Sztyber, Anna; Travé-Massuyès, Louise; Chanthery, Elodie – Wadern : LZI, 2024 : pp. 31:1-31:15
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
Usability of Symbolic Regression for Hybrid System Identification - System Classes and Parameters (Short Paper) : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Plambeck, Swantje; Schmidt, Maximilian; Subias, Audine; Travé-Massuyès, Louise; Fey, Görschwin – Wadern : LZI, 2024, - pp. 30:1-30:14
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
A Hierarchical Monitoring and Diagnosis System for Autonomous Robots : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Steinbauer-Wagner, Gerald; Fürbaß, Leo; De Bortoli, Marco; Travé-Massuyès, Louise – Wadern : LZI, 2024.- pp. 1:1-1:9
Dagstuhl-Seminar 24031, 2024-01-14 - 2024-01-19
Article
Bridging Hardware and Software Diagnosis : Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities
Travé-Massuyès, Louise; Wotawa, Franz – Wadern: LZI, 2024. - pp. 5:1-5:15
Dagstuhl-Seminar 24032, 2024-01-14 - 2024-01-19
Article
Dynamic Direct Access of MSO Query Evaluation over Strings : article in 28th International Conference on Database Theory
Bourhis, Pierre; Capelli, Florent; Mengel, Stefan; Riveros, Cristian – Wadern : LZI, 2025. – (Leibniz International Proceedings in Informatics ; 328 : article)
Dagstuhl-Seminar 24032, 2024-01-14 - 2024-01-19
Article
Consistency of Relations over Monoids
Atserias, Albert; Kolaitis, Phokion G. – New York : ACM, 2024. - 15 pp. – (Proceedings of the ACM on Management of Data ; 2. 2024. 2 : Article 107)
Dagstuhl-Seminar 24021, 2024-01-07 - 2024-01-12
Article
Quotients, pure existential completions and arithmetic universes
Maietti, Maria Emilia; Trotta, Davide – Sackville : Mount Allison University, 2025. - pp 59-83
Dagstuhl-Seminar 24021, 2024-01-07 - 2024-01-12
Article
On symmetries of spheres in univalent foundations : article in LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
Cagne, Pierre; Buchholtz, Ulrik Torben; Kraus, Nicolai; Bezem, Marc – New York : ACM, 2024. - Pages 1 - 14
Dagstuhl-Seminar 24021, 2024-01-07 - 2024-01-12
Article
Separability and harmony in ecumenical systems : acepted to the Journal of Logic and Computation
Marin, Sonia; Pereira, Luiz Carlos; Pimentel, Elaine; Sales, Emerson – Cornell University : arXiv.org, 2025. - 27 pp.
Dagstuhl-Seminar 24021, 2024-01-07 - 2024-01-12
Article
Playing with Modalities (Invited Talk)
Pimentel, Elaine; Olarte, Carlos; Lang, Timo; Freiman, Robert; Fermüller, Christian G. – Wadern : LZI, 2025 – (Leibniz International Proceedings in Informatics ; 326 : article)