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

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

2022

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

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