Dagstuhl Reports, Volume 8, Issue 8,
-
Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue
10.4230/DagRep.8.8
-
Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018
10.4230/DagRep.8.8.i
-
Martin Johns, Nick Nikiforakis, Melanie Volkamer, and John Wilander
Web Application Security (Dagstuhl Seminar 18321)
10.4230/DagRep.8.8.1
-
Florian Mueller, Pattie Maes, and Jonathan Grudin
Human-Computer Integration (Dagstuhl Seminar 18322)
10.4230/DagRep.8.8.18
-
Spring Berman, Sándor P. Fekete, Matthew J. Patitz, and Christian Scheideler
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)
10.4230/DagRep.8.8.48
-
Marlon Dumas, Richard Hull, Jan Mendling, and Ingo Weber
Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)
10.4230/DagRep.8.8.67
-
Andrej Bauer, Martín Escardó, Peter L. Lumsdaine, and Assia Mahboubi
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)
10.4230/DagRep.8.8.130
-
Gordon Blair, Betty H. C. Cheng, Lorenz Hilty, and Richard F. Paige
Modeling for Sustainability (Dagstuhl Seminar 18351)
10.4230/DagRep.8.8.146