Dagstuhl's Impact

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

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


Dagstuhl Event 21453, 07.11.21-12.11.21

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

Dagstuhl Seminar 21391, 26.09.21-01.10.21

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

Dagstuhl Seminar 21391, 26.09.21-01.10.21

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

Dagstuhl Seminar 21391, 26.09.21-01.10.21

Transducing paths in graph classes with unbounded shrubdepth : article

Ossona de Mendez, Patrice; Pilipczuk, Michal; Siebertz, Sebastian. - Cornell University : arXiv.org, 2022. - 22 pp.
Link
 

Dagstuhl Seminar 21361, 05.09.21-10.09.21

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. - erlin : Springer, 2022. - pp. 220-241. - (Lecture notes in computer science ; 13372 : article)
Link
 

Dagstuhl Seminar 21361, 05.09.21-10.09.21

Querying Inconsistent Prioritized Data with ORBITS : Algorithms, Implementation, and Experiments : article in KR 2022

Bienvenu, Meghyn; Bourgaux, Camille. - IJCAI, 2022. - pp. 523-532
Link
 

Dagstuhl Seminar 21342, 22.08.21-25.08.21

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

Dagstuhl Seminar 21342, 22.08.21-25.08.21

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

Dagstuhl Seminar 21301, 25.07.21-30.07.21

Maximum-utility popular matchings with bounded instability

Schlotter, Ildiko; Cseh, Agnes. - Cornell University : arXiv.org, 2022. - 33 pp.
Link
 

Dagstuhl Seminar 21301, 25.07.21-30.07.21

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
Link
 

Dagstuhl Seminar 21302, 25.07.21-30.07.21

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

Dagstuhl Seminar 21293, 18.07.21-23.07.21

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

Dagstuhl Seminar 21293, 18.07.21-23.07.21

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

Dagstuhl Seminar 21293, 18.07.21-23.07.21

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
Link
 

Dagstuhl Seminar 21293, 18.07.21-23.07.21

Graph Product Structure for h-Framed Graphs

Bekos, Michael A.; Lozzo, Giordano Da; Hlineny, Petr; Kaufmann, Michael. - Cornell University : arXiv.org, 2022. - 24 pp.
Link
 

Dagstuhl Seminar 21293, 18.07.21-23.07.21

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

Dagstuhl Seminar 21272, 06.07.21-09.07.21

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

Dagstuhl Seminar 21271, 04.07.21-09.07.21

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

Dagstuhl Seminar 21271, 04.07.21-09.07.21

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

Dagstuhl Seminar 21271, 04.07.21-09.07.21

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

Dagstuhl Seminar 21262, 28.06.21-28.06.21

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

Dagstuhl Seminar 21243, 13.06.21-16.06.21

Reflexive Forwarding for CCNx and NDN Protocols

Oran, David; Kutscher, Dirk. - Emden/Leer : Univ., 2022. - 49 pp.
Link
 

Dagstuhl Seminar 21232, 06.06.21-11.06.21

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

Dagstuhl Seminar 21232, 06.06.21-11.06.21

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

Dagstuhl Seminar 21231, 06.06.21-10.06.21

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

Dagstuhl Seminar 21231, 06.06.21-10.06.21

What costs should we expect from the EU’s AI Act? : article

Haataja, Meeri; Bryson, Joanna J.. - SocArxiv, 2022. - 6 pp.
Link
 

Dagstuhl Seminar 21231, 06.06.21-10.06.21

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

Dagstuhl Seminar 21232, 06.06.21-11.06.21

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

Dagstuhl Event 21225, 30.05.21-05.06.21

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

Dagstuhl Event 21225, 30.05.21-05.06.21

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

Dagstuhl Event 21225, 30.05.21-05.06.21

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

Dagstuhl Seminar 21201, 16.05.21-21.05.21

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

Dagstuhl Seminar 21201, 16.05.21-21.05.21

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

Dagstuhl Seminar 21192, 09.05.21-12.05.21

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

Dagstuhl Seminar 21171, 25.04.21-30.04.21

Counting Temporal Paths

Enright, Jessica; Meeks, Kitty; Molter, Hendrik. - Cornell University : arXiv.org, 2022. - 48 pp.
Link
 

Dagstuhl Seminar 21171, 25.04.21-30.04.21

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

Dagstuhl Seminar 21072, 14.02.21-19.02.21

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

Dagstuhl Seminar 21072, 14.02.21-19.02.21

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

Dagstuhl Seminar 21072, 14.02.21-19.02.21

Developer Operations and Engineering Multi-Agent Systems

Kampik, Timotheus; Amaral, Cleber Jorge; Hübner, Jomi Fred. - Cornell University : arXiv.org, 2021. - 12 pp.
Link
 

Dagstuhl Seminar 21062, 07.02.21-12.02.21

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