Dagstuhl Reports, Volume 8, Issue 3,
-
Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue
10.4230/DagRep.8.3
-
Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018
10.4230/DagRep.8.3.i
-
Magnús M. Halldórson, Nicole Megow, and Clifford Stein
Scheduling (Dagstuhl Seminar 18101)
10.4230/DagRep.8.3.1
-
Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)
10.4230/DagRep.8.3.21
-
Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer
Loop Optimization (Dagstuhl Seminar 18111)
10.4230/DagRep.8.3.39
-
Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke
Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)
10.4230/DagRep.8.3.60
-
Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, and Jan Kretinsky
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)
10.4230/DagRep.8.3.74
-
Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman
Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)
10.4230/DagRep.8.3.94