Dagstuhl Reports, Volume 11, Issue 10,
-
Dagstuhl Reports, Volume 11, Issue 10, November 2021, Complete Issue
10.4230/DagRep.11.10
-
Dagstuhl Reports, Table of Contents, Volume 11, Issue 10, 2021
10.4230/DagRep.11.10.i
-
Michael Gerndt, Masaaki Kondo, Barton P. Miller, and Tapasya Patki
Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441)
10.4230/DagRep.11.10.1
-
Alexander Böhm, Maria Christakis, Eric Lo, and Manuel Rigger
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)
10.4230/DagRep.11.10.20
-
Simon Dejung, Mingyan Liu, Arndt Lüder, and Edgar Weippl
Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451)
10.4230/DagRep.11.10.36
-
Thomas Colcombet, Karin Quaas, and Michał Skrzypczak
Unambiguity in Automata Theory (Dagstuhl Seminar 21452)
10.4230/DagRep.11.10.57
-
Mathieu Hoyrup, Arno Pauly, Victor Selivanov, and Mariya I. Soskova
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461)
10.4230/DagRep.11.10.72
-
Hans-J. Boehm, Ori Lahav, and Azalea Raad
Foundations of Persistent Programming (Dagstuhl Seminar 21462)
10.4230/DagRep.11.10.94
-
Falai Chen, Tor Dokken, and Géraldine Morin
Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471)
10.4230/DagRep.11.10.111
-
Thierry Coquand, Hajime Ishihara, Sara Negri, and Peter M. Schuster
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)
10.4230/DagRep.11.10.151
-
David Chisnall, Deepak Garg, Catalin Hritcu, and Mathias Payer
Secure Compilation (Dagstuhl Seminar 21481)
10.4230/DagRep.11.10.173