default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 13
Volume 13, Number 1, January 2023
- Irene Amerini, Anderson Rocha, Paul L. Rosin
, Xianfang Sun:
Media Forensics and the Challenge of Big Data (Dagstuhl Seminar 23021). 1-35 - George Biros, Andreas Mang, Björn H. Menze, Miriam Schulte:
Inverse Biophysical Modeling and Machine Learning in Personalized Oncology (Dagstuhl Seminar 23022). 36-67 - Christine Bauer, Ben Carterette, Nicola Ferro, Norbert Fuhr, Guglielmo Faggioli:
Frontiers of Information Access Experimentation for Research and Education (Dagstuhl Seminar 23031). 68-154 - Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa:
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). 155-183 - Katrien De Moor, Markus Fiedler, Ashok Jhunjhunwala, Alexander Raake:
Quality of Sustainable Experience (QoSE) (Dagstuhl Seminar 23042). 184-215 - Karsten Klein, Stephen G. Kobourov, Bernice E. Rogowitz, Danielle Szafir, Jacob Miller:
Perception in Network Visualization (Dagstuhl Seminar 23051). 216-244
Volume 13, Number 2, February 2023
- Nicole Megow, Benjamin Moseley, David B. Shmoys, Ola Svensson, Sergei Vassilvitskii, Jens Schlöter:
Scheduling (Dagstuhl Seminar 23061). 1-19 - Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav:
Programming Language Processing (Dagstuhl Seminar 23062). 20-32 - Martin Farach-Colton, Fabian Daniel Kuhn, Ronitt Rubinfeld, Przemyslaw Uznanski:
From Big Data Theory to Big Data Practice (Dagstuhl Seminar 23071). 33-46 - Vincent Fortuin, Yingzhen Li, Kevin Murphy, Stephan Mandt, Laura Manduchi:
Challenges and Perspectives in Deep Generative Modeling (Dagstuhl Seminar 23072). 47-70 - Olivier Boissier, Andrei Ciortea, Andreas Harth, Alessandro Ricci, Danai Vachtsevanou:
Agents on the Web (Dagstuhl Seminar 23081). 71-162 - Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski:
Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). 163-182 - Aaron T. Becker, Sándor P. Fekete, Irina Kostitsyna, Matthew J. Patitz, Damien Woods, Ioannis Chatzigiannakis:
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 23091). 183-198 - Susanne Boll, Kaisa Väänänen, Nicola J. Bidwell, Marc Hassenzahl, Robin Neuhaus:
A Human-Computer Interaction Perspective to Drive Change towards Sustainable Future (Dagstuhl Perspectives Workshop 23092). 199-241
Volume 13, Number 3, March 2023
- Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan:
Foundations of WebAssembly (Dagstuhl Seminar 23101). 1-16 - Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau, Manaswi Paraashar:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 23111). 17-31 - Swen Jacobs, Kenneth L. McMillan, Roopsha Samanta, Ilya Sergey:
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112). 32-48 - David I. Bevan, Miklós Bóna, István Miklós:
Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121). 49-73 - Tinne Tuytelaars, Bing Liu, Vincenzo Lomonaco, Gido van de Ven, Andrea Cossu:
Deep Continual Learning (Dagstuhl Seminar 23122). 74-91 - Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser:
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). 92-105 - Peer-Timo Bremer, Brian K. Spears, Tom Gibbs, Michael Bussmann:
AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132). 106-131
Volume 13, Number 4, April 2023
- Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks:
Normative Reasoning for AI (Dagstuhl Seminar 23151). 1-23 - Thomas Pöppelmann, Sujoy Sinha Roy, Ingrid Verbauwhede:
Secure and Efficient Post-Quantum Cryptography in Hardware and Software (Dagstuhl Seminar 23152). 24-39 - Lucia Moura, Anamari Nakic, Patric R. J. Östergård, Alfred Wassermann, Charlene Weiß:
Pushing the Limits of Computational Combinatorial Constructions (Dagstuhl Seminar 23161). 40-57 - Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, Meirav Zehavi, Liana Khazaliya:
New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162). 58-97 - Jim M. Brandt, Florina M. Ciorba, Ann C. Gentile, Michael Ott, Torsten Wilde:
Driving HPC Operations With Holistic Monitoring and Operational Data Analytics (Dagstuhl Seminar 23171). 98-120
Volume 13, Number 5, May 2023
- Eric Bodden, Sam Weber, Laurie A. Williams:
Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). 1-21 - Timothy Baldwin, William Croft, Joakim Nivre, Agata Savary, Sara Stymne, Ekaterina Vylomova:
Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 23191). 22-70 - Ulrich Bauer, Vijay Natarajan, Bei Wang:
Topological Data Analysis and Applications (Dagstuhl Seminar 23192). 71-95 - Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter:
Regular Transformations (Dagstuhl Seminar 23202). 96-113 - Gerth Stølting Brodal, John Iacono, László Kozma, Vijaya Ramachandran, Justin Dallant:
Scalable Data Structures (Dagstuhl Seminar 23211). 114-135 - Ellen Yi-Luen Do, Pattie Maes, Florian 'Floyd' Mueller, Nathan Arthur Semertzidis:
Designing the Human-Machine Symbiosis (Dagstuhl Seminar 23212). 136-164 - Siu-Wing Cheng, Maarten Löffler, Jeff M. Phillips, Aleksandr Popov:
Computational Geometry (Dagstuhl Seminar 23221). 165-181 - Haitham Hassanieh, Kyle Jamieson, Luca Mottola, Longfei Shangguan, Xia Zhou, Marco Zimmerling:
Novel Scenarios for the Wireless Internet of Things (Dagstuhl Seminar 23222). 182-205
Volume 13, Number 6, June 2023
- Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, Bahare Salmani:
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). 1-21 - Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, Kevin Gomez:
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242). 22-54 - Anne Auger, Peter A. N. Bosman, Pascal Kerschke, Darrell Whitley, Lennart Schäpermeier:
Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251). 55-80 - Bongshin Lee, Kim Marriott, Danielle Szafir, Gerhard Weber:
Inclusive Data Visualization (Dagstuhl Seminar 23252). 81-105 - Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler:
SAT Encodings and Beyond (Dagstuhl Seminar 23261). 106-122
Volume 13, Number 7, July 2023
- Claudio Di Ciccio, Silvia Miksch, Pnina Soffer, Barbara Weber, Giovanni Meroni:
Human in the (Process) Mines (Dagstuhl Seminar 23271). 1-33 - Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid:
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). 34-65 - Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi:
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). 66-95 - Karthik C. S., Parinya Chalermsook, Joachim Spoerhase, Meirav Zehavi, Martin G. Herold:
Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291). 96-107 - Florian 'Floyd' Mueller, Carine Lallemand, Dennis Reidsma, Elise van den Hoven, Maria F. Montoya:
SportsHCI (Dagstuhl Seminar 23292). 108-151 - Rebekah L. Gundry, Lennart Martens, Magnus Palmblad:
Computational Proteomics (Dagstuhl Seminar 23301). 152-165 - Grace A. Lewis, Henry Muccini, Ipek Ozkaya, Karthik Vaidhyanathan, Roland Weiss, Liming Zhu:
Software Architecture and Machine Learning (Dagstuhl Seminar 23302). 166-188
Volume 13, Number 8, August 2023
- George Karypis, Christian Schulz, Darren Strash, Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael R. Fellows, Lars Gottesbüren, Tobias Heuer, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances A. Rosamond, Ilya Safro, Sebastian Schlag, Roohani Sharma, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman:
Recent Trends in Graph Decomposition (Dagstuhl Seminar 23331). 1-45 - Diederick Vermetten, Martin S. Krejca, Marius Lindauer, Manuel López-Ibáñez, Katherine M. Malan:
Synergizing Theory and Practice of Automated Algorithm Design for Optimization (Dagstuhl Seminar 23332). 46-70 - Georg von der Brüggen, Ian Gray, Catherine E. Nemitz:
Functionally Safe Multi-Core Systems (Dagstuhl Seminar 23341). 71-90 - Susanne Crewell, Anne Driemel, Jeff M. Phillips, Dwaipayan Chatterjee:
Computational Geometry of Earth System Analysis (Dagstuhl Seminar 23342). 91-105 - Dmitriy Bilyk, Michael Gnewuch, Jan Vybíral, Larisa Yaroslavtseva, Kumar Harsha:
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 23351). 106-128 - Rosa M. Badia, Laure Berti-Équille, Rafael Ferreira da Silva, Ulf Leser:
Integrating HPC, AI, and Workflows for Scientific Data Analysis (Dagstuhl Seminar 23352). 129-164
Volume 13, Number 9, September 2023
- Richard Allmendinger, Carlos M. Fonseca, Serpil Sayin, Margaret M. Wiecek, Michael Stiglmayr:
Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361). 1-68 - Hans Ehm, John W. Fowler, Lars Mönch, Daniel Sascha Schorn:
Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362). 69-102 - Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, Nick Schuster:
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). 103-115 - Anamaria Crisan, Lars Kotthoff, Marc Streit, Kai Xu:
Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372). 116-136 - Johanna Drucker, Mennatallah El-Assady, Uta Hinrichs, Florian Windhager, Derya Akbaba:
Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381). 137-165 - Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan:
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). 166-184
Volume 13, Number 10, October 2023
- Andrej Bauer, Katja Bercic, Florian Rabe, Nicolas M. Thiéry, Jure Taslak:
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). 1-23 - Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba:
Accountable Software Systems (Dagstuhl Seminar 23411). 24-49 - Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev:
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). 50-64 - Gorjan Alagic, María Naya-Plasencia, Rainer Steinwandt, Manasi Shingane:
Quantum Cryptanalysis (Dagstuhl Seminar 23421). 65-75 - Jason Li, Debmalya Panigrahi, Laura Sanità, Thatchaphol Saranurak:
Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422). 76-89 - Sven Dietrich, Frank Kargl, Hartmut König, Pavel Laskov, Artur Hermann:
Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431). 90-129 - Aaron Yi Ding, Eyal de Lara, Schahram Dustdar, Ella Peltonen, Tobias Meuser:
Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432). 130-138 - Hannes Mühleisen, Danica Porobic, Manuel Rigger:
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). 139-181 - Luc De Raedt, Ute Schmid, Johannes Langer:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442). 182-211
Volume 13, Number 11, November 2023
- Katja Bühler, Barbora Kozlíková, Michael Krone, Cagatay Turkay, Ramasamy Pathmanaban:
Visualization of Biomedical Data - Shaping the Future and Building Bridges (Dagstuhl Seminar 23451). 1-19 - Susanne Boll, Andrew L. Kun, Bastian Pfleging, Orit Shaer:
Human-AI Interaction for Work (Dagstuhl Seminar 23452). 20-71 - Saso Dzeroski, Holger H. Hoos, Bertrand Le Saux, Leendert van der Torre, Ana Kostovska:
Space and Artificial Intelligence (Dagstuhl Seminar 23461). 72-102 - Yomna Abdelrahman, Florian Alt, Tilman Dingler, Christopher Hadnagy, Abbie Maroño, Verena Distler:
Defining and Fortifying Against Cognitive Vulnerabilities in Social Engineering (Dagstuhl Seminar 23462). 103-129 - Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais:
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). 130-150 - Christopher W. Fletcher, Marco Guarnieri, David Kohlbrenner, Clémentine Maurice:
MAD: Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481). 151-166 - Mark Billinghurst, Pablo César, Mar González-Franco, Katherine Isbister, Julie R. Williamson, Alexandra Kitson:
Social XR: The Future of Communication and Collaboration (Dagstuhl Seminar 23482). 167-196
Volume 13, Number 12, December 2023
- Danai Koutra, Henning Meyerhenke, Ilya Safro, Fabian Brandt-Tumescheit:
Scalable Graph Mining and Learning (Dagstuhl Seminar 23491). 1-23 - Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier:
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). 24-47
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-01-22 20:21 CET 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:
