Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar oder eine Dagstuhl-Veranstaltung so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte informieren Sie uns über solche Publikationen.

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


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