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

Further Exploration of Necrotic Control of Evolved Art : article in 2020 IEEE Symposium Series on Computational Intelligence (SSCI)

Ashlock, Daniel; Greensmith, Julie. - Los Alamitos : IEEE, 2021. - 8 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

Necrotic Control of the Aesthetics of Evolved Art : article in 2020 IEEE Congress on Evolutionary Computation (CEC)

Ashlock, Daniel; Greensmith, Julie. - Los Alamitos : IEEE, 2021. - 8 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

Monte Carlo Strategies for Exploiting Fairness in N-player Ultimatum Games : article in 2019 IEEE Conference on Games (CoG)

Greenwood, Garrison W.; Ashlock, Daniel. - Los Alamitos : IEEE, 2019. - 7 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

The Riddle of Togelby : article in 2019 IEEE Conference on Games (CoG)

Ashlock, Daniel; Salge, Christoph. - Los Alamitos : IEEE, 2019. - 8 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

Prisoner’s Dilemma Agents with Phenotypic Plasticity : article in 2019 IEEE Conference on Games (CoG)

Ashlock, Daniel; Kim, Eun Youn; Saunders, Amanda. - Los Alamitos : IEEE, 2019. - 8 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

Automatic Generation of Level Maps with the Do What’s Possible Representation : article in 2019 IEEE Conference on Games (CoG)

Ashlock, Daniel; Salge, Christoph. - Los Alamitos : IEEE, 2019. - 8 pp.
Link
 

Dagstuhl Seminar 19511, 15.12.19-20.12.19

A Polyomino Puzzle for Arithmetic Practice : article

Foxcroft, Jeremy; Ashlock, Daniel. - Amsterdam : IOS Press, 2021. - (ICGA Journal ; 42.2020, 2 )
Link
 

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. - Cornell University : arXiv.org, 2020. - 12 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 19471, 17.11.19-22.11.19

Effects of Adopting Code Review Bots on Pull Requests to OSS Projects : article in 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)

. - Los Alamitos : IEEE, 2020. - pp. 1-11
Link
 

Dagstuhl Seminar 19471, 17.11.19-22.11.19

What to Expect from Code Review Bots on GitHub? : A Survey with OSS Maintainers : article in SBES '20: Proceedings of the 34th Brazilian Symposium on Software Engineering

Wessel, Mairieli; Serebrenik, Alexander; Wiese, Igor; Steinmacher, Igor; Gerosa, Marco Aurelio. - New York : ACM, 2021. - Pages 457–462
Link
 

Dagstuhl Seminar 19471, 17.11.19-22.11.19

Conversational Bot for Newcomers Onboarding to Open Source Projects : article in ICSEW' 20

Dominic, James; Houser, Jada; Steinmacher, Igor; Ritter, Charles; Rodeghero, Paige. - New York : ACM, 2020. - pp. 46-50
Link
 

Dagstuhl Seminar 19471, 17.11.19-22.11.19

The Inconvenient Side of Software Bots on Pull Requests : article in ICSEW'20 : Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops

Wessel, Mairieli; Steinmacher, Igor. - New York : ACM, 2020. - Pages 51–55
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 19461, 10.11.19-15.11.19

A Large-Scale Analysis of Mixed Initiative in Information-Seeking Dialogues for Conversational Search : article

Vakulenko, Svitlana; Kanoulas, Evangelos; Rijke, Maarten de. - Cornell University : arXiv.org, 2021. - 32 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 Seminar 19431, 20.10.19-25.10.19

A tight lower bound on the expected runtime of standard steady state genetic algorithms : article in GECCO '20 : Proceedings of the 2020 Genetic and Evolutionary Computation Conference, June 2020

Oliveto, Pietro S.; Sudholt, Dirk; Witt, Carsten. - New York : ACM, 2020. - Pages 1323–1331
Link
 

Dagstuhl Seminar 19431, 20.10.19-25.10.19

Improved Fixed-Budget Results via Drift Analysis : article in International Conference on Parallel Problem Solving from Nature PPSN 2020 : Parallel Problem Solving from Nature, PPSN XVI

Kötzing, Timo; Witt, Carsten. - Berlin : Springer, 2020. - pp. 648-660
Link
 

Dagstuhl Seminar 19431, 20.10.19-25.10.19

Variance Reduction for Better Sampling in Continuous Domains : article in International Conference on Parallel Problem Solving from Nature, PPSN 2020 : Parallel Problem Solving from Nature, PPSN XVI

Meunier, Laurent; Doerr, Carola; Rapin, Jeremy; Teytaud, Olivier. - Berlin : Springer, 2020. - pp 154-168
Link
 

Dagstuhl Seminar 19431, 20.10.19-25.10.19

Benchmarking in Optimization : Best Practice and Open Issues : article

Weise, Thomas; Wagner, Markus; Volz, Vanessa; Naujoks, Boris; Moore, Jason H.; Lopez-Ibanez, Manuel; Doerr, Carola; Bartz-Beielstein, Thomas; Eftimov, Tome; Fischbach, Andreas; Kerschke, Pascal; Cava, William La; Orzechowsky, PatrykBerg, Daan van den. - Cornell University : arXiv.org, 2020. - 50 pp.
Link
 

Dagstuhl Seminar 19421, 13.10.19-18.10.19

Low-gate Quantum Golden Collision Finding : article in SAC 2020

Jaques, Samuel; Schrottenloher, Andre. - sac2020.ca, 2020. - 30 pp.
Link
 

Dagstuhl Seminar 19421, 13.10.19-18.10.19

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms : article in LNCS 12100

Häner, Thomas; Jaques, Samuel; Naehrig, Michael; Rötteler, Martin; Soeken, Mathias. - Berlin : Springer, 2020. - pp. 425-444. - (Lecture notes in computer science ; 12100 : article)
Link
 

Dagstuhl Seminar 19411, 06.10.19-11.10.19

Quantum Algorithms for the Approximate k-List Problem and Their Application to Lattice Sieving : article in LNCS 11921

Kirshanova, Elena; Martensson, Erik; Postlethwaite, Eamonn W.; Moulik, Subhayan Roy. - Berlin : Springer, 2019. - pp 521-551. - (Lecture notes in computer science ; 11921 : article)
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 Seminar 19401, 29.09.19-04.10.19

On the Activities and Partitions of the Vertex Subsets of Graphs : article

Dedndreaj, Kristina; Tittmann, Peter. - Cornell University : arXiv.org, 2020. - 21 pp.
Link
 

Dagstuhl Seminar 19401, 29.09.19-04.10.19

Graph operations and neighborhood polynomials : article

Alipour, Maryam; Tittmann, Peter. - Zielona Góra : University, 2020. - (Discussiones Mathematicae Graph Theory ; 15 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 19391, 22.09.19-27.09.19

Knowledge-driven Data Ecosystems Towards DataTransparency : article

Geisler, Sandra; Vidal, Maria-Esther; Capiello, Cinzia; Farias Loscio, Bernadette; Gal, Avigdor; Rehof, Jakob; Pernici, Barbara; Paja, Elda; Otto, Boris; Missier, Paolo; Lenzerini, Maurizio; Jarke, Matthias. - Cornell University : arXiv.org, 2021.
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

PeerNomination : Relaxing Exactness for Increased Accuracy in Peer Selection : article in IJCAI-20

Mattei, Nicholas; Turrini, Paolo; Zhydkov, Stanislav. - IJCAI, 2020. - 7 pp.
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

Closing the Loop : Bringing Humans into Empirical Computational Social Choice and Preference Reasoning : article in IJCAI-20

Mattei, Nicholas. - IJCAI, 2020. - 5 pp.
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 19381, 15.09.19-20.09.19

Smart Voting : article in IJCAI-20

Colley, Rachael; Grandi, Umberto; Novaro, Arianna. - IJCAI, 2020. - 7 pp.
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

Deliberative Coalition Formation : article

Elkind, Edith; Grossi, Davide; Shapiro, Ehud; Talmon, Nimrod. - Cornell University : arXiv.org, 2020. - 8 pp.
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

Heuristics in Multi-Winner Approval Voting : article

Scheuerman, Jaelle; Harman, Jason L.; Mattei, Nicholas; Venable, Kristen Brent. - Cornell University : arXiv.org, 2019. - 17 pp.
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

Heuristic Strategies in Uncertain Approval Voting Environments : article in AAMAS 2020

Scheuerman, Jaelle; Harman, Jason L.; Mattei, Nicholas; Venable, Kristen Brent. - ifaamas.org : ifaamas, 2020. - pp. 1993-1995
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

Heuristic Strategies in Uncertain Approval Voting Environments : article

Scheuerman, Jaelle; Harman, Jason L.; Mattei, Nicholas; Venable, Kristen Brent. - Cornell University : arXiv.org, 2020. - 9 pp.
Link
 

Dagstuhl Seminar 19381, 15.09.19-20.09.19

The Constrained Round Robin Algorithm for Fair and Efficient Allocation : article

Aziz, Haris; Huang, Xin; Mattei, Nicholas; Segal-Halevi, Erel. - Cornell University : arXiv.org, 2019. - 13 pp.
Link
 

Dagstuhl Seminar 19371, 08.09.19-13.09.19

Signature-Based Abduction for Expressive Description Logics : article in KR2020

Koopmann, Patrick; Del-Pinto, Warren; Tourret, Sophie; Schmidt, Renate A.. - IJCAI, 2020. - 11 PP.
Link
 

Dagstuhl Seminar 19361, 01.09.19-06.09.19

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective : article in IJCAI-20

Lamb, Luis C.; D'Avila Garcez, Artur S.; Gori, Marco; Prates, Marcelo O. R.; Avelar, Pedro H. C.; Vardi, Moshe Y.. - IJCAI, 2020. - 8 pp.
Link
 

Dagstuhl Seminar 19361, 01.09.19-06.09.19

Learning Properties in LTL ∩ ACTL from Positive Examples Only : article - Wien : Universität, 2020. - 9 pp.

Ehlers, Rüdiger; Gavran, Ivan; Neider, Daniel. - Wien : Universität, 2020. - 9 pp.
Link
 

Dagstuhl Seminar 19361, 01.09.19-06.09.19

Conjunctive Queries : Unique Characterizations and Exact Learnability : article

Cate, Balder D. ten; Dalmau, Victor. - Cornell University : arXiv.org, 2020. - 29 pp.
Link
 

Dagstuhl Seminar 19361, 01.09.19-06.09.19

The Homomorphism Lattice, Unique Characterizations, and Concept Learning : article

Cate, Balder D. ten. - Aachen : CEUR, 2020. - 9 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 19351, 25.08.19-30.08.19

Towards Increased Reliability, Transparency and Accessibility in Crosslinking Mass Spectrometry : article

Leitner, Alexander; Bonvin, Alexandre M. J .J.; Borchers, Christoph H.; Chalkley, Robert J.; Chamot-Rooke, Julia; Combe, Colin W.; Cox, Jürgen; Dong, Meng-Qiu; Rappsilber, Juri; Wilkins, Marc R.; Vizcaino, Juan A. ; Viner, Rosa; Urlaub, Henning; Thalassinos, Konstantinos; Stengel, Florian; Sobott, Frank; Sinz, Andrea; Schriemer, David; Schmidt, Carla; Scheltema, Richard A.; Sali, Andrej; Petrotchenko, Evgeniy; Novak, Petr; Netz, Eugen; Moritz, Robert L.; Mechtler, Karl; Kohlbacher, Oliver; Kalisman, Nir; Jones, Andrew R.; Ishihama, Yasushi; Huang,Lan; Hoopmann, Michael R.; Heck, Albert J. R.; Gozzo, Fabio C.; Götze, Michael; Fischer, Lutz. - Cornell University : arXiv.org, 2020. - 25 pp.
Link
 

Dagstuhl Seminar 19351, 25.08.19-30.08.19

Data management of sensitive human proteomics data : current practices, recommendations and perspectives for the future : article

Bandeira, Nuno; Deutsch, Eric W.; Kohlbacher, Oliver; Martens, Lennart; Vizcaino, Juan A.. - Amsterdam : Elsevier, 2021. - 27 pp.. - (Molecular and Cellular Proteomics ; 2021 : open access)
Link
 

Dagstuhl Seminar 19352, 25.08.19-30.08.19

Improved space bounds for Fréchet distance queries : article

Buchin, Maike; Hoog, Ivor van der; Ophelders, Tim; Silveira, Rodrigo I.; Schlipf, Lena, Staals, Frank. - Aire-la-Ville : Eurographics Association, 2020. - 7 pp.
Link
 

Dagstuhl Seminar 19352, 25.08.19-30.08.19

Adjacency Graphs of Polyhedral Surfaces

Arseneva, Elena; Kleist, Linda; Klemz, Boris; Löffler, Maarten; Schulz, Andre; Wolff, Alexander; Vogtenhuber, Birgit. - Cornell University : arXiv.org, 2021. - 22 pp.
Link
 

Dagstuhl Seminar 19352, 25.08.19-30.08.19

Hard diagrams of the unknot

Burton, Benjamin A.; Chang, Hsien-Chih; Löffler, Maarten; Mesmay, Arnaud de; Maria, Clement; Spreer, Jonathan; Sedgwick, Eric; Schleimer, Saul. - Cornell University : arXiv.org, 2021. - 26 pp.
Link
 

Dagstuhl Seminar 19342, 18.08.19-23.08.19

Combinatorial recognition of clustered RNA elements by the multidomain RNA-binding protein IMP3 : article

Schneider, Tim; Hung, Lee-Hsueh; Aziz, Masood; Wilmen, Anna; Thaum, Stephanie; Wagner, Jacqueline; Janowski, Robert; Müller, Simon; Schreiner, Silke; Friedhoff, Peter; Hüttelmaier, Sfefan; Niessing, Dierk; Sattler, Michael; Schlundt, Andreas; Bindereif, Albrecht. - London : Nature Publishing Group, 2019. - 18 pp.. - (Nature Communications ; 10. 2019)
Link
 

Dagstuhl Seminar 19341, 18.08.19-23.08.19

Algorithms and Complexity for Continuous Problems : Special Issue

Bilyk, Dmitriy; Hinrichs, Aicke; Kuo, Frances Y.; Ritter, Klaus. - Amsterdam : Elsevier, 2020. - (Journal of complexity ; 61. 2020)
Link
 

Dagstuhl Seminar 19341, 18.08.19-23.08.19

Physically Based Rendering : From Theory to Implementation

Pharr, Matt; Jakob, Wenzel; Humphreys, Greg. - San Francisco : Morgan Kaufmann, 2016. - xxix, 1233 Seiten
ISBN: 978-0-12-800645-0 / 0-12-800645-5
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 19301, 21.07.19-26.07.19

Using Universal Composition to Design and Analyze Secure Complex Hardware Systems : article in 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Canetti, Ran; Dijk, Marten van; Maleki, Hoda; Rührmair, Ulrich; Schaumont, Patrick R.. - New York : ACM, 2020. - 6 pp.
Link
 

Dagstuhl Seminar 19302, 21.07.19-26.07.19

Disturbed YouTube for Kids : Characterizing and Detecting Inappropriate Videos Targeting Young Children

Papadamou, Kostantinos; Papasavva, Antonis; Zannettou, Savvas; Kourtellis, Nicolas; Leontiadis, Ilias; Sirivianos, Michael; Stringhini, Gianluca; Blackburn, Jeremy. - Cornell University : arXiv.org, 2019. - 13 pp.
Link
 

Dagstuhl Seminar 19302, 21.07.19-26.07.19

Measuring and Characterizing Hate Speech on News Websites : article in WebSci '20 : 12th ACM Conference on Web Science

Zannettou, Savvas; ElSherief, Mai; Belding, Elizabeth M.; Nilizadeh, Shirin; Stringhini, Gianluca. - New York : ACM, 2020. - Pages 125–134
Link
 

Dagstuhl Seminar 19301, 21.07.19-26.07.19

Towards Secure Composition of Integrated Circuits and Electronic Systems : On the Role of EDA : Special Session Paper : article in 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)

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. - Los Alamitos : IEEE, 2020. - pp. 508-513
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 19291, 14.07.19-19.07.19

Computing Professionals for Social Responsibility : The Past, Present and Future Values of Participatory Design : article

Becker, Christoph; Light, Ann; Frauenberger, Christopher; Walker, Dawn; Palacin, Victoria; Ahmed, Syed Ishtiaque; Smith, Rachel Charlotte; Reynolds-Cuellar, Pedro; Nemer, David; . - New York : ACM, 2020. - Pages 181–184
Link
 

Dagstuhl Seminar 19281, 07.07.19-12.07.19

Engage Against the Machine : Rise of the Notional Machines as Effective Pedagogical Devices : article in ITiCSE '20 : Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education

Dickson, Paul E.; Brown, Neil Christopher Charles; Becker, Brett A.. - New York : ACM, 2020. - Pages 159–165
Link
 

Dagstuhl Seminar 19281, 07.07.19-12.07.19

Purpose-first Programming : A Programming Learning Approach for Learners who Care Most About What Code Achieves : article in ICER '20 : Proceedings of the 2020 ACM Conference on International Computing Education Research

Cunningham, Kathryn. - New York : ACM, 2020. - Pages 348–349
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 19271, 30.06.19-05.07.19

On Weak Flexibility in Planar Graphs

Lidicky, Bernard; Masarík, Tomas; Murphy, Kyle; Zerbib, Shira. - Cornell University : arXiv.org, 2020. - 15 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

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 19231, 02.06.19-07.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 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

"Do this! Do that!, And Nothing will happen" : Do specifications lead to securely stored passwords? : article in 43rd International Conference on Software Engineering : (Accepted/In press)

Hallett, Joseph; Patnaik, Nikhil; Shreeve, Ben; Rashid, Awais
 

Dagstuhl Seminar 19231, 02.06.19-07.06.19

Contextualisation of Data Flow Diagrams for Security Analysis : article in International Workshop on Graphical Models for Security GraMSec 2020 : Graphical Models for Security, LNCS 12419

Faily, Shamal; Scandariato, Riccardo; Shostack, Adam; Sion, Laurens; Ki-Aries, Duncan. - Berlin : Springer, 2020. - pp. 186-197
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

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 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 19211, 19.05.19-24.05.19

Generating clause sequences of a CNF formula : article

Berczi, Kristof; Boros, Endre; Cepek, Ondrej; Elbassioni, Khaled; Kucera, Petr; Makino, Kazuhisa. - Amsterdam : Elsevier, 2021. - pp. 68-74. - (Theoretical computer science ; 856. 2021)
Link
 

Dagstuhl Seminar 19202, 12.05.19-17.05.19

Beneficial and Harmful Explanatory Machine Learning : article

Ai, Lun; Muggleton, Stephen H.; Hocquette, Celine; Gromowski, Mark; Schmid, Ute. - Cornell University : arXiv.org, 2020. - 21 pp. - (Machine learning ; Manuscript)
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 19191, 05.05.19-10.05.19

A conceptual model for unifying variability in space and time : article No 15 in SPLC '20 : Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A

Ananieva, Sofia; Greiner, Sandra; Kühn, Thomas; Grüner, Sten; Krieter, Sebastian; Westfechtel, Bernhard; Reussner, Ralf Heinrich; Ramesh, S.; Seidl, Christoph; Lönn, Henrik; Koziolek, Anne; Klare, Heiko; Kehrer, Timo; Linsbauer, Lukas; Krüger, Jacob. - New York : ACM, 2020. - Pages 1–12
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 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 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 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 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 19141, 31.03.19-05.04.19

The Programmable Data Plane : Abstractions, Architectures, Algorithms, and Applications : article

Michel, Oliver; Bifulco, Roberto; Retvari, Gabor; Schmid, Stefan. - New York : ACM, 2021. - 36 pp.. - (ACM computing surveys ; 54. 2021, 4, Article 82)
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 19131, 24.03.19-29.03.19

Complexity and Randomness in Group Theory

Bassino, Frederique; Kapovich, Ilya; Nikolaev, Andrey; Rivin, Igor; Shpilrain, Vladimir; Weil, Pascal; Ushakov, Alexander; Nicaud, Cyril; Myasnikov, Alexei; Lohrey, Markus. - Berlin : de Gruyter, 2020. - XII, 374 Seiten. - (GAGTA BOOK ; 1)
ISBN: 978-3-11-066491-1 / 3-11-066491-7
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 19112, 10.03.19-15.03.19

Summarising a Framework for the Certificationof Reliable Autonomous Systems : article in AAMAS 2021

Fisher, Michael; Mascardi, Viviana; Rozier, Kristin Yvonne; Schlingloff, Bernd-Holger; Winikoff, Michael; Yorke-Smith, Neil. - New York : ACM, 2021. - 2 pp.
Link Link
 

Dagstuhl Seminar 19112, 10.03.19-15.03.19

Engineering Reliable Multi-Agent Systems : Topical Collection

Dix, Jürgen; Logan, Brian; Winikoff, Michael. - Berlin : Springer, 2021. - (Autonomous Agents and Multi-Agent Systems ; 35. 2021 Topical Collection)
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 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 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

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

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
 

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