• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 857 matches

• 2024
• 
  S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw:
  Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports 14(4): 85-107 (2024)
• 
  Jianxu Chen, Florian Jug, Susanne M. Rafelski, Shanghang Zhang:
  The Emerging Issues in Bioimaging AI Publications and Research (Dagstuhl Seminar 24042). Dagstuhl Reports 14(1): 90-107 (2024)
• 
  Satish Chandra, Michael Pradel, Kathryn T. Stolee:
  Code Search (Dagstuhl Seminar 24172). Dagstuhl Reports 14(4): 108-123 (2024)
• 
  Shqiponja Ahmetaj, Slawomir Staworko, Jan Van den Bussche, Maxime Jakubowski:
  Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar 24102). Dagstuhl Reports 14(3): 9-30 (2024)
• 
  Daniel Archambault, Fintan McGee, Nicolás Reinoso-Schiller, Tatiana von Landesberger, Simone Scheithauer:
  Reflections on Pandemic Visualization (Dagstuhl Seminar 24091). Dagstuhl Reports 14(2): 191-205 (2024)
• 
  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). Dagstuhl Reports 14(4): 54-84 (2024)
• 
  Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
  Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14(1): 108-129 (2024)
• 
  Pablo Barceló, Pierre Bourhis, Stefan Mengel, Sudeepa Roy:
  Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032). Dagstuhl Reports 14(1): 49-71 (2024)
• 
  Christof Beierle, Bart Mennink, María Naya-Plasencia, Yu Sasaki, Rachelle Heim Boissier:
  Symmetric Cryptography (Dagstuhl Seminar 24041). Dagstuhl Reports 14(1): 72-89 (2024)
• 
  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). Dagstuhl Reports 14(3): 75-91 (2024)
• 
  Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola:
  From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021). Dagstuhl Reports 14(1): 1-24 (2024)
• 
  Steffen Bondorf, Anne Bouillard, Markus Fidler, Jörg Liebeherr, Lisa Maile:
  Network Calculus (Dagstuhl Seminar 24141). Dagstuhl Reports 14(4): 1-22 (2024)
• 
  Ulf Brefeld, Jesse Davis, Laura de Jong, Stephanie Kovalchik:
  Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081). Dagstuhl Reports 14(2): 164-181 (2024)
• 
  Maike Buchin, Jean Cardinal, Arnaud de Mesmay, Jonathan Spreer, Alex He:
  Triangulations in Geometry and Topology (Dagstuhl Seminar 24072). Dagstuhl Reports 14(2): 120-163 (2024)
• 
  Simon Burton, Radu Calinescu, Raffaela Mirandola:
  Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). Dagstuhl Reports 14(4): 142-163 (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). Dagstuhl Reports 14(2): 1-70 (2024)
• 
  Alessandro Cimatti, Ingo Pill, Alexander Diedrich:
  Fusing Causality, Reasoning, and Learning for Fault Management and Diagnosis (Dagstuhl Seminar 24031). Dagstuhl Reports 14(1): 25-48 (2024)
• 
  Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, Jacopo Margutti:
  AI for Social Good (Dagstuhl Seminar 24082). Dagstuhl Reports 14(2): 182-190 (2024)
• 
  Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano:
  Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). Dagstuhl Reports 14(2): 95-119 (2024)
• 
  Pawel Dlotko, Dmitry Feichtner-Kozlov, Anastasios Stefanou, Yusu Wang, Jan F. Senge:
  Applied and Combinatorial Topology (Dagstuhl Seminar 24092). Dagstuhl Reports 14(2): 206-239 (2024)
• 
  Stephan Druskat, Lars Grunske, Caroline Jay, Daniel S. Katz:
  Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161). Dagstuhl Reports 14(4): 42-53 (2024)
• 
  Vida Dujmovic, Seok-Hee Hong, Michael Kaufmann, János Pach, Henry Förster:
  Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062). Dagstuhl Reports 14(2): 71-94 (2024)
• 
  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). Dagstuhl Reports 14(4): 124-141 (2024)
• 
  Goetz Graefe, Allison W. Lee, Caetano Sauer:
  Robust Query Processing in the Cloud (Dagstuhl Seminar 24101). Dagstuhl Reports 14(3): 1-8 (2024)
• 
  Iryna Gurevych, Anna Rogers, Nihar B. Shah, Jingyan Wang:
  Reviewer No. 2: Old and New Problems in Peer Review (Dagstuhl Seminar 24052). Dagstuhl Reports 14(1): 130-161 (2024)
• 
  Dmitry Kobak, Fred A. Hamprecht, Smita Krishnaswamy, Gal Mishne, Sebastian Damrich:
  Low-Dimensional Embeddings of High-Dimensional Data: Algorithms and Applications (Dagstuhl Seminar 24122). Dagstuhl Reports 14(3): 92-115 (2024)
• 
  Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich:
  Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). Dagstuhl Reports 14(3): 31-51 (2024)
• 
  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). Dagstuhl Reports 14(3): 52-74 (2024)
• 
  Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, Mario Trapp:
  Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). Dagstuhl Reports 14(4): 23-41 (2024)
• 2023
• 
  Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, Nick Schuster:
  Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). Dagstuhl Reports 13(9): 103-115 (2023)

skipping 827 more matches