TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


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 the consequence of a Dagstuhl Seminar.

Also, Schloss Dagstuhl would kindly ask you to acknowledge in the publication that the publication has in some way benefited from the seminar. You are free to word the acknowledgement however you like, but we would ask you to always include the seminar's title and seminar number as well as some kind of link to the seminar's website. Nevertheless, as there have often been questions on how to word the acknowledgement, here are a few fictional example wordings for your inspiration:

  • This work has benefitted from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted substantially from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted from the second and fourth author's participation in Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • Part of this work was initiated by Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces"
  • We thank the organizers of Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces" for bringing us together. We are particularly indebted to seminar participant Jane Doe for asking a question that initiated our research.

Petra Meyer

Library Manager

2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   Specials

2019

Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
A Polyomino Puzzle for Arithmetic Practice : article
Foxcroft, Jeremy; Ashlock, Daniel – Amsterdam : IOS Press, 2021 – (ICGA Journal ; 42.2020, 2 )
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
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.
Dagstuhl Seminar 19511, 2019-12-15 - 2019-12-20
Article
The Riddle of Togelby : article in 2019 IEEE Conference on Games (CoG)
Ashlock, Daniel; Salge, Christoph – Los Alamitos : IEEE, 2019. - 8 pp.
Dagstuhl Seminar 19491, 2019-12-01 - 2019-12-06
Article
The Future is Big Graphs! : A Community View on Graph Processing Systems : article
Sakr, Sherif; Bonifati, Angela; Voigt, Hannes; Iosup, Alexandru – New York : ACM, 2021. - Pages 62-71 – (Communications of the ACM ; 64. 2021, 9)
Dagstuhl Seminar 19491, 2019-12-01 - 2019-12-06
Article
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.
Dagstuhl Seminar 19491, 2019-12-01 - 2019-12-06
Special Issue
Special issue on big graph data management and processing
Bonifati, Angela; Voigt, Hannes – Berlin : Springer, 2022. - pp. 202-346 – (VLDB journal ; 31. 2022, 2)
Dagstuhl Seminar 19491, 2019-12-01 - 2019-12-06
Article
Seraph : Continuous Queries on Property Graph Streams : article in Proceedings of the 27th International Conference on Extending Database Technology (EDBT), 25th March - 28th March, 2024
Rost, Christopher; Tommasini, Riccardo; Bonifati, Angela; Hare, Keith W.; Selmer, Petra; Voigt, Hannes; Plantikow, Stefan; Rahm, Erhard; Valle, Emanuele Della – OpenProceedings.org, 2024. - 14 pp.
Dagstuhl Seminar 19481, 2019-11-24 - 2019-11-29
Book
Composing Model-Based Analysis Tools
Heinrich, Robert; Duran, Francisco; Talcott, Carolyn L.; Zschaler, Steffen – Berlin : Springer, 2021. - XVI, 307 S. , ISBN: 978-3-030-81914-9 / 3-030-81914-0
Dagstuhl Seminar 19481, 2019-11-24 - 2019-11-29
Article
Compositional model analysis : article
Gray, Jeff; Rumpe, Bernhard – Berlin : Springer, 2020. - pp. 261-262 – (Software and systems modeling ; 19. 2020, 2)
Dagstuhl Seminar 19471, 2019-11-17 - 2019-11-22
Article
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
Dagstuhl Seminar 19471, 2019-11-17 - 2019-11-22
Article
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
Dagstuhl Seminar 19471, 2019-11-17 - 2019-11-22
Article
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
Dagstuhl Seminar 19461, 2019-11-10 - 2019-11-15
Article
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.
Dagstuhl Seminar 19461, 2019-11-10 - 2019-11-15
Article
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.
Dagstuhl Seminar 19461, 2019-11-10 - 2019-11-15
Article
Dagstuhl Seminar 19461 on Conversational Search : Seminar Goals and Working Group Outcomes : Article
Anand, Avishek; Cavedon, Lawrence; Hagen, Matthias; Joho, Hideo; Sanderson, Mark; Stein, Benno M. – New York : ACM, 2020. - 11 pp. – (Sigir forum ; 54. 2020, 1)
Dagstuhl Seminar 19443, 2019-10-27 - 2019-10-31
Article
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.
Dagstuhl Seminar 19443, 2019-10-27 - 2019-10-31
Article
Reflections on kernelizing and computing unrooted agreement forests : article
Wersch, Rim van; Kelk, Steven; Linz, Simone; Stamoulis, Georgios – Berlin : Springer, 2021. - pp. 425-451 – (Annals of operations research ; 309. 2021)
Dagstuhl Seminar 19443, 2019-10-27 - 2019-10-31
Article
Phylogenetic diversity indices from an affine and projective viewpoint
Moulton, Vincent; Spillner, Andreas; Wicke, Kristina – Cornell University : arXiv.org, 2021. - 23 pp.
Dagstuhl Seminar 19431, 2019-10-20 - 2019-10-25
Article
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
Dagstuhl Seminar 19431, 2019-10-20 - 2019-10-25
Article
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.
Dagstuhl Seminar 19431, 2019-10-20 - 2019-10-25
Article
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
Dagstuhl Seminar 19432, 2019-10-20 - 2019-10-23
Article
Bayesian Numerical Integration with Neural Networks
Ott, Katharina; Tiemann, Michael; Hennig, Philipp; Briol, Francois-Xavier – Cornell University : arXiv.org, 2023. - 23 pp.
Dagstuhl Seminar 19421, 2019-10-13 - 2019-10-18
Article
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)
Dagstuhl Seminar 19421, 2019-10-13 - 2019-10-18
Article
Low-gate Quantum Golden Collision Finding : article in SAC 2020
Jaques, Samuel; Schrottenloher, Andre – sac2020.ca, 2020. - 30 pp.
Dagstuhl Seminar 19411, 2019-10-06 - 2019-10-11
Article
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)
Dagstuhl Seminar 19401, 2019-09-29 - 2019-10-04
Article
Graph operations and neighborhood polynomials : article
Alipour, Maryam; Tittmann, Peter – Zielona Góra : University, 2020 – (Discussiones Mathematicae Graph Theory ; 15 pp.)
Dagstuhl Seminar 19401, 2019-09-29 - 2019-10-04
Article
On the Activities and Partitions of the Vertex Subsets of Graphs : article
Dedndreaj, Kristina; Tittmann, Peter – Cornell University : arXiv.org, 2020. - 21 pp.
Dagstuhl Seminar 19401, 2019-09-29 - 2019-10-04
Article
Weakly Distinguishing Graph Polynomials on Addable Properties : article
Makowsky, Johann A.; Rakita, Vsevolod – Cornell University : arXiv.org, 2019. - 17 pp.
Dagstuhl Seminar 19391, 2019-09-22 - 2019-09-27
Article
Knowledge-Driven Data Ecosystems Toward Data Transparency : 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 – New York : ACM, 2021. - pp 1–12 – (Journal of Data and Information Quality ; 14. 2022, 1)
Dagstuhl Seminar 19391, 2019-09-22 - 2019-09-27
Article
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.
Advanced Training 19393, 2019-09-22 - 2019-09-27
Article
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)
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
Closing the Loop : Bringing Humans into Empirical Computational Social Choice and Preference Reasoning : article in IJCAI-20
Mattei, Nicholas – IJCAI, 2020. - 5 pp.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
Deliberative Coalition Formation : article
Elkind, Edith; Grossi, Davide; Shapiro, Ehud; Talmon, Nimrod – Cornell University : arXiv.org, 2020. - 8 pp.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
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.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
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.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
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
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
Heuristics in Multi-Winner Approval Voting : article
Scheuerman, Jaelle; Harman, Jason L.; Mattei, Nicholas; Venable, Kristen Brent – Cornell University : arXiv.org, 2019. - 17 pp.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
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)
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
PeerNomination : Relaxing Exactness for Increased Accuracy in Peer Selection : article in IJCAI-20
Mattei, Nicholas; Turrini, Paolo; Zhydkov, Stanislav – IJCAI, 2020. - 7 pp.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
Smart Voting : article in IJCAI-20
Colley, Rachael; Grandi, Umberto; Novaro, Arianna – IJCAI, 2020. - 7 pp.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
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.
Dagstuhl Seminar 19381, 2019-09-15 - 2019-09-20
Article
Unravelling multi-agent ranked delegations
Colley, Rachael; Grandi, Umberto; Novaro, Arianna – Cornell University : arXiv.org, 2021. - 47 pp.
Dagstuhl Seminar 19371, 2019-09-08 - 2019-09-13
Article
Signature-Based Abduction for Expressive Description Logics : article in KR2020
Koopmann, Patrick; Del-Pinto, Warren; Tourret, Sophie; Schmidt, Renate A. – IJCAI, 2020. - 11 PP.
Dagstuhl Seminar 19361, 2019-09-01 - 2019-09-06
Article
Conjunctive Queries : Unique Characterizations and Exact Learnability : article
Cate, Balder D. ten; Dalmau, Victor – Cornell University : arXiv.org, 2020. - 29 pp.
Dagstuhl Seminar 19361, 2019-09-01 - 2019-09-06
Article
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.
Dagstuhl Seminar 19361, 2019-09-01 - 2019-09-06
Article
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.
Dagstuhl Seminar 19361, 2019-09-01 - 2019-09-06
Article
The Homomorphism Lattice, Unique Characterizations, and Concept Learning : article
Cate, Balder D. ten – Aachen : CEUR, 2020. - 9 pp.
Dagstuhl Seminar 19351, 2019-08-25 - 2019-08-30
Article
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)
Dagstuhl Seminar 19351, 2019-08-25 - 2019-08-30
Article
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.
Dagstuhl Seminar 19352, 2019-08-25 - 2019-08-30
Article
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.
Dagstuhl Seminar 19352, 2019-08-25 - 2019-08-30
Article
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.
Dagstuhl Seminar 19352, 2019-08-25 - 2019-08-30
Article
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.
Dagstuhl Seminar 19352, 2019-08-25 - 2019-08-30
Article
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.
Dagstuhl Seminar 19352, 2019-08-25 - 2019-08-30
Article
Hard Diagrams of the Unknot : article
Burton, Benjamin A.; Chang, Hsien-Chih; Löffler, Maarten; Maria, Clement; Mesmay, Arnaud de; Spreer, Jonathan; Sedgwick, Eric; Schleimer, Saul – London : Taylor & Francis, 2023. - 20 pp – (Experimental mathematics ; 2023)
Dagstuhl Seminar 19341, 2019-08-18 - 2019-08-23
Special Issue
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)
Dagstuhl Seminar 19342, 2019-08-18 - 2019-08-23
Article
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)
Dagstuhl Seminar 19302, 2019-07-21 - 2019-07-26
Article
Conversational Search for Learning Technologies : Dagstuhl Report on Conversational Search
Oviatt, Sharon; Soulier, Laure – Cornell University : arXiv.org, 2020. - 6 pp.
Dagstuhl Seminar 19302, 2019-07-21 - 2019-07-26
Article
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.
Dagstuhl Seminar 19302, 2019-07-21 - 2019-07-26
Article
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.
Dagstuhl Seminar 19302, 2019-07-21 - 2019-07-26
Article
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
Dagstuhl Seminar 19301, 2019-07-21 - 2019-07-26
Article
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.
Dagstuhl Seminar 19301, 2019-07-21 - 2019-07-26
Article
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.
Dagstuhl Seminar 19301, 2019-07-21 - 2019-07-26
Article
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
Dagstuhl Seminar 19301, 2019-07-21 - 2019-07-26
Article
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.
Dagstuhl Seminar 19291, 2019-07-14 - 2019-07-19
Article
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
Dagstuhl Seminar 19292, 2019-07-14 - 2019-07-19
Book
Mobile Data Visualization
Lee, Bongshin; Dachselt, Raimund; Isenberg, Petra; Choe, Eun Kyoung – Boca Raton : CRC Press, 2022. - xxiv, 321 Seiten – (A.K. Peters visualization series) , ISBN: 978-0-367-53471-4
Dagstuhl Seminar 19281, 2019-07-07 - 2019-07-12
Article
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
Dagstuhl Seminar 19281, 2019-07-07 - 2019-07-12
Article
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
Dagstuhl Seminar 19271, 2019-06-30 - 2019-07-05
Article
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.
Dagstuhl Seminar 19271, 2019-06-30 - 2019-07-05
Article
On Weak Flexibility in Planar Graphs
Lidicky, Bernard; Masarík, Tomas; Murphy, Kyle; Zerbib, Shira – Cornell University : arXiv.org, 2020. - 15 pp.
Dagstuhl Seminar 19272, 2019-06-30 - 2019-07-03
Article
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.
Dagstuhl Seminar 19272, 2019-06-30 - 2019-07-03
Book
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) , ISBN: 978-3-030-41815-1
Dagstuhl Seminar 19261, 2019-06-23 - 2019-06-28
Article
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)
Dagstuhl Seminar 19262, 2019-06-23 - 2019-06-26
Article
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.
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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)
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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)
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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)
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
On the Approximation Ratio of Ordered Parsings: article
Navarro, Gonzalo; Ochoa, Carlos; Prezza, Nicola – Cornell University : arXiv.org, 2019. - 21 pp.
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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)
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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.
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
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
Dagstuhl Seminar 19241, 2019-06-10 - 2019-06-14
Article
Towards a Definitive Measure of Repetitiveness : article
Kociumaka, Tomasz; Navarro, Gonzalo; Prezza, Nicola – Cornell University : arXiv.org, 2020. - 13 pp.
Research Meeting 19243, 2019-06-10 - 2019-06-14
Article
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)
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
"Do this! Do that!, And Nothing will happen" : Do specifications lead to securely stored passwords? : article in 43rd International Conference on Software Engineering ICSE 2021
Hallett, Joseph; Patnaik, Nikhil; Shreeve, Ben; Rashid, Awais – Los Alamitos : IEEE, 2021. - pp. 486-499
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
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.
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
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
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
Exploring the Shift in Security Responsibility : article
Weir, Charles; Migues, Samuel; Williams, Laurie – Los Alamitos : IEEE, 2022. - pp. 2-11 – (IEEE Security & Privacy ; 2022)
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
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)
Dagstuhl Seminar 19231, 2019-06-02 - 2019-06-07
Article
“Do this! Do that!, and Nothing will Happen” Do Specifications Lead to Securely Stored Passwords? : article in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
Hallett, Joseph; Patnaik, Nikhil; Shreeve, Ben; Rashid, Awais – Los Alamitos : IEEE, 2021. - pp. 486-498
Dagstuhl Seminar 19232, 2019-06-02 - 2019-06-07
Article
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)
Dagstuhl Seminar 19232, 2019-06-02 - 2019-06-07
Article
Ubiquitous Computing Education : article
McLeod, Amanda – Los Alamitos : IEEE, 2019. - pp. 59 - 62 – (IEEE pervasive computing ; 18. 2019, 3)
Research Meeting 19223, 2019-05-26 - 2019-05-29
Book
Ausgezeichnete Informatikdissertationen 2018
Hölldobler, Steffen – Bonn : Gesellschaft für Informatik e.V., 2019. - 280 S. – (Lecture notes in informatics / D ; 19) , ISBN: 978-3-88579-978-8
Dagstuhl Seminar 19211, 2019-05-19 - 2019-05-24
Article
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)
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
Geometry-Aware Merge Tree Comparisons forTime-Varying Data with Interleaving Distances
Yan, Lin; Masood, Talha Bin; Rasheed, Farhan; Hotz, Ingrid; Wang, Bei – Cornell University : arXiv.org, 2021. - 15 pp.
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
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
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
Objective Finite-Time Flow Topology from Flowmap Expansion and Contraction : article
Bujack, Roxana; Dutta, Soumya; Günther, Tobias – Leipzig : Universität, 2020. - 19 pp.
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
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
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
PersistenceBundles : Visual Comparison of Topological Features : article
Kamakshidasan, Adhitya; Natarajan, Vijay – HAL Inria, 2020. - 5 pp.
Dagstuhl Seminar 19212, 2019-05-19 - 2019-05-24
Article
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
Dagstuhl Seminar 19202, 2019-05-12 - 2019-05-17
Article
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)
Dagstuhl Seminar 19202, 2019-05-12 - 2019-05-17
Article
Generating contrastive explanations for inductive logic programming based on a near miss approach : article
Rabold, Johannes; Siebers, Michael; Schmid, Ute – Berlin : Springer, 2021. - 22 pp. – (Machine learning ; 2021)
Dagstuhl Seminar 19202, 2019-05-12 - 2019-05-17
Article
Interactive Learning with Mutual Explanations in Relational Domains : Chapter in: Muggleton, Stephen: Human-Like Machine Intelligence
Schmid, Ute – Oxford : Oxford University Press, 2021
Dagstuhl Seminar 19191, 2019-05-05 - 2019-05-10
Article
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
Dagstuhl Seminar 19191, 2019-05-05 - 2019-05-10
Article
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)
Dagstuhl Seminar 19191, 2019-05-05 - 2019-05-10
Article
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
Dagstuhl Seminar 19191, 2019-05-05 - 2019-05-10
Article
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.
Dagstuhl Seminar 19191, 2019-05-05 - 2019-05-10
Article
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.
Dagstuhl Seminar 19192, 2019-05-05 - 2019-05-10
Article
ClusterSets : Optimizing Planar Clusters in Categorical Point Data : article
Geiger, Jakob; Cornelsen, Sabine; Haunert, Jan-Henrik; Kindermann, Philipp; Mchedlidze, Tamara; Nöllenburg, Martin; Okamoto, Yoshio; Wolff, Alexander – Aire-la-Ville : Eurographics Association, 2021 – (Computer graphics forum ; 40. 2021, 3)
Dagstuhl Seminar 19192, 2019-05-05 - 2019-05-10
Article
Computing Schematic Layouts for Spatial Hypergraphs on Concentric Circles and Grids
Bekos, Michael A.; Dekker, D. J. C.; Frank, F.; Meulemans, Wouter; Rodgers, Peter J.; Schulz, Andre; Wessel, S. – Aire-la-Ville : Eurographics Association, 2022. - pp. 316-335 – (Computer graphics forum ; 41. 2022, 6)
Dagstuhl Seminar 19192, 2019-05-05 - 2019-05-10
Article
Concentric set schematization : article
Bekos, Michael A.; Frank, Fabian; Meulemans, Wouter; Rogers, Peter; Schulz, Andre – Eindhoven : University, 2019. - 2 pp.
Dagstuhl Seminar 19192, 2019-05-05 - 2019-05-10
Article
Toward flexible visual analytics augmented through smooth display transitions : article
Tominski, Christian; Andrienko, Gennady; Andrienko, Natalia V.; Bleisch, Susanne; Mayr, Eva; Skupin, Andre; Pohl, Margit; Miksch, Silvia; Fabrikant, Sara Irina – Amsterdam : Elsevier, 2021. - Pages 28-38 – (Visual informatics ; 5. 2021, 3)
Dagstuhl Seminar 19181, 2019-04-28 - 2019-05-03
Article
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.
Dagstuhl Seminar 19181, 2019-04-28 - 2019-05-03
Article
Dynamic Distribution-Sensitive Point Location : article
Cheng, Siu-Wing; Lau, Man-Kit – Cornell University : arXiv.org, 2020. - 33 pp.
Dagstuhl Seminar 19181, 2019-04-28 - 2019-05-03
Article
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.
Dagstuhl Seminar 19171, 2019-04-22 - 2019-04-26
Article
A Defeasible Logic Implementation of Ethical Reasoning : article in First International Workshop on Computational Machine Ethics (CME-2021)
Dennis, Louise A.; Perea del Olmo, Cristina – Aachen : CEUR, 2021. - 6 pp.
Dagstuhl Seminar 19171, 2019-04-22 - 2019-04-26
Article
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)
Dagstuhl Seminar 19171, 2019-04-22 - 2019-04-26
Article
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
Dagstuhl Seminar 19171, 2019-04-22 - 2019-04-26
Article
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.
Dagstuhl Seminar 19172, 2019-04-22 - 2019-04-25
Article
An Evolutionary Textual Environment : The Unfinished Machine : article
Portela, Manuel – Baltimore : Johns Hopkins University Press, 2021. - pp. 220-238 – (Textural Cultures ; 14. 2021, 2)
Dagstuhl Seminar 19172, 2019-04-22 - 2019-04-25
Article
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.
Research Meeting 19153, 2019-04-10 - 2019-04-12
Article
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.
Dagstuhl Seminar 19141, 2019-03-31 - 2019-04-05
Article
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.
Dagstuhl Seminar 19141, 2019-03-31 - 2019-04-05
Article
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)
Dagstuhl Seminar 19131, 2019-03-24 - 2019-03-29
Book
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
Dagstuhl Seminar 19131, 2019-03-24 - 2019-03-29
Article
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.
Dagstuhl Seminar 19132, 2019-03-24 - 2019-03-29
Article
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
Dagstuhl Seminar 19131, 2019-03-24 - 2019-03-29
Article
Fixed points and stable images of endomorphisms for the free group of rank two
Ciobanu, Laura; Logan, Alan D. – Amsterdam : Elsevier, 2022. - pp. 538-576 – (Journal of Algebra ; 591. 2022)
Dagstuhl Seminar 19131, 2019-03-24 - 2019-03-29
Article
The Post Correspondence Problem and equalisers for certain free group and monoid morphisms
Ciobanu, Laura; Logan, Alan D. – Cornell University : arXiv.org, 2020. - 16 pp.
Dagstuhl Seminar 19112, 2019-03-10 - 2019-03-15
Special Issue
Engineering Reliable Multi-Agent Systems : Topical Collection
Dix, Jürgen; Logan, Brian; Winikoff, Michael – Berlin : Springer, 2021 – Berlin : Springer, 2021
Dagstuhl Seminar 19112, 2019-03-10 - 2019-03-15
Article
Summarising a Framework for the Certification of 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.
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
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
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
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
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
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.
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
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.
Dagstuhl Seminar 19102, 2019-03-03 - 2019-03-08
Article
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)
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
Interleaved Weighted Round-Robin : Network Calculus Analysis : article in 2020 32nd International Teletraffic Congress (ITC 32)
Tabatabaee, Seyed Mohammadhossein; Le Boudec, Jean-Yves; Boyer, Marc – Los Alamitos : IEEE, 2020. - pp. 64-72
Dagstuhl Seminar 19101, 2019-03-03 - 2019-03-08
Article
Interleaved Weighted Round-Robin : : A Network Calculus Analysis
Tabatabaee, Seyed Mohammadhossein; Le Boudec, Jean-Yves; Boyer, Marc – Tokyo : IEICE, 2021. - pp.1479-1493 – (IEICE transactions on Communications ; E104-B, 2021, 12)
Dagstuhl Seminar 19092, 2019-02-24 - 2019-03-01
Article
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.
Dagstuhl Seminar 19092, 2019-02-24 - 2019-03-01
Article
On Families of Planar DAGs with Constant Stack Number : article
Nöllenburg, Martin; Pupyrev, Sergey – Cornell University : arXiv.org, 2021. - 19 pp.
Dagstuhl Seminar 19092, 2019-02-24 - 2019-03-01
Article
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
Dagstuhl Seminar 19092, 2019-02-24 - 2019-03-01
Article
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)
Dagstuhl Seminar 19081, 2019-02-17 - 2019-02-22
Article
Formalizing and Guaranteeing Human-Robot Interaction : article
Kress-Gazit, Hadas; Eder, Kerstin I.; Hoffman, Guy; Admoni, Henny; Argall, Brenna D.; Ehlers, Rüdiger; Heckmann, Christoffer; Jansen, Nils; Sadigh, Dorsa; Riek, Laurel; Murphey, Todd D.; Li, Jamy; Levy-Tzedek, Shelly; Kretinsky, Jan; Knepper, Ross – New York : ACM, 2021. - pp 78–84 – (Communications of the ACM ; 64. 2021, 9)
Dagstuhl Seminar 19081, 2019-02-17 - 2019-02-22
Article
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.
Dagstuhl Seminar 19081, 2019-02-17 - 2019-02-22
Article
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)
Dagstuhl Seminar 19082, 2019-02-17 - 2019-02-22
Article
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)
Dagstuhl Seminar 19082, 2019-02-17 - 2019-02-22
Technical Report
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
Dagstuhl Seminar 19061, 2019-02-03 - 2019-02-08
Article
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.
Dagstuhl Seminar 19061, 2019-02-03 - 2019-02-08
Article
Layer Definition and Discovery in Multilayer Network Datasets : article
MacGee, Fintan; Morin, Ludovic; Stefas, Mickael; Zorzan, Simone; Ghoniem, Mohammad – MLNVIS2019, 2019. - 5 pp.
Dagstuhl Seminar 19061, 2019-02-03 - 2019-02-08
Article
Layer entanglement in multiplex, temporal multiplex, and coupled multilayer networks : article
Skrlj, Blaz; Renoust, Benjamin – Cornell University : arXiv.org, 2020. - 32 pp.
Dagstuhl Seminar 19061, 2019-02-03 - 2019-02-08
Article
Patterns of Multiplex Layer Entanglement across Real and Synthetic Networks : article
Skrlj, Blaz; Renoust, Benjamin – Cornell University : arXiv.org, 2019. - 12 pp.
Dagstuhl Seminar 19061, 2019-02-03 - 2019-02-08
Book
Visual Analysis of Multilayer Networks
McGee, Fintan; Renoust, Benjamin; Archambault, Daniel; Ghoniem, Mohammad; Kerren, Andreas; Landesberger, Tatiana von; Melancon, Guy; Otjacques, Benoit; Pohl, Margit; Pinaud, Bruno – San Rafael : Morgan & Claypool Publishers, 2021. - 150 S. – (Synthesis Lectures on Visualization ; 8, 2021, 1) , ISBN: 978-1-636-39143-4
Dagstuhl Seminar 19062, 2019-02-03 - 2019-02-06
Article
Constraints in Dynamic Symbolic Execution : Bitvectors or Integers?
Kapus, Timotej; Nowack, Martin; Cadar, Cristian – University, 2019. - 14 pp.
Dagstuhl Seminar 19062, 2019-02-03 - 2019-02-06
Article
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)
Dagstuhl Seminar 19052, 2019-01-27 - 2019-02-01
Article
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)
Dagstuhl Seminar 19052, 2019-01-27 - 2019-02-01
Article
Dagstuhl ChoirSet : dataset
Rosenzweig, Sebastian; Cuesta, Helena; Weiß, Christof; Scherbaum, Frank; Gomez, Emilia; Müller, Meinard – Zenodo, 2020
Dagstuhl Seminar 19051, 2019-01-27 - 2019-02-01
Article
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)
Dagstuhl Seminar 19051, 2019-01-27 - 2019-02-01
Article
Entropy Trees and Range-Minimum Queries In Optimal Average-Case Space
Munro, J. Ian; Wild, Sebastian – Cornell University : arXiv.org, 2019. - 16 pp.
Dagstuhl Seminar 19041, 2019-01-20 - 2019-01-25
Article
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.
Dagstuhl Seminar 19032, 2019-01-13 - 2019-01-16
Article
Simple Conditionals with Constrained Right Weakening : Dagstuhl Seminar 19032 and 19072
Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan – IJCAI, 2019. - 7 pp.
GI-Dagstuhl Seminar 19023, 2019-01-06 - 2019-01-11
Technical Report
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.
GI-Dagstuhl Seminar 19023, 2019-01-06 - 2019-01-11
Article
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.
GI-Dagstuhl Seminar 19023, 2019-01-06 - 2019-01-11
Article
Towards a Characterization of Explainable Systems
Bohlender, Dimitri; Köhl, Maximilian A. – Cornell University : arXiv.org, 2019. - 11 pp.
GI-Dagstuhl Seminar 19023, 2019-01-06 - 2019-01-11
Article
Towards Self-Explainable Cyber-Physical Systems : article in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Blumreiter, Mathias; Greenyer, Joel; Chiyah Garcia, Francisco Javier; Klös, Verena; Schwammberger, Maike; Wortmann, Andreas; Vogelsang, Andreas; Sommer, Christoph – Los Alamitos : IEEE, 2019. - pp. 543-548