Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards.  These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are a result from a Dagstuhl Seminar.

Legend

 Book    Special Issue    Technical Report    Article   


Dagstuhl Seminar 09502, 06.12.09-09.12.09

Collection of abstracts for the Dagstuhl-Seminar Coalgebraic Logic, December 6 - 9, 2009

Battenfeld, Ingo; Doberkat, Ernst-Erich; Kurz, Alexander. - Dortmund : Universität , 2009. - 14 S. . - (Memo : Fakultät für Informatik : Lehrstuhl für Software-Technologie ; 181)
Link
 

Dagstuhl Seminar 09502, 06.12.09-09.12.09

Probabilistic Logical Characterization : article : pp. 154-172

Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun. - Amsterdam : Elsevier, 2010. - (Information and Compuation : 209. 2010, pp. 154-172)
Link
 

Dagstuhl Seminar 09502, 06.12.09-09.12.09

Coalgebraic Logic : Special Issue : pp. 171-509

Doberkat, Ernst-Erich; Kurz, Alexander. - Cambridge : Cambridge Univ.. Pr., 2011. - (Mathematical structures in computer science : 21. 2011, 2)
Link
 

Dagstuhl Seminar 09501, 06.12.09-11.12.09

Synthesis for regular specifications over unbounded domains : article pp. 101-109 : FMCAD 2010, Formal Methods in Computer-Aided Design 2010

Hamza, Jad; Jobstmann, Barbara; Kuncak, Viktor. - Los Alamitos : IEEE, 2010. - pp. 101-109
Link
 

Dagstuhl Seminar 09501, 06.12.09-11.12.09

Synthesis : Special Issue

Bodik, Rastislav; Jobstmann, Barbara. - Berlin : Springer, 2013. - (International Journal on Software Tools for Technology Transfer : 15. 2013, 5/6)
Link
 

Dagstuhl Seminar 09493, 02.12.09-04.12.09

Critical Systems : Special Issue : pp. 28 - 63

Coyle, Lorcan; Hinchey, Michael G.; Nuseibeh, Bashar; Fiadeiro, Jose Luiz. - Piscataway : IEEE, 2010. - (Computer : IEEE : 43. 2010, 5 : pp 28-63)
Link
 

Dagstuhl Seminar 09493, 02.12.09-04.12.09

Dagstuhl Manifesto : Evolving Critical Systems : pp. 105-107

Hinchey, Michael G.; Nuseibeh, Bashar; Fiadeiro, Jose Luiz. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 1 : pp. 105-107)
Link
 

Dagstuhl Seminar 09481, 22.11.09-27.11.09

What Is in a Step : New Perspectives on a Classical Question : article in LNCS 6200 : pp. 370-399

Roever, Willem-Paul de; Lüttgen, Gerald; Mendler, Michael V.. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6200 : pp. 370-399)
ISBN: 978-3-642-13753-2
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Questionnaire Management and DDIThe QDDS Case

Hopt, Oliver; Amin, Alerk; Gregory, Arofan; Jensen, Jannik Vestergaard; Kristiansen, Dan; Vardigan, Mary. - DDIAlliance.org, 2010. - 9 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Grouping of Survey Series Using DDI 3

Jensen, Uwe; Ionescu, Sanda; Kleemola, Mari; Martinez, Agostina; Thomas, Wendy; Vardigan, Mary; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2010. - 21 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Using DDI 3 for Comparison

Ionescu, Sanda; Hoyle, Larry; Kleemola, Mari; Mechtel, Martin; Olsson, Olof; Thomas, Wendy. - DDIAlliance.org, 2010. - 15 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Extracting Metadata From the Data Analysis Workflow = DDI 3

Hoyle, Larry; Wackerow, Joachim; Hopt, Oliver. - DDIAlliance.org, 2010. - 26 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

An Archive's Perspective on DDI 3

Kleemola, Mari; Edwards, Michelle; Ionescu, Sanda; Jensen, Uwe; Olsson, Olof; Thomas, Wendy; Risnes, Ornulf. - DDIAlliance.org, 2010. - 15 p. . - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Building a Modular DDI 3 Editor

Jensen, Jannik Vestergaard; Kristiansen, Dan; Amin, Alerk; Gregory, Arofan; Martinez, Agostina; Mechtel, Martin; Vardigan, Mary; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2010. - 13 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Event 09452, 01.11.09-06.11.09

Questasy : Documenting and Disseminating Longitudinal Data Online Using DDI 3

Amin, Alerk; Edwards, Michelle; Hopt, Oliver; Jensen, Jannik Vestergaard; Kristiansen, Dan. - DDIAlliance.org, 2010. - 11 pp.. - (DDI Use Case Literature)
Link
 

Dagstuhl Seminar 09441, 25.10.09-30.10.09

On the List-Decodability of Random Linear Codes : article : pp. 718-725

Guruswami, Venkatesan; Hastad, Johan; Kopparty, Swastik. - Piscataway : IEEE, 2011. - (IEEE transactions on information theory : 57. 2011, 2 : pp. 718-725)
Link
 

Dagstuhl Seminar 09402, 27.09.09-02.10.09

Machiavelli Confronts 21st Century Digital Technology : Democracy in a Network Society

Baer, Walter S.; Borisov, Nikita; Danezis, George; Dutton, William H.; Gürses, Seda F.; Klonowski, Marek; Kutylowski, Miroslaw; Maier-Rabler, Ursula; Moran, Tal; Pfitzmann, Andreas; Preneel, Bart; Sadeghi, Ahmad-Reza; Vedel, Thierry; Westen, Tracy; Zagors. - Oxford : Oxford Internet Institute, 2009
Link
 

Dagstuhl Seminar 09402, 27.09.09-02.10.09

Dagstuhl Manifesto : Democracy in a Network Society : pp. 326-329

Kutylowski, Miroslaw. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 3 : pp. 326-329)
Link
 

Dagstuhl Seminar 09391, 20.09.09-25.09.09

Dagstuhl 2009 : Special Issue : pp. 263-416

Müller-Gronbach, Thomas; Plaskota, Leszek; Schmid, Wolfgang Ch.. - Amsterdam : Elsevier, 2011. - (Journal of Complexity : 27. 2011, 3/4 : pp. 263-416)
Link
 

Dagstuhl Seminar 09302, 19.07.09-24.07.09

New Developments in the Visualization and Processing of Tensor Fields

Laidlaw, David H.; Vilanova, Anna. - Berlin : Springer, 2012. - XXI, 384 S.. - (Mathematics and visualization)
ISBN: 978-3-642-27342-1 / 3-642-27342-4
Link
 

Dagstuhl Seminar 09291, 12.07.09-17.07.09

Computers and Creativity

McCormack, Jon; d'Inverno, Mark. - Berlin : Springer, 2012. - XXIV, 430 S.
ISBN: 978-3-642-31726-2 / 3-642-31726-X
Link
 

Dagstuhl Seminar 09282, 05.07.09-08.07.09

Towards Hardware-Intrinsic Security : Foundations and Practice

Sadeghi, Ahmad-Reza; Naccache, David. - Berlin : Springer, 2010. - XVI, 407 S.. - (Information security and cryptography)
ISBN: 978-3-642-14451-6 / 3-642-14451-9
Link
 

Dagstuhl Seminar 09271, 28.06.09-03.07.09

Handbook of Semantic Web Technologies : Vol. 1: Foundations and Technologies ; Vol. 2: Semantic Web Applications

Domingue, John, Fensel, Dieter, Hendler, James A.. - Berlin : Springer, 2011. - (Springer References)
ISBN: 978-3-540-92912-3
Link
 

Dagstuhl Seminar 09271, 28.06.09-03.07.09

Dagstuhl Manifesto : Dagstuhl Perspectives Semantic Web Reflections and Future Directions : pp. 521 - 523 : article

Harth, Andreas; Studer, Rudi. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 5 : pp. 521-523)
Link
 

Dagstuhl Seminar 09251, 14.06.09-19.06.09

Scientific Visualization : Interactions, Features, Metaphors

Hagen, Hans. - Wadern : LZI, 2011. - VIII, 395 S. - (Dagstuhl Follow-Ups ; 2)
ISBN: 978-3-939897-26-2 / 3-939897-26-4
Link
 

Dagstuhl Event 09242, 07.06.09-10.06.09

Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs : 8. - 10. Juni 2009, Dagstuhl

Avanes, Artin; Fahland, Dirk; Geibig, Joanna; Haschemi, Siamak; Heglmeier, Sebastian; Sadilek, Daniel A.; Theisselmann, Falko; Wachsmuth, Guido; Weißleder, Stephan. - Berlin : GITO, 2009. - 227 S.
ISBN: 978-3-940019-73-8 / 3-940019-73-9
Link
 

Dagstuhl Event 09212, 17.05.09-20.05.09

Ausgezeichnete Informatikdissertationen 2008

Wagner, Dorothea; Bernstein, Abraham; Dreier, Thomas; Hölldobler, Steffen; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Neumann, Gustav; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra; Störrle, Harald. - Bonn : Gesellschaft für Informatik e.V., 2009. - 337 S.. - (Lecture notes in informatics / D ; 9)
ISBN: 978-3-88579-413-4 / 3-88579-413-6
Link
 

Dagstuhl Seminar 09211, 17.05.09-20.05.09

Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic : Article : pp. 232-236

Keim, Daniel A.; Pras, Aiko; Schönwälder, Jürgen; Wong, Pak Chung; Mansmann, Florian. - Berlin : Springer, 2010.. - (Journal of network and systems management ; 18. 2010, 2 : pp. 232-236)
Link
 

Dagstuhl Seminar 09201, 10.05.09-15.05.09

Towards a Holistic Approach to Fault Management : Wheels Within a Wheel : Book Chapter pp. 1-10 from : Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Goldszmidt, Moises; Malek, Miroslaw; Nadjm-Tehrani, Simin; Narasimhan, Priya; Salfner, Felix; Ward, Paul A.; Wilkes, John. - Hershey : IGI Global, 2011. - pp. 1-10
Link
 

Dagstuhl Event 09173, 22.04.09-24.04.09

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme : Tagungsband : Model-based Development of Embedded Systems : 22. - 24.04.2009 = MBEES 2009

Giese, Holger; Huhn, Michaela; Nickel, Ulrich; Schätz, Bernhard. - Braunschweig : TU, 2009. - 193 S.. - (Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering : 2009-01)
Link
 

Dagstuhl Seminar 09162, 14.04.09-17.04.09

Future Internet : Das Internet der Zukunft : Themenheft : S. 106-194

Braun, Torsten. - Heidelberg : Springer, 2010. - (Informatik Spektrum : 33. 2010, Heft 2 : S. 106-194)
Link
 

Dagstuhl Seminar 09161, 13.04.09-17.04.09

Research and development in geo-information generalisation and multiple representation : article

Oosterom, Peter van. - Amsterdam : Elsevier, 2009. - (Computers, Environment and Urban Systems ; 33. 2009, 5 : pp. 303-310)
Link
 

Dagstuhl Seminar 09142, 31.03.09-03.04.09

Reaching Out to the Media : Become a Computer Science Ambassador : article : pp. 113-116

Rosamond, Frances A.; Bardohl, Roswitha; Diehl, Stephan; Geisler, Uwe; Bolduan, Gordon; Lessmöllmann, Annette; Schwill, Andreas; Stege, Ulrike. - New York : ACM, 2010. - (Communications of the ACM : 54. 2011, 3 : pp. 113-116
Link
 

Dagstuhl Seminar 09142, 31.03.09-03.04.09

Preventing the Brainware Crisis : Dagstuhl Manifesto : pp. 324 - 326

Diehl, Stephan; Fellows, Michael R.; Hartmann, Werner; Stege, Ulrike. - Heidelberg : Springer, 2010. - (Informatik Spektrum : 33. 2010, 3 : pp. 324 - 326)
Link
 

Dagstuhl Seminar 09131, 22.03.09-27.03.09

Grids and Service-Oriented Architectures for Service Level Agreements

Wieder, Philipp; Yahyapour, Ramin; Ziegler, Wolfgang. - Berlin : Springer, 2010. - XVI, 176 S.. - (CoreGrid)
ISBN: 978-1-4419-7319-1 / 1-4419-7319-2
Link
 

Dagstuhl Seminar 09121, 15.03.09-20.03.09

Normative Multi-agent Systems 2009 : Special Issue : pp. 307-444

Boella, Guido; Noriega, Pablo; Pigozzi, Gabriella; Verhagen, Harko. - Oxford : Oxford University Press, 2013. - (Journal of logic and computation : 23. 2013, 3)
Link
 

Dagstuhl Seminar 09091, 22.02.09-27.02.09

Special Issue on Modeling Methodologies : Transactions on computational systems biology XIII

Breitling, Rainer; Gilbert, David; Heiner, Monika; Uhrmacher, Adelinde M.. - Berlin : Springer, 2010. - VI, 262 S.. - (Lecture notes in bioinformatics : subseries of Lecture notes in computer science : Journal Subline ; 5945)
ISBN: 978-3-642-11711-4
Link
 

Dagstuhl Seminar 09082, 15.02.09-20.02.09

Perspectives on grid computing : article : pp. 1104-1115

Schwiegelshohn, Uwe; Badia, Rosa M.; Bubak, Marian; Danuletto, Marco; Dustdar, Schahram; Gagliardi, Fabrizio; Geiger, Alfred; Hluchy, Ladislav; Kranzlmüller, Dieter; Laure, Erwin; Priol, Thierry; Reinefeld, Alexander; Resch, Michael M.; Reuter, Andreas; Rienhoff, Otto; Rüter, Thomas; Sloot, Peter M. A.; Talia, Domenico; Ullmann, Klaus; Yahyapour, Ramin; Voigt, Gabriele von. - Amsterdam : Elsevier, 2010. - (Future generation computer systems : 26. 2010, 8 : pp. 1104-1115)
Link
 

Dagstuhl Seminar 09082, 15.02.09-20.02.09

Dagstuhl Manifesto : Perspectives in Grid Computing : pp. 220-221

Schwiegelshohn, Uwe. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 2 : pp. 220-221)
Link
 

Dagstuhl Seminar 09061, 01.02.09-06.02.09

Combinatorial Scientific Computing

Naumann, Uwe; Schenk, Olaf. - Boca Raton : CRC Press, 2012. - XXIII, 568 S.. - (Chapman and Hall / CRC computational science series)
ISBN: 978-1-4398-2735-2 / 1-4398-2735-4
Link
 

Dagstuhl Seminar 09052, 27.01.09-30.01.09

A Discussion of Socio-economic Management and Incentives for the Future Internet : article in 2009 IEEE GLOBECOM workshops : pp. 1-6

Stiller, Burkhard; Hausheer, David; Hoßfeld, Tobias; Liotta, Antonio; Spirou, Spiros; Waldburger, Martin. - New York : IEEE Press, 2009.. - (IEEE GLOBECOM workshops 2009, ISBN 978-1-4244-5626-0)
Link
 

Dagstuhl Seminar 09031, 11.01.09-16.01.09

Cryptanalysis of Dynamic SHA(2) : article in LNCS 5867

Aumasson, Jean-Philippe; Dunkelman, Orr; Indesteege, Sebastiaan; Preneel, Bart. - Berlin : Springer, 2009. - (Lecture notes in computer science : 5867 ; pp. 415 - 432)
Link
 

Dagstuhl Seminar 09021, 04.01.09-07.01.09

Software service engineering : tenets and challenges : article in PESOS 2009

Heuvel, Willem-Jan van den; Zimmermann, Olaf; Leymann, Frank; Lago, Patricia; Schieferdecker, Ina; Zdun, Uwe; Avgeriou, Paris. - New York : IEEE Press, 2009. - pp. 26-33. - (ICSE Workshop on principles of engineering service oriented systems <2009, Vancouver>
ISBN: 978-1-4244-3716-0
Link