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 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 Specials Alle
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 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 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 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 | |
| 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 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 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 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 | |
| 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 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 | |
| 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 | |
| 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 | |
| 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 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 | |
| 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 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 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 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 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 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 | |
| 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 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 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 | |
2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 Specials Alle