default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 11
Volume 11, Number 1, January 2021
- Gerth Stølting Brodal, John Iacono, Markus E. Nebel, Vijaya Ramachandran:
Scalable Data Structures (Dagstuhl Seminar 21071). 1-23 - Olivier Boissier, Andrei Ciortea, Andreas Harth, Alessandro Ricci:
Autonomous Agents on the Web (Dagstuhl Seminar 21072). 24-100
Volume 11, Number 2, February 2021
- Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121). 1-16
Volume 11, Number 3, March 2021
- Katy Börner, Stephen G. Kobourov:
Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152). 1-15 - Arnaud Casteigts, Kitty Meeks, George B. Mertzios, Rolf Niedermeier:
Temporal Graphs: Structure, Algorithms, Applications (Dagstuhl Seminar 21171). 16-46
Volume 11, Number 4, April 2021
- Siu-Wing Cheng, Anne Driemel, Jeff M. Phillips:
Computational Geometry (Dagstuhl Seminar 21181). 1-19 - Andrew Cropper, Luc De Raedt, Richard Evans, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). 20-33 - Cristina L. Abad, Ian T. Foster, Nikolas Herbst, Alexandru Iosup:
Serverless Computing (Dagstuhl Seminar 21201). 34-93
Volume 11, Number 5, May 2021
- Judy Kay, Tsvi Kuflik, Michael Rovatsos:
Transparency by Design (Dagstuhl Seminar 21231). 1-22 - Stephen A. Brewster, Andrew L. Kun, Andreas Riener, Orit Shaer:
Human-Computer Interaction to Support Work and Wellbeing in Mobile Environments (Dagstuhl Seminar 21232). 23-53 - Jon Crowcroft, Philip Eardley, Dirk Kutscher, Eve M. Schooler:
Compute-First Networking (Dagstuhl Seminar 21243). 54-75 - Bill Fefferman, Sevag Gharibian, Norbert Schuch, Barbara M. Terhal:
Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261). 76-88 - Ana Aguiar, Onur Altintas, Falko Dressler, Gunnar Karlsson:
Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262). 89-96
Volume 11, Number 6, June 2021
- Sebastian Böcker, Rebekah L. Gundry, Lennart Martens, Magnus Palmblad
:
Computational Proteomics (Dagstuhl Seminar 21271). 1-13 - Vaibhav Bajpai, Oliver Hohlfeld, Jon Crowcroft, Srinivasan Keshav:
Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272). 14-37 - Stratos Idreos, Viktor Leis, Kai-Uwe Sattler, Margo I. Seltzer:
Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283). 38-53 - Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg:
Scalable Handling of Effects (Dagstuhl Seminar 21292). 54-81 - Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, Meirav Zehavi:
Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293). 82-123 - Haris Aziz, Péter Biró, Tamás Fleiner, Bettina Klaus:
Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301). 124-146 - Eva Darulova, Babak Falsafi, Andreas Gerstlauer, Phillip Stanley-Marbell:
Approximate Systems (Dagstuhl Seminar 21302). 147-163
Volume 11, Number 7, July 2021
- Edith Elkind, Judy Goldsmith, Anja Rey, Jörg Rothe:
Coalition Formation Games (Dagstuhl Seminar 21331). 1-15 - Philip H. Carns, Julian M. Kunkel, Kathryn M. Mohror, Martin Schulz:
Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332). 16-75 - Aaron Yi Ding, Ella Peltonen, Sasu Tarkoma, Lars C. Wolf:
Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 21342). 76-88 - Timothy Baldwin, William Croft, Joakim Nivre, Agata Savary:
Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 21351). 89-138 - Tina Eliassi-Rad, Vito Latora, Martin Rosvall, Ingo Scholtes:
Higher-Order Graph Models: From Theoretical Foundations to Machine Learning (Dagstuhl Seminar 21352). 139-178
Volume 11, Number 8, August 2021
- João Marques-Silva, Rafael Peñaloza, Uli Sattler:
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). 1-10 - Tiansi Dong, Achim Rettinger, Jie Tang, Barbara Tversky, Frank van Harmelen:
Structure and Learning (Dagstuhl Seminar 21362). 11-34 - Maria Paola Bonacina, Philipp Rümmer, Renate A. Schmidt:
Integrated Deduction (Dagstuhl Seminar 21371). 35-51 - Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas:
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). 52-75 - Effie Lai-Chong Law, Asbjørn Følstad, Jonathan Grudin, Björn W. Schuller:
Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381). 76-114 - Daniel Král', Michal Pilipczuk, Sebastian Siebertz, Blair D. Sullivan:
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391). 115-128
Volume 11, Number 9, September 2021
- Karsten Klein, Georgeta Elisabeta Marai, Kay Katja Nieselt, Blaz Zupan:
Visualization of Biological Data - From Analysis to Communication (Dagstuhl Seminar 21401). 1-27 - Claude Kirchner, Franziska Roesner:
Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402). 28-44 - Ulf Brefeld, Jesse Davis, Martin Lames, James J. Little:
Machine Learning in Sports (Dagstuhl Seminar 21411). 45-63 - Stacey Jeffery, Michele Mosca, María Naya-Plasencia, Rainer Steinwandt:
Quantum Cryptanalysis (Dagstuhl Seminar 21421). 64-79 - Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu:
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). 80-101 - Philipp Hennig, Ilse C. F. Ipsen, Maren Mahsereci, Tim Sullivan:
Probabilistic Numerical Methods - From Theory to Implementation (Dagstuhl Seminar 21432). 102-119
Volume 11, Number 10, October 2021
- Michael Gerndt, Masaaki Kondo, Barton P. Miller, Tapasya Patki:
Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441). 1-19 - Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger:
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). 20-35 - Simon Dejung, Mingyan Liu, Arndt Lüder, Edgar R. Weippl:
Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451). 36-56 - Thomas Colcombet, Karin Quaas, Michal Skrzypczak:
Unambiguity in Automata Theory (Dagstuhl Seminar 21452). 57-71 - Mathieu Hoyrup, Arno Pauly, Victor L. Selivanov, Mariya Ivanova Soskova:
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461). 72-93 - Hans-Juergen Boehm, Ori Lahav, Azalea Raad:
Foundations of Persistent Programming (Dagstuhl Seminar 21462). 94-110 - Falai Chen, Tor Dokken, Géraldine Morin:
Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471). 111-150 - Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster:
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). 151-172 - David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer:
Secure Compilation (Dagstuhl Seminar 21481). 173-204
Volume 11, Number 11, November 2021
- Pedro Cabalar, Zoe Falomir, Paulo E. Santos, Thora Tenbrink:
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). 1-55
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 2024-11-08 20:19 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:
