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 All 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
Dagstuhl Seminar 18491, 02.12.18-07.12.18 | |
| Multicategories of Multiary Lenses : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019 |
| Johnson, Michael; Rosebrugh, Robert. - Aachen : CEUR, 2019. - 8 pp.. - (CEUR workshop series ; 2355) Link | |
Dagstuhl Seminar 18471, 18.11.18-23.11.18 | |
| Tool Support of Formal Methods for Privacy by Design |
| Schupp, Sibylle. - Cornell University : arXiv.org, 2019. - 22 pp. Link | |
Dagstuhl Seminar 18421, 14.10.18-19.10.18 | |
| Open collaborative hyperpapers : a call to action : article |
| Dainotti, Alberto; Holz, Ralph; Kühlewind, Mirja; Lutu, Andra; Sommers, Joel; Trammell, Brian. - New York : ACM, 2019. - Pages 31-3. - (Computer communication review ; 49. 2019, 1) Link | |
Dagstuhl Seminar 18421, 14.10.18-19.10.18 | |
| Enumerating minimal dominating sets in Kt-free graphs and variants : article |
| Bonamy, Marthe; Defrain, Oscar; Heinrich, Marc; Pilipczuk, Michal; Raymond, Jean-Florent. - Cornell University : arXiv.org, 2019. - 26 pp. Link | |
Dagstuhl Seminar 18412, 07.10.18-10.10.18 | |
| The Dagstuhl Beginners Guide to Reproducibility for Experimental Networking Research: article in ACM SIGCOMM Computer Communication Review : pp. 24-30 |
| Bajpai, Vaibhav; Brunstrom, Anna; Feldmann, Anja; Kellerer, Wolfgang; Pras, Aiko; Wehrle, Klaus; Wählisch, Matthias; Smaragdakis, Georgios; Schulzrinne, Henning. - New York : ACM, 2019. - (Computer communication review ; 49. 2019, 1) Link | |
Dagstuhl Event 18383, 16.09.18-21.09.18 | |
| Autumn School for Information Retrieval and Foraging 2018 article : pp. 87-91 |
| Cole, Amelia W.; Achilles, Linda. - New York : ACM, 2019. - (Sigir forum ; 52. 2018, 2) Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| Planning as Optimization : Dynamically Discovering Optimal Configurations for Runtime Situations |
| Fredericks, Erick M.; Gerostathopoulos, Ilias; Krupitzer, Christian; Vogel, Thomas. - Cornell University : arXiv.org, 2019. - 10 pp. Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article to be presented at the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) |
| D'Angelo, Mirko; Gerasimou, Simos; Ghahremani, Sona; Grohmann, Johannes; Pournaras, Evangelos; Tomforde, Sven; Nunes, Ingrid. - York : University, 2019. - 14 pp. Link | |
Dagstuhl Event 18343, 19.08.18-24.08.18 | |
| Software Engineering for Intelligent and Autonomous Systems : Report from the GI Dagstuhl Seminar 18343 |
| Gerasimou, Simos; Vogel, Thomas; Diaconescu, Ada. - Cornell University : arXiv.org, 2019. - 14 pp. Link | |
Dagstuhl Seminar 18331, 12.08.18-17.08.18 | |
| Simulation of Programmable Matter Systems : Using Active Tile-Based Self-Assembly |
| Alumbaugh, John Calvin; Daymude, Joshua J.; Demaine, Erik D.; Patitz, Matthew J.; Richa, Andrea W.. - Cornell University : arXiv.org, 2019. - 33 pp. Link | |
Dagstuhl Event 18283, 08.07.18-13.07.18 | |
| Visualizing systems and software performance : Report on the GI-Dagstuhl seminar for young researchers, July 9 - 13, 2018 |
| Beck, Fabian; Bergel, Alexandre; Bezemer, Cor-Paul; Isaacs, Katherine E.. - PeerJPreprints, 2018. - 12 pp. Link | |
Dagstuhl Seminar 18251, 17.06.18-22.06.18 | |
| Joins on high-bandwidth memory: a new level in the memory hierarchy : article |
| Pohl, Constantin; Sattler, Kai-Uwe; Graefe, Goetz. - Berlin : Springer, 2019. - pp. 1-21. - (VLDB journal ; 2019) Link | |
Dagstuhl Seminar 18251, 17.06.18-22.06.18 | |
| Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96 |
| Glombiewski, Nikolaus; Seeger, Bernhard; Graefe, Goetz. - Bonn : Gesellschaft für Informatik e.V., 2019. - (Lecture notes in informatics / P ; 289 : article) Link | |
Dagstuhl Event 18233, 03.06.18-06.06.18 | |
| Current trends in applied machine intelligence : article |
| Humm, Bernhard G.; Bense, Hermann; Classen, Mario; Geißler, Stefan; Weichhardt, Frauke; Wenning, Rigo; Siegel, Melanie; Schäfermeier, Ralph; Paschke, Adrian; Juwig, Oliver; Hoppe, Thomas. - Berlin : Springer, 2019. - pp 28–37. - (Informatik Spektrum ; 42. 2019, 1 : article) Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| A Framework to Assess Value of Information in Future Vehicular Networks : article in TOP-Cars '19 : Proceedings of the 1st ACM MobiHoc Workshop on Technologies, mOdels, and Protocols for Cooperative Connected Cars |
| Giordani, Marco; Higuchi, Takamasa; Zanella, Andrea; Altintas, Onur; Zorzi, Michele. - New York : ACM, 2019. - Pages 31-36 Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| Emerging Trends in Vehicular Communication Networks : article in "Emerging Wireless Communication and Network Technologies", ISBN 978-981-13-0395-1 |
| Giordani, Marco; Zanella, Andrea; Higuchi, Takamasa; Altintas, Onur; Zorzi, Michele. - Berlin : Springer, 2018. - pp 37-57 Link | |
Dagstuhl Seminar 18202, 13.05.18-16.05.18 | |
| A LiDAR Error Model for Cooperative Driving Simulations : article in 2018 IEEE Vehicular Networking Conference (VNC) proceedings |
| Segata, Michele; Cigno, Renato Lo; Bhadani, Rahel Kumar; Bunting, Matthew; Sprinkle, Jonathan. - Los Alamitos : IEEE, 2019. - 8 pp. Link | |
Dagstuhl Seminar 18201, 13.05.18-18.05.18 | |
| Journey Beyond Full Abstraction : Exploring Robust Property Preservation for Secure Compilation : article |
| Abate, Carmine; Blanco, Roberto; Garg, Deepak; Patrignani, Marco; Thibault, Jeremy; Hritcu, Catalin. - Cornell University : arXiv.org, 2019. - 70 pp. Link | |
Dagstuhl Event 18193, 06.05.18-09.05.18 | |
| Ausgezeichnete Informatikdissertationen 2017 |
| Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2018. - 290 S.. - (Lecture notes in informatics / D ; 18) Link | |
Dagstuhl Seminar 18172, 22.04.18-27.04.18 | |
| Faster Coroutine Pipelines : A Reconstruction : article in International Symposium on Practical Aspects of Declarative Languages, PADL 2019 : LNCS 11372 |
| Pieters, Ruben P.; Schrijvers, Tom. - Berlin : Springer, 2019. - pp 133-149 Link | |
Dagstuhl Seminar 18172, 22.04.18-27.04.18 | |
| Syntax and Semantics for Operations with Scopes : article in LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science |
| Pirog, Maciej; Schrijvers, Tom; Wu, Nicolas; Jaskelioff, Mauro. - New York : ACM, 2018. - Pages 809-818 Link | |
Dagstuhl Seminar 18161, 15.04.18-20.04.18 | |
| Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article, Dagstuhl Seminar 18041 and 18161 |
| Luciani, Timothy; Burks, Andrew; Sugiyama, Cassiano; Komperdam Jonathan; Marai, Georgeta Elisabeta. - Los Alamitos : IEEE, 2018. - pp. 1225-1235. - (IEEE transactions on visualization and computer graphics ; 25. 2019, 1) Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| A study of vectorization for matrix-free finite element methods |
| Sun, Tianjiao; Mitchell, Lawrence; Kulkarni, Kaushik; Klöckner, Andreas; Ham, David A.; Kelly, Paul H. J.. - Cornell University : arXiv.org, 2019. - 14 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| Loop Optimization Framework |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 7 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| User-Directed Loop-Transformations in Clang |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 10 pp. Link | |
Dagstuhl Seminar 18111, 11.03.18-16.03.18 | |
| A Proposal for Loop-Transformation Pragmas |
| Kruse, Michael; Finkel, Hal. - Cornell University : arXiv.org, 2018. - 16 pp. Link | |
Dagstuhl Seminar 18101, 04.03.18-09.03.18 | |
| A general framework for handling commitment in online throughput maximization |
| Chen, Lin; Eberle, Franziska; Megow, Nicole; Schewior, Kevin; Stein, Cliff. - Cornell University : arXiv.org, 2018. - 28 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Intersection disjunctions for reverse convex sets |
| Towle, Eli; Luedtke, James. - Cornell University : arXiv.org, 2019. - 24 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks |
| Baltean-Lugojan, Radu; Bonami, Pierre; Misener, Ruth; Tramontani, Andrea. - Philadelphia : Optimization Online, 2018. - 37 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded |
| Mistry, Miten; Letsios, Dimitrios; Krennrich, Gerhard; Lee, Robert M.; Misener, Ruth. - Cornell University : arXiv.org, 2018. - 35 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| The running intersection relaxation of the multilinear polytope / |
| Pia, Alberto Del ; Khajavirad, Aida. - http://www.optimization-online.org/, 2018. - 35 pp. Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Intersection cuts for factorable MINLP |
| Serrano, Felipe. - Berlin : Zuse Institut, 2018. - 15 pp.. - (ZIB Report ; 18-59) Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| On the Relation between the Extended Supporting Hyperplane Algorithm and Kelley's Cutting Plane Algorithm |
| Serrano, Felipe; Schwarz, Robert; Gleixner, Ambros M.. - Berlin : Zuse Institut, 2019. - 16 pp.. - (ZIB Report ; 19-18) Link | |
Dagstuhl Seminar 18081, 18.02.18-23.02.18 | |
| Mixed-Integer Nonlinear Programming 2018 : Special issue |
| Sahinidis, Nikolaos V.. - Berlin : Springer, 2019. - pp. 301-682. - (Optimization and engineering ; 20. 2019, 2) Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| A Multi-Label A* Algorithm for Multi-Agent Pathfinding : article : ICAPS 2019 |
| Grenouilleau, Florian; Hoeve, Willem Jan van; Hooker, John N.. - University, 2019. - 5 pp. Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| Non-Traditional Objective Functions for MDPs |
| Koenig, Sven; Muise, Christian; Sanner, Scott. - University, 2019. - 8 pp. Link | |
Dagstuhl Seminar 18071, 11.02.18-16.02.18 | |
| Lagrangian Decomposition for Optimal Cost Partitioning |
| Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico. - Palo Alto : AAAI.org, 2019. - 10 pp. Link | |
Dagstuhl Seminar 18061, 04.02.18-09.02.18 | |
| Teaching Explicit Programming Strategies to Adolescents : article in ACM Technical Symposium on Computer Science Education (SIGCSE), Research Track |
| Ko, Andrew J.; LaToza, Thomas D.; Hull, Stephen; Ko, Ellen A.; Kwok, William; Quichocho, Jane; Akkaraju, Harshitha; Pandit, Rishin. - New York : ACM, 2019. - pp. 469-475. Link | |
Dagstuhl Seminar 18061, 04.02.18-09.02.18 | |
| Interdisciplinary programming language design : article in Onward! 2018 Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software |
| Coblenz, Michael; Aldrich, Jonathan; Myers, Brad A.; Sunshine, Joshua. - New York : ACM, 2018. - Pages 133-146 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Continuous Long-Term Evolution of Genetic Programming : article in ALife 2019 |
| Langdon, William B.; Banzhaf, Wolfgang. - Newcastle : University, 2019. - 8 pp. Link | |
Dagstuhl Seminar 18051, 28.01.18-02.02.18 | |
| Cops-Robber Games and the Resolution of Tseitin Formulas : article in SAT 2018: Theory and Applications of Satisfiability Testing |
| Galesi, Nicola; Talebanfard, Navid; Toran, Jacobo. - Berlin : Springer, 2018. - pp 311-326. - (Lecture notes in computer science ; 10929 : article) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| In-vivo and offline optimisation of energy use in the presence of small energy signals : A case study on a popular Android library : article in MobiQuitous '18 : Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems |
| Bokhari, Mahmoud A.; Alexander, Brad; Wagner, Markus. - New York : ACM, 2018. - Pages 207-215 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Applying genetic improvement to a genetic programming library in C++ : article |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - Berlin : Springer, 2018. - pp. 1-17 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Applying genetic improvement to a genetic programming library in C++ : article |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - Berlin : Springer, 2018. - pp. 1-17. - (Soft Computing ; 2018) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Novelty search for software improvement of a SLAM system : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference Companion |
| Lopez-Lopez, Victor R.; Trujillo, Leonardo; Legrand, Pierrick. - New York : ACM, 2018. - Pages 1598-1605 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Neutrality and Epistasis in Program Space : article in GI '18 : Proceedings of the 4th International Workshop on Genetic Improvement Workshop |
| Renzullo, Joseph; Weimer, Westley; Moses, Melanie; Forrest, Stephanie. - New York : ACM, 2018. - Pages 1-8 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| Faster Genetic Programming GPquick via multicore and Advanced Vector Extensions : article : 18 pp. |
| Langdon, William B.; Banzhaf, Jürgen. - Cornell University : arXiv.org, 2019 Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| A Journey Among Java Neutral Program Variants |
| Harrand, Nicolas; Allier, Simon; Rodriguez-Cancio, Marcelino; Monperrus, Martin; Baudry, Benoit. - Cornell University : arXiv.org, 2019. - 50 pp. Link | |
Dagstuhl Seminar 18051, 28.01.18-02.02.18 | |
| Short Proofs in QBF Expansion |
| Beyersdorff, Olaf; Chew, Leroy; Clymo, Judith; Mahajan, Meena. - Haifa : Electronic Colloquium on Computational Complexity, 2018. - 16 pp.. - (Electronic Colloquium on Computational Complexity Report ; 102) Link | |
Dagstuhl Seminar 18052, 28.01.18-02.02.18 | |
| A spoonful of DevOps helps the GI go down : article in Proceedings of the 4th International Workshop on Genetic Improvement Workshop Pages 35-36 : GI '18 |
| Baudry, Benoit; Harrand, Nicolas; Schulte, Eric; Timperley, Chris; Tan, Shin Hwei; Selakovic, Marija; Ugherughe, Emamurho. - New York : ACM, 2018. - 2 pp. Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| A Critical Analysis of the Evaluation Practice in Medical Visualization |
| Preim, Bernhard; Ropinski, Timo; Isenberg, Petra. - HAL Inria, 2018. - 13 pp. Link | |
Dagstuhl Seminar 18041, 21.01.18-26.01.18 | |
| Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article : Dagstuhl Seminar 18041 and 18161 |
| Luciani, Timothy; Burks, Andrew; Sugiyama, Cassiano; Komperdam Jonathan; Marai, Georgeta Elisabeta. - Los Alamitos : IEEE, 2018. - pp. 1225-1235. - (IEEE transactions on visualization and computer graphics ; 25. 2019, 1) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly : rticle in CRYPTO 2018: Advances in Cryptology : CRYPTO 2018 |
| Wang, Qingju; Hao, Yonglin; Todo, Yosuke; Li, Chaoyun; Isobe, Takanori; Meier, Willi. - Berlin : Springer, 2019. - pp 275-305. - (Lecture notes in computer science ; 10991 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Attacks and Countermeasures for White-box Designs : article in ASIACRYPT 2018: Advances in Cryptology : ASIACRYPT 2018 |
| Biryukov, Alex; Udovenko, Aleksei. - Berlin : Springer, 2018. - pp 373-402. - (Lecture notes in computer science ; 11273 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Quantum Chosen-Ciphertext Attacks Against Feistel Ciphers : article in CT-RSA 2019: Topics in Cryptology |
| Ito, Gembu; Hosoyamada, Akinori; Matsumoto, Ryutaroh; Sasaki, Yu; Iwata, Tetsu. - Berlin : Springer, 2019. - pp 391-411. - (Lecture notes in computer science ; 11405 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Breaking Message Integrity of an End-to-End Encryption Scheme of LINE : article in European Symposium on Research in Computer Security, ESORICS 2018 : Computer Security |
| Isobe, Takanori; Minematsu, Kazuhiko. - Berlin : Springer, 2019. - pp 249-268. - (Lecture notes in computer science ; 11099 : article) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Affine linear cryptanalysis : article |
| Nyberg, Kaisa. - Berlin : Springer, 2019. - 11 pp.. - (Cryptography and Communications ; 2019) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Cube Attacks on Non-Blackbox Polynomials Based on Division Property : article |
| Todo, Yosuke; Isobe, Takanori; Hao, Yonglin; Meier, Willi. - Los Alamitos : IEEE, 2019. - pp. 1720 - 1736. - (IEEE transactions on computers ; 67. 2018, 12) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Towards Low Energy Stream Ciphers : article |
| Banik, Subhadeep; Armknecht, Frederik; Isobe, Takanori; Meier, Willi; Mikhalev, Vasily; Regazzoni, Francesco; Watanabe, Yuhei; Bogdanov, Andrey. - Bochum : Universität , 2018. - 19 pp.. - (IACR Transactions on Symmetric Cryptology ; 2018, 2) Link | |
Dagstuhl Seminar 18021, 07.01.18-12.01.18 | |
| Fast Correlation Attack Revisited : Cryptanalysis on Full Grain-128a, Grain-128, and Grain-v1 : article in CRYPTO 2018 : Advances in Cryptology : CRYPTO 2018 : pp 129-159 |
| Todo, Yosuke; Isobe, Takanori; Meier, Willi; Aoki, Kazumaro; Zhang, Bin. - Berlin : Springer, 2018. - pp. 129-159. - (Lecture notes in computer science ; 10992 : article) Link | |
All 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