Häufig kommt es vor, dass ein 
Dagstuhl-Seminar oder eine Dagstuhl-Veranstaltung so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat in der Bibliothek präsentiert. Bitte 
informieren Sie uns über solche Publikationen.
Legende
Buch 
Special Issue 
Technischer Bericht 
Artikel 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 213 Specials Alle
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 |
| Sakr, Sherif; Bonifati, Angela; Voigt, Hannes; Iosup, Alexandru. - New York : ACM, 2021. - Pages 62-71. - (Communications of the ACM ; 64. 2021, 9) 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 | |
| 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 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 19443, 27.10.19-31.10.19 | |
| 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) 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 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 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. 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 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 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 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) 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 | |
| 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 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 | |
| Unravelling multi-agent ranked delegations |
| Colley, Rachael; Grandi, Umberto; Novaro, Arianna. - Cornell University : arXiv.org, 2021. - 47 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 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 19302, 21.07.19-26.07.19 | |
| Identifying Unintended Harms of Cybersecurity Countermeasures : article in eCrime '19 Proceedings of the Symposium on Electronic Crime Research |
| Chua, Yi Ting; Parkin, Simon; Edwards, Matthew; Oliveira, Daniela; Schiffner, Stefan; Tyson, Gareth; Hutchings, Alice. - Los Alamitos : IEEE, 2019. - 15 pp. Link | |
Dagstuhl Seminar 19301, 21.07.19-26.07.19 | |
| Real-World Snapshots vs. Theory : Questioning the t-Probing Security Model : article |
| Krachenfels, Thilo; Ganji, Fatemeh; Moradi, Amir; Tajik, Shahin; Seifert, Jean-Pierre. - Cornell University : arXiv.org, 2020. - 17 pp. Link | |
Dagstuhl Seminar 19302, 21.07.19-26.07.19 | |
| Conversational Search for Learning Technologies : Dagstuhl Report on Conversational Search |
| Oviatt, Sharon; Soulier, Laure. - Cornell University : arXiv.org, 2020. - 6 pp. Link | |
Dagstuhl Seminar 19301, 21.07.19-26.07.19 | |
| Towards Secure Composition of Integrated Circuits and Electronic Systems : On the Role of EDA |
| Knechtel, Johann; Kavun, Elif Bilge; Heuser, Annelie; Dey, Soumyajit; Fei, Yunsi; Belenky, Yaacov; Levi, Itamar; Polian, Ilia; Schaumont, Patrick R.; Güneysu, Tim; Mukhopadhyay, Debdeep; Chattopadhyay, Anupam; Regazzoni, Francesco. - Cornell University : arXiv.org, 2020. - 6 pp. Link | |
Dagstuhl Seminar 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 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 19292, 14.07.19-19.07.19 | |
| 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) 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 | |
| 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 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 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 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 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 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 ICSE 2021 |
| Hallett, Joseph; Patnaik, Nikhil; Shreeve, Ben; Rashid, Awais. - Los Alamitos : IEEE, 2021. - pp. 486-499 Link | |
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 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 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 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 | |
| Exploring the Shift in Security Responsibility : article |
| Weir, Charles; Migues, Samuel; Williams, Laurie. - Los Alamitos : IEEE, 2022. - pp. 2-11. - (IEEE Security & Privacy ; 2022) Link | |
Dagstuhl Seminar 19231, 02.06.19-07.06.19 | |
| Infiltrating security into development : exploring the world’s largest software security study : article in ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
| Weir, Charles; Migues, Samuel; Ware, Mike; Williams, Laurie. - New York : ACM, 2021. - Pages 1326 - 1336 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 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 19212, 19.05.19-24.05.19 | |
| 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. 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 19202, 12.05.19-17.05.19 | |
| 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) Link | |
Dagstuhl Seminar 19202, 12.05.19-17.05.19 | |
| Interactive Learning with Mutual Explanations in Relational Domains : Chapter in: Muggleton, Stephen: Human-Like Machine Intelligence |
| Schmid, Ute. - Oxford : Oxford University Press, 2021 Link | |
Dagstuhl Seminar 19192, 05.05.19-10.05.19 | |
| 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) Link | |
Dagstuhl Seminar 19191, 05.05.19-10.05.19 | |
| Concepts of variation control systems : article |
| Linsbauer, Lukas; Schwägerl, Felix; Berger, Thorsten; Grünbacher, Paul. - Amsterdam : Elsevier, 2021. - 25 pp.. - (Journal of Systems and Software ; 171. 2021 : article 110796) Link | |
Dagstuhl Seminar 19191, 05.05.19-10.05.19 | |
| Facing the Truth : Benchmarking the Techniques for the Evolution of Variant-Rich Systems : article in SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference |
| Strüber, Daniel; Mukelabai, Mukelabai; Krüger, Jacob; Linsbauer, Lukas; Martinez, Jabier; Berger, Thorsten; Fischer, Stefan. - New York : ACM, 2019. - Pages 177–188 Link | |
Dagstuhl Seminar 19192, 05.05.19-10.05.19 | |
| Concentric set schematization : article |
| Bekos, Michael A.; Frank, Fabian; Meulemans, Wouter; Rogers, Peter; Schulz, Andre. - Eindhoven : University, 2019. - 2 pp. Link | |
Dagstuhl Seminar 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 19181, 28.04.19-03.05.19 | |
| Dynamic Distribution-Sensitive Point Location : article |
| Cheng, Siu-Wing; Lau, Man-Kit. - Cornell University : arXiv.org, 2020. - 33 pp. Link | |
Dagstuhl Seminar 19181, 28.04.19-03.05.19 | |
| The Maximum-Level Vertex in an Arrangement of Lines : article |
| Halperin, Dan; Har-Peled, Sariel; Mehlhorn, Kurt; Oh, Eunjin; Sharir, Micha. - Cornell University : arXiv.org, 2020. - 20 pp. Link | |
Dagstuhl Seminar 19181, 28.04.19-03.05.19 | |
| A Generalization of Self-Improving Algorithms : article |
| Cheng, Siu-Wing; Chiu, Man-Kwun; Jin, Kai; Wong, Man Ting. - Cornell University : arXiv.org, 2020. - 20 pp. Link | |
Dagstuhl Seminar 19171, 22.04.19-26.04.19 | |
| Big data justice : a case for regulating the global information commons : article in press in "Journal of Politics" |
| Spiekermann, Kai; Slavny, Adam; Axelsen, David V.; Lawford-Smith, Holly. - hicago : Univ. of Chicago, 2020. - 38 pp.. - (Journal of Politics ; in press) Link | |
Dagstuhl Seminar 19171, 22.04.19-26.04.19 | |
| Trust and the discrepancy between expectations and actual capabilities of social robots : article in press in In D. Zhang and B. Wei (Eds.), Human-robot interaction: Control, analysis, and design |
| Malle, Bertram F.; Fischer, Kerstin; Young, James E.; Moon, AJung; Collins, Emily C.. - New York : Cambridge Scholars Publishing, 2020. - 23 pp. Link | |
Dagstuhl Seminar 19171, 22.04.19-26.04.19 | |
| 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. 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 19172, 22.04.19-25.04.19 | |
| An Evolutionary Textual Environment : The Unfinished Machine : article |
| Portela, Manuel. - Baltimore : Johns Hopkins University Press, 2021. - pp. 220-238. - (Textural Cultures ; 14. 2021, 2) 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 | |
| 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 19112, 10.03.19-15.03.19 | |
| 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. 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 | |
| On Families of Planar DAGs with Constant Stack Number : article |
| Nöllenburg, Martin; Pupyrev, Sergey. - Cornell University : arXiv.org, 2021. - 19 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 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 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 19081, 17.02.19-22.02.19 | |
| 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) 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 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 19061, 03.02.19-08.02.19 | |
| 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) 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 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 | |
| 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 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 | |
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 213 Specials Alle