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 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