default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 14
Volume 14, Number 1, January 2024
- Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola:
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). 1-24 - Alessandro Cimatti, Ingo Pill, Alexander Diedrich:
Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). 25-48 - Pablo Barceló, Pierre Bourhis, Stefan Mengel, Sudeepa Roy:
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032). 49-71 - Christof Beierle, Bart Mennink, María Naya-Plasencia, Yu Sasaki, Rachelle Heim Boissier:
Symmetric Cryptography (Dagstuhl Seminar 24041). 72-89 - Jianxu Chen, Florian Jug, Susanne M. Rafelski, Shanghang Zhang:
The Emerging Issues in Bioimaging AI Publications and Research (Dagstuhl Seminar 24042). 90-107 - Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). 108-129 - Iryna Gurevych, Anna Rogers, Nihar B. Shah, Jingyan Wang:
Reviewer No. 2: Old and New Problems in Peer Review (Dagstuhl Seminar 24052). 130-161
Volume 14, Number 2, February 2024
- David Chaves-Fraga, Óscar Corcho, Anastasia Dimou
, Maria-Esther Vidal, Ana Iglesias-Molina, Dylan Van Assche:
Are Knowledge Graphs Ready for the Real World? Challenges and Perspective (Dagstuhl Seminar 24061). 1-70 - Vida Dujmovic, Seok-Hee Hong, Michael Kaufmann, János Pach, Henry Förster:
Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062). 71-94 - Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano:
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). 95-119 - Maike Buchin, Jean Cardinal, Arnaud de Mesmay, Jonathan Spreer, Alex He:
Triangulations in Geometry and Topology (Dagstuhl Seminar 24072). 120-163 - Ulf Brefeld, Jesse Davis, Laura de Jong, Stephanie Kovalchik:
Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081). 164-181 - Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, Jacopo Margutti:
AI for Social Good (Dagstuhl Seminar 24082). 182-190 - Daniel Archambault, Fintan McGee, Nicolás Reinoso-Schiller, Tatiana von Landesberger, Simone Scheithauer:
Reflections on Pandemic Visualization (Dagstuhl Seminar 24091). 191-205 - Pawel Dlotko, Dmitry Feichtner-Kozlov, Anastasios Stefanou, Yusu Wang, Jan F. Senge:
Applied and Combinatorial Topology (Dagstuhl Seminar 24092). 206-239
Volume 14, Number 3, March 2024
- Goetz Graefe, Allison W. Lee, Caetano Sauer:
Robust Query Processing in the Cloud (Dagstuhl Seminar 24101). 1-8 - Shqiponja Ahmetaj, Slawomir Staworko, Jan Van den Bussche, Maxime Jakubowski:
Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar 24102). 9-30 - Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich:
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). 31-51 - Mila Dalla Preda, Serge Egelman, Anna Maria Mandalari, Volker Stocker, Juan Tapiador, Narseo Vallina-Rodriguez:
EU Cyber Resilience Act: Socio-Technical and Research Challenges (Dagstuhl Seminar 24112). 52-74 - Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers:
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). 75-91 - Dmitry Kobak, Fred A. Hamprecht, Smita Krishnaswamy, Gal Mishne, Sebastian Damrich:
Low-Dimensional Embeddings of High-Dimensional Data: Algorithms and Applications (Dagstuhl Seminar 24122). 92-115
Volume 14, Number 4, April 2024
- Steffen Bondorf, Anne Bouillard, Markus Fidler, Jörg Liebeherr, Lisa Maile:
Network Calculus (Dagstuhl Seminar 24141). 1-22 - Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, Mario Trapp:
Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). 23-41 - Stephan Druskat, Lars Grunske, Caroline Jay, Daniel S. Katz:
Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161). 42-53 - David F. Bacon, Carsten Binnig, David Patterson, Margo I. Seltzer:
Hardware Support for Cloud Database Systems in the Post-Moore's Law Era (Dagstuhl Seminar 24162). 54-84 - S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw:
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). 85-107 - Satish Chandra, Michael Pradel, Kathryn T. Stolee:
Code Search (Dagstuhl Seminar 24172). 108-123 - Timothy M. D. Ebbels, Soha Hassoun, Ewy A. Mathé, Justin J. J. van der Hooft, Haley Chatelaine:
Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181). 124-141 - Simon Burton, Radu Calinescu, Raffaela Mirandola:
Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). 142-163
Volume 14, Number 5, May 2024
- Barbara Hammer, Filip Ilievski, Sascha Saralajew, Frank van Harmelen:
Generalization by People and Machines (Dagstuhl Seminar 24192). 1-11 - Kathrin Hanauer, Uwe Naumann, Alex Pothen, Robert Schreiber:
Discrete Algorithms on Modern and Emerging Compute Infrastructure (Dagstuhl Seminar 24201). 12-24 - Martin Tomko, Yanan Xin, Jonas Wahl:
Causal Inference for Spatial Data Analytics (Dagstuhl Seminar 24202). 25-57 - Christine Bauer, Alan Said, Eva Zangerle:
Evaluation Perspectives of Recommender Systems: Driving Research and Education (Dagstuhl Seminar 24211). 58-172 - Carmen G. Almudéver, Leonid P. Pryadko, Valentin Savin, Bane Vasic:
Classical-Quantum Synergies in the Theory and Practice of Quantum Error Correction (Dagstuhl Seminar 24212). 173-190
Volume 14, Number 6, June 2024
- Nathanaël Fijalkow, Jan Kretínský, Ann Nowé, Gabriel Bathie:
Stochastic Games (Dagstuhl Seminar 24231). 1-18 - Nadia Bianchi-Berthouze, Mar González-Franco, Florian 'Floyd' Mueller, Misha Sra, Rakesh Patibanda:
Designing Computers' Control Over Our Bodies (Dagstuhl Seminar 24232). 19-51 - Tor Dokken, Xiaohong Jia, Géraldine Morin, Elissa Ross, Zoë Marschner:
Geometric modeling: Challenges for Additive Manufacturing, Design and Analysis (Dagstuhl Seminar 24241). 52-83 - Sten Ternström, Nathalie Henrich Bernardoni, Peter Birkholz, Oriol Guasch, Amelia Jane Gully:
Computational Analysis and Simulation of the Human Voice (Dagstuhl Seminar 24242). 84-107 - Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, Florian Schmalstieg:
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). 108-129 - Duygu Çakmak, Setareh Maghsudi, Diego Perez Liebana, Pieter Spronck:
Computational Creativity for Game Development (Dagstuhl Seminar 24261). 130-214 - Anne Auger, Tobias Glasmachers, Martin S. Krejca, Johannes Lengler, Alexander Jungeilges:
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 24271). 215-244 - Nick Falkner, Juho Leinonen, Miranda C. Parker, Andrew Petersen, Claudia Szabo:
A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI (Dagstuhl Seminar 24272). 245-262
Volume 14, Number 7, July 2024
- José Correa, Carolina Osorio, Laura Vargas Koch, David P. Watling, Svenja Griesbach:
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 24281). 1-16 - Elena Raponi, Lars Kotthoff, Hyunsun Alicia Kim, Marius Lindauer:
Automated Machine Learning For Computational Mechanics (Dagstuhl Seminar 24282). 17-34 - Gianni Antichi, Katerina J. Argyraki, Aurojit Panda, Justine Sherry:
Programmable Host Networking (Dagstuhl Seminar 24291). 35-51 - Adela del-Río-Ortega, Andrea Marrella, Hajo A. Reijers, Adriana Wilde:
Improving Trust between Humans and Software Robots in Robotic Process Automation (Dagstuhl Seminar 24292). 52-80 - Christophe Hurter, Claus-Christian Carbon, Mauro Martino, Bernice E. Rogowitz:
Art, Visual Illusions, and Data Visualization (Dagstuhl Seminar 24301). 81-114 - Meinard Müller, Cynthia C. S. Liem, Brian McFee, Simon J. Schwär:
Learning with Music Signals: Technology Meets Education (Dagstuhl Seminar 24302). 115-152 - Oana Balmau, Matthias Boehm, Ana Klimovic, Peter R. Pietzuch, Pinar Tözün:
Resource-Efficient Machine Learning (Dagstuhl Seminar 24311). 153-169 - Bruno Crispo, Alexandra Dmitrienko, Gene Tsudik, Wenyuan Xu, Christoph Sendner:
Security and Privacy of Current and Emerging IoT Devices and Systems (Dagstuhl Seminar 24312). 170-207
Volume 14, Number 8, August 2024
- Anupam Das, Elaine Pimentel, Lutz Straßburger, Robin Martinot:
Proof Representations: From Theory to Applications (Dagstuhl Seminar 24341). 1-23 - Stefan Feuerriegel, Foster J. Provost, Galit Shmueli:
Leveraging AI for Management Decision-Making (Dagstuhl Seminar 24342). 24-35 - Kerstin I. Eder, Timo Hönig, Maja Hanne Kirkeby, Daniel Mossé, Max Plauth, Jonas Juffinger:
Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 24351). 36-52 - Christine Bauer, Li Chen, Nicola Ferro, Norbert Fuhr:
Conversational Agents: A Framework for Evaluation (CAFE) (Dagstuhl Perspectives Workshop 24352). 53-58
Volume 14, Number 9, September 2024
- Nils Jansen, Mykel J. Kochenderfer, Jan Kretínský, Jana Tumova, Maris F. L. Galesloot:
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). 1-21 - Aniket Kate, Julian Loss, Kartik Nayak:
Next-Generation Secure Distributed Computing (Dagstuhl Seminar 24362). 22-44 - Gerd Bruder, Thies Pfeiffer, Jeanine K. Stefanucci, Dylan Fox:
Extended Reality Accessibility (Dagstuhl Seminar 24371). 45-66 - Hendrik Baier, Mark T. Keane, Sarath Sreedharan, Silvia Tulli, Abhinav Verma, Stylianos Loukas Vasileiou:
Explainable AI for Sequential Decision Making (Dagstuhl Seminar 24372). 67-103 - Markus Bläser, Shubhangi Saraf, Ronen Shaltiel, Jacobo Torán, Kilian Rothmund:
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 24381). 104-126 - Aristides Gionis, Matteo Riondato, Eli Upfal:
Statistical and Probabilistic Methods in Algorithmic Data Analysis (Dagstuhl Seminar 24391). 127-144 - Evangelos Markakis, Ruta Mehta, Yair Zick:
Fair Division: Algorithms, Solution Concepts, and Applications (Dagstuhl Seminar 24401). 145-166 - Alexander Clemm, Dirk Kutscher, Michael Welzl, Cédric Westphal, Noa Zilberman, Simone Ferlin-Reiter:
Greening Networking: Toward a Net Zero Internet (Dagstuhl Seminar 24402). 167-192
Volume 14, Number 10, October 2024
- Fedor V. Fomin, Dániel Marx, Saket Saurabh, Roohani Sharma, Madhumita Kundu:
New Tools in Parameterized Complexity: Paths, Cuts, and Decomposition (Dagstuhl Seminar 24411). 1-21 - Olaf Beyersdorff, Laura Kovács, Meena Mahajan, Martina Seidl, Kaspar Kasche:
SAT and Interactions (Dagstuhl Seminar 24421). 22-38 - Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Shin Hwei Tan:
Automated Programming and Program Repair (Dagstuhl Seminar 24431). 39-57 - Barbara König, Radu Mardare, Prakash Panangaden, Jurriaan Rot, Florence Clerc:
Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). 58-75 - Deepak Ajwani, Bistra Dilkina, Tias Guns, Ulrich Carsten Meyer:
Machine Learning Augmented Algorithms for Combinatorial Optimization Problems (Dagstuhl Seminar 24441). 76-100
Volume 14, Number 11, November 2024
- Anne-Florence Bitbol, Jennifer Listgarten, Tomás Pluskal, Anton Bushuiev, Roman Bushuiev:
Machine Learning for Protein-Protein and Protein-Ligand Interactions (Dagstuhl Seminar 24451). 1-15 - Paris Avgeriou, Ipek Ozkaya, Heiko Koziolek, Zadia Codabux, Neil A. Ernst:
Reframing Technical Debt (Dagstuhl Perspectives Workshop 24452). 16-39 - Vincent Fortuin, Mohammad Emtiyaz Khan, Mark van der Wilk, Zoubin Ghahramani, Katharine Fisher:
Rethinking the Role of Bayesianism in the Age of Modern AI (Dagstuhl Seminar 24461). 40-59 - Georg Carle, Serge Fdida, Kate Keahey, Henning Schulzrinne, Sebastian Gallenmüller:
Research Infrastructures and Tools for Collaborative Networked Systems Research (Dagstuhl Seminar 24462). 60-91 - Keren Censor-Hillel, Yasamin Nazari, Eva Rotenberg, Thatchaphol Saranurak, Martín Costa:
Graph Algorithms: Distributed Meets Dynamic (Dagstuhl Seminar 24471). 92-107 - Inge Li Gørtz, Sebastian Maneth, Gonzalo Navarro, Nicola Prezza:
Regular Expressions: Matching and Indexing (Dagstuhl Seminar 24472). 108-119
Volume 14, Number 12, December 2024
- Annalisa Marsico, Uwe Ohler, Igor Ulitsky, Kathi Zarnack, Charlotte Capitanchik:
Deep Learning for RNA Regulation and Multidimensional Transcriptomics (Dagstuhl Seminar 24491). 1-27 - Raffaella Bernardi, Julia Hockenmaier, Udo Kruschwitz, Prashant Jayannavar, Massimo Poesio:
Human in the Loop Learning through Grounded Interaction in Games (Dagstuhl Perspectives Workshop 24492). 28-45 - R. B., Olgica Milenkovic, Zohar Yakhini, Yonatan Yehezkeally, Anisha Banerjee, Frederik Walter:
Coding Theory and Algorithms for Emerging Technologies in Synthetic Biology (Dagstuhl Seminar 24511). 46-62 - Shaukat Ali, Johanna Barzen, Andrea Delgado, Hausi A. Müller, Juan Manuel Murillo:
Quantum Software Engineering (Dagstuhl Seminar 24512). 63-84
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-19 20:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
