Dagstuhl Reports, Volume 6, Issue 5,
-
Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue
10.4230/DagRep.6.5
-
Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016
10.4230/DagRep.6.5.i
-
Richard Hull, Agnes Koschmider, Hajo A. Reijers, and William Wong
Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)
10.4230/DagRep.6.5.1
-
Tony Clark, Ulrich Frank, and Vinay Kulkarni
Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)
10.4230/DagRep.6.5.31
-
Julian Dolby, Orna Grumberg, Peter Müller, and Omer Tripp
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
10.4230/DagRep.6.5.56
-
Osnat Keren, Ilia Polian, and Mark M. Tehranipoor
Hardware Security (Dagstuhl Seminar 16202)
10.4230/DagRep.6.5.72
-
Jeff Erickson, Philip N. Klein, Dániel Marx, and Claire Mathieu
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)
10.4230/DagRep.6.5.94
-
Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield
Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)
10.4230/DagRep.6.5.114