Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar oder eine Dagstuhl-Veranstaltung so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte informieren Sie uns über solche Publikationen.

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


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