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 a result from a Dagstuhl Seminar.

Legend

 Book    Special Issue    Technical Report    Article   


Dagstuhl Seminar 19511, 15.12.19-20.12.19

CPPN2GAN : Combining Compositional Pattern Producing Networks and GANs for Large-scale Pattern Generation

Schrum, Jacob; Volz, Vanessa; Risi, Sebastian. - Cornell University : arXiv.org, 2020. - 13 pp.
Link
 

Dagstuhl Seminar 19491, 01.12.19-06.12.19

The Future is Big Graphs! : A Community View on Graph Processing Systems : article - 2020

Sakr, Sherif; Bonifati, Angela; Voigt, Hannes; Iosup, Alexandru. - Cambridge : University, 2020. - 14 pp.
Link
 

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

Dagstuhl Seminar 19443, 27.10.19-31.10.19

On the maximum agreement subtree conjecture for balanced trees : article

Bordewich, Magnus; Linz, Simone; Owen, Megan; St. John, Katherine; Semple, Charles; Wicke, Kristina. - Cornell University : arXiv.org, 2020. - 21 pp.
Link
 

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

Isomorphic Distances Among Elections : article in International Computer Science Symposium in Russia CSR 2020

Faliszewski, Piotr; Skowron, Piotr; Slinko, Arkadii; Szufa, Stanislaw; Talmon, Nimrod. - Berlin : Springer, 2020. - pp 64-78. - (Lecture notes in computer science ; 12159 : article)
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 19352, 25.08.19-30.08.19

Representing Graphs by Polygons with Side Contacts in 3D : article in 36th European Workshop on Computational Geometry, Würzburg, Germany, March 16 - 18, 2020

Arseneva, Elena; Kleist, Linda; Klemz, Boris; Löffler, Maarten; Schulz, Andre; Vogtenhuber, Birgit; Wolff, Alexander. - Würzburg : Universität , 2020. - 8 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 19301, 21.07.19-26.07.19

Real-World Snapshots vs. Theory : Questioning the t-Probing Security Model : article

Krachenfels, Thilo; Ganji, Fatemeh; Moradi, Amir; Tajik, Shahin; Seifert, Jean-Pierre. - Cornell University : arXiv.org, 2020. - 17 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 19281, 07.07.19-12.07.19

Capturing and Characterising Notional Machines : article in ITiCSE '20: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education

Fincher, Sally; Miller, Craig S.; Donaldson, Peter; Mühling, Andreas; Hellas, Arto; Boulay, Benedict du; Jeuring, Johan; Hauswirth, Matthias; Hermans, Felienne; Lewis, Colleen; Pearce, Janice L.; Petersen, Andrew. - New York : ACM, 2020. - pp. 502–503
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 19271, 30.06.19-05.07.19

Finding large H-colorable subgraphs in hereditary graph classes: article

Chudnovsky, Maria; King, Jason; Pilipczuk, Michal; Rzazewski, Pawel; Spirkl, Sophie. - Cornell University : arXiv.org, 2020. - 29 pp.
Link
 

Dagstuhl Seminar 19272, 30.06.19-03.07.19

Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography : article in VR 2020

Bertel, Tobias; Mühlhausen, Moritz; Kappel, Moritz; Bittner, Paul M.; Richardt, Christian; Magnor, Marcus Andreas. - Los Alamitos : IEEE, 2020. - 2 pp.
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 Seminar 19261, 23.06.19-28.06.19

Ethics of blockchain : A framework of technology, applications, impacts, and research directions : article

Tang, Yong; Xiong, Jason; Becerril-Arreola, Rafael; Iyer, Lakshmi. - Bingley : Emerald Publishing Limited, 2020. - 31 pp.. - (Information Technology & People ; 33. 2020 ,2)
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 19241, 10.06.19-14.06.19

Towards a Definitive Measure of Repetitiveness : article

Kociumaka, Tomasz; Navarro, Gonzalo; Prezza, Nicola. - Cornell University : arXiv.org, 2020. - 13 pp.
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

On the Approximation Ratio of Ordered Parsings: article

Navarro, Gonzalo; Ochoa, Carlos; Prezza, Nicola. - Cornell University : arXiv.org, 2019. - 21 pp.
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Text Indexing and Searching in Sublinear Time : article in CPM 2020

Munro, J. Ian; Navarro, Gonzalo; Nekrich, Yakov. - Wadern : LZI, 2020. - pp. 1-15. - (Leibniz International Proceedings in Informatics ; 161 : article)7
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space : article

Gagie, Travis; Navarro, Gonzalo; Prezza, Nicola. - New York : ACM, 2020. - 54 pp.. - (Journal of the ACM ; 67. 2020, 2)
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Contextualisation of Data Flow Diagrams for security analysis : article

Faily, Shamal; Scandariato, Riccardo; Shostack, Adam; Sion, Laurens; Ki-Aries, Duncan. - Cornell University : arXiv.org, 2020. - 12 pp.
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Efficient Construction of a Complete Index for Pan-Genomics Read Alignment : article

Kuhnle, Alan; Mun, Taher; Boucher, Christina; Gagie, Travis; Langmead, Christopher J.; Manzini, Giovanni. - New Rochelle, NY : Mary Ann Liebert, Inc., 2019. - pp. 158-173. - (Journal of computational biology ; 27. 2020, 4)
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Matching Reads to Many Genomes with the r-Index : article

Mun, Taher; Kuhnle, Alan; Boucher, Christina; Gagie, Travis; Langmead, Christopher J.; Manzini, Giovanni. - New Rochelle, NY : Mary Ann Liebert, Inc., 2019. - pp. 158-173. - (Journal of computational biology ; 27. 2020, 4)
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Regular Languages meet Prefix Sorting : article in Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms

Alanko, Jarno; Agostino, Giovanna d`; Policriti, Alberto; Prezza, Nicola. - Philadelphia : SIAM, 2020. - 20 pp.
Link
 

Dagstuhl Seminar 19241, 10.06.19-14.06.19

Optimal-Time Dictionary-Compressed Indexes : article

Christiansen, Anders Roy; Ettienne, Mikko Berggren; Kociumaka, Tomasz; Navarro, Gonzalo; Prezza, Nicola. - Cornell University : arXiv.org, 2019. - 40 pp.. - (ACM Transactions on Algorithms ; Preprint)
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 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 19231, 02.06.19-07.06.19

Secure Development Tools and Techniques Need More Research That Will Increase Their Impact and Effectiveness in Practice : article

Shostack, Adam; Zurko, Mary Ellen. - New York : ACM, 2020. - pp.39-41. - (Communications of the ACM ; 63. 2020, 5 : 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 19212, 19.05.19-24.05.19

Leveraging Lagrangian Analysis for Discriminating Nutrient Origins : article in EnvirVis19

Dutta, Soumya; Brady, Riley X.; Maltrud, Mathew E.; Wolfram, Philipp J.; Bujack, Roxana. - Aire-la-Ville : Eurographics Association, 2019. - pp. 17-23
Link
 

Dagstuhl Seminar 19212, 19.05.19-24.05.19

PersistenceBundles : Visual Comparison of Topological Features : article

Kamakshidasan, Adhitya; Natarajan, Vijay. - HAL Inria, 2020. - 5 pp.
Link
 

Dagstuhl Seminar 19212, 19.05.19-24.05.19

State of the Art in Time-Dependent Flow Topology : Interpreting Physical Meaningfulness Through Mathematical Properties : article in EuroVis 2020

Bujack, Roxana; Yan, Lin; Hotz, Ingrid; Garth, Christoph; Wang, Bei. - Aire-la-Ville : Eurographics Association, 2020. - pp. 811-835
Link
 

Dagstuhl Seminar 19212, 19.05.19-24.05.19

Objective Finite-Time Flow Topology from Flowmap Expansion and Contraction : article

Bujack, Roxana; Dutta, Soumya; Günther, Tobias. - Leipzig : Universität, 2020. - 19 pp.
Link
 

Dagstuhl Seminar 19212, 19.05.19-24.05.19

Objective Finite-Time Saddles and their Connection to FTLE : article in Eurographics Conference on Visualization - Short Papers (Porto, Portugal, June 3-7, 2019)

Bujack, Roxana; Dutta, Soumya; Baeza Rojo, Irene; Zhang, Duan; Günther, Tobias. - Aire-la-Ville : Eurographics Association, 2019. - pp. 49-53
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 19191, 05.05.19-10.05.19

Concepts of variation control systems : article

Linsbauer, Lukas; Schwägerl, Felix; Berger, Thorsten; Grünbacher, Paul. - Amsterdam : Elsevier, 2021. - 25 pp.. - (Journal of Systems and Software ; 171. 2021 : article 110796)
Link
 

Dagstuhl Seminar 19191, 05.05.19-10.05.19

Facing the Truth : Benchmarking the Techniques for the Evolution of Variant-Rich Systems : article in SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference

Strüber, Daniel; Mukelabai, Mukelabai; Krüger, Jacob; Linsbauer, Lukas; Martinez, Jabier; Berger, Thorsten; Fischer, Stefan. - New York : ACM, 2019. - Pages 177–188
Link
 

Dagstuhl Seminar 19192, 05.05.19-10.05.19

Concentric set schematization : article

Bekos, Michael A.; Frank, Fabian; Meulemans, Wouter; Rogers, Peter; Schulz, Andre. - Eindhoven : University, 2019. - 2 pp.
Link
 

Dagstuhl Seminar 19181, 28.04.19-03.05.19

Dynamic Distribution-Sensitive Point Location : article

Cheng, Siu-Wing; Lau, Man-Kit. - Cornell University : arXiv.org, 2020. - 33 pp.
Link
 

Dagstuhl Seminar 19181, 28.04.19-03.05.19

The Maximum-Level Vertex in an Arrangement of Lines : article

Halperin, Dan; Har-Peled, Sariel; Mehlhorn, Kurt; Oh, Eunjin; Sharir, Micha. - Cornell University : arXiv.org, 2020. - 20 pp.
Link
 

Dagstuhl Seminar 19181, 28.04.19-03.05.19

A Generalization of Self-Improving Algorithms : article

Cheng, Siu-Wing; Chiu, Man-Kwun; Jin, Kai; Wong, Man Ting. - Cornell University : arXiv.org, 2020. - 20 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 Seminar 19171, 22.04.19-26.04.19

Big data justice : a case for regulating the global information commons : article in press in "Journal of Politics"

Spiekermann, Kai; Slavny, Adam; Axelsen, David V.; Lawford-Smith, Holly. - hicago : Univ. of Chicago, 2020. - 38 pp.. - (Journal of Politics ; in press)
Link
 

Dagstuhl Seminar 19171, 22.04.19-26.04.19

Trust and the discrepancy between expectations and actual capabilities of social robots : article in press in In D. Zhang and B. Wei (Eds.), Human-robot interaction: Control, analysis, and design

Malle, Bertram F.; Fischer, Kerstin; Young, James E.; Moon, AJung; Collins, Emily C.. - New York : Cambridge Scholars Publishing, 2020. - 23 pp.
Link
 

Dagstuhl Seminar 19172, 22.04.19-25.04.19

Generative Design in Minecraft : Chronicle Challenge : article

Salge, Christoph; Guckelsberger, Christian; Green, Michael Cerny; Canaan, Rodrigo; Togelius, Julian. - Cornell University : arXiv.org, 2019. - 5 pp.
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 19141, 31.03.19-05.04.19

Full-stack SDN : The Next Big Challenge? article in SOSR '20 : Proceedings of the Symposium on SDN Research : March 2020 : Pages 48–54

Antichi, Gianni; Retvari, Gabor. - New York : ACM, 2020.
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 19101, 03.03.19-08.03.19

On Cyclic Dependencies and Regulators in Time-Sensitive Networks : article in 2019 IEEE Real-Time Systems Symposium (RTSS) : pp. 299-311

Thomas, Ludovic; Le Boudec, Jean-Yves; Mifdaoui, Ahlem. - Los Alamitos : IEEE, 2020.
Link
 

Dagstuhl Seminar 19101, 03.03.19-08.03.19

Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers : article in 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)

Tang, Yue; Jiang, Yuming; Jiang, Xu; Guan, Nan. - Los Alamitos : IEEE, 2020. - pp. 193-200
Link
 

Dagstuhl Seminar 19101, 03.03.19-08.03.19

Pay-Burst-Only-Once in Real-Time Calculus : article in 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Tang, Yue; Jiang, Yuming; Jiang, Xu; Guan, Nan. - Los Alamitos : IEEE, 2019. - 5 pp.
Link
 

Dagstuhl Seminar 19101, 03.03.19-08.03.19

Improving the Analysis of GPC in Real-Time Calculus : article in International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019

Tang, Yue; Jiang, Yuming; Guan, Nan. - Berlin : Springer, 2019. - pp 106-12
Link
 

Dagstuhl Seminar 19102, 03.03.19-08.03.19

3D Morphable Face Models : Past, Present, and Future : article

Egger, Bernhard; Smith, William A. P.; Tewari, Ayush; Wuhrer, Stefanie; Zollhoefer, Michael; Beeler, Thabo; Bernard, Florian; Bolkart, Timo; Kortylewski, Adam; Romdhani, Sami; Theobalt, Christian; Blanz, Volker; Vetter, Thomas. - New York : ACM, 2020. - 38 pp.. - (ACM transactions on graphics ; 39. 2020, 5)
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 19092, 24.02.19-01.03.19

Representing Graphs by Polygons with Edge Contacts in 3D : article in EuroCG 2020

Arseneva, Elena; Kleist, Linda; Klemz, Boris; Löffler, Maarten; Schulz, Andre; Wolff, Alexander; Vogtenhuber, Birgit. - EuroCG, 2020. - pp. 377-384
Link
 

Dagstuhl Seminar 19092, 24.02.19-01.03.19

Variants of the Segment Number of a Graph : article in International Symposium on Graph Drawing and Network Visualization, GD 2019

Okamoto, Yoshio; Ravsky, Alexander; Wolff, Alexander. - Berlin : Springer, 2019. - pp.430-443. - (Lecture notes in computer science ; 11904 : article)
Link
 

Dagstuhl Seminar 19082, 17.02.19-22.02.19

Digitaler Wandel durch Bildung, Forschung und Innovation : Globaler Wettbewerb und internationale Leitplanken

Bugdahn, Sonja; Ratajczak, Andreas. - Bonn : Deutsches Zentrum für Luft- und Raumfahrt e.V. , 2020. - 84 S.
ISBN: 978-3-942814-39-3 / 3-942814-39-0
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 19081, 17.02.19-22.02.19

Formalizing and Guaranteeing* Human-Robot Interaction

Kress-Gazit, Hadas; Kretinsky, Jan; Jansen, Nils; Ehlers, Rüdiger; Argall, Brenna D.; Hoffman, Guy; Eder, Kerstin; Levy-Tzedek, Shelly; Li, Jamy; Murphey, Todd; Riek, Laurel; Sadigh, Dorsa; Admoni, Henny; Heckmann, Christoffer; Knepper, Ross. - Cornell University : arXiv.org, 2020. - 10 pp.
Link
 

Dagstuhl Seminar 19082, 17.02.19-22.02.19

AI for social good : unlocking the opportunity for positive impact : article

Tomasev, Nenad; Cornebise, Julien; Hutter, Frank; Mohamed, Shakir; Picciariello, Angela; Connelly, Bec; Belgrave, Danielle C. M.; Ezer, Daphne; Cachat van der Haert, Fanny; Mugisha, Frank; Abila, Gerald; Arai, Hiromi; Almiraat, Hisham; Proskurnia, Julia; Snyder, Kyle; Otake-Matsuura, Mihoko; Othman, Mustafa; Glasmachers, Tobias; Wever, Wilfried de; Teh, Yee Whye; Khan, Mohammad Emtiyaz; Winne, Ruben De;Schaul, Tom; Clopath, Claudia. - Berlin : SpringerNature, 2020. - 6 pp.. - (Nature Communications ; 11. 2020, Article 2468)
Link
 

Dagstuhl Seminar 19061, 03.02.19-08.02.19

Layer entanglement in multiplex, temporal multiplex, and coupled multilayer networks : article

Skrlj, Blaz; Renoust, Benjamin. - Cornell University : arXiv.org, 2020. - 32 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 19061, 03.02.19-08.02.19

Human Factors and Multilayer Networks : article in Workshop on Visualization of Multilayer Networks (MNLVIS '19) at IEEE VIS '19, October 21, 2019, Vancouver, BC, Canada, 2019

Pohl, Margit; Kerren, Andreas. - Los Alamitos : IEEE, 2019. - 4 pp.
Link
 

Dagstuhl Seminar 19061, 03.02.19-08.02.19

Layer Definition and Discovery in Multilayer Network Datasets : article

MacGee, Fintan; Morin, Ludovic; Stefas, Mickael; Zorzan, Simone; Ghoniem, Mohammad. - MLNVIS2019, 2019. - 5 pp.
Link
 

Dagstuhl Seminar 19062, 03.02.19-06.02.19

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? article in LNCS 11823: International Conference on Tests and Proofs, TAP 2019

Kapus, Timotej; Nowack, Martin; Cadar, Cristian. - Berlin : Springer, 2019. - pp. 41-54. - (Lecture notes in computer science ; 11823 : 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 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 19052, 27.01.19-01.02.19

Dagstuhl ChoirSet : a Multitrack Dataset for MIR Research : article

Rosenzweig, Sebastian; Cuesta, Helena; Weiß, Christof; Scherbaum, Frank; Gomez, Emilia; Müller, Meinard. - International Society for Music Information Retrieval, 2020. - pp. 98-110. - (Transactions of the International Society for Music Information Retrieval ; 3. 2020, 1 : article)
Link
 

Dagstuhl Seminar 19052, 27.01.19-01.02.19

Dagstuhl ChoirSet : dataset

Rosenzweig, Sebastian; Cuesta, Helena; Weiß, Christof; Scherbaum, Frank; Gomez, Emilia; Müller, Meinard. - Zenodo, 2020
Link
 

Dagstuhl Seminar 19051, 27.01.19-01.02.19

Entropy Trees and Range-Minimum Queries In Optimal Average-Case Space

Munro, J. Ian; Wild, Sebastian. - Cornell University : arXiv.org, 2019. - 16 pp.
Link
 

Dagstuhl Seminar 19041, 20.01.19-25.01.19

Randomized contractions meet lean decompositions

Cygan, Marek; Komosa, Pawel; Lokshtanov, Daniel; Pilipczuk, Marcin; Pilipczuk, Michal; Wahlström, Magnus; Saurabh, Saket. - Cornell University : arXiv.org, 2019. - 24 pp.
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

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
 

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