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 a result from a Dagstuhl Seminar.
Legend
Book 
Special Issue 
Technical Report 
Article 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 All
Dagstuhl Seminar 19481, 24.11.19-29.11.19 | |
| Compositional model analysis . article |
| Gray, Jeff; Rumpe, Bernhard. - Berlin : Springer, 2020. - pp. 261-262. - (Software and systems modeling ; 19. 2020, 2) Link | |
Dagstuhl Seminar 19461, 10.11.19-15.11.19 | |
| Common Conversational Community Prototype : Scholarly Conversational Assistant |
| Balog, Krisztian; Flekova, Lucie; Radlinski, Filip; Vakulenko, Svitlana; Zamani, Hamed; Sanderson, Mark; Potthast, Martin; Jones, Rosie; Hagen, Matthias. - Cornell University : arXiv.org, 2020. - 6 pp. ISBN: https://arxiv.org/abs/2001.06910 | |
Dagstuhl Event 19413, 06.10.19-11.10.19 | |
| Interoperability of Metadata Standards in Cross-Domain Science, Health, and Social Science Applications II : Summary Report, DDI-CODATA Workshop |
| . - DDIAlliance.org, 2019. - 3 pp. | |
Dagstuhl Seminar 19401, 29.09.19-04.10.19 | |
| Weakly Distinguishing Graph Polynomials on Addable Properties : article |
| Makowsky, Johann A.; Rakita, Vsevolod. - Cornell University : arXiv.org, 2019. - 17 pp. Link | |
Dagstuhl Event 19393, 22.09.19-27.09.19 | |
| Autumn School for Information Retrieval and Information Foraging 2019 |
| Engl, Felix; Jegan, Robin; Martin, Leon. - New York : ACM, 2019. - 5 pp.. - (Sigir forum ; 53. 2019, 2) Link | |
Dagstuhl Seminar 19381, 15.09.19-20.09.19 | |
| Egalitarian Deliberative Decision Making : Cornell University : arXiv.org, 2020. - 7 pp. |
| Elkind, Edith; Grossi, Davide; Shapiro, Ehud; Talmon, Nimrod. - Cornell University : arXiv.org, 2020. - 7 pp. Link | |
Dagstuhl Seminar 19302, 21.07.19-26.07.19 | |
| Identifying Unintended Harms of Cybersecurity Countermeasures : article in eCrime '19 Proceedings of the Symposium on Electronic Crime Research |
| Chua, Yi Ting; Parkin, Simon; Edwards, Matthew; Oliveira, Daniela; Schiffner, Stefan; Tyson, Gareth; Hutchings, Alice. - Los Alamitos : IEEE, 2019. - 15 pp. Link | |
Dagstuhl Seminar 19302, 21.07.19-26.07.19 | |
| Conversational Search for Learning Technologies : Dagstuhl Report on Conversational Search |
| Oviatt, Sharon; Soulier, Laure. - Cornell University : arXiv.org, 2020. - 6 pp. Link | |
Dagstuhl Seminar 19301, 21.07.19-26.07.19 | |
| Towards Secure Composition of Integrated Circuits and Electronic Systems : On the Role of EDA |
| Knechtel, Johann; Kavun, Elif Bilge; Heuser, Annelie; Dey, Soumyajit; Fei, Yunsi; Belenky, Yaacov; Levi, Itamar; Polian, Ilia; Schaumont, Patrick R.; Güneysu, Tim; Mukhopadhyay, Debdeep; Chattopadhyay, Anupam; Regazzoni, Francesco. - Cornell University : arXiv.org, 2020. - 6 pp. Link | |
Dagstuhl Seminar 19272, 30.06.19-03.07.19 | |
| Real VR : Immersive Digital Reality : How to Import the Real World into Head-Mounted Immersive Displays |
| Magnor, Marcus Andreas; Sorkine-Hornung, Alexander. - Heidelberg : Springer, 2020. - 353 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 11900) Link | |
Dagstuhl Seminar 19262, 23.06.19-26.06.19 | |
| IDEAS : Immersive Dome Experiences for Accelerating Science |
| Faherty, Jacqueline K.; SubbaRao, Mark; Wyatt, Ryan; Ynnerman, Anders; Steffen, Wolfgang; Stoeckle, Gabriel; Weiskopf, Daniel; Magnor, Marcus; Williams, Peter K. G.; Abbott, Brian; Marchetti, Lucia; Jarrrett, Thomas; Fay, Jonathan; Peek, Joshua; Graur, Or; Durrell, Patrick; Homeier, Derek; Preston, Heather; Müller, Thomas; Vos, Johanna M.; Brown, David; Godfrey, Paige Giorla; Rice, Emily; Gagliuffi, Daniella Bardalez; deGrasse Tyson, Neil; Geller, Aaron; Weber, Maria; Rosenfield, Philip; Bock, Alexander. - Cornell University : arXiv.org, 2019. Link | |
Dagstuhl Event 19243, 10.06.19-14.06.19 | |
| Applying machine intelligence in practice : Selected results of the 2019 Dagstuhl Workshop on Applied Machine Intelligence |
| Humm, Bernhard G.; Bense, Hermann; Bock, Jürgen; Herta, Christian; Halvani, Oren; Staab, Steffen; Hoppe, Thomas; Juwig, Oliver; Siegel, Melanie; Classen, Mario. - Berlin : Springer, 2020. - 8 pp.. - (Informatik Spektrum ; 2020 : article) Link | |
Dagstuhl Seminar 19232, 02.06.19-07.06.19 | |
| Ubiquitous Computing Education : article |
| McLeod, Amanda. - Los Alamitos : IEEE, 2019. - pp. 59 - 62. - (IEEE pervasive computing ; 18. 2019, 3) Link | |
Dagstuhl Seminar 19232, 02.06.19-07.06.19 | |
| Teaching Pervasive Computing : Report and a Look Ahead From a Dagstuhl Seminar : article |
| Kun, Andrew L.; Roudaut, Anne; Girouard, Audrey; Shaer, Orit. - Los Alamitos : IEEE, 2020. - pp. 92-96. - (IEEE pervasive computing ; 19. 2020, 1 : article) Link | |
Dagstuhl Event 19223, 26.05.19-29.05.19 | |
| Ausgezeichnete Informatikdissertationen 2018 |
| Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2019. - 280 S. . - (Lecture notes in informatics / D ; 19) Link | |
Dagstuhl Seminar 19191, 05.05.19-10.05.19 | |
| Towards Efficient Analysis of Variation in Time and Space : article in SPLC '19 Proceedings of the 23rd International Systems and Software Product Line Conference, Volume B : Pages 57-64 |
| Thüm, Thomas; Teixeira, Leopoldo; Schmid, Klaus; Mukelabai, Mukelabai; Varshosaz, Masha; Kehrer, Timo; Schaefer, Ina; Botterweck, Goetz; Walkingshaw, Eric. - New York : ACM, 2019. - 8 pp. Link | |
Dagstuhl Seminar 19191, 05.05.19-10.05.19 | |
| Towards a Conceptual Model for Unifying Variability in Space and Time : article in SPLC '19 Proceedings of the 23rd International Systems and Software Product Line Conference, Volume B : Pages 44-48 |
| Ananieva, Sofia; Kehrer, Timo; Klare, Heiko; Koziolek, Anne; Burger, Andreas; Westfechtel, Bernhard; Taentzer, Gabriele; Ramesh, S.; Lönn, Henrik. - New York : ACM, 2019. - 5 pp. Link | |
Dagstuhl Seminar 19172, 22.04.19-25.04.19 | |
| Generative Design in Minecraft : Chronicle Challenge |
| Salge, Christoph; Guckelsberger, Christian; Green, Michael Cerny; Canaan, Rodrigo; Togelius, Julian. - Cornell University : arXiv.org, 2019. - 5 pp. Link | |
Dagstuhl Seminar 19171, 22.04.19-26.04.19 | |
| Taxonomy of Trust-Relevant Failures and Mitigation Strategies: article in HRI '20 : Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction |
| Tolmeijer, Suzanne; Weiss, Astrid; Hanheide, Marc; Lindner, Felix; Tielman, Myrthe L.; Dixon, Clare; Powers, Thomas M.. - New York : ACM, 2020. - pp. 3-12 Link | |
Dagstuhl Event 19153, 10.04.19-12.04.19 | |
| Foundations of Digital Archæoludology |
| Browne, Cameron; Soemers, Dennis J. N. J.; Piette, Eric; Stephenson, Matthew; Conrad, Michael; Crist, Walter; Depaulis, Thierry; Duggan, Eddie; Horn, Fred; Kelk, Stephen; Lucas, Simon M.; Neto, Joao Pedro; Parlett, David; Saffidine, Abdallah; Schädler, Ulrich; Silva, Jorge Nuno; Voogt, Alex de; Winands, Mark H. M.. - Cornell University : arXiv.org, 2019. - 26 pp. Link | |
Dagstuhl Seminar 19131, 24.03.19-29.03.19 | |
| Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems |
| Bartholdi, Laurent; Figelius, Michael; Lohrey, Markus; Weiss, Armin. - Cornell University : arXiv.org, 2019. - 42 pp. Link | |
Dagstuhl Seminar 19132, 24.03.19-29.03.19 | |
| Exploring the concept of the (future) mobile office : article in AutomotiveUI '19 Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications: Adjunct Proceedings |
| Janssen, Christian P.; Kun, Andrew L.; Brewster, Stephen; Boyle, Linda Ng; Brumby, Duncan P.; Chuang, Lewis L.. - New York : ACM, 2019. - Pages 465-467 Link | |
Dagstuhl Seminar 19092, 24.02.19-01.03.19 | |
| Book Embeddings of Nonplanar Graphs with Small Faces in Few Pages |
| Bekos, Michael A.; Lozzo, Giordano Da; Griesbach, Svenja; Gronemann, Martin; Montecchiani, Fabrizio; Raftopoulou, Chrysanthi N.. - Cornell University : arXiv.org, 2020. - 33 pp. Link | |
Dagstuhl Seminar 19081, 17.02.19-22.02.19 | |
| How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? : article in LNCS11800 |
| Ehlers, Rüdiger. - Berlin : Springer, 2019. - pp. 245-261. - (Lecture notes in computer science ; 11800 : article) Link | |
Dagstuhl Seminar 19062, 03.02.19-06.02.19 | |
| Constraints in Dynamic Symbolic Execution : Bitvectors or Integers? |
| Kapus, Timotej; Nowack, Martin; Cadar, Cristian. - University, 2019. - 14 pp. Link | |
Dagstuhl Seminar 19061, 03.02.19-08.02.19 | |
| Patterns of Multiplex Layer Entanglement across Real and Synthetic Networks : article |
| Skrlj, Blaz; Renoust, Benjamin. - Cornell University : arXiv.org, 2019. - 12 pp. Link | |
Dagstuhl Seminar 19051, 27.01.19-01.02.19 | |
| Efficient Gauss Elimination for Near-Quadratic Matrices with One Short Random Block per Row, with Applications : article |
| Dietzfelbinger, Martin; Walzer, Stefan. - Wadern : LZI, 2019. - pp. 1-18. - Leibniz International Proceedings in Informatics ; 144 : article) Link | |
Dagstuhl Seminar 19032, 13.01.19-16.01.19 | |
| Simple Conditionals with Constrained Right Weakening : Dagstuhl Seminar 19032 and 19072 |
| Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan. - IJCAI, 2019. - 7 pp. Link | |
Dagstuhl Event 19023, 06.01.19-11.01.19 | |
| Model-based Testing Strategies for Configurable Software : article in ES4CSI, GI-Dagstuhl Seminar 19023, January 2019 |
| Luthmann, Lars; Lochau, Malte. - Bonn : Gesellschaft für Informatik e.V., 2019. - 2 pp. Link | |
Dagstuhl Event 19023, 06.01.19-11.01.19 | |
| Towards a Characterization of Explainable Systems |
| Bohlender, Dimitri; Köhl, Maximilian A.. - Cornell University : arXiv.org, 2019. - 11 pp. Link | |
Dagstuhl Event 19023, 06.01.19-11.01.19 | |
| Explainable Software for Cyber-Physical Systems : ES4CPS : Report from the GI Dagstuhl Seminar 19023, January 06 - 11 2019, Schloss Dagstuhl |
| Greenyer, Joel; Lochau, Malte; Vogel, Thomas. - Cornell University : arXiv.org, 2019. - 73 pp. Link | |
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 All