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

2024

Dagstuhl Seminar 24051, 2024-01-28 - 2024-02-02
Article
Behavioural Types for Heterogeneous Systems : Position Paper
Fowler, Simon; Haller, Philipp; Kuhn, Roland; Lindley, Sam; Scalas, Alceste; Vasconcelos, Vasco T. – 2024. - 12 pp.
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Root cause analysis using anomaly detection and temporal informed causal graphs : article in ML4CPS – Machine Learning for Cyber-Physical Systems
Rehak, Josephine; Youssef, Shahenda; Beyerer, Jürgen – Hamburg : Universität, 2024. - 10 pp.

2023

Dagstuhl Seminar 23431, 2023-10-22 - 2023-10-27
Article
A Comparison of Neural-Network-Based Intrusion Detection against Signature-Based Detection in IoT Networks
Schrötter, Max; Niemann, Andreas; Schnor, Bettina – Basel : MPDI, 2024. - 26 pp.
Dagstuhl Seminar 23351, 2023-08-27 - 2023-09-01
Technical Report
Computable error bounds forquasi-Monte Carlo usingpoints with non-negativelocal discrepancy
Gnewuch, Michael; Kritzer, Peter; Owen, Art B.; Pan, Zexin – Linz : RICAM, 2023. - 25 pp. – (RICAM Reports ; 2023-25)
Dagstuhl Seminar 23351, 2023-08-27 - 2023-09-01
Article
Linear Monte Carlo quadrature with optimal confidence intervals : article
Kunsch, Robert J. – Cornell University : arXiv.org, 2023. - 22 pp.
Dagstuhl Seminar 23351, 2023-08-27 - 2023-09-01
Article
Diverse Diffusion : Enhancing Image Diversity in Text-to-Image Generation
Zameshina, Mariia; Teytaud, Olivier; Najman, Laurent – Cornell University : arXiv.org, 2023. - 47 pp.
Dagstuhl Seminar 23351, 2023-08-27 - 2023-09-01
Article
Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy : article
Gnewuch, Michael – Cornell University : arXiv.org, 2024. - 13 pp.
Dagstuhl Seminar 23351, 2023-08-27 - 2023-09-01
Article
Selected aspects of tractability analysis
Kritzer, Peter – Cornell University : arXiv.org, 2024. - 24 pp.
Dagstuhl Seminar 23291, 2023-07-16 - 2023-07-21
Article
Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs
Lee, Euiwoong; Manurangsi, Pasin – Cornell University : arXiv.org, 2023. - 19 pp.
Dagstuhl Seminar 23291, 2023-07-16 - 2023-07-21
Article
Conditional lower bounds for sparse parameterized 2-CSP : A streamlined proof
Karthik C. S.; Marx, Daniel; Pilipczuk, Marcin; Souza, Ueverton S. – arXiv.org, 2023. - 18 pp.
Dagstuhl Seminar 23292, 2023-07-16 - 2023-07-21
Article
Grand Challenges in SportsHCI : accepted paper: Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024
Elvitigala, Don Samitha; Karahanoğlu, Armağan; Matviienko, Andrii; Reidsma, Dennis; Lallemand, Carine; Bernhaupt, Regina; Patibanda, Rakesh; Montoya, Maria F.; Vidal, Laia Turmo; Postma, Dees; Jones, Michael; Harrison, Daniel; Elbæk, Lars; Daiber, Florian; Burr, Lisa Anneke; Buono, Paolo; Hämäläinen, Perttu; Delden, Robby van; Ren, Xipei; Rheden, Vincent van; Zambetta, Fabio; Hoven, Elise van den; Mueller, Florian 'Floyd' – ResearchGate, 2024. - 22 pp.
Dagstuhl Seminar 23271, 2023-07-02 - 2023-07-07
Article
Tiramisù : Making Sense of Multi-Faceted Process Information Through Time and Space
Alman, Anti; Arleo, Alessio; Beerepoot, Iris; Burattin, Andrea; Resinas, Manuel; Ciccio, Claudio Di – ResearchGate, 2024. - 26 pp.
Dagstuhl Seminar 23261, 2023-06-25 - 2023-06-30
Article
Happy Ending : An Empty Hexagon in Every Set of 30 Points : article in Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024
Heule, Marijn J. H.; Scheucher, Manfred – Berlin : Springer, 2024. - pp. 61-80 – (Lecture notes in computer science ; 14570 : article)
Dagstuhl Seminar 23251, 2023-06-18 - 2023-06-23
Article
Using the Empirical Attainment Function for Analyzing Single-objective Black-box Optimization Algorithms
Lopez-Ibanez, Manuel; Vermetten, Diederick; Dreo, Johann; Doerr, Carola – Cornell University : arXiv.org, 2024. - 5 pp.
Dagstuhl Seminar 23192, 2023-05-07 - 2023-05-12
Article
Probabilistic Analysis of Multiparameter Persistence Decompositions
Alonso, Ángel Javier; Kerber, Michael; Skraba, Primoz – Cornell University : arXiv.org, 2024. - 19 pp.
Dagstuhl Seminar 23171, 2023-04-23 - 2023-04-28
Article
Autonomy Loops for Monitoring, Operational Data Analytics, Feedback, and Response in HPC Operations : article in 2023 IEEE International Conference on Cluster Computing Workshops (CLUSTER Workshops)
Boito, Francieli; Brandt, Jim; Cardellini, Valeria; Carns, Philip; Ciorba, Florina M.; Egan, Hilary; Eleliemy, Ahmed; Gentile, Ann; Jones, Terry; Karlsson, Sven; Ott, Michael; Patki, Tapasya; Wilde, Torsten; Yamamoto, Keiji; Tiwari, Devesh; Showerman, Michael; Shoga, Kathleen; Simms, Stephen; Raghavan, Krishnan; Peng, Ivy; Mueen, Abdullah; Jakobsche, Thomas; Gruber, Thomas; Hanson, Jeff; Haus, Utz-Uwe; Huck, Kevin; Ilsche, Thomas – Los Alamitos : IEEE, 2023. - pp. 37-43
Dagstuhl Seminar 23162, 2023-04-16 - 2023-04-21
Article
Parameterized and Approximation Algorithms for the Maximum Bimodal Subgraph Problem : article
Didimo, Walter; Fomin, Fedor V.; Golovach, Petr A.; Inamdar, Tanmay; Sieper, Marie Diana; Kobourov, Stephen G. – Cornell University : arXiv.org, 2023. - 26 pp.
Dagstuhl Seminar 23162, 2023-04-16 - 2023-04-21
Article
A Conceptual Architecture for Building Digital Twins : article in MESS@STAF 2023: International workshop on MDE for Smart IoT Systems, July 18 - 21, 2023, Leicester, United Kingdom
Munoz Ariza, Paula; Troya, Javier; Vallecillo, Antonio – CEUR-WS.org, 2023. - 4 pp
Dagstuhl Seminar 23162, 2023-04-16 - 2023-04-21
Article
Eliminating Crossings in Ordered Graphs
Agrawal, Akanksha; Cabello, Sergio; Kaufmann, Michael; Saurabh, Saket; Sharma, Roohani; Wolff, Alexander; Uno, Yushi – Cornell University : arXiv.org, 2024. - 19 pp.
Dagstuhl Seminar 23121, 2023-03-19 - 2023-03-24
Article
Turning cycle restrictions into mesh patterns via Foata’s fundamental transformation
Claesson, Anders; Ulfarsson, Henning – Reykjavik : University, 2023. - 3 pp.
Dagstuhl Seminar 23122, 2023-03-19 - 2023-03-24
Article
Continual Learning : Applications and the Road Forward
Verwimp, Eli; Aljundi, Rahaf; Bethge, Matthias; Gepperth, Alexander; Hayes, Tyler L.; Popescu, Adrian; Tolias, Andreas S.; Weijer, Joost van de; Ven, Gido van de; Tuytelaars, Tinne; Lomonaco, Vincenzo; Liu, Bing; Lampert, Christoph H.; Hüllermeier, Eyke; Cossu, Andrea; Ben-David, Shai; Kanan, Christopher; Kudithipudi, Dhireesha; Mundt, Martin; Pascanu, Razvan – Cornell University : arXiv.org, 2023. - 19 pp.
Dagstuhl Seminar 23122, 2023-03-19 - 2023-03-24
Article
Continual Learning : Applications and the Road Forward
Verwimp, Eli; Pascanu, Razvan; Mundt, Martin; Kudithipudi, Dhireesha; Kanan, Christopher; Tuytelaars, Tinne; Lomonaco, Vincenzo; Liu, Bing ; Weijer, Joost van de; Ven, Gido van de; Gepperth, Alexander; Hayes, Tyler L.; Hüllermeier, Eyke; Cossu, Andrea; Bethge, Matthias; Lampert, Christoph H.; Ben-David, Shai; Aljundi, Rahaf; Popescu, Adrian; Tolias, Andreas S. – Openreview.net, 2024. - 21 pp. – (Transactions on Machine Learning Research ; March/2024)
Dagstuhl Seminar 23081, 2023-02-19 - 2023-02-24
Article
Finding the Critical MAS(S) : Resources and Representations Needed for Weaving a Web that Hosts Linked Multi-Agent Systems
Gandon, Fabien – HAL Inria, 2023. - 3 pp.
Dagstuhl Seminar 23081, 2023-02-19 - 2023-02-24
Article
Governing Agents on the Web : Blue Sky Ideas
Charpenay, Victor; Baldoni, Matteo; Ciortea, Andrei; Cranefield, Stephen; Padget, Julian A. – Github, 2023. - 16 pp.
Dagstuhl Seminar 23081, 2023-02-19 - 2023-02-24
Article
HyperBrain : Human-inspired Hypermedia Guidance using a Large Language Model : article in HT '23 : Proceedings of the 34th ACM Conference on Hypertext and Social Media
Lemee, Jeremy; Rot, Raffael; Mayer, Simon; Ciortea, Andrei; Ramanathan, Ganesh – New York : ACM, 2023. - pp. 1-5
Dagstuhl Seminar 23072, 2023-02-12 - 2023-02-17
Article
On the Challenges and Opportunities in Generative AI
Manduchi, Laura; Pandey, Kushagra; Bamler, Robert; Cotterell, Ryan; Däubener, Sina; Fortuin, Vincent; Mandt, Stephan; Wenzel, Florian; Wood, Frank; Fischer, Asja; Gärtner, Thomas; Kirchler, Matthias; Kloft, Marius; Li, Yingzhen; Lippert, Christoph; Melo, Gerard de; Nalisnick, Eric; Ommer, Björn; Ranganath, Rajesh; Rudolph, Maja; Fellenz, Sophie; Ullrich, Karen; Broeck, Guy Van den; Vogt, Julia E.; Wang, Yixin – Cornell University : arXiv.org, 2024. - 28 pp.
Dagstuhl Seminar 23051, 2023-01-29 - 2023-02-03
Article
On the Perception of Small Sub-graphs : article in Graph Drawing and Network Visualization (GD 2023)
Miller, Jacob; Ghoniem, Mohammad; Wu, Hsiang-Yun; Purchase, Helen C. – Berlin : Springer, 2023. - pp 213–230 – (Lecture notes in computer science ; 14465 ; article)
Dagstuhl Seminar 23042, 2023-01-22 - 2023-01-25
Article
Power Reduction Opportunities on End-User Devices in Quality-Steady Video Streaming : article in 2023 15th International Conference on Quality of Multimedia Experience (QoMEX)
Herglotz, Christian; Robitza, Werner; Raake, Alexander; Hoßfeld, Tobias; Kaup, Andre – Los Alamitos : IEEE, 2023. - 4 pp.
Research Meeting 23033, 2023-01-15 - 2023-01-18
Article
Designing for Playfulness in Human-AI Authoring Tools : article in "Foundations of Digital Games 2023", FDG 202
Liapis, Antonios; Guckelsberger, Christian; Zhu, Jichen; Denisova, Alena; Gow, Jeremy; Preuss, Mike; Kriglstein, Simone; Harteveld, Casper – New York : ACM, 2023. - 4 pp.
Dagstuhl Seminar 23031, 2023-01-15 - 2023-01-20
Article
Perspectives on Large Language Models for Relevance Judgment
Faggioli, Guglielmo; Dietz, Laura; Clarke, Charles L. A.; Demartini, Gianluca; Hagen, Matthias; Wachsmuth, Henning; Stein, Benno M.; Potthast, Martin; Kanoulas, Evangelos; Kando, Noriko; Hauff, Claudia – Cornell University : arXiv.org, 2023. - 23 pp.
Dagstuhl Seminar 23031, 2023-01-15 - 2023-01-20
Article
Report on the Dagstuhl Seminar on Frontiers of Information Access Experimentation for Research and Education
Bauer, Christine; Carterette, Ben; Ferro, Nicola; Fuhr, Norbert – New York : ACM, 2023. - 28 pp.
Dagstuhl Seminar 23031, 2023-01-15 - 2023-01-20
Article
Perspectives on Large Language Models for Relevance Judgment : article in ICTIR '23: Proceedings of the 2023 ACM SIGIR International Conference on Theory of Information Retrieval
Faggioli, Guglielmo; Dietz, Laura; Clarke, Charles L. A.; Demartini, Gianluca; Hagen, Matthias; Wachsmuth, Henning; Stein, Benno M.; Potthast, Martin; Kanoulas, Evangelos; Kando, Noriko; Hauff, Claudia – New York : ACM, 2023. - Pages 39–50
Dagstuhl Seminar 23031, 2023-01-15 - 2023-01-20
Article
Who Determines What Is Relevant? : Humans or AI? Why Not Both?
Faggioli, Guglielmo; Dietz, Laura; Clarke, Charles L. A.; Demartini, Gianluca; Hagen, Matthias; Hauff, Claudia; Kando, Noriko; Kanoulas, Evangelos; Potthast, Martin; Stein, Benno M.; Wachsmuth, Henning – New York : ACM, 2024. - pp 31–34 – (Communications of the ACM ; 67. 2024, 4)
Dagstuhl Seminar 23021, 2023-01-08 - 2023-01-13
Article
Crime Scene Prediction for Unmanned Aerial Vehicles Investigation via Machine Learning : article in 2023 8th International Conference on Automation, Control and Robotics Engineering (CACRE)
Ojo, Taiwo P.; Chi, Hongmei; Hilliard, Emmanuel; Yan, Jie – Los Alamitos : IEEE, 2023. - 7 pp.
Dagstuhl Seminar 23021, 2023-01-08 - 2023-01-13
Article
AI-Assisted Security : A Step towards Reimagining Software Development for a Safer Future : article in 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC)
Shi, Yong; Sakib, Nazmus; Shahriar, Hossain; Lo, Dan; Qian, Kai; Chi, Hongmei – Los Alamitos : IEEE, 2023. - 2 pp.

2022

Dagstuhl Seminar 22481, 2022-11-27 - 2022-12-02
Article
Max Weight Independent Set in sparse graphs with no long claws : article
Abrishami, Tara; Chudnovsky, Maria; Pilipczuk, Marcin; Rzazewski, Pawel – Cornell University : arXiv.org, 2023. - 13 pp.
Dagstuhl Seminar 22482, 2022-11-27 - 2022-12-02
Article
The Weisfeiler-Leman Dimension of Existential Conjunctive Queries
Göbel, Andreas; Goldberg, Leslie Ann; Roth, Marc – Cornell University : arXiv.org, 2023. - 36 pp.
Dagstuhl Seminar 22482, 2022-11-27 - 2022-12-02
Article
The Weisfeiler-Leman Dimension of Existential Conjunctive Queries
Göbel, Andreas; Goldberg, Leslie Ann; Roth, Marc – Cornell University : arXiv.org, 2023. - 36 pp.
Dagstuhl Seminar 22481, 2022-11-27 - 2022-12-02
Article
Minimal obstructions to C5-coloring in hereditary graph classes
Goedgebeur, Jan; Kooken, Jorik; Okrasa, Karolina; Rzążewski, Paweł; Schaudt, Oliver – Cornell University : arXiv.org, 2024. - 27 pp.
Research Meeting 22474, 2022-11-20 - 2022-11-23
Article
Uncertainty in Natural Language Generation : From Theory to Applications : article
Baan, Joris; Daheim, Nico; Ilia, Evgenia; Ulmer, Dennis; Fernández, Raquel; Sennrich, Rico; Zerva, Chrysoula; Aziz, Wilker; Plank, Barbara; Li, Haau-Sing – Cornell University : arXiv.org, 2023. - 21 pp.
Dagstuhl Seminar 22461, 2022-11-13 - 2022-11-18
Article
Engineering Fully Dynamic Δ-Orientation Algorithms
Borowitz, Jannick; Großmann, Ernestine; Schulz, Christian – Cornell University : arXiv.org, 2023. - 15 pp.
Dagstuhl Seminar 22462, 2022-11-13 - 2022-11-18
Article
Visualizing Uncertainty in Sets
Tominski, Christian; Behrisch, Michael; Bleisch, Susanne; Fabrikant, Sara Irina; Mayr, Eva; Purchase, Helen C.; Miksch, Silvia – Cornell University : arXiv.org, 2023. - 13 pp.
Dagstuhl Seminar 22462, 2022-11-13 - 2022-11-18
Article
Visualizing Uncertainty in Sets : article
Tominski, Christian; Behrisch, Michael; Bleisch, Susanne; Fabrikant, Sara Irina; Mayr, Eva; Purchase, Helen C.; Miksch, Silvia – Los Alamitos : IEEE, 2023. - pp. 49-61 – (IEEE computer graphics ; 43. 2023. 5)
Dagstuhl Seminar 22461, 2022-11-13 - 2022-11-18
Article
Near-Optimal Dynamic Rounding of Fractional Matchings in Bipartite Graphs
Bhattacharya, Sayan; Kiss, Peter; Sidford, Aaron; Wajc, David – Cornell University : arXiv.org, 2024. - 43 pp.
Dagstuhl Seminar 22461, 2022-11-13 - 2022-11-18
Article
Õptimal Fault-Tolerant Reachability Labeling in Planar Graphs
Chechik, Shiri; Mozes, Shay; Weimann, Oren – Cornell University : arXiv.org, 2023. - 15 pp.
Dagstuhl Seminar 22462, 2022-11-13 - 2022-11-18
Article
EulerMerge : Simplifying Euler Diagrams Through Set Merges
Yan, Xinyuan; Rodgers, Peter J.; Rottmann, Peter; Archambault, Daniel; Haunert, Jan-Henrik; Wang, Bei – Cornell University : arXiv.org, 2023. - 14 pp.
Dagstuhl Seminar 22452, 2022-11-06 - 2022-11-11
Article
Solving Woeginger's Hiking Problem : Wonderful Partitions in Anonymous Hedonic Games
Constantinescu, Andrei; Lenzner, Pascal; Reiffenhäuser, Rebecca; Schmand, Daniel; Varricchio, Giovanna – Cornell University : arXiv.org, 2023. - 19 pp.
Dagstuhl Seminar 22452, 2022-11-06 - 2022-11-11
Article
Complexity of equilibria in binary public goods games on undirected graphs : article in EC '23: Proceedings of the 24th ACM Conference on Economics and Computation
Klimm, Max; Stahlberg, Maximilian J. – New York : ACM, 2023. - Pages 938–955
Dagstuhl Seminar 22452, 2022-11-06 - 2022-11-11
Article
Algorithms for Claims Trading : article in 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)
Hoefer, Martin; Ventre, Carmine; Wilhelmi, Lisa – Wadern : LZI, 2024. - 17 pp. – (Leibniz International Proceedings in Informatics ; 289 : article)
Dagstuhl Seminar 22441, 2022-10-30 - 2022-11-04
Article
Bilevel linear optimization belongs to NP and admits polynomial-size KKT-based reformulations
Buchheim, Christoph – Amsterdam : Elsevier, 2023. - pp. 618-622 – (Operations Research Letters ; 51. 2023, 6)
Dagstuhl Seminar 22441, 2022-10-30 - 2022-11-04
Article
Connections and Reformulations between Robust and Bilevel Optimization
Goerigk, Marc; Kurtz, Jannis; Schmidt, Martin; Thürauf, Johannes – Optimization Online, 2023. - 20 pp.
Dagstuhl Seminar 22441, 2022-10-30 - 2022-11-04
Article
A Framework for Data-Driven Explainability in Mathematical Optimization
Aigner, Kevin-Martin; Goerigk, Marc; Hartisch, Michael; Miehlich, Arthur – Cornell University : arXiv.org, 2023. - 18 pp.
Dagstuhl Seminar 22421, 2022-10-16 - 2022-10-21
Article
Security of Nakamoto Consensus under Congestion
Kiffer, Lucianna; Neu, Joachim; Sridhar, Srivatsan; Zohar, Aviv; Tse, David – Cryptology ePrint Archive, 2023. - 28 pp.
Dagstuhl Seminar 22411, 2022-10-09 - 2022-10-14
Article
Towards Certified MaxSAT Solving
Vandesande, Dieter; Bogaerts, Bart – Delft : University, 2023. - 5 pp.
Dagstuhl Seminar 22411, 2022-10-09 - 2022-10-14
Article
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation : article
Bogaerts, Bart; Gocht, Stephan; McCreesh, Ciaran; Nordström, Jakob – AI Access Foundation, 2023. - pp. 1539-1589 – (Journal of Artificial Intelligence Research : JAIR ; 77. 2023 )
Dagstuhl Seminar 22411, 2022-10-09 - 2022-10-14
Article
A proof system for certifying symmetry and optimality reasoning in integer programming
Doornmalen, Jasper van; Eifler, Leon; Gleixner, Ambros M.; Hojny, Christopher – Cornell University : arXiv.org, 2023. - 25 pp.
Dagstuhl Seminar 22402, 2022-10-03 - 2022-10-07
Article
How Do Programming Students Read and Act upon Compiler Error Messages? : article in HCII 2023: Augmented Cognition
Rodrigo, Maria Mercedes; Tablatin, Christine Lourrine – Berlin : Springer, 2023. - pp. 153-168 – (Lecture notes in artificial intelligence ; 14019 : article)
Dagstuhl Seminar 22382, 2022-09-18 - 2022-09-23
Article
The passive symmetries of machine learning
Villar, Soledad; Hogg, David W.; Yao, Weichi; Kevrekidis, George A.; Schölkopf, Bernhard – Cornell University : arXiv.org, 2023. - 14 pp.
Dagstuhl Seminar 22382, 2022-09-18 - 2022-09-23
Article
AI for science : an emerging agenda
Berens, Philipp; Cranmer, Kyle; Lawrence, Neil D.; Luxburg, Ulrike von; Montgomery, Jessica – Cornell University : arXiv.org, 2023. - 44 pp.
Dagstuhl Seminar 22351, 2022-08-28 - 2022-09-02
Article
The Flow of Trust : A Visualization Framework to Externalize, Explore & Explain Trust in ML Applications
Elzen, Stef van den; Andrienko, Gennady; Andrienko, Natalia V.; Fisher, Brian D.; Martins, Rafael M.; Verleysen, Michel; Telea, Alexandru C.; Peltonen, Jaakko – Los Alamitos : IEEE, 2023. - 12 pp – (IEEE Computer Graphics and Applications ; 2023)
Dagstuhl Seminar 22342, 2022-08-21 - 2022-08-26
Article
Privacy-Preserving Feature Extraction forDetection of Anomalous Financial Transactions
Cock, Martine De; Erkin, Zekeriya; Golob, Steven; Kelley, Dean; Maia, Ricardo; Pentyala, Sikha; Porsius Martins, Celio; Vos, Jelle; Nascimento, Anderson – Github, 2023. - 23 pp.
Dagstuhl Seminar 22341, 2022-08-21 - 2022-08-26
Article
Does rate adaptation at daily timescales make sense? : article in HotCarbon '23: Proceedings of the 2nd Workshop on Sustainable Computer Systems
Jacob, Romain; Lim, Jackie; Vanbever, Laurent – New York : ACM, 2023. - 7 pp.
Dagstuhl Seminar 22341, 2022-08-21 - 2022-08-26
Article
Work in progress: Towards a statistical worst-case energy consumption model : article in 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)
Wehaiba El Khazen, Marwan; Ben Amor, Slim; Kougblenou, Kossivi; Gogonel, Adriana; Cucu-Grosjean, Liliana – Los Alamitos : IEEE, 2023. - pp. 333-336
Dagstuhl Seminar 22331, 2022-08-15 - 2022-08-19
Article
Visual Validation versus Visual Estimation : Study on the Average Value in Scatterplots : author’s version of the article that has been published in the proceedings of IEEE Visualization conference 2023
Braun, Daniel; Suh, Ashley; Chang, Remco; Gleicher, Michael; Landesberger, Tatiana von – 2023. - 5 pp..
Dagstuhl Seminar 22331, 2022-08-15 - 2022-08-19
Article
Visual Validation versus Visual Estimation : A Study on the Average Value in Scatterplots
Braun, Daniel; Suh, Ashley; Chang, Remco; Gleicher, Michael; Landesberger, Tatiana von – Cornell University : arXiv.org, 2023. - 5 pp.
Dagstuhl Seminar 22331, 2022-08-15 - 2022-08-19
Article
A Problem Space for Designing Visualizations : article
Gleicher, Michael; Riveiro, Maria; Landesberger, Tatiana von; Deussen, Oliver; Chang, Remco; Gillmann, Christina – Los Alamitos : IEEE, 2023. - pp. 111 - 120 – (IEEE computer graphics ; 43. 2023, 4)
Dagstuhl Seminar 22301, 2022-07-24 - 2022-07-29
Article
Applications of Information Inequalities to Database Theory Problems : article in 2023 38th Annual ACM / Annual Symposium on Logic in Computer Science
Suciu, Dan – Los Alamitos : IEEE, 2023. - 30 pp.
Dagstuhl Seminar 22301, 2022-07-24 - 2022-07-29
Article
Join Size Bounds using Lp-Norms on Degree Sequences : article
Abo Khamis, Mahmoud; Nakos, Vasileios; Olteanu, Dan; Suciu, Dan – Cornell University : arXiv.org, 2023. - 20 pp.
Dagstuhl Seminar 22302, 2022-07-24 - 2022-07-29
Article
Mio : A Block-Based Environment for Program Design : article in SPLASH-E 2022 : Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E
Nose, Junya; Cong, Youyou; Masuhara, Hidehiko – New York : ACM, 2022. - 8 pp.
Dagstuhl Seminar 22281, 2022-07-10 - 2022-07-15
Article
Real Attackers Don't Compute Gradients : Bridging the Gap Between Adversarial ML Research and Practice
Apruzzese, Giovanni; Anderson, Hyrum S.; Freeman, David; Pierazzi, Fabio; Roundy, Kevin – Cornell University : arXiv.org, 2022. - 26 pp.
Dagstuhl Seminar 22281, 2022-07-10 - 2022-07-15
Article
Poisoning Web-Scale Training Datasets is Practical : article
Carlini, Nicholas; Jagielski, Matthew; Choquette-Choo, Christopher A.; Paleka, Daniel; Pearce, Will; Thomas, Kurt; Tramer, Florian; Terzis, Andreas; Anderson, Hyrum S. – Cornell University : arXiv.org, 2023. - 26 pp.
Dagstuhl Seminar 22281, 2022-07-10 - 2022-07-15
Article
Real Attackers Don't Compute Gradients : Bridging the Gap Between Adversarial ML Research and Practice : article in 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)
Apruzzese, Giovanni; Anderson, Hyrum S.; Dambra, Savino; Freeman, David; Pierazzi, Fabio; Roundy, Kevin – Los Alamitos : IEEE, 2023. - pp. 339-364
Dagstuhl Seminar 22281, 2022-07-10 - 2022-07-15
Article
Voices from the Frontline : Revealing the AI Practitioners' viewpoint on the European AI Act
Koh, Fiona; Grosse, Kathrin; Apruzzese, Giovanni – ResearchGate, 2023. - 11 pp.
Dagstuhl Seminar 22271, 2022-07-03 - 2022-07-08
Article
Pandering in a (flexible) representative democracy : article in UAI '23 : Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence
Sun, Xiaolin; Masur, Jacob; Abramowitz, Ben; Mattei, Nicholas; Zheng, Zizhan – New York : ACM, 2023. - 11 pp.
Dagstuhl Seminar 22271, 2022-07-03 - 2022-07-08
Article
Approval-Based Committee Voting in Practice : A Case Study of (Over-)Representation in the Polkadot Blockchain
Boehmer, Niclas; Brill, Markus; Cevallos, Alfonso; Gehrlein, Jonas; Sanchez-Fernandez, Luis; Schmidt-Kraepelin, Ulrike – Cornell University : arXiv.org, 2023. - 32 pp.
Dagstuhl Seminar 22271, 2022-07-03 - 2022-07-08
Article
Mitigating Skewed Bidding for Conference Paper Assignment : article in AAMAS '23 : Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems
Rozenzweig, Inbal; Meir, Reshef; Mattei, Nicholas; Amir, Ofra – New York : ACM, 2023. - pp. 573–581
Dagstuhl Seminar 22271, 2022-07-03 - 2022-07-08
Article
Social Mechanism Design : A Low-Level Introduction : AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems
Abramowitz, Ben; Mattei, Nicholas – New York : ACM, 2023. - pp. 2472–2474
Dagstuhl Seminar 22261, 2022-06-26 - 2022-07-01
Article
Reflections and Considerations on Running Creative Visualization Learning Activities
Roberts, Jonathan C.; Bach, Benjamin; Boucher, Magdalena; Diehl, Alexandra; Hinrichs, Uta; Huron, Samuel; Kirk, Andy; Chevalier, Fanny; Knudsen, Søren; Meirelles, Isabel; Noonan, Rebecca; Pelchmann, Laura; Rajabiyazdi, Fateme; Stoiber, Christina – Cornell University : arXiv.org, 2022. - 8 pp.
Dagstuhl Seminar 22261, 2022-06-26 - 2022-07-01
Article
EduVis : Workshop on Visualization Education, Literacy, and Activities
Keck, Mandy; Huron, Samuel; Panagiotidou, Georgia; Rajabiyazdi, Fateme; Perin, Charles; Bach, Benjamin; Roberts, Jonathan C.; Rajabiyazdi, Fateme – Cornell University : arXiv.org, 2023. - 5 pp.
Dagstuhl Seminar 22261, 2022-06-26 - 2022-07-01
Article
Challenges and Opportunities in Data Visualization Education : A Call to Action : author’s version of the article
Carpendale, Sheelagh; Roberts, Jonathan C.; Hinrichs, Uta; Aerts, Jan; Knudsen, Soren; Boucher, Magdalena; Aigner, Wolfgang ; Perin, Charles; Huron, Samuel; Stoiber, Christina; Laramee, Robert S.; Dykes, Jason; Meirelles, Isabel; Rajabiyazdi, Fateme; Keck, Mandy; Bach, Benjamin; Losev, Tatiana; AlKadi, Mashael; Morais, Luiz; Kosminsky, Doris; Manataki, Areti – Los Alamitos : IEEE, 2023. - 14 pp. – (IEEE transactions on visualization and computer graphics ; 2023)
Dagstuhl Seminar 22261, 2022-06-26 - 2022-07-01
Article
Me-ifestos for Visualization Empowerment in Teaching (and Learning?)
Aerts, Jan; Bishop, Fearn; Hayes, Sarah; Kinkeldey, Christoph; Walny, Jagoda; Willett, Wesley; Landesberger, Tatiana von; Stoiber, Christina; Rajabiyazdi, Fateme; Pelchmann, Laura; Panagiotidou, Georgia; Noonan, Rebecca; Nagel, Till; Morais, Luiz; Meirelles, Isabel; Manches, Andrew; Losev, Tatiana; Kosminsky, Doris; Manataki, Areti; Knudsen, Soren; Kirk, Andy; Huron, Samuel; Hinrichs, Uta; Dykes, Jason; Diehl, Alexandra; Cheng, Peter C. H.; Boucher, Magdalena; Bach, Benjamin; Aigner, Wolfgang – Copenhagen : Univ. Copenhagen, 2022. - 12 pp.
Dagstuhl Seminar 22261, 2022-06-26 - 2022-07-01
Article
From Exploration to End of Life : Unpacking Sustainability in Physicalization Practices
Morais, Luiz; Panagiotidou, Georgia; Hayes, Sarah; Losev, Tatiana; Noonan, Rebecca; Hinrichs, Uta – Cornell University : arXiv.org, 2024. - 17 pp.
Dagstuhl Seminar 22251, 2022-06-19 - 2022-06-24
Article
Designing for Playfulness in Human-AI Authoring Tools : article in FDG '23: Proceedings of the 18th International Conference on the Foundations of Digital Games
Liapis, Antonios; Guckelsberger, Christian; Zhu, Jichen; Harteveld, Casper; Kriglstein, Simone – New York : ACM, 2023. - 4 pp.
Research Meeting 22243, 2022-06-12 - 2022-06-15
Technical Report
Proceedings of the 2022 Joint Workshop of the German Research Training Groups in Computer Science : June 12 - June 15, 2022
Freiling, Felix C.; Seidl, Helmut – Bonn : DFG, 2022. - 172 pp. : Online only
Dagstuhl Seminar 22232, 2022-06-06 - 2022-06-10
Article
Efficient Methods for Natural Language Processing : A Survey
Treviso, Marcos; Ji, Tianchu; Lee, Ji-Ung; Slonim, Noam; Milder, Peter; Martins, Andre F. T.; Martins, Pedro H.; Hooker, Sara; Heafield, Kenneth; Hassid, Michael; Ciosici, Manuel R.; Cao, Qingqing; Aken, Betty van; Raffel, Colin; Simpson, Edwin; Balasubramanian, Niranjan; Derczynski, Leon; Schwartz, Roy – arXiv.org, 2022. - 24 pp.
Dagstuhl Seminar 22222, 2022-05-29 - 2022-06-03
Article
A Critical Perspective on Radically Innovating Personal Mobility : article in AutomotiveUI '22 : Adjunct Proceedings of the 14th International Conference on Automotive User Interfaces and Interactive Vehicular Applications
Bernhaupt, Regina; Colley, Mark; Goedicke, David; Meschtscherjakov, Alexander; Sadeghian Borojeni, Shadan; Riener, Andreas; Pfleging, Bastian – New York : ACM, 2022. - pp. 215-219
Research Meeting 22213, 2022-05-22 - 2022-05-25
Book
Ausgezeichnete Informatikdissertationen 2021
Hölldobler, Steffen – Bonn : Gesellschaft für Informatik e.V., 2022. - 320 Seiten – (Lecture notes in informatics / D ; 22) , ISBN: 978-3-88579-980-1
Dagstuhl Seminar 22201, 2022-05-15 - 2022-05-20
Article
On the complexity of the approximate hypergraph homomorphism problem : article
Ciardo, Lorenzo; Kozik, Marcin; Krokhin, Andrei A.; Nakajima, Tamio-Vesa – Cornell University : arXiv.org, 2023. - 18 pp.
Dagstuhl Seminar 22191, 2022-05-08 - 2022-05-13
Article
An Interdisciplinary Perspective on Evaluation and Experimental Design for Visual Text Analytics : Position Paper : article to appear in Proceedings of the 2022 IEEE Workshop on Evaluation and Beyond - Methodological Approaches to Visualization (BELIV '22)
Kucher, Kostiantyn; Sultanum, Nicole; Daza, Angel; Simaki, Vasiliki; Skeppstedt, Maria; Mahyar, Narges; Fekete, Jean-Daniel; Plank, Barbara – HAL Inria, 2022. - 11 pp.
Dagstuhl Seminar 22191, 2022-05-08 - 2022-05-13
Article
An Interdisciplinary Perspective on Evaluation and Experimental Design for Visual Text Analytics : Position Paper 2022 : IEEE Evaluation and Beyond - Methodological Approaches for Visualization (BELIV)
Kucher, Kostiantyn; Sultanum, Nicole; Daza, Angel; Simaki, Vasiliki; Skeppstedt, Maria; Mahyar, Narges; Fekete, Jean-Daniel; Plank, Barbara – Los Alamitos : IEEE, 2022. - pp. 28-37
Dagstuhl Seminar 22191, 2022-05-08 - 2022-05-13
Article
The Role of Interactive Visualization in Explaining (Large) NLP Models : from Data to Inference
Brath, Richard; Keim, Daniel A.; Knittel, Johannes; Pan, Shimei; Sommerauer, Pia; Strobelt, Hendrik – Cornell University : arXiv.org, 2023. - 12 pp.
Dagstuhl Seminar 22192, 2022-05-08 - 2022-05-13
Article
Decomposition of Probability Marginals for Security Games in Abstract Networks
Matuschke, Jannik – Cornell University : arXiv.org, 2022. - 25 pp.
Dagstuhl Seminar 22191, 2022-05-08 - 2022-05-13
Article
Characterizing Uncertainty in the Visual Text Analysis Pipeline : article in 2022 IEEE 7th Workshop on Visualization for the Digital Humanities (VIS4DH)
Haghighatkhah, Pantea; El-Assady, Mennatallah; Fekete, Jean-Daniel; Mahyar, Narges; Paradis, Carita; Speckmann, Bettina; Simaki, Vasiliki – Los Alamitos : IEEE, 2022. - 6 pp.
Dagstuhl Seminar 22191, 2022-05-08 - 2022-05-13
Article
From word clouds to Word Rain : Revisiting the classic word cloud to visualize climate change texts
Skeppstedt, Maria; Ahltorp, Magnus; Kucher, Kostiantyn; Lindström, Matts – Thousand Oaks : Sage Science Press, 2024. - 22 pp. – (Information Visualization ; 2024)
Dagstuhl Seminar 22181, 2022-05-01 - 2022-05-06
Article
Recent advances in mass spectrometry-based computational metabolomics
Ebbels, Timothy; Hooft, Justin J. J. van der; Chatelaine, Haley; Broeckling, Corey; Zamboni, Nicola; Mathe, Ewy; Hassoun, Soha – Amsterdam : Elsevier, 2023. - 10 pp. – (Current Opinion in Chemical Biology ; 74.2023 : article 102288)
Dagstuhl Seminar 22182, 2022-05-01 - 2022-05-06
Article
Analysing Equilibrium States for Population Diversity
Lengler, Johannes; Opris, Andre; Sudholt, Dirk – Cornell University : arXiv.org, 2023. - 23 pp.
Dagstuhl Seminar 22182, 2022-05-01 - 2022-05-06
Article
Comma Selection Outperforms Plus Selection on OneMax with Randomly Planted Optima
Jorritsma, Joost; Lengler, Johannes; Sudholt, Dirk – Cornell University : arXiv.org, 2023. - 18 pp.
Dagstuhl Seminar 22181, 2022-05-01 - 2022-05-06
Article
Estimation-of-Distribution Algorithms for Multi-Valued Decision Variables
Jedidia, Firas Ben; Doerr, Benjamin; Krejca, Martin S. – Cornell University : arXiv.org, 2023. - 26 pp.
Dagstuhl Seminar 22182, 2022-05-01 - 2022-05-06
Article
Universal aggregation of permutation : article
Irurozki, Ekhine; Clemencon, Stephan – Compiègne : Universität , 2023. - 6 pp.
Research Meeting 22173, 2022-04-27 - 2022-04-29
Article
New directions for applied knowledge-based AI and machine learning : Selected results of the 2022 Dagstuhl Workshop on Applied Machine Intelligence
Humm, Bernhard G.; Archer, Phil; Bernier, Carolynn; Goetz, Christian; Schumann, Fabienne; Zender, Alexander; Wenning, Rigo; Siegel, Melanie; Hoppe, Thomas; Bense, Hermann – Berlin : Springer, 2022. - 14 pp – (Informatik Spektrum ; 2022)
Dagstuhl Seminar 22171, 2022-04-24 - 2022-04-29
Article
Security-Enhancing Digital Twins : Characteristics, Indicators, and Future Perspectiv
Rashid, Awais; Nadjm-Tehrani, Simin; Janicke, Helge; Almgren, Magnus BP: Eckhart, Matthias; Ekelhart, Andreas; Allison, David; Ceesay-Seitz, Katharina; Yampolskiy, Mark – Cornell University : arXiv.org, 2023. - 12 pp.
Dagstuhl Seminar 22172, 2022-04-24 - 2022-04-27
Article
Designing Technologies to Support Critical Thinking in an Age of Misinformation : article
Boonprakong, Nattapat; Tag, Benjamin; Dingler, Tilman – Los Alamitos : IEEE, 2023. - 10 pp. – (IEEE pervasive computing ; 2023)
Dagstuhl Seminar 22171, 2022-04-24 - 2022-04-29
Article
Security-Enhancing Digital Twins : Characteristics, Indicators, and Future Perspectives : article
Eckhart, Matthias; Ekelhart, Andreas; Allison, David; Almgren, Magnus; Ceesay-Seitz, Katharina; Yampolskiy, Mark; Rashid, Awais; Nadjm-Tehrani, Simin; Janicke, Helge – Los Alamitos : IEEE, 2023. - pp. 64-75 – (IEEE security and privacy ; 21. 2023, 6)
Dagstuhl Seminar 22162, 2022-04-18 - 2022-04-22
Article
Metropolitan Segment Traffic Speeds from Massive Floating Car Data in 10 Cities
Neun, Moritz; Eichenberger, Christian; Fu, Cheng; Wiedemann, Nina; Ambühl, Lukas; Hermes, Luca; Kopp, Michael; Tomko, Martin; Martin, Henry; Xin, Yanan – Cornell University : arXiv.org, 2023. - 104 pp.
Dagstuhl Seminar 22162, 2022-04-18 - 2022-04-22
Article
The Challenge of Data Analytics with Climate-Neutral Urban Mobility : Vision Paper : just accepted
Winter, Stephan; Sester, Monika; Tomko, Martin; Millonig, Alexandra – New York : ACM, 2024. - 10 pp. – (ACM Transactions on Spatial Algorithms and Systems ; Accepted on February 2024)
Dagstuhl Seminar 22141, 2022-04-03 - 2022-04-08
Article
Finding Collisions for Round-Reduced Romulus-H : article
Nageler, Marcel; Pallua, Felix; Eichlseder, Maria – Bochum : Universität, 2023. - pp. 67-88 – (IACR Transactions on Symmetric Cryptology ; 2023,1)
Dagstuhl Seminar 22132, 2022-03-27 - 2022-03-30
Article
OOD Link Prediction Generalization Capabilities of Message-Passing GNNs in Larger Test Graphs
Zhou, Yangze; Kutyniok, Gitta; Ribeiro, Bruno – Cornell University : arXiv.org, 2022. - 55 pp.
Dagstuhl Seminar 22121, 2022-03-20 - 2022-03-25
Article
RENI++ : A Rotation-Equivariant, Scale-Invariant, Natural Illumination Prior
Gardner, James A. D.; Egger, Bernhard; Smith, William – Cornell University : arXiv.org, 2023. - 14 pp.
Dagstuhl Seminar 22111, 2022-03-13 - 2022-03-18
Article
Data Pipes : Declarative Control over Data Movement : article in CIDR 2023
Vogel, Lukas; Ritter, Daniel; Porobic, Danica; Tözün, Pinar; Wang, Tianzheng; Lerner, Alberto – cidrdb.org, 2022. - 10 pp.
Dagstuhl Seminar 22111, 2022-03-13 - 2022-03-18
Article
POLAR : Adaptive and Non-invasive Join Order Selection via Plans of Least Resistance
Justen, David; Ritter, Daniel; Lamb, Andrew; Markl, Volker; Lee, Allison; Fraser, Campbell; Tran, Nga; Bodner, Thomas; Haddad, Mhd Yamen; Zeuch, Steffen; Boehm, Matthias – Irvine : VLDB Endowment, Inc., 2024. - 14 pp
Dagstuhl Seminar 22102, 2022-03-06 - 2022-03-11
Article
Modeling human road crossing decisions as reward maximization with visual perception limitations
Wang, Yueyang; Srinivasan, Aravinda Ramakrishnan; Jokinen, Jussi P. P.; Oulasvirta, Antti; Markkula, Gustav – Cornell University : arXiv.org, 2023. - 6 pp.
Dagstuhl Seminar 22102, 2022-03-06 - 2022-03-11
Special Issue
Computational Cognitive Models for Human-Automated Vehicle Interaction : special issue
Baumann, Martin; Oulasvirta, Antti; Janssen, Christian P. – Amsterdam : Elsevier, 2024
Dagstuhl Seminar 22091, 2022-02-27 - 2022-03-04
Article
Wehubit Artificial Intelligence Checklist
Hornung, Heiko; Sserunjogi, Richard; Boton, Martin; Ayim, Seth Ogoe – www.webhubit.be, 2022. - 12 pp.
Dagstuhl Seminar 22091, 2022-02-27 - 2022-03-04
Article
Gaussian Processes for Monitoring Air-Quality in Kampala
Stoddart, Clara; Shrack, Lauren; Abdul-Ganiy, Usman; Bainomugisha, Engineer; Okure, Deo; Folch, Jose Pablo; Sedgewick, Ruby; Misener, Ruth; Sserunjogi, Richard – Cornell University : arXiv.org, 2023. - 8 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
Self-adjusting Population Sizes for the (1, λ)-EA on Monotone Functions : article : PPSN 2022 accepted paper
Kaufmann, Marc; Larcher, Maxime; Lengler, Johannes; Zou, Xun – Cornell University : arXiv.org, 2022. - 43 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
Contributions to Dynamic Analysis of Differential Evolution Algorithms
Resende, Lucas; Takahashi, Ricardo H. C. – Cambridge : MIT Press, 2023. - 31 pp. – (Evolutionary Computation ; accepted paper 2023)
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
Analysing Equilibrium States for Population Diversity
Lengler, Johannes; Opris, Andre; Sudholt, Dirk – Cornell University : arXiv.org, 2023. - 23 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
Comma Selection Outperforms Plus Selection on OneMax with Randomly Planted Optima
Jorritsma, Joost; Lengler, Johannes; Sudholt, Dirk – Cornell University : arXiv.org, 2023. - 18 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
The Cost of Randomness in Evolutionary Algorithms: Crossover can Save Random Bits : article in EvoCOP 2023: Evolutionary Computation in Combinatorial Optimization
Kneissl, Carlo; Sudholt, Dirk – Berlin : Springer, 2023. - pp 179-194 – (Lecture notes in computer science ; 13987 : article)
Dagstuhl Seminar 22082, 2022-02-20 - 2022-02-25
Article
Neural Vocoder Feature Estimation for Dry Singing Voice Separation : article in 2022 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC)
Im, Jaekwon; Choi, Soonbeom; Yong, Sangeon; Nam, Juhan – Los Alamitos : IEEE, 2023. - pp. 809-814
Dagstuhl Seminar 22082, 2022-02-20 - 2022-02-25
Article
A Study of Audio Mixing Methods for Piano Transcription in Violin-Piano Ensembles article in ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
Kim, Hyemi; Park, Jiyun; Kwon, Taegyun; Jeong, Dasaem; Nam, Juhan – Los Alamitos : IEEE, 2023. - 5 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
A Proof that Using Crossover Can Guarantee Exponential Speed-Ups in Evolutionary Multi-Objective Optimisation
Dang, Duc-Cuong; Opris, Andre; Salehi, Bahare; Sudholt, Dirk – Cornell University : arXiv.org, 2023. - 14 pp.
Dagstuhl Seminar 22081, 2022-02-20 - 2022-02-25
Article
Analysing the Robustness of NSGA-II under Noise : article in GECCO '23 : Proceedings of the Genetic and Evolutionary Computation Conference
Dang, Duc-Cuong; Opris, Andre; Salehi, Bahare; Sudholt, Dirk – New York : ACM, 2023. - Pages 642–651
Dagstuhl Seminar 22072, 2022-02-13 - 2022-02-18
Article
Cylindrical Algebraic Coverings for Quantifiers : article in SC2 Workshop 2022 : Satisfiability Checking and Symbolic Computation
Kremer, Gereon; Nalbach, Jasper – CEUR-WS.org, 2022. - 8 pp.
Dagstuhl Seminar 22072, 2022-02-13 - 2022-02-18
Article
A Poly-algorithmic Approach to Quantifier Elimination
Davenport, James Harold; Tonks, Zak P.; Uncu, Ali K. – Cornell University : arXiv.org, 2023. - 9 pp.
Dagstuhl Seminar 22072, 2022-02-13 - 2022-02-18
Article
Lazard-style CAD and Equational Constraints
Davenport, James Harold; Nair, Akshar; Sankaran, Gregory; Uncu, Ali K. – Cornell University : arXiv.org, 2023. - 9 pp.
Dagstuhl Seminar 22062, 2022-02-06 - 2022-02-11
Article
On the Discrete Fréchet Distance in a Graph?
Driemel, Anne; Hoog, Ivor van der; Rotenberg, Eva – Cornell University : arXiv.org, 2022. - 26 pp.
Dagstuhl Seminar 22061, 2022-02-06 - 2022-02-11
Article
Descriptive complexity of the generalized spectra of graphs
Abiad, Aida; Dawar, Anuj; Zapata, Octavio – Cornell University : arXiv.org, 2022. - 17 pp.
Dagstuhl Seminar 22051, 2022-01-30 - 2022-02-04
Article
Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
Roberson, David E.; Seppelt, Tim – Wadern : LZI, 2023. - 18 pp. – (Leibniz International Proceedings in Informatics ; 261 : article)
Dagstuhl Seminar 22052, 2022-01-30 - 2022-02-02
Article
An eye tracking study assessing the impact of background styling in code editors on novice programmers’ code understanding : article in ICER '23: Proceedings of the 2023 ACM Conference on International Computing Education Research
Park, Kang-il; Weill-Tessier, Pierre; Brown, Neil Christopher Charles; Sharif, Bonita; Jensen, Nikolaj; Kölling, Michael – New York : ACM, 2023. - pp. 444-463
Dagstuhl Seminar 22052, 2022-01-30 - 2022-02-02
Article
How Do Programming Students Read and Act upon Compiler Error Messages? : article in HCII 2023: Augmented Cognition
Rodrigo, Maria Mercedes; Tablatin, Christine Lourrine – Berlin : Springer, 2023. - pp. 153-168 – (Lecture notes in artificial intelligence ; 14019 : article)
Dagstuhl Seminar 22031, 2022-01-16 - 2022-01-21
Special Issue
Effective Network Analytics : Network Visualization and Graph Data Management
Wu, Hsiang-Yun; Klein, Karsten; Yan, Da – - Los Alamitos : IEEE, 2023. - pp. 10-47 – (IEEE Computer Graphics and Applications ; 43. 2023, 3)

2021

Dagstuhl Seminar 21471, 2021-11-21 - 2021-11-26
Article
Singularity Computation for Rational Parametric Surfaces Using Moving Planes : article
Jia, Xiaohong; Chen, Falai; Yao, Shanshan – New York : ACM, 2022. - 14 pp. – (ACM transactions on graphics ; 42. 2022, 1 Article 12)
Dagstuhl Seminar 21472, 2021-11-21 - 2021-11-26
Article
Constructive Remarks on Azumaya Algebra : article
Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan – Cornell University : arXiv.org, 2023. - 7 pp.
Dagstuhl Seminar 21462, 2021-11-14 - 2021-11-17
Article
Faithful Simulation of Randomized BFT Protocols on Block DAGs : article in CONCUR 2023
Attiya, Hagit; Enea, Constantin; Nassar, Shafik – Wadern : LZI, 2023 – Leibniz International Proceedings in Informatics ; 279 : article)
Dagstuhl Seminar 21462, 2021-11-14 - 2021-11-17
Article
One Step Forward, One Step Back : FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks : article in DISC 2023
Attiya, Hagit; Fraigniaud, Pierre; Paz, Ami; Rajsbaum, Sergio – Wadern : LZI, 2023 – (Leibniz International Proceedings in Informatics ; 281 : article)
Dagstuhl Seminar 21462, 2021-11-14 - 2021-11-17
Article
Topological Characterization of Task Solvability in General Models of Computation : article in DISC 2023
Attiya, Hagit; Castaneda, Armando; Nowak, Thomas – Wadern : LZI, 2023 – (Leibniz International Proceedings in Informatics ; 281 : article)
Dagstuhl Seminar 21462, 2021-11-14 - 2021-11-17
Article
Bounds on Worst-Case Responsiveness for Agreement Algorithms : article in OPODIS 2023
Attiya, Hagit; Welch, Jennifer L. – Wadern : LZI, 2023 – (Leibniz International Proceedings in Informatics ; 286 : article)
Dagstuhl Seminar 21462, 2021-11-14 - 2021-11-17
Article
Multi-Valued Connected Consensus : A New Perspective on Crusader Agreement and Adopt-Commit
Attiya, Hagit; Welch, Jennifer L. – Wadern : LZI. 2023 – (Leibniz International Proceedings in Informatics ; 286 : article)
Research Meeting 21453, 2021-11-07 - 2021-11-12
Article
mwp-Analysis Improvement and Implementation : Realizing Implicit Computational Complexity : article in FSCD 2022
Aubert, Clement; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas – Wadern : LZI, 2022. - pp. 1-23 – (Leibniz International Proceedings in Informatics ; 228)
Dagstuhl Seminar 21451, 2021-11-07 - 2021-11-12
Article
Towards Design Patterns for Production Security : article in 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
Hoffmann, David; Biffl, Stefan; Meixner, Kristof; Lüder, Arndt – Los Alamitos : IEEE, 2022. - 4 pp.
Dagstuhl Seminar 21451, 2021-11-07 - 2021-11-12
Article
QualSec : An Automated Quality-Driven Approach for Security Risk Identification in Cyber-Physical Production Systems : article
Eckhart, Matthias; Ekelhart, Andreas; Biffl, Stefan; Lüder, Arndt; Weippl, Edgar R. – Los Alamitos : IEEE, 2023. - 12 pp. – (IEEE Transactions on Industrial Informatics ; 19. 2023,4 : article)
Research Meeting 21453, 2021-11-07 - 2021-11-12
Article
Distributing and Parallelizing Non-canonical Loops : article in VMCAI 2023: Verification, Model Checking, and Abstract Interpretation
Aubert, Clement; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas – Berlin : Springer, 2023. - 24 pp. – (Lecture notes in computer science ; 13881 : article)
Research Meeting 21453, 2021-11-07 - 2021-11-12
Article
pymwp : A Static Analyzer Determining Polynomial Growth Bounds : article in ATVA 2023 : Automated Technology for Verification and Analysis
Aubert, Clement; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas – Berlin : Springer, 2023. - pp. 263–275 – (Lecture notes in computer science ; 14216 : article)
Dagstuhl Seminar 21431, 2021-10-24 - 2021-10-29
Article
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover : article in International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2022
Dill, David; Grieskamp, Wolfgang; Park, Junkil; Xu, Meng; Zhong, Emma; Qadeer, Shaz – Berlin : Springer, 2022. - pp. 183-200 – (Lecture notes in computer science ; 13243 : article)
Dagstuhl Seminar 21432, 2021-10-24 - 2021-10-29
Article
Multilevel Bayesian Quadrature
Li, Kaiyu; Giles, Daniel; Karvonen, Toni; Guillas, Serge; Briol, Francois-Xavier – Cornell University : arXiv.org, 2022. - 23 pp.
Dagstuhl Seminar 21432, 2021-10-24 - 2021-10-29
Article
ProbNum : Probabilistic Numerics in Python
Wenger, Jonathan; Krämer, Nicholas; Pförtner, Marvin; Schmidt, Jonathan; Bosch, Nathanael; Effenberger, Nina; Zenn, Johannes; Gessner, Alexandra; Hennig, Philipp; Mahsereci, Maren; Briol, Francois-Xavier; Karvonen, Toni – Cornell University : arXiv.org, 2021. - 7 pp.
Dagstuhl Seminar 21421, 2021-10-17 - 2021-10-22
Article
Finding Many Collisions via Reusable Quantum Walks : article in LNCS 14008 Advances in Cryptology - EUROCRYPT 2023
Bonnetain, Xavier; Chailloux, Andre; Schrottenloher, Andre; Shen, Yixin – Berlin : Springer, 2023. - pp. 221-251 – (Lecture notes in computer science ; 14008 : article)
Dagstuhl Seminar 21401, 2021-10-03 - 2021-10-08
Article
The Importance of Weakly Co-Evolving Residue Networks in Proteins is Revealed by Visual Analytics : article
Mohan, Sidharth; Ozer, Hatice Gulcin; Ray, William C. – Lausanne : Frontiers Media, 2022. – (Frontiers in Bioinformatics ; 2. 2022, Article no. 836526)
Dagstuhl Seminar 21401, 2021-10-03 - 2021-10-08
Article
2D, 2.5D, or 3D? An Exploratory Study on Multilayer Network Visualisations in Virtual Reality : article in IEEE Transactions on Visualization and Computer Graphics 2023
Feyer, Stefan P.; Pinaud, Bruno; Kobourov, Stephen G.; Brich, Nicolas; Krone, Michael; Klein, Karsten; Schreiber, Falk; Behrisch, Michael; Kerren, Andreas – Los Alamitos : IEEE, 2023. - 11 pp.
Dagstuhl Seminar 21391, 2021-09-26 - 2021-10-01
Article
Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming
Brianski, Marcin; Koutecky, Martin; Kral, Daniel; Pekarkova, Kristyna; Schröder, Felix – Cornell University : arXiv.org, 2022. - 8 pp.
Dagstuhl Seminar 21391, 2021-09-26 - 2021-10-01
Article
Model Checking on Interpretations of Classesof Bounded Local Cliquewidth
Bonnet, Edouard; Dreier, Jan; Gajarsky, Jakub; Kreutzer, Stephan; Simon, Pierre; Torunczyk, Szymon; Mählmann, Nikolas – Cornell University : arXiv.org, 2022. - 28 pp.
Dagstuhl Seminar 21391, 2021-09-26 - 2021-10-01
Article
Transducing paths in graph classes with unbounded shrubdepth : article
Ossona de Mendez, Patrice; Pilipczuk, Michal; Siebertz, Sebastian – Cornell University : arXiv.org, 2022. - 22 pp.
Dagstuhl Seminar 21391, 2021-09-26 - 2021-10-01
Article
Tight bound on treedepth in terms of pathwidth and longest path
Hatzel, Meike; Joret, Gwenael; Micek, Piotr; Pilipczuk, Marcin; Ueckerdt, Torsten; Walczak, Bartosz – Cornell University : arXiv.org, 2023. - 8 pp.
Dagstuhl Seminar 21361, 2021-09-05 - 2021-09-10
Article
Querying Inconsistent Prioritized Data with ORBITS : Algorithms, Implementation, and Experiments : article in KR 2022
Bienvenu, Meghyn; Bourgaux, Camille – IJCAI, 2022. - pp. 523-532 – IJCAI, 2022. - pp. 523-532
Dagstuhl Seminar 21361, 2021-09-05 - 2021-09-10
Article
Even Faster Conflicts and Lazier Reductions for String Solvers : article in LNCS 13372, CAV 2022
Nötzli, Andres; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare – Berlin : Springer, 2022. - pp. 220-241 – (Lecture notes in computer science ; 13372 : article)
Dagstuhl Seminar 21351, 2021-08-30 - 2021-08-31
Article
PARSEME Meets Universal Dependencies : Getting on the Same Page in Representing Multiword Expressions
Savary, Agata; Stymme, Sara; Barbu Mititelu, Verginica; Schneider, Nathan; Ramisch, Carlos; Nivre, Joakim – Linköping : Linköping University, 2023. - 14 pp. – (The Northern European Journal of Language Technology ; 9. 2023, 1)
Dagstuhl Seminar 21352, 2021-08-29 - 2021-09-01
Article
Sequential Motifs in Observed Walks
LaRock, Timothy; Scholtes, Ingo; Eliassi-Rad, Tina – Cornell University : arXiv.org, 2022. - 31 pp.
Dagstuhl Seminar 21352, 2021-08-29 - 2021-09-01
Article
Inference of time-ordered multibody interactions
Alvarez-Rodriguez, Unai; Petrovic, Luka V.; Scholtes, Ingo – Cornell University : arXiv.org, 2021. - 10 pp.
Dagstuhl Seminar 21352, 2021-08-29 - 2021-09-01
Article
De Bruijn goes Neural : Causality-Aware Graph Neural Networks for Time Series Data on Dynamic Graphs
Qarkaxhija, Lisi; Perri, Vincenzo; Scholtes, Ingo – Cornell University : arXiv.org, 2022. - 15 pp.
Dagstuhl Seminar 21352, 2021-08-29 - 2021-09-01
Article
One Graph to Rule them All : Using NLP and GraphNeural Networks to analyse Tolkien’s Legendarium
Perri, Vincenzo; Qarkaxhija, Lisi; Zehe, Albin; Hotho, Andreas; Scholtes, Ingo – Cornell University : arXiv.org, 2022. - 26 pp.
Dagstuhl Seminar 21342, 2021-08-22 - 2021-08-25
Article
Roadmap for Edge AI : A Dagstuhl Perspective
Ding, Aaron Yi; Peltonen, Ella; Meuser, Tobias; Wolf, Lars; Tarkoma, Sasu; Schulzrinne, Henning; Schulte, Stefan; Ott, Jörg; Liyanage, Madhusanka; Kranzlmüller, Dieter; Dustdar, Schahram; Becker, Christian; Maghsudi, Setareh; Mohan, Nitinder; Rellermeyer, Jan S.; Solmaz, Gürkan; Varghese, Blesson; Aral, Atakan; Hiessl, Thomas – Cornell University : arXiv.org, 2021. - 6 pp.
Dagstuhl Seminar 21342, 2021-08-22 - 2021-08-25
Article
Roadmap for edge AI : a Dagstuhl perspective : article
Ding, Aaron Yi; Peltonen, Ella; Meuser, Tobias; Aral, Atakan; Maghsudi, Setareh; Wolf, Lars Christian; Varghese, Blesson; Tarkoma, Sasu; Solmaz, Gürkan; Schulzrinne, Henning; Schulte, Stefan; Rellermeyer, Jan S.; Ott, Jörg; Mohan, Nitinder; Liyanage, Madhusanka; Kranzlmüller, Dieter; Hiessl, Thomas; Dustdar, Schahram; Becker, Christoph – New York : ACM, 2022. - pp 28 - 33 – (ACM SIGCOMM Computer Communication Review ; 52. 2022, 1)
Dagstuhl Seminar 21302, 2021-07-25 - 2021-07-30
Special Issue
Special Section on Approximate Systems
Alaghi, Armin; Darulova, Eva; Gerstlauer, Andreas; Stanley-Marbell, Phillip – New York : ACM, 2022 – (ACM transactions on design automation of electronic systems ; 27. 2022, 2)
Dagstuhl Seminar 21301, 2021-07-25 - 2021-07-30
Article
Behavioral Stable Marriage Problems : article in DAI 2021: Distributed Artificial Intelligence - Berlin : Springer, 2022. - pp. 150-170
Martin, Andrea; Venable, Kristen Brent; Mattei, Nicholas – Berlin : Springer, 2022. - pp. 150-170
Dagstuhl Seminar 21301, 2021-07-25 - 2021-07-30
Article
Maximum-utility popular matchings with bounded instability
Schlotter, Ildiko; Cseh, Agnes – Cornell University : arXiv.org, 2022. - 33 pp.
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Graph Product Structure for h-Framed Graphs
Bekos, Michael A.; Lozzo, Giordano Da; Hlineny, Petr; Kaufmann, Michael – Cornell University : arXiv.org, 2022. - 24 pp.
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Parameterized Algorithms for Upward Planarity :
Chaplick, Steven; Giacomo, Emilio Di; Frati, Fabrizio; Ganian, Robert; Raftopoulou, Chrysanthi N.; Simonov, Kirill – Wadern : LZI, 2022. - pp. 1-16
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Parameterized Approaches to Orthogonal Compaction : to appear in SOFSEM 2023
Didimo, Walter; Gupta, Siddharth; Kindermann, Philipp; Liotta, Giuseppe; Wolff, Alexander; Zehavi, Meirav – arXiv.org, 2022. - 40 pp.
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Recognizing DAGs with Page-Number 2 is NP-complete : to appear in GD 2022
Bekos, Michael A.; Lozzo, Giordano Da; Frati, Fabrizio; Gronemann, Martin; Mchedlidze, Tamara, Raftopoulou, Chrysanthi N. – Cornell University : arXiv.org, 2022. - 15 pp.
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Testing Upward Planarity of Partial 2-Trees : Accepted Paper : 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)
Chaplick, Steven; Giacomo, Emilio Di; Frati, Fabrizio; Ganian, Robert; Raftopoulou, Chrysanthi N.; Simonov, Kirill – Cornell University : arXiv.org, 2022. - 13 pp.
Dagstuhl Seminar 21293, 2021-07-18 - 2021-07-23
Article
Parameterized Approaches to Orthogonal Compaction : article in SOFSEM 2023: Theory and Practice of Computer Science
Didimo, Walter; Gupta, Siddharth; Kindermann, Philipp; Liotta, Antonio; Wolff, Alexander; Zehavi, Meirav – Berlin : Springer, 2023. - pp 111–125 – (Lecture notes in computer science ; 13878 : article)
Dagstuhl Seminar 21272, 2021-07-06 - 2021-07-09
Article
Recommendations for Designing Hybrid Conferences : article
Bajpai, Vaibhav; Keshav, Srinivasan; Ferlin, Simone; Hohlfeld, Oliver; Hines, Andrew; Ott, Jörg; Crowcroft, Jon; Raake, Alexander; Carle, Georg; Schulzrinne, Henning – New York : ACM, 2022. - 7 pp. – (Computer communication review ; 52. 2022, 2)
Dagstuhl Seminar 21271, 2021-07-04 - 2021-07-09
Article
A comprehensive LFQ benchmark dataset on modern day acquisition strategies in proteomics : article
Puyvelde, Bart Van; Daled, Simon; Willems, Sander; Gethings, Lee A.; Bloomfield, Nic; Schiltz, Odile; Deforce, Dieter; Dhaenens, Maarten; Martens, Lennart; Tate, Stephen; Perez-Riverol, Yasset; Gabriels, Ralf; Gonzalez de Peredo, Anne; Chaoui, Karima; Mouton-Barbosa, Emmanuelle; Bouyssie, David; Boonen, Kurt; Hughes, Christopher J. – SpringerNature, 2022. - 12 pp.
Dagstuhl Seminar 21271, 2021-07-04 - 2021-07-09
Article
Interpretation of the DOME Recommendations for Machine Learning in Proteomics and Metabolomics : article
Palmblad, Magnus; Böcker, Sebastian; Degroeve, Sven; Kohlbacher, Oliver; Käll, Lukas; Wilhelm, Mathias; Noble, William Stafford – Washington : ACS Publications, 2022. - 4 pp. – (Journal of Proteome Research ; 2022)
Dagstuhl Seminar 21271, 2021-07-04 - 2021-07-09
Article
Sensitive and Specific Spectral Library Searching with CompOmics Spectral Library Searching Tool and Percolator : article
Shiferaw, Genet Abay; Gabriels, Ralf; Bouwmeester, Robbin; Bossche, Tim Van Den; Vandermarliere, Elien; Volders, Pieter-Jan; Martens, Lennart – Washington : ACS Publications, 2022. - 6 pp. – (Journal of Proteome Research ; 21. 2022, pp. 1365-1370)
Dagstuhl Seminar 21262, 2021-06-28 - 2021-06-28
Article
V-Edge : Virtual Edge Computing as an Enabler for Novel Microservices and Cooperative Computing : article
Dressler, Falko; Chiasserini, Carla-Fabiana; Casetti, Claudio; Cigno, Renato Lo; Karl, Holger; Fitzek, Frank H. P.; Capone, Antonio; Malandrino, Francesco; Mancuso, Vincenzo; Klingler, Florian; Rizzo, Gianluca; – Los Alamitos : IEEE, 2022. - 8 pp. – (IEEE Network ; 36. 2022, 3)
Dagstuhl Seminar 21243, 2021-06-13 - 2021-06-16
Article
Reflexive Forwarding for CCNx and NDN Protocols
Oran, David; Kutscher, Dirk – Emden/Leer : Univ., 2022. - 49 pp.
Dagstuhl Seminar 21232, 2021-06-06 - 2021-06-11
Article
CELIP : Ultrasonic-based Lip Reading with Channel Estimation Approach for Virtual Reality Systems : article in UbiComp '21
Zhang,Yongzhao; Chen, Yi-Chao; Wang, Haonan – New York : ACM, 2021. - 6 pp.
Dagstuhl Seminar 21232, 2021-06-06 - 2021-06-11
Article
mmECG : Monitoring Human Cardiac Cycle in Driving Environments Leveraging Millimeter Wave : article in IEEE INFOCOM 2022 - IEEE Conference on Computer Communications
Xu, Xiangyu; Yu, Jiadi; Ma, Chengguang; Ren, Yanzhi; Liu, Hongbo; Zhu, Yanmin; Tang, Feilong; Chen, Yi-Chao – Los Alamitos : IEEE, 2022. - 10 pp.
Dagstuhl Seminar 21232, 2021-06-06 - 2021-06-11
Article
To Use or Abuse : Opportunities and Difficulties in the Use of Multi-channel Support to Reduce Technology Abuse by Adolescents : article in CSCW
Hung, Min-Wei; Yuan, Chien Wen; Bi, Nanyi; Chen, Yi-Chao; Lee, Wan-Chen; Huang, Ming-Chyi; You, Chuang-Wen – New York : ACM, 2022. - 27 pp. – (Proceedings of the ACM on Human-Computer Interaction ; 6. CSCW1)
Dagstuhl Seminar 21231, 2021-06-06 - 2021-06-10
Article
Reflections on the EU's AI Act and How we Could Make it Even Better : article
Haataja, Meeri; Bryson, Joanna J. – Competition Policy International, 2022. - 15 pp.
Dagstuhl Seminar 21231, 2021-06-06 - 2021-06-10
Article
Transnational digital governance and its impact on artificial intelligence : chapter in "The Oxford Handbook of AI Governance", 9780197579329 (preprint version)
Dempsey, Mark Matthew; MacBride, Keegan; Haataja, Meeri; Bryson, Joanna J. – Oxford : Oxford University Press, 2022. - 21 pp.
Dagstuhl Seminar 21231, 2021-06-06 - 2021-06-10
Article
What costs should we expect from the EU’s AI Act? : article
Haataja, Meeri; Bryson, Joanna J. – SocArxiv, 2022. - 6 pp.
Research Meeting 21225, 2021-05-30 - 2021-06-05
Article
Quantitative strongest post : a calculus for reasoning about the flow of quantitative information : article
Zhang, Linpeng; Kaminski, Benjamin Lucien – New York : ACM, 2022. - 29 pp. – (Proceedings of the ACM on Programming Languages ; 2022, 6)
Research Meeting 21225, 2021-05-30 - 2021-06-05
Article
Weighted Programming : A Programming Paradigm for Specifying Mathematical Models
Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias – Cornell University : arXiv.org, 2022. - 69 pp.
Research Meeting 21225, 2021-05-30 - 2021-06-05
Article
Weighted programming : A Programming Paradigm for Specifying Mathematical Models : Article
Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias – New York : ACM, 2022. - 30 pp. – (Proceedings of the ACM on Programming Languages ; 2022, 6)
Dagstuhl Seminar 21201, 2021-05-16 - 2021-05-21
Article
AI for next generation computing : Emerging trends and future directions : article
Gill, Sukhpal Singh; Xu, Minxian ; Ottaviani, Carlo; Uhlig, Steve; Brandic, Ivona; Rana, Omer F.; Dustdar, Schahram; Sakellariou, Rizos; Kanhere, Salil S.; Abraham, Ajith; Stankovski, Vlado; Bahsoon, Rami; Patros, Panos; Lutfiyya, Hanan; Parlikad, Ajith Kumar; Baker, Thar; Ghosh, Soumya K.; Shaghaghi, Arash; Golec, Muhammed; Wu, Huaming; Singh, Manmeet; Mehta, Harshit – Amsterdam : Elsevier Academic Press, 2022. - 43 pp. – (Internet of Things ; 19. 2022)
Dagstuhl Seminar 21201, 2021-05-16 - 2021-05-21
Article
Toward Sustainable Serverless Computing : article
Patros, Panos; Spillner, Joseph; Papadopoulos, Alessandro Vittorio; Varghese, Blesson; Rana, Omer F.; Dustdar, Schahram – Los Alamitos : IEEE, 2021. - pp. 42-50 – (IEEE Internet Computing ; 25. 2021, 6)
Dagstuhl Seminar 21201, 2021-05-16 - 2021-05-21
Article
Serverless Computing : What It Is, and What It Is Not?
Kounev, Samuel; Herbst, Nikolas; Abad, Cristina; Iosup, Alexandru; Foster, Ian T.; Chien, Andrew A.; Rana, Omer F.; Shenoy, Prashant J. – New York : ACM, 2023. - 13 pp. – (Communications of the ACM ; 66. 2023, 9)
Dagstuhl Seminar 21192, 2021-05-09 - 2021-05-12
Article
Optimal Teaching Curricula with Compositional Simplicity Priors : article in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2021
Garcia-Piqueras, Manuel; Hernandez-Orallo, Jose – ECML PKDD, 2022. - 16 pp.
Dagstuhl Seminar 21171, 2021-04-25 - 2021-04-30
Article
Counting Temporal Paths
Enright, Jessica; Meeks, Kitty; Molter, Hendrik – Cornell University : arXiv.org, 2022. - 48 pp.
Dagstuhl Seminar 21171, 2021-04-25 - 2021-04-30
Article
Giant Components in Random Temporal Graphs : article
Becker, Ruben; Casteigts, Arnaud; Crescenzi, Pierluigi; Kodric, Bojana; Raskin, Michael; Zamaraev, Viktor; Renken, Malte – Cornell University : arXiv.org, 2022. - 26 pp.
Dagstuhl Seminar 21152, 2021-04-11 - 2021-04-16
Article
Splitting Vertices in 2-Layer Graph Drawings
Ahmed, Reyan; Angelini, Patrizio; Bekos, Michael A.; Battista, Giuseppe Di; Kaufmann, Michael; Wallinger, Markus; Villedieu, Anais; Symvonis, Antonios; Nöllenburg, Martin; Kobourov, Stephen G.; Kindermann, Philipp – Los Alamitos : IEEE, 2023. - pp. 24-35 – (IEEE computer graphics ; 43. 2023, 3)
Dagstuhl Seminar 21072, 2021-02-14 - 2021-02-19
Article
Developer Operations and Engineering Multi-Agent Systems
Kampik, Timotheus; Amaral, Cleber Jorge; Hübner, Jomi Fred – Cornell University : arXiv.org, 2021. - 12 pp.
Dagstuhl Seminar 21072, 2021-02-14 - 2021-02-19
Article
Governance of Autonomous Agents on the Web : Challenges and Opportunities
Kampik, Timotheus; Mansour, Adnane; Boissier, Olivier; Kirrane, Sabrina; Padget, Julian A.; Zimmermann, Antoine; Tamma, Valentina; Singh, Munindar P.; Payne, Terry R. – Cornell University : arXiv.org, 2022. - 29 pp.
Dagstuhl Seminar 21072, 2021-02-14 - 2021-02-19
Article
Governance of Autonomous Agents on the Web : Challenges and Opportunities : article
Kampik, Timotheus; Mansour, Adnane; Boissier, Olivier; Kirrane, Sabrina; Padget, Julian A.; Zimmermann, Antoine; Tamma, Valentina; Singh, Munindar P.; Payne, Terry R. – New York : ACM, 2022. - 29 pp. – (ACM transactions on internet technology ; 2022)
Dagstuhl Seminar 21062, 2021-02-07 - 2021-02-12
Article
The Influence of Dimensions on the Complexity of Computing Decision Trees
Kobourov, Stephen G.; Löffler, Maarten; Montecchiani, Fabrizio; Pilipczuk, Marcin; Rutter, Ignaz; Seidel, Raimund; Wulms, Jules J. H. M.; Sorge, Manuel – Cornell University : arXiv.org, 2022. - 12 pp.

2020

Dagstuhl Seminar 20452, 2020-11-01 - 2020-11-05
Article
Identifying potentials and impacts of lead-time based pricing in semiconductor supply chains with discrete-event simulation : article in WSC '21: Proceedings of the Winter Simulation Conference
Welling, Tobias Leander; Quintao Noel, Ludmila; Ismail, Abdelgafar – New York : ACM, 2021. - Pages 1–12
Dagstuhl Seminar 20452, 2020-11-01 - 2020-11-05
Article
Simulating and evaluating supply chain disruptions along an end-to-end semiconductor automotive supply chain . article in WSC '21: Proceedings of the Winter Simulation Conference
Jaenichen, Friedrich-Maximilian; Ismail, Abdelgafar; Martens, Christian James; Dörrsam, Volker; Ehm, Hans – Los Alamitos : IEEE, 2021. - pp. 1-12
Dagstuhl Seminar 20431, 2020-10-18 - 2020-10-23
Article
Explainable concept drift in process mining : article
Adams, Jan Niklas; Zelst, Sebastiaan J. van; Rose, Thomas; Aalst, Wil M. P. van der – Amsterdam : Elsevier, 2023. - 13 pp. – (Information systems ; 114. 2023)
Dagstuhl Seminar 20382, 2020-09-13 - 2020-09-16
Article
The Role of Interactive Visualization in Fostering Trust in AI : article
Beauxis-Aussalet, Emma; Behrisch, Michael (Utrecht); Collins, Christopher; El-Assady, Mennatallah; Riveiro, Maria; Wijk, Jarke J. van; Strobelt, Hendrik; Schreck, Tobias; Peltonen, Jaakko; Oelke, Daniela; Kohlhammer, Jörn; Keim, Daniel A.; Endert, Alex; Ebert, David S.; Borgo, Rita – Los Alamitos : IEEE, 2021. - pp. 7-12 – (IEEE computer graphics and applications ; 41. 2021, 6)
Research Meeting 20253, 2020-06-14 - 2020-06-17
Article
Machine intelligence today : applications, methodology, and technology : Selected results of the 1st online Dagstuhl workshop on applied machine intelligence
Wenning, Rigo; Vogel, Tobias; Hoppe, Thomas; Hemmje, Matthias; Fuchs, Michael; Bense, Hermann; Humm, Bernhard G.; Gernhardt, Benjamin; Kaupp, Lukas; Lothary, Sebastian; Schäfer, Kai-Uwe; Thull, Bernhard – Berlin : Springer, 2021. - 11 pp. – (Informatik Spektrum ; 2021)
Dagstuhl Seminar 20101, 2020-03-01 - 2020-03-06
Article
Resilience and fault tolerance in high-performance computing for numerical weather and climate prediction : survey paper
Cantwell, Chris D.; Düben, Peter D.; Gillard, Mike; Raffin, Erwan; Wedi, Nils; Teranishi, Keita; Göddeke, Dominik; Giraud, Luc; Altenbernd, Mirco; Bonaventura, Luca; Benacchio, Tommaso – Thousand Oaks : Sage Science Press, 2021. - 27 pp. – (The International Journal of High Performance Computing Applications)
Dagstuhl Seminar 20101, 2020-03-01 - 2020-03-06
Article
Resiliency in Numerical Algorithm Design for Extreme Scale Simulations
Agullo, Emmanuel; Altenbernd, Mirco; Anzt, Hartwig; Bautista-Gomez, Leonardo; Benacchio, Tommaso; Bonaventura, Luca; Bungartz,Hans-Joachim; Chatterjee, Sanjay; Ciorba, Florina M.; DeBardeleben, Nathan; Drzisga, Daniel; Eibl, Sebastian; Engelmann, Christian; Gansterer, Wilfried N.; Giraud, Luc; Goeddeke, Dominik; Heisig, Marco; Jezequel, Fabienne; Kohl, Nils; Li, Xiaoye Sherry; Lion, Romain; Mehl, Miriam; Mycek, Paul; Obersteiner, Michael; Quintana-Orti, Enrique S.; Rizzi, Francesco; Ruede, Ulrich; Schulz, Martin; Fung, Fred; Speck, Robert; Stals, Linda; Teranishi, Keita; Thibault, Samuel; Thoennes, Dominik; Wagner, Andreas; Wohlmuth, Barbara – Cornell University : arXiv.org, 2020. - 45 pp
Dagstuhl Seminar 20101, 2020-03-01 - 2020-03-06
Article
Resiliency in numerical algorithm design for extreme scale simulations : article
Agullo, Emmanuel; Altenbernd, Mirco; Anzt, Hartwig; Bautista-Gomez, Leonardo; Benacchio, Tommaso; Bonaventura, Luca; Bungartz,Hans-Joachim; Chatterjee, Sanjay; Ciorba, Florina M.; DeBardeleben, Nathan; Drzisga, Daniel; Eibl, Sebastian; Engelmann, Christian; Gansterer, Wilfried N.; Giraud, Luc; Goeddeke, Dominik; Heisig, Marco; Jezequel, Fabienne; Kohl, Nils; Li, Xiaoye Sherry; Lion, Romain; Mehl, Miriam; Mycek, Paul; Obersteiner, Michael; Quintana-Orti, Enrique S.; Rizzi, Francesco; Ruede, Ulrich; Schulz, Martin; Fung, Fred; Speck, Robert; Stals, Linda; Teranishi, Keita; Thibault, Samuel; Thoennes, Dominik; Wagner, Andreas; Wohlmuth, Barbara – Thousand Oaks : Sage Science Press, 2021. - pp. 1-35 – (The International Journal of High Performance Computing Applications ; 2021)
Dagstuhl Seminar 20081, 2020-02-16 - 2020-02-21
Article
Learnable and Instance-Robust Predictions for Online Matching, Flows and Load Balancing : article
Lavastida, Thomas; Moseley, Benjamin; Ravi, R.; Xu, Chenyang – Cornell University : arXiv.org, 2020. - 68 pp.
Dagstuhl Seminar 20071, 2020-02-09 - 2020-02-14
Article
Coinduction Plain and Simple : article
Bry, Francois – Cornell University : arXiv.org, 2020. - 26 pp.
Dagstuhl Seminar 20071, 2020-02-09 - 2020-02-14
Article
Dagstuhl Seminar on the Foundations of Composite Event Recognition : article
Artikis, Alexander; Eiter, Thomas; Margara, Alessandro; Vansummeren, Stijn – Piräus : University, 2020. - 4 pp.
Dagstuhl Seminar 20061, 2020-02-02 - 2020-02-07
Article
MaxSAT resolution and subcube sums : article in 23nd International Conference on Theory and Applications of Satisfiability Testing (SAT’20)
Filmus, Yuval; Mahajan, Meena – Toronto : University, 2020. - 18 pp.
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Dagstuhl Seminar on theFoundations of Composite Event Recognition : article
Artikis, Alexander; Eiter, Thomas; Margara, Alessandro – Piräus : University, 2020. - 4 pp.
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Empowering Large Chemical Knowledge Bases for Exposomics : Pubchemlite Meets Metfrag : article in review
Schymanski, Emma; Kondic, Todor; Thiessen , Paul; Zhang, Jian; Bolton, Evan; Neumann, Steffen – London : BMC, 2021. - 18 pp. – (Journal of Cheminformatics ; in review)
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
MarkerDB : an online database of molecular biomarkers : article
Wishart, David S.; Budinski, Zachary; Berjanskii, Mark; Guo, AnChi; Cao, Xuan; Wilson, Michael; Liang, Kevin Y. H.; Oler, Eponine; Bartok. Brendan – Oxford : Oxford University Press, 2021. - 9 pp.
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Mining the NIST Mass Spectral Library Reveals the Extent of SodiumAssisted Inductive Cleavage in Collision-Induced Fragmentation : article
Ludwig, Marcus; Broeckling, Corey; Dorrestein, Pieter; Dührkop, Kai; Schymanski, Emma; Nothias, Louis-Felix; Böcker, Sebastia – chemRxiv, 2021. - 6 pp.
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
patRoon : open source software platform for environmental mass spectrometry based non-target screening
Helmus, Rick; Laak, Thomas L. ter; Wezel, Annemarie P. van; Voogt, Pim de; Schymanski, Emma – London : BMC, 2021. - 25 pp – (Journal of Cheminformatics ; 13. 2021, 1)
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Retrospective Non-target Analysis to Support Regulatory Water Monitoring : From Masses of Interest to Recommendations via in silico workflows : article in review
Lai, Adelene; Singh , Randolph R.; Kovalova, Lubomira; Jaeggi, Oliver; Kondic, Todor; Schymanski, Emma – Berlin : Springer, 2021. - 29 pp. – (Environmental Sciences Europe ; in review)
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Studying Charge Migration Fragmentation of Sodiated Precursor Ions in Collision-Induced Dissociation at the Library Scale : article
Ludwig, Marcus; Broeckling, Corey; Dorrestein, Pieter ; Dührkop, Kai; Schymanski, Emma L.; Nothias, Louis-Felix; Böcker, Sebastian – Washington : ACS Publications, 2021. - pp. 180-186 – (Journal of the American Society for Mass Spectrometry ; 32. 2021, 1)
Dagstuhl Seminar 20051, 2020-01-26 - 2020-01-31
Article
Universal MS/MS Visualization and Retrieval with the Metabolomics Spectrum Resolver Web Service : article
Bittremieux, Wout; Chen, Christopher; Dorrestein, Pieter ; Schulze, Tobias; Wang, Mingxun; Rogers, Simon; Meier, Rene; Neumann, Steffen; Schymanski, Emma – bioRxiv, 2021. - 11 pp.
Dagstuhl Seminar 20041, 2020-01-19 - 2020-01-24
Article
Out of Oddity : New Cryptanalytic Techniques Against Symmetric Primitives Optimized for Integrity Proof Systems : article in LNCS 12172 Crypto 2020
Beyne, Tim; Canteaut, Anne; Eichlseder, Maria; Leurent, Gaetan; Wiemer, Friedrich; Todo, Yosuke; Sasaki, Yu; Perrin, Leo; Naya-Plasencia, Maria; Leander, Gregor; Dinur, Itai – Berlin : Springer, 2021. - 30 pp. – (Lecture notes in computer science ; 12172 : article) Enth. u.a.: Dagstuhl Seminar 20041
Dagstuhl Seminar 20031, 2020-01-12 - 2020-01-17
Special Issue
Modern Trends in Multiobjective Optimization : Special Issue
Fonseca, Carlos M.; Klamroth, Kathrin; Wiecek, Margaret M. – Amsterdam : Elsevier, 2021/2022 – (Computers & Operations Research ; 2021/2022)

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

2018

Dagstuhl Seminar 18511, 2018-12-16 - 2018-12-21
Article
Degree Tables for Secure Distributed Matrix : article accepted to 2019 IEEE Information Theory Workshop (ITW)
Oliveira, Rafael G. L. D'; Rouayheb, Salim El; Heinlein, Daniel; Karpuk, David – 2019. - 5 pp.
Dagstuhl Seminar 18491, 2018-12-02 - 2018-12-07
Article
Incremental Bidirectional Model Transformation with eMoflon : IBeX
Weidmann, Nils; Anjorin, Anthony; Varro, Gergely; Fritsche, Lars; Schürr, Andy; Leblebici, Erhan – Aachen : CEUR, 2020. - pp. 45-55
Dagstuhl Seminar 18491, 2018-12-02 - 2018-12-07
Article
Lenses and Learners : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019
Fong, Brendan; Johnson, Michael – Aachen : CEUR, 2019. - 14 pp. – (CEUR workshop series ; 2355)
Dagstuhl Seminar 18491, 2018-12-02 - 2018-12-07
Article
Maintaining consistency in networks of models : bidirectional transformations in the large : article
Stevens, Perdita – Berlin : Springer, 2020. - pp. 39-65 – (Software and systems modeling ; 19. 2020)
Dagstuhl Seminar 18491, 2018-12-02 - 2018-12-07
Article
Multicategories of Multiary Lenses : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019
Johnson, Michael; Rosebrugh, Robert – Aachen : CEUR, 2019. - 8 pp. – (CEUR workshop series ; 2355)
Dagstuhl Seminar 18491, 2018-12-02 - 2018-12-07
Article
Symmetric c-Lenses and Symmetric d-Lenses are Not : article in Bidirectional Transformations 2019 : Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), Philadelphia, PA, USA, June 4, 2019
Johnson, Michael; Renaud, Francois – Aachen : CEUR, 2019. - 5 pp. – (CEUR workshop series ; 2355)
Dagstuhl Seminar 18482, 2018-11-25 - 2018-11-30
Article
Modelling and networks in digital humanities : chapter in Routledge Handbook for Digital Humanities Research Methods
Eide, Oyvind – London : Routledge, 2020. - pp. 91-108
Dagstuhl Seminar 18471, 2018-11-18 - 2018-11-23
Article
Enhancing ER Diagrams to View Data Transformations Computed with Queriesarticle in DOLAP 2019 : Design, Optimization, Languages and Analytical Processing of Big Data
Ordonez, Carlos; Bellatreche, Ladjel – Aachen : CEUR, 2019. - 5 pp. – (CEUR Workshop Proceedings ; 2324)
Dagstuhl Seminar 18471, 2018-11-18 - 2018-11-23
Article
Intégrer les LOD dans un cube de données : Transformons une action technique en valeur organisationnelle
Khouri, Selma; Bellatreche, Ladjel; Ghomari, Abdessamed Réda; Aouimer, Yasmine – editions-rnti.fR, 2019. - pp.61-76 – (Revue des Nouvelles Technologies de l'Information ; B-15. 2019)
Dagstuhl Seminar 18471, 2018-11-18 - 2018-11-23
Article
LogLInc : LoG Queries of Linked Open Data Investigator for Cube Design
Khouri, Selma; Lanasri. Dihia; Saidoune, Roaya; Boudoukha, Kamila; Bellatreche, Ladjel – Berlin : Springer, 2019. - pp. 352-367 – (Lecture notes in computer science ; 11706 : article)
Dagstuhl Seminar 18471, 2018-11-18 - 2018-11-23
Article
Tool Support of Formal Methods for Privacy by Design
Schupp, Sibylle – Cornell University : arXiv.org, 2019. - 22 pp.
Dagstuhl Seminar 18471, 2018-11-18 - 2018-11-23
Article
Value-driven Approach for Designing Extended Data Warehouses : article in DOLAP 2019 : Design, Optimization, Languages and Analytical Processing of Big Data
Berkani, Nabila; Bellatreche, Ladjel; Khouri, Selma; Ordonez, Carlos – Aachen : CEUR, 2019. - 5 pp. – (CEUR Workshop Proceedings ; 2324)
Dagstuhl Seminar 18461, 2018-11-11 - 2018-11-16
Book
Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26 - 27, 2019, Proceedings
Perez-Sola, Cristina; Navarro-Arribas, Guillermo; Biryukov, Alex; Garcia-Alfaro, Joaquin – Heidelberg : Springer, 2019. - xv, 398 S. – (Lecture notes in computer science ; 11737) , ISBN: 978-3-030-31499-6 / 3-030-31499-5
Dagstuhl Seminar 18461, 2018-11-11 - 2018-11-16
Article
Responsible vulnerability disclosure in cryptocurrencies : article
Böhme, Rainer; Eckey, Lisa; Moore, Tyler W.; Narula, Neha; Ruffing, Tim; Zohar, Aviv – New York : ACM, 2020. - pp. 62-71 – (Communications of the ACM ; 63. 2020, 10)
Dagstuhl Seminar 18462, 2018-11-11 - 2018-11-16
Special Issue
Provenance Analysis for Sensemaking : theme section
Fekete, Jean-Daniel; Jankun-Kelly, T. J.; Tory, Melanie; Xu, Kai – Los Alamitos : IEEE, 2019. - pp. 27 - 75 – (IEEE computer graphics ; 39. 2019, 6)
Dagstuhl Seminar 18441, 2018-10-28 - 2018-11-02
Article
An Emotional Response to the Value of Visualization : article
Wang, Yun; Segal, Adrien; Keefe, Daniel F.; Hurtienne, Jörn; Barrass, Stephen; Dwyer, Tim; Hornecker, Eva; Isenberg, Petra; Klatzky, Roberta L. – Los Alamitos : IEEE, 2019. - pp. 8-17 – (IEEE computer graphics ; 39. 2019, 5)
Dagstuhl Seminar 18441, 2018-10-28 - 2018-11-02
Article
Geometric problem solving with strings and pins : article
Freksa, Christian; Barkowsky, Thomas; Falomir, Zoe; Ven, Jasper van de – London : Taylor & Francis, 2019. - Pages 46-68 – (Spatial Cognition and Computation ; 19. 2019, 1)
Dagstuhl Seminar 18441, 2018-10-28 - 2018-11-02
Book
Making with Data : Physical Design and Craft in a Data-Driven World
Huron, Samuel; Nagel, Till; Oehlberg, Lora; Willett, Wesley – Wellesley : A K Peters, 2022. , ISBN: 978-1-03-218222-3 / 1-03-218222-9
Dagstuhl Seminar 18442, 2018-10-28 - 2018-11-02
Book
Anisotropy Across Fields and Scale : open access book
– Berlin : Springer, 2021. - 280 pp. – (Mathematics and visualization) , ISBN: 978-3-030-56215-1 / 3-030-56215-8
Dagstuhl Seminar 18442, 2018-10-28 - 2018-11-02
Article
Deterministic Group Tractography with Local Uncertainty Quantificationchapter in "Computational Diffusion MRI" : International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2019
Holm, Andreas Nugaard; Feragen, Aasa; Haije, Tom Dela; Darkner, Sune – Berlin : Springer, 2019. - pp 377-386
Dagstuhl Seminar 18442, 2018-10-28 - 2018-11-02
Article
Enforcing necessary non-negativity constraints for common diffusion MRI models using sum of squares programming : article
Haije, Tom Dela; Özarslan, Evren; Feragen, Aasa – Amsterdam : Elsevier, 2019. - 15 pp. – (NeuroImage : 209. 2020)
Dagstuhl Seminar 18442, 2018-10-28 - 2018-11-02
Article
Optimized Response Function Estimation for Spherical Deconvolution : article in Computational Diffusion MRI : MICCAI Workshop, Shenzhen, China, October 2019
Haije, Tom Dela; Feragen, Aasa – Berlin : Springer, 2020. - pp 25-34
Dagstuhl Seminar 18441, 2018-10-28 - 2018-11-02
Book
Making with Data : Physical Design and Craft in a Data-Driven World
Huron, Samuel; Nagel, Till; Oehlberg, Lora; Willett, Wesley – Wellesley : A K Peters, 2023. - 392 S. – (A.K. Peters visualization series) , ISBN: 978-1-03-218222-3
Dagstuhl Seminar 18441, 2018-10-28 - 2018-11-02
Article
A Design Vocabulary for Data Physicalization : article : Just Accepted
Hornecker, Eva; Hogan, Trevor; Hinrichs, Uta; Koningsbruggen, Rosa van – New York : ACM, 2023. - 59 pp. – (ACM Transactions on Computer-Human Interaction ; 2023)
Dagstuhl Seminar 18431, 2018-10-21 - 2018-10-26
Article
Geometry-aware scattering compensation for 3D printing : article
Sumin, Denis; Rittig, Tobias; Babaei, Vahid; Nindel, Thomas; Wilkie, Alexander; Krivanek, Jaroslav; Weyrich, Tim; Myszkowski, Karol; Bickel, Bernd; Didyk, Piotr – New York : ACM, 2019. - 14 pp. – (ACM Transactions on Graphics ; July 2019, article no. 111)
Dagstuhl Seminar 18421, 2018-10-14 - 2018-10-19
Article
Enumerating minimal dominating sets in Kt-free graphs and variants : article
Bonamy, Marthe; Defrain, Oscar; Heinrich, Marc; Pilipczuk, Michal; Raymond, Jean-Florent – Cornell University : arXiv.org, 2019. - 26 pp.
Dagstuhl Seminar 18411, 2018-10-07 - 2018-10-12
Article
A Recursive Subdivision Technique for Sampling Multi-class Scatterplots : article
Chen, Xin; Ge, Tong; Zhang, Jian; Fu, Chi-Wing; Wang, Yunhai; Chen, Baoquan; Deussen, Oliver – Los Alamitos : IEEE, 2020. - pp. 729-738 – (IEEE Transactions on Visualization and Computer Graphics ; 26. 2020, 1)
Dagstuhl Seminar 18411, 2018-10-07 - 2018-10-12
Article
On Quality Indicators for Progressive Visual Analytics : article in EuroVis Workshop on Visual Analytics (2019)
Angelini, Marco; May, Thorsten; Santucci, Giuseppe; Schulz, Hans-Jörg – Aire-la-Ville : Eurographics Association, 2019. - 5 pp.
Dagstuhl Seminar 18411, 2018-10-07 - 2018-10-12
Article
Progressive Data Science : Potential and Challenges
Turkay, Cagatay; Pezzotti, Nicola; Binnig, Carsten; Strobelt, Hendrik; Rusu, Florin; Wang, Yunhai; Palpanas, Themis; Fekete, Jean-Daniel; Keim, Daniel A.; Hammer, Barbara – Cornell University : arXiv.org, 2019. - 15 pp.
Dagstuhl Seminar 18411, 2018-10-07 - 2018-10-12
Article
The Human User in Progressive Visual Analytics : article in EUROVIS 2019 : 5 pp.
Micallef, Luana; Schulz, Hans-Jörg; Angelini, Marco; Aupetit, Michael; Perer, Adam; Santucci, Giuseppe; Kohlhammer, Jörn; Chang, Remco – Aire-la-Ville : Eurographics Association, 2020
Dagstuhl Seminar 18412, 2018-10-07 - 2018-10-10
Article
Open collaborative hyperpapers : a call to action : article
Dainotti, Alberto; Holz, Ralph; Kühlewind, Mirja; Lutu, Andra; Sommers, Joel; Trammell, Brian – New York : ACM, 2019. - Pages 31-3 – (Computer communication review ; 49. 2019, 1)
Dagstuhl Seminar 18412, 2018-10-07 - 2018-10-10
Article
The Dagstuhl Beginners Guide to Reproducibility for Experimental Networking Research: article in ACM SIGCOMM Computer Communication Review : pp. 24-30
Bajpai, Vaibhav; Brunstrom, Anna; Feldmann, Anja; Kellerer, Wolfgang; Pras, Aiko; Wehrle, Klaus; Wählisch, Matthias; Smaragdakis, Georgios; Schulzrinne, Henning – New York : ACM, 2019 – (Computer communication review ; 49. 2019, 1)
Dagstuhl Seminar 18391, 2018-09-23 - 2018-09-28
Book
Mathematical Muffin Morsels : Nobody Wants a Small Piece
Gasarch, William; Metz, Erik; Prinz, Jacob; Smolyak, Daniel – Singapore : World Scientific, 2020. - XVI, 210 S. – (Problem Solving in Mathematics and Beyond ; 16) , ISBN: 978-981-121-597-1 / 981-121-597-9
Dagstuhl Seminar 18391, 2018-09-23 - 2018-09-28
Book
Problems with a Point : Exploring Math and Computer Science
Gasarch, William I.; Kruskal, Clyde – Singapore : World Scientific, 2019. - xiii, 270 Seiten , ISBN: 978-981-3279-97-1 / 981-3279-97-4
Advanced Training 18383, 2018-09-16 - 2018-09-21
Article
Autumn School for Information Retrieval and Foraging 2018 article : pp. 87-91
Cole, Amelia W.; Achilles, Linda – New York : ACM, 2019 – (Sigir forum ; 52. 2018, 2)
Dagstuhl Seminar 18371, 2018-09-09 - 2018-09-14
Article
Knowledge Graphs
Hogan, Aidan; Zimmermann, Antoine; Staab, Steffen; Ngonga Ngomo, Axel-Cyrille; Navigli, Roberto; Polleres, Axel; Kirrane, Sabrina; Labra Gayo, Jose Emilio; Sequeda, Juan Federico; Gutierrez, Claudio; Melo, Gerard de; d'Amato, Claudia; Blomqvist, Eva – Cornell University : arXiv.org, 2020. - 130 S.
Dagstuhl Seminar 18371, 2018-09-09 - 2018-09-14
Article
Knowledge Graphs
Hogan, Aidan; Zimmermann, Antoine; Staab, Steffen; Ngonga Ngomo, Axel-Cyrille; Navigli, Roberto; Polleres, Axel; Kirrane, Sabrina; Labra Gayo, Jose Emilio; Sequeda, Juan Federico; Gutierrez, Claudio; Melo, Gerard de; d'Amato, Claudia; Blomqvist, Eva – New York : ACM, 2021. - 37 pp – (ACM computing surveys ; 54. 2021, 4 : Article 71)
Dagstuhl Seminar 18371, 2018-09-09 - 2018-09-14
Book
Knowledge Graphs
Hogan, Aidan; Neumaier, Sebastian; Rashid, Sabbir M.; Rula, Anisa; Schmelzeisen, Lukas; Cochez, Michael; Zimmermann, Antoine; Staab, Steffen; Ngonga Ngomo, Axel-Cyrille; Navigli, Roberto; Polleres, Axel; Kirrane, Sabrina; Labra Gayo, Jose Emilio; Sequeda, Juan Federico; Gutierrez, Claudio; Melo, Gerard de; d'Amato, Claudia; Blomqvist, Eva – San Rafael : Morgan & Claypool Publishers, 2021. - XIX, 237 pp – (Synthesis Lectures on Data, Semantics, and Knowledge ; 22) , ISBN: 978-1-636-39235-6 / 1-636-39235-0
Dagstuhl Seminar 18371, 2018-09-09 - 2018-09-14
Article
Knowledge graphs : article
Gutierrez, Claudio; Sequeda, Juan Federico – New York : ACM, 2021. - pp 96-104 – (Communications of the ACM ; 84. 2021. 3)
Dagstuhl Seminar 18361, 2018-09-02 - 2018-09-07
Article
A note on the diamond operator
Westrick, Linda – Cornell University : arXiv.org, 2020. - 5 pp.
Dagstuhl Seminar 18361, 2018-09-02 - 2018-09-07
Article
Combinatorial principles equivalent to weak induction : article : 12 pp.
Davis, Caleb; Hirschfeldt, Denis R.; Hirst, Jeffry L.; Jake, Pardo; Pauly, Arno; Keita, Yokoyama – Amsterdam : IOS Press, 2019 – (Computability ; Pre-Press 2019)
Dagstuhl Seminar 18361, 2018-09-02 - 2018-09-07
Special Issue
Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018 : Special Issue : pp. 167 - 341
Brattka, Vasco; Dzhafarov, Damir D.; Marcone, Alberto; Pauly, Arno – Amsterdam : IOS Press, 2020 – (Computability ; 9. 2020. 3/4)
Dagstuhl Seminar 18361, 2018-09-02 - 2018-09-07
Article
Leaf management : article : 6 pp.
Hirst, Jeffry L. – Amsterdam : IOS Press, 2019 – (Computability ; Pre-Press 2019)
Dagstuhl Seminar 18361, 2018-09-02 - 2018-09-07
Article
Searching for an analogue of ATR in the Weihrauch lattice
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno – Cornell University : arXiv.org, 2018. - 35 pp.
GI-Dagstuhl Seminar 18343, 2018-08-19 - 2018-08-24
Article
A Collective Adaptive Approach to Decentralised k-Coverage in Multi-Robot Systems : article
Pianini, Danilo; Pettinari, Federico; Casadei, Roberto; Esterle, Lukas – New York : ACM, 2022. - 38 pp. – (ACM transactions on autonomous and adaptive systems ; 2022)
GI-Dagstuhl Seminar 18343, 2018-08-19 - 2018-08-24
Article
On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article in 2019 IEEE / ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
D'Angelo, Mirko; Gerasimou, Simos; Ghahremani, Sona; Grohmann, Johannes; Pournaras, Evangelos; Tomforde, Sven; Nunes, Ingrid – Los Alamitos : IEEE, 2019. - pp. 13-24
GI-Dagstuhl Seminar 18343, 2018-08-19 - 2018-08-24
Article
On Learning in Collective Self-adaptive Systems : State of Practice and a 3D Framework : article to be presented at the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019)
D'Angelo, Mirko; Gerasimou, Simos; Ghahremani, Sona; Grohmann, Johannes; Pournaras, Evangelos; Tomforde, Sven; Nunes, Ingrid – York : University, 2019. - 14 pp.
GI-Dagstuhl Seminar 18343, 2018-08-19 - 2018-08-24
Article
Planning as Optimization : Dynamically Discovering Optimal Configurations for Runtime Situations
Fredericks, Erick M.; Gerostathopoulos, Ilias; Krupitzer, Christian; Vogel, Thomas – Cornell University : arXiv.org, 2019. - 10 pp.
GI-Dagstuhl Seminar 18343, 2018-08-19 - 2018-08-24
Article
Software Engineering for Intelligent and Autonomous Systems : Report from the GI Dagstuhl Seminar 18343
Gerasimou, Simos; Vogel, Thomas; Diaconescu, Ada – Cornell University : arXiv.org, 2019. - 14 pp.
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Deadlock and Noise in Self-Organized Aggregation Without Computation : article
Daymude, Joshua J.; Harasha. Noble C.; Richa, Andrea W.; Yiu, Ryan – Cornell University : arXiv.org, 2021. - 17 pp.
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Exploiting Nonslip Wall Contacts to Position Two Particles Using the Same Control Input : article : pp. 577 - 588
Shahrokhi, Shiva; Shi, Jingang; Isichei, Benedict; Becker, Aaron T. – Los Alamitos : IEEE, 2019
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Motion-planning Using RRTs for a Swarm of Robots Controlled by Global Inputs : article in 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) : pp. 1163 - 1168
Joshi, Parth; Leclerc, Julien; Bao, Daniel; Becker, Aaron T. – Los Alamitos : IEEE, 2019
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Planar Orientation Control and Torque Maximization Using a Swarm With Global Inputs : article : pp. 1980-1987
Shahrokhi, Shiva; Lin, Lillian; Becker, Aaron T. – Los Alamitos : IEEE, 2019.
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Reshaping Particle Configurations by Collisions with Rigid Objects : article in 2019 International Conference on Robotics and Automation (ICRA) : pp. 4436 - 4443
Shahrokhi, Shiva; Zhao, Haoran; Becker, Aaron T. – Los Alamitos : IEEE, 2019
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Robotic Harvesting of a Moving Swarm Represented by a Markov Process : article in 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) : pp. 1157-1162
Bhatnagar, Shriya; Soto, Steban; Garcia, Javier; Becker, Aaron T. – Los Alamitos : IEEE, 2019
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Simulation of Programmable Matter Systems : Using Active Tile-Based Self-Assembly
Alumbaugh, John Calvin; Daymude, Joshua J.; Demaine, Erik D.; Patitz, Matthew J.; Richa, Andrea W. – Cornell University : arXiv.org, 2019. - 33 pp.
Dagstuhl Seminar 18331, 2018-08-12 - 2018-08-17
Article
Simulation of Programmable Matter Systems Using Active Tile-Based Self-Assembly : article in DNA 2019: DNA Computing and Molecular Programming : pp. 140 - 158
Alumbaugh, John Calvin; Daymude, Joshua J.; Demaine, Erik D.; Patitz, Matthew J.; Richa, Andrea W. – Berlin : Springer, 2019 – (Lecture notes in computer science ; 11648 : article)
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Blockchain Support for Collaborative Business Processes : article : pp. 182-190
Ciccio, Claudio Di; Cecconi, Alessio; Dumas, Marlon; Lopez-Pintado, Orlenys; Tran, An Binh; Weber, Ingo M.; Ponomarev, Alexander; Mendling, Jan; Lu, Qinghua; Garcia-Banuelos, Luciano – Berlin : Springer, 2019 – (Informatik Spektrum ; 42. 2019, 3)
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Caterpillar : A business process execution engine on the Ethereum blockchain : article
Lopez-Pintado, Orlenys; Garcia-Banuelos, Luciano; Dumas, Marlon; Weber, Ingo M.; Ponomarev, Alexander – Chichester : Wiley, 2019 – (Software ; 49. 2019 : pp. 1162-1193)
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Dynamic Role Binding in Blockchain-Based Collaborative Business Processes : article in CAiSE 2019 : Advanced Information Systems Engineering
Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M. – Berlin : Springer, 2019. - pp. 399-414 – (Lecture notes in computer science ; 11483 : article)
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Extracting Event Logs for Process Mining from Data Stored on the Blockchain : article in BPM 2019 Workshops
Mühlberger, Roman; Bachhofner, Stefan; Ciccio, Claudio Di; Garcia-Banuelos, Luciano; Lopez-Pintado, Orlenys – Berlin : Springer, 2019. - pp. 690-703 – (Lecture notes in business information processing ; 362 : article)
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Extracting Event Logs for Process Mining from Data Stored on the Blockchain : preprint : article in Second Workshop on Security and Privacy-enhanced Business Process Management (SPBP), BPM Workshops, September 2nd, 2019, Vienna, Austria 2019
Mühlberger, Roman; Bachhofner, Stefan; Ciccio, Claudio Di; Garcia-Banuelos, Luciano; Lopez-Pintado, Orlenys – 2019. - 13 pp.
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Interpreted Execution of Business Process Models on Blockchain : article
Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M. – Cornell University : arXiv.org, 2019. - 10 pp.
Dagstuhl Seminar 18332, 2018-08-12 - 2018-08-17
Article
Interpreted Execution of Business Process Models on Blockchain : article in 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC)
Lopez-Pintado, Orlenys; Dumas, Marlon; Garcia-Banuelos, Luciano; Weber, Ingo M. – Los Alamitos : IEEE, 2019. - pp. 206-215
Dagstuhl Seminar 18322, 2018-08-05 - 2018-08-10
Article
Next Steps for Human-Computer Integration : article in CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, April 2020
Mueller, Florian 'Floyd'; Strohmeier, Paul; Lopes, Pedro; Seim, Caitlyn; Li, Zhuying; Delfa, Joseph; Nishida, Jun; Gerber, Elisabeth M.; Greuter, Stefan; Wang, Dakuo; Maes, Pattie; Schiphorst, Thecla; Meyer, Jochen; Wolf, Katrin; Reiterer, Harald; Marshall, Joe; Inami, Masahiko; Greenspan, Steven L.; Erickson, Thomas; Kunze, Kai; Grudin, Jonathan; Svanes, Dag; Obrist, Marianna; Nanayakkara, Suranga; Weigel, Martin; Ju, Wendy – New York : ACM, 2020. - Pages 1–15
Dagstuhl Seminar 18322, 2018-08-05 - 2018-08-10
Book
Human–Computer Integration : Towards Integrating the Human Body with the Computational Machine
Mueller, Florian 'Floyd'; Semertzidis, Nathan; Patibanda, Rakesh; Andres, Josh; Strohmeier, Paul; Knibbe, Jarrod; Byrne, Richard; Reiterer, Harald; Grudin, Jonathan; Kunze, Kai; Marshall, Joe; Gerber, Elisabeth M.; Wolf, Katrin; Wang, Dakuo; Maes, Pattie; Obrist, Marianna; Greuter, Stefan; Li, Zhuying; Nanayakkara, Suranga; Weigel, Martin; Andres, Josh; – Boston : Now Publishers, 2022. - 68 S. – (Foundations and trends in human-computer interaction ; 16. 2022, 1) , ISBN: 978-1-63828-068-2 / 1-63828-068-1
Dagstuhl Seminar 18281, 2018-07-08 - 2018-07-13
Article
Universal compressed text indexing
Navarro, Gonzalo; Prezza, Nicola – Cornell University : arXiv.org, 2018. - 22 pp.
GI-Dagstuhl Seminar 18283, 2018-07-08 - 2018-07-13
Article
Enhancing Commit Graphs with Visual Runtime Clues : article in VISSOFT 2019 : preprint
Sandoval Alcocer, Juan Pablo; Camacho Jaimes, Harold; Costa, Diego; Bergel, Alexandre; Beck, Fabian – Los Alamitos : IEEE, 2019. - 5 pp.
GI-Dagstuhl Seminar 18283, 2018-07-08 - 2018-07-13
Article
Visualizing systems and software performance : Report on the GI-Dagstuhl seminar for young researchers, July 9 - 13, 2018
Beck, Fabian; Bergel, Alexandre; Bezemer, Cor-Paul; Isaacs, Katherine E. – PeerJPreprints, 2018. - 12 pp.
Dagstuhl Seminar 18271, 2018-07-01 - 2018-07-06
Article
In Situ Visualization for Computational Science : article : pp. 76 - 85
Childs, Hank; Garth, Christoph; Bennett, Janine; Hentschel, Bernd – Los Alamitos : IEEE, 2019 – (IEEE computer graphics ; 39. 2019, 6)
Dagstuhl Perspectives Workshop 18262, 2018-06-24 - 2018-06-29
Article
Web science in Europe : beyond boundaries : article
Staab, Steffen; Halford, Susan; Hall, Wendy – New York : ACM, 2019. - 6 pp. – (Communications of the ACM ; 62. 2019, 4)
Dagstuhl Seminar 18252, 2018-06-18 - 2018-06-21
Article
Dataset and metrics for predicting local visible differences : article
Wolski, Krzysztof; Steed, Anthony; Seidel, Hans-Peter; Myszkowski, Karol; Giunchi, Daniele; Ye, Nanyang; Didyk, Piotr; Mantiuk, Radoslaw; Mantiuk, Rafal K. – Saarbrücken : MPII, 2018. - 14 pp. – (ACM transactions on graphics ; preprint)
Dagstuhl Seminar 18252, 2018-06-18 - 2018-06-21
Article
Differential Privacy for Eye Tracking Data : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications
Liu, Ao; Xia, Lirong; Duchowski, Andrew; Holmqvist, Kenneth; Bailey, Reynold; Jain, Eakata – New York : ACM, 2019. - 10 pp.
Dagstuhl Seminar 18252, 2018-06-18 - 2018-06-21
Article
Eye tracking support for visual analytics systems : foundations, current applications, and research challenges : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications
Silva, Nelson; Blaschek, Tanja; Jianu, Radu; Rodrigues, Nils; Weiskopf, Daniel; Schreck, Tobias; Raubal, Martin – New York : ACM, 2019. - 10 pp.
Dagstuhl Seminar 18252, 2018-06-18 - 2018-06-21
Article
EyeVEIL : degrading iris authentication in eye tracking headsets : article in ETRA '19 Proceedings of the 11th ACM Symposium on Eye Tracking Research & Applications
John, Brendan; Koppal, Sanjeev; Jain, Eakata – New York : ACM, 2019. - 5 pp.
Dagstuhl Seminar 18251, 2018-06-17 - 2018-06-22
Article
DPI : The Data Processing Interface for Modern Networks : article in CIDR’19, January 13 - 16, 2019, Asilomar, California
Alonso, Gustavo; Binnig, Carsten; Pandis, Ippokratis; Salem, Kenneth; Skrzypczak, Jan; Stutsman, Ryan; Thostrup, Lasse; Wang, Zeke; Ziegler, Tobias; Wang, Tianzhen; – New York : ACM, 2019. - 7 pp.
Dagstuhl Seminar 18251, 2018-06-17 - 2018-06-22
Article
Joins on high-bandwidth memory: a new level in the memory hierarchy : article
Pohl, Constantin; Sattler, Kai-Uwe; Graefe, Goetz – Berlin : Springer, 2019. - pp. 1-21 – (VLDB journal ; 2019)
Dagstuhl Seminar 18251, 2018-06-17 - 2018-06-22
Article
Waves of Misery After Index Creation : article in BTW2019 : Datenbanksysteme für Business, Technologie und Web : pp. 77-96
Glombiewski, Nikolaus; Seeger, Bernhard; Graefe, Goetz – Bonn : Gesellschaft für Informatik e.V., 2019 – (Lecture notes in informatics / P ; 289 : article)
Dagstuhl Seminar 18242, 2018-06-10 - 2018-06-13
Article
The Rise of Certificate Transparency and Its Implications on the Internet Ecosystem : article in IMC '18 Proceedings of the Internet Measurement Conference 2018
Scheitle, Quirin; Gasser, Oliver; Nolte, Theodor; Amann, Johanna; Brent, Lexi; Wählisch, Matthias; Schmidt, Thomas C.; Holz, Ralph; Carle, Georg – New York : ACM, 2019. - Pages 343-349
Dagstuhl Seminar 18242, 2018-06-10 - 2018-06-13
Article
Towards a Rigorous Methodology for Measuring Adoption of RPKI Route Validation and Filtering : article
Reuter, Andreas; Bush, Randy; Cunha, Italo; Katz-Bassett, Ethan; Schmidt, Thomas C.; Wählisch, Matthias – New York : ACM, 2018. - pp. 20-27 – (Computer communication review ; 48. 2018, 1)
Dagstuhl Seminar 18231, 2018-06-03 - 2018-06-08
Article
Topology is relevant : (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) : Accepted for publication in the proceedings of LICS'19
Bodirsky, Manuel; Mottet, Antoine; Olsak, Miroslav; Oprsal, Jakub; Pinsker, Michael; Willard Ross – Cornell University : arXiv.org, 2019
Research Meeting 18233, 2018-06-03 - 2018-06-06
Article
Current trends in applied machine intelligence : article
Humm, Bernhard G.; Bense, Hermann; Classen, Mario; Geißler, Stefan; Weichhardt, Frauke; Wenning, Rigo; Siegel, Melanie; Schäfermeier, Ralph; Paschke, Adrian; Juwig, Oliver; Hoppe, Thomas – Berlin : Springer, 2019. - pp 28–37 – (Informatik Spektrum ; 42. 2019, 1 : article)
Dagstuhl Seminar 18201, 2018-05-13 - 2018-05-18
Article
Journey Beyond Full Abstraction : Exploring Robust Property Preservation for Secure Compilation : article
Abate, Carmine; Blanco, Roberto; Garg, Deepak; Patrignani, Marco; Thibault, Jeremy; Hritcu, Catalin – Cornell University : arXiv.org, 2019. - 70 pp.
Dagstuhl Seminar 18201, 2018-05-13 - 2018-05-18
Article
On the semantic expressiveness of recursive types : article in Proceedings of the ACM on Programming LanguagesJanuary 2021 Article No.: 21
Patrignani, Marco; Martin, Erik Marc; Devriese, Dominique – New York : ACM, 2021. - 29 pp.
Dagstuhl Seminar 18202, 2018-05-13 - 2018-05-16
Article
A Framework to Assess Value of Information in Future Vehicular Networks : article in TOP-Cars '19 : Proceedings of the 1st ACM MobiHoc Workshop on Technologies, mOdels, and Protocols for Cooperative Connected Cars
Giordani, Marco; Higuchi, Takamasa; Zanella, Andrea; Altintas, Onur; Zorzi, Michele – New York : ACM, 2019. - Pages 31-36
Dagstuhl Seminar 18202, 2018-05-13 - 2018-05-16
Article
A LiDAR Error Model for Cooperative Driving Simulations : article in 2018 IEEE Vehicular Networking Conference (VNC) proceedings
Segata, Michele; Cigno, Renato Lo; Bhadani, Rahel Kumar; Bunting, Matthew; Sprinkle, Jonathan – Los Alamitos : IEEE, 2019. - 8 pp.
Dagstuhl Seminar 18202, 2018-05-13 - 2018-05-16
Article
Emerging Trends in Vehicular Communication Networks : article in "Emerging Wireless Communication and Network Technologies"
Giordani, Marco; Zanella, Andrea; Higuchi, Takamasa; Altintas, Onur; Zorzi, Michele – Berlin : Springer, 2018. - pp 37-57
Dagstuhl Seminar 18202, 2018-05-13 - 2018-05-16
Article
Value-Anticipating V2V Communications for Cooperative Perception : article in 2019 IEEE Intelligent Vehicles Symposium (IV)
Higuchi, Takamasa; Giordani, Marco; Zanella, Andrea; Zorzi, Michele; Altintas, Onur – Los Alamitos : IEEE, 2019. - pp. 1947-1952
Research Meeting 18193, 2018-05-06 - 2018-05-09
Book
Ausgezeichnete Informatikdissertationen 2017
Hölldobler, Steffen – Bonn : Gesellschaft für Informatik e.V., 2018. - 290 S. – (Lecture notes in informatics / D ; 18) , ISBN: 978-3-88579-977-1 / 3-88579-977-4
Dagstuhl Seminar 18172, 2018-04-22 - 2018-04-27
Article
Faster Coroutine Pipelines : A Reconstruction : article in International Symposium on Practical Aspects of Declarative Languages, PADL 2019 : LNCS 11372
Pieters, Ruben P.; Schrijvers, Tom – Berlin : Springer, 2019. - pp 133-149
Dagstuhl Seminar 18172, 2018-04-22 - 2018-04-27
Article
Syntax and Semantics for Operations with Scopes : article in LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Pirog, Maciej; Schrijvers, Tom; Wu, Nicolas; Jaskelioff, Mauro – New York : ACM, 2018. - Pages 809-818
Dagstuhl Seminar 18161, 2018-04-15 - 2018-04-20
Article
Details-First, Show Context, Overview Last : Supporting Exploration of Viscous Fingers in Large-Scale Ensemble Simulations : article, Dagstuhl Seminar 18041 and 18161
Luciani, Timothy; Burks, Andrew; Sugiyama, Cassiano; Komperdam Jonathan; Marai, Georgeta Elisabeta – Los Alamitos : IEEE, 2019. - pp. 1225-1235 – (IEEE transactions on visualization and computer graphics ; 25. 2019, 1)
Dagstuhl Seminar 18161, 2018-04-15 - 2018-04-20
Article
Ten simple rules to create biological network figures for communication
Marai, G. Elisabeta; Pinaud, Bruno; Bühler, Katja; Lex, Alexander; Morris, John H. – article - plos.org, 2019. - 16 pp. – (PLOS Computational Biology ; 2019)
Dagstuhl Seminar 18111, 2018-03-11 - 2018-03-16
Article
A Proposal for Loop-Transformation Pragmas
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 16 pp.
Dagstuhl Seminar 18111, 2018-03-11 - 2018-03-16
Article
A study of vectorization for matrix-free finite element methods
Sun, Tianjiao; Mitchell, Lawrence; Kulkarni, Kaushik; Klöckner, Andreas; Ham, David A.; Kelly, Paul H. J. – Cornell University : arXiv.org, 2019. - 14 pp.
Dagstuhl Seminar 18111, 2018-03-11 - 2018-03-16
Article
Loop Optimization Framework
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 7 pp.
Dagstuhl Seminar 18111, 2018-03-11 - 2018-03-16
Article
User-Directed Loop-Transformations in Clang
Kruse, Michael; Finkel, Hal – Cornell University : arXiv.org, 2018. - 10 pp.
Dagstuhl Seminar 18101, 2018-03-04 - 2018-03-09
Article
A general framework for handling commitment in online throughput maximization
Chen, Lin; Eberle, Franziska; Megow, Nicole; Schewior, Kevin; Stein, Cliff – Cornell University : arXiv.org, 2018. - 28 pp.
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Article
Extended formulations for convex hulls of some bilinear functions : article : 30 pp.
Gupte, Akshay; Kalinowski, Thomas; Rigterink, Fabian; Waterer, Hamish – Amsterdam : Elsevier, 2020 – (Discrete Optimization ; 36. 2020, Article 100566)
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Technical Report
Intersection cuts for factorable MINLP
Serrano, Felipe – Berlin : Zuse Institut, 2018. - 15 pp. – (ZIB Report ; 18-59)
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Article
Intersection disjunctions for reverse convex sets
Towle, Eli; Luedtke, James – Cornell University : arXiv.org, 2019. - 24 pp.
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Article
Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded
Mistry, Miten; Letsios, Dimitrios; Krennrich, Gerhard; Lee, Robert M.; Misener, Ruth – Cornell University : arXiv.org, 2018. - 35 pp.
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Special Issue
Mixed-Integer Nonlinear Programming 2018 : Special issue
Sahinidis, Nikolaos V. – Berlin : Springer, 2019. - pp. 301-682 – (Optimization and engineering ; 20. 2019, 2)
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Technical Report
On the Relation between the Extended Supporting Hyperplane Algorithm and Kelley's Cutting Plane Algorithm
Serrano, Felipe; Schwarz, Robert; Gleixner, Ambros M. – Berlin : Zuse Institut, 2019. - 16 pp. – (ZIB Report ; 19-18)
Dagstuhl Seminar 18081, 2018-02-18 - 2018-02-23
Article
Selecting cutting planes for quadratic semidefinite outer-approximation via trained neural networks
Baltean-Lugojan, Radu; Bonami, Pierre; Misener, Ruth; Tramontani, Andrea – Philadelphia : Optimization Online, 2018. - 37 pp.