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 Event 01473, 23.11.01-26.11.01

17th EuroForth conference : 23 - 26 November 2001, Schloss Dagstuhl, Saarbrücken, Germany

Stoddard, Bill. - Middlesbrough : University of Teesside, 2001. - 143 S.
ISBN: 0-907550-97-6
Link
 

Dagstuhl Seminar 01461, 11.11.01-16.11.01

Selected papers of the Dagstuhl seminar on computability and complexity in analysis 2001 : special issue

Brattka, Vasco; Hertling, Peter; Yasugi, Mariko; Zhong, Ning. - Weinheim : Wiley-VCH, 2002. - (Mathematical logic quarterly : 48. 2002, Supplement 1, S. 1-181)
Link
 

Dagstuhl Seminar 01441, 28.10.01-02.11.01

Artikel über das Dagstuhl-Seminar 01441 "Multimodal resources and multimodal systems evaluation"

Kipp, Michael. - Tübingen : Stauffenburg Verlag, 2001. - (Zeitschrift für Semiotik ; 23. 2001, H. 3/4 : S. 451-452)
 

Dagstuhl Seminar 01431, 21.10.01-26.10.01

Advances in plan-based control of robotics agents : international seminar, Dagstuhl Castle, Germany, October 21 - 26, 2001, revised papers

Beetz, Michael; Hertzberg, Joachim; Ghallab, Malik; Pollack, Martha E. - Heidelberg : Springer, 2002. - VIII, 289 S. - (Lecture Notes in artificial intelligence : 2466)
ISBN: 3-540-00168-9
Link
 

Dagstuhl Seminar 01421, 14.10.01-19.10.01

Algebra, geometry, and software systems

Joswig, Michael; Takayama, Nobuki. - Berlin : Springer, 2003. - XIII, 329 S.
ISBN: 3-540-00256-1
Link
 

Dagstuhl Seminar 01411, 07.10.01-12.10.01

Proof theory in computer science : international seminar, Dagstuhl Castle, Germany, October 7 - 12, 2001, proceedings = PTCS 2001

Kahle, Reinhard; Schroeder-Heister, Peter; Stärk, Robert. - Heidelberg : Springer, 2001. - VIII, 238 S. - (Lecture notes in computer science; 2183)
ISBN: 3-540-42752-X
Link
 

Dagstuhl Event 01352, 27.08.01-31.08.01

Materialien zur Sommerschule Information Retrieval 2001, Schloss Dagstuhl = IR 01

Rittberger, Marc; Herb, Marion. - Bonn : GI Fachgruppe Information Retrieval, 2001. - 1 CD-ROM
 

Dagstuhl Event 01349, 20.08.01-17.09.01

A modular calculus for the average cost of data structuring

Schellekens, Michel P.. - Berlin : Springer, 2008. - XXIV, 246 S.
ISBN: 978-0-387-73383-8 / 0-387-73383-3
Link
 

Dagstuhl Seminar 01341, 19.08.01-24.08.01

Dependable type theory meets practical programming : special issue

Barthe, Gilles; Dybjer, Peter; Thiemann, Peter. - Cambridge : Cambridge University Press, 2004. - (Journal of functional programming : 14. 2004, 1,S. 1-128)
Link
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

Dagstuhl seminar 'Functional genomics' : special issue

Hofestädt, Ralf; Kolchanov, Nikolay; Reinitz, John. - Amsterdam : IOS Press, 2002. - (In silico biology : 2. 2002, 2,S. 35-164)
Link
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

3rd Dagstuhl seminar for information and simulation for the analysis of gene regulation and metabolic pathways : June 24 - 29, 2001, Schloss Dagstuhl

Hofestädt, Ralf; Kolchanov, Nikolay; Reinitz, John; Stephanik, Andreas. - Magdeburg : Universität, 2001. - 38 S. - (Preprint / Fakultät für Informatik / Universität Magdeburg : 22/2001)
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

Gene regulation and metabolism : postgenomic computational approaches

Collado-Vides, Julio; Hofestädt, Ralf. - Cambridge : MIT Press, 200 2. - X, 310 S.
ISBN: 0-262-03297-X
Link
 

Dagstuhl Seminar 01242, 10.06.01-15.06.01

Combined correlated and importance sampling in direct light source computation and environment mapping : article : S. 585-593

Szecsi, Laszlo; Sbert, Mateu; Szirmay-Kalos, Laszlo. - Oxford : Blackwell, 2004. - (Computer graphics forum : 23. 2004, 3 : S. 585-593)
Link   doi:10.1111/j.1467-8659.2004.00790.x
 

Dagstuhl Seminar 01211, 20.05.01-25.05.01

Software visualization in software maintenance, reverse engineering, and re-engineering : a research survey : article

Koschke, Rainer. - Chichester : Wiley, 2002. - (Journal of software maintenance and evolution : 15. 2003, 2 : S. 87-109)
Link
 

Dagstuhl Seminar 01211, 20.05.01-25.05.01

Software visualization : international seminar, Dagstuhl Castle, Germany, May 20 - 25, 2001 : revised papers

Diehl, Stephan. - Heidelberg : Springer, 2002. - VIII, 403 S. - (Lecture notes in computer science; 2269)
ISBN: 3-540-43323-6
Link
 

Dagstuhl Seminar 01161, 16.04.01-20.04.01

Software product lines : special issue

MacGregor, John D.; Northrop, Linda M.; Jarrad, Salah; Pohl, Klaus. - Los Alamitos : IEEE, 2002. - (IEEE software : 19. 2002, 4, S. 1-136)
Link
 

Dagstuhl Seminar 01141, 01.04.01-06.04.01

Semantic foundations of proof-search : special issue : pp. 633 - 800

Pym, David J.. - Oxford : Oxford University Press, 2003. - (Journal of logic and computation : 13. 2003, 5)
Link
 

Dagstuhl Event 01082, 19.02.01-23.02.01

Automata, logics, and infinite games : a guide to current research

Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas. - Berlin : Springer, 2002. - VIII, 385 S. - (Lecture notes in computer science ; 2500)
ISBN: 3-540-00388-6
Link
 

Dagstuhl Seminar 01041, 21.01.01-26.01.01

Report from the Dagstuhl seminar on interoperabiblity of reengineering tools : article in ninth international workshop on program comprehension (IWPC 01) : S. 119

Lethbridge, Timothy C.. - Los Alamitos : IEEE, 2001. - (International workshop on program comprehension : 9. 2001, S. 119)
Link
 

Dagstuhl Seminar 01041, 21.01.01-26.01.01

The Dagstuhl middle metamodel : a schema for reverse engineering : article in "ateM 2003" : International on meta-models and schemas for reverse engineering, Victoria, Canada, 2003 : S. 7-18

Lethbridge, Timothy C.; Tichelaar, Sander; Plödereder, Erhard. - Amsterdam : Elsevier, 2004. - (Electronic notes in theoretical computer science : 94. 2007 : S. 7-18)
Link   doi:10.1016/j.entcs.2004.01.008
 

Dagstuhl Seminar 01021, 07.01.01-12.01.01

Semantics in databases : second international workshop, Dagstuhl Castle, Germany, January 7 - 12, 2001, revised papers

Bertossi, Leopoldo ; Katona, Gyula O. H. ; Schewe, Klaus-Dieter ; Thalheim, Bernhard. - Berlin : Springer, 2003. - 228 S. - (Lecture notes in computer science ; 2582)
ISBN: 3-540-00957-4
Link