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 95432, 27.10.95-30.10.95

11th euroFORTH conference on FORTH programming language and FORTH processors : October 27 - 29th, 1995 : International Center for Informatics, Dagstuhl Castle, Germany : programme handbook. - Dagstuhl, 1995

 

Dagstuhl Seminar 9543, 23.10.95-27.10.95

Modeling and simulation of metabolic pathways, gene regulation and cell differentiation : October 22 - 27, 1995, International Conference and Research Center for Computer Science, Schloss Dagstuhl, Saarland, Germany

Hofestädt, Ralf; Mavrovouniotis, Michael L.; Collado-Vides, Julio; Löffler, Markus. - ICSU Press, 1996. - (BioEssays : 18. 1996, 4, S. 333-335)
 

Dagstuhl Seminar 9540, 02.10.95-06.10.95

Environmental modelling and simulation : special issue = Dagstuhl seminar on modelling and simulation of complex environmental problems

Carmichael, Greg R.; Korn, Granino A.; Sydow, Achim. - Amsterdam : Gordon and Breach, 1996. - (Systems analysis modelling simulation : 25. 1996, 2/4, S. 75-314)
 

Dagstuhl Seminar 9540, 02.10.95-06.10.95

Simulation in the Service of Society : article : pp. 194-200

McLeod, Dennis; McLeod, Suzette. - Thousand Oaks : Sage Science Press, 1996. - (Simulation : 66. 1996, 3)
Link
 

Dagstuhl Seminar 9539, 25.09.95-29.09.95

Applied probability modelling in telecommunication : Dagstuhl workshop

Tran-Gia, Phuoc; Latouche, Guy; Herzog, Ulrich. - Amsterdam : Elsevier, 1997. - (Performance evaluation : 30. 1997, 1/2, S. 1-114)
 

Dagstuhl Seminar 9538, 18.09.95-22.09.95

Computing surveys symposium on models of programming languages and computation : special issue

Hankin, Chris; Riis Nielson, Hanne. - New York : ACM, 1996. - (ACM computing surveys : 28. 1996, 2, S. 289-436)
Link
 

Dagstuhl Seminar 9536, 04.09.95-08.09.95

CAD systems development : tools and methods

Roller, Dieter; Brunet, Pere. - Berlin : Springer, 1997. - X, 362 S.
ISBN: 3-540-62535-6
 

Dagstuhl Seminar 9529, 17.07.95-21.07.95

Logics for databases and information systems

Chomicki, Jan; Saake, Gunter. - Boston : Kluwer, 1998. - XIII, 430 S. - (The Kluwer International Series in Engineering and Computer Science; 436)
ISBN: 0-7923-8129-7
Link
 

Dagstuhl Seminar 9527, 03.07.95-07.07.95

Average-case analysis of algorithms : special issue

Flajolet, Philippe ; Szpankowski, Wojciech. - New York : Wiley, 1997. - (Random structures and algorithms : 10. 1997, 1/2, S. 1-303)
Link
 

Dagstuhl Seminar 9525, 19.06.95-23.06.95

High-speed networking for multimedia applications

Effelsberg, Wolfgang; Spaniol, Otto; Danthine, Andre; Ferrari, Domenico. - Boston : Kluwer, 1996. - XII, 389 S.
ISBN: 0-7923-9681-2
Link
 

Dagstuhl Seminar 9523, 05.06.95-09.06.95

Formal methods for industrial applications : specifying and programming the steam boiler control

Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans. - Berlin : Springer, 1996. - VIII, 509 S. + 1 CD-ROM. - (Lecture notes in computer science; 1165)
ISBN: 3-540-61929-1
Link
 

Dagstuhl Seminar 9523, 05.06.95-09.06.95

Modeling complex systems in the situation calculus : a case study using the Dagstuhl steam boiler problem : article in KR 96 : S. 26-39

Kelley, Todd G.. - Orlando : Morgan Kaufmann, 1996. - (Principles of knowledge representation and reasoning 1996 : S. 26-39)
Link
 

Dagstuhl Seminar 9523, 05.06.95-09.06.95

Case study : the steam-boiler control system : article S. 155-190

Michel Bidoit ; Peter D. Mosses. - Berlin : Springer, 2003. - (Lecture notes in computer science : tutorial ; 2900 : S. 155-190)
ISBN: 3-540-20766-X
Link   doi:10.1007/b11968
 

Dagstuhl Seminar 9520, 15.05.95-19.05.95

Scheduling computer and manufacturing processes

Blazewicz, Jacek; Ecker, Klaus H.; Pesch, Erwin; Schmidt, Günter; Weglarz, Jan. - Berlin : Springer, 1996. - X, 491 S.
ISBN: 3-540-61496-6
 

Dagstuhl Seminar 9520, 15.05.95-19.05.95

Scheduling in computer and manufacturing systems : feature issue : Dagstuhl seminar, May 15 - 20, 1995.

Blazewicz, Jacek; Ecker, Klaus H.; Weglarz, Jan. - Amsterdam : North Holland, 1996. - (European journal of operational research ; 94, 1996, 2, S. 213-320)
 

Dagstuhl Seminar 9518, 01.05.95-05.05.95

Social science microsimulation

Troitzsch, Klaus G.; Mueller, Ulrich; Gilbert, G. Nigel; Doran, Jim E. - Berlin : Springer, 1996. - XII, 471 S.
ISBN: 3-540-61572-5
Link
 

Dagstuhl Event 95172, 24.04.95-26.04.95

Integration von Umweltdaten : 3. Workshop, Schloß Dagstuhl 1995

Reiner Güttler; Werner Geiger. - Marburg : Metropolis-Verlag, 1996. - 191 S. - (Umwelt-Informatik aktuell; 11)
ISBN: 3-89518-121-8
 

Dagstuhl Seminar 9514, 03.04.95-07.04.95

Object orientation with parallelism and persistence

Freitag, Burkhard; Jones, Clifford B.; Lengauer, Christian; Schek, Hans-Jörg. - Boston : Kluwer, 1996. - XIV, 233 S. - (The Kluwer International Series in Engineering and Computer Science; 370)
ISBN: 0-7923-9770-3
Link
 

Dagstuhl Event 95122, 21.03.95-21.03.95

Informatik-Impulse : Forum Perspektiven der Informatik

Wilhelm, Reinhard. - Dagstuhl : IBFI, 1995. - 32 S.
 

Dagstuhl Seminar 9509, 27.02.95-03.03.95

The ProCoS approach to correct systems : article : S. 253-275

Langmaack, Hans. - Boston : Kluwer, 1997. - (Real-time systems : 13. 1997, 3 : S. 253-275)
Link   doi:10.1023/A:1007963427189
 

Dagstuhl Seminar 9509, 27.02.95-03.03.95

Safety-critical real-time systems

Krämer, Bernd J.; Völker, Norbert. - Boston : Kluwer, 1997. - 90 S. - (Real-time systems : 13. 1997, 3, S. 217-302)
ISBN: 0-7923-8022-3
Link
 

Dagstuhl Seminar 9509, 27.02.95-03.03.95

High integrity programmable electronic systems : Dagstuhl workshop

Bernd J. Krämer. - Oxford : Oxford University Press, 1996. - (High integrity systems : 1. 1996, 6,S. 497-574)
 

Dagstuhl Seminar 9508, 20.02.95-24.02.95

Summary of the Dagstuhl workshop on future directions in software engineering : article pp. 63-83

Garlan, David; Tichy, Walter F.; Paulisch, Frances. - New York : ACM, 1995. - (Software engineering notes SIGSOFT : 20. 1995, 3)
Link