Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar 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 Contribution 2002

The origins and the development of the ASM method for high level system design analysis : article : S. 2-74

Börger, Egon. - Berlin : Springer, 2002. - Journal of universal computer science : 8. 2002, 1 : S. 2-74
Link
 

Dagstuhl Event 02503, 09.12.02-11.12.02

Validation of stochastic systems : a guide to current research : Dagstuhl workshop, December 8 - 11, 2002

Baier, Christel; Haverkort, Boudewijn R. H. M.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus. - Berlin : Springer, 2004. - VIII, 465 S. - (Lecture notes in computer science / tutorial ; 2925)
ISBN: 3-540-22265-0
Link
 

Dagstuhl Event 02502, 09.12.02-11.12.02

Intelligent search on XML data : applications, languages, models, implementations, and benchmarks

Blanken, Henk M.; Grabs, Torsten; Schek, Hans-Jörg; Schenkel, Ralf; Weikum, Gerhard. - Berlin : Springer, 2003. - XVII, 319 S. - (Lecture notes in computer science : 2818)
ISBN: 3-540-40768-5
Link
 

Dagstuhl Event 02502, 09.12.02-11.12.02

Focused information access using XML element retrieval. - Zugl.: Amsterdam, Universiteit, Diss., 2006. - (based on Dagstuhl INEX workshops 2002-2005: 02502, 03512, 04502, 05482)

Sigurbjörnsson, Börkur. - Amsterdam : Universiteit, 2006. - XIV, 211 S.
ISBN: 90-9021317-1
Link
 

Dagstuhl Seminar 02481, 24.11.02-29.11.02

Logic-based agent implementation : special issue

Dix, Jürgen; Fisher, Michael; Levesque, Hector J.; Sterling, Leon S. - Bussum : Baltzer, 2004. - (Annals of mathematics and artificial intelligence : 41. 2004, 2/4, S. 131 - 401)
Link
 

Dagstuhl Seminar 02471, 17.11.02-22.11.02

Group testing with DNA chips : article : generating designs and decoding experiments S. 1-8

Alexander Schliep ; David C. Torney ; Sven Rahmann. - Piscataway : IEEE, 2003. - (Proceedings of the 2003 IEEE bioinformatics conference : S. 1-8)
ISBN: 0-7695-2000-6
 

Dagstuhl Seminar 02401, 29.09.02-04.10.02

Festschrift for the 70th birthday of Joseph F. Traub

Niederreiter, Harald; Plaskota, Leszek; Ritter, Klaus . - Boston : Academic Press, 2005. - (Journal of complexity : 20. 2005, 5, S. 591-806)
Link
 

Dagstuhl Seminar 02381, 15.09.02-20.09.02

Towards systematic benchmarking in answer set programming : S. 3-7

Borchert, Paul; Anger, Christian; Schaub, Torsten H.; Truszczynski, Miroslaw. - Berlin : Springer, 2004. - (Lecture notes in artificial intelligence : 2923 : S. 3-7)
Link
 

Dagstuhl Seminar 02381, 15.09.02-20.09.02

ASPARAGUS, the Dagstuhl Initiative : article

Anger, Christian; Schaub, Thorsten H.; Truszczynski, Miroslaw. - Leuven : ALP, 2004. - 1 S.. - (ALP newsletter ; 17. 2004, 3)
Link
 

Dagstuhl Seminar 02351, 25.08.02-30.08.02

Looking into the Future of Air Transportation Modeling and Simulation : article : pp. 373-384

Wieland, Frederick; Pritchett, Amy R.. - Thousand Oaks : Sage Science Press, 2007. - (Simulation : 83. 2007, 5)
Link
 

Dagstuhl Seminar 02351, 25.08.02-30.08.02

Special issue on grand challenges for modeling and simulation

Page, Ernest H.; Lunceford, Wendell H. - Thousand Oaks : Sage Science Press, 2004. - (Simulation : 80. 2004, 9, S. 419-476)
Link
 

Dagstuhl Seminar 02341, 18.08.02-23.08.02

Performance analysis and grid computing : selected articles from the workshop on performance analysis and distributed computing, August 19 -23, 2002, Dagstuhl, Germany

Getov, Vladimir S.; Gerndt, Michael; Hoisie, Aldolfy; Malony, Allen D.; Miller, Barton P. - Boston : Kluwer, 2004. - XV, 290 S.
ISBN: 1-4020-7693-2
Link
 

Dagstuhl Event 02322, 07.08.02-14.08.02

The first summer school on ubiquitous and pervasive computing : special issue

Beresford, Alastair; Kiss Kalló Csaba; Kretschmer, Ursula; Mattern, Friedemann; Muehlenbrock, Martin. - Los Alamitos : IEEE, 2003. - (IEEE pervasive computing : 2. 2003,1, S. 84-88)
Link
 

Dagstuhl Seminar 02291, 14.07.02-19.07.02

Perspectives on aesthetic computing : article : S. 133-141

Fishwick, Paul A.; Diehl, Stephan; Prophet, Jane; Löwgren, Jonas. - Cambridge : MIT Pr., 2005. - (Leonardo : journal of the International Society for the Arts, Sciences and Technology ; 38. 2005, 2)
Link
 

Dagstuhl Seminar 02291, 14.07.02-19.07.02

The Stone Age of the Digital Arts : article : pp. 463-465

Malina, Roger F.. - Cambridge : MIT Pr., 2002. - (Leonardo ; 35. 2002, 5 : pp. 463-465)
Link   doi:http://dx.doi.org/10.1162/002409402320774286
 

Dagstuhl Seminar 02291, 14.07.02-19.07.02

Aesthetic computing

Fishwick, Paul A.. - Cambridge : MIT Press, 2006. - 457 S.
ISBN: 0-262-06250-X
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

Special issue on mathematics of program construction = MPC 2002

Boiten, Eerke A.; Möller, Bernhard. - Amsterdam : Elsevier, 2004. - (Science of computer programming : 51. 2004, 1/2,S. 1-195)
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

Proceedings of the third international workshop on constructive methods for parallel programming : CMPP 2002, Schloß Dagstuhl, July, 10, 2002 : special issue

Gorlatch, Sergei ; Lengauer, Christian. - Singapore : World Scientific, 2002. - (Parallel processing letters : 12. 2002, 2,S. 137-284)
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

Generic programming : IFIP TC 2 / WG 2.1 working conference on generic programming, July 11 - 12, 2002, Dagstuhl, Germany

Gibbons, Jeremy ; Jeuring, Johan. - Boston : Kluwer, 2003. - 242 S. - (IFIP : 115)
ISBN: 1-4020-7374-7 / 978-1-4020-7374-8
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002, proceedings

Boiten, Eerke A.; Möller, Bernhard. - Berlin : Springer, 2002. - X, 262 S. - (Lecture notes in computer science; 2386)
ISBN: 3-540-43857-2
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

International workshop in types in programming 2002 : TIP 02 : special issue : Dagstuhl, Germany, 8 July 2002 : S. 1-115

Barthe, Gilles; Thiemann, Peter. - Amsterdam : Elsevier, 2003. - (Electronic notes in theoretical computer science : 75. 2003)
Link
 

Dagstuhl Event 02282, 08.07.02-13.07.02

3rd international workshop on constructive methods for parallel programming : July 10, 2002, Schloß Dagstuhl, Germany, = CMPP 2002

Gorlatch, Sergei; Lengauer, Christian. - Berlin : Techn. Univ., 2002. - 129 S. - (Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik : 2002/07)
 

Dagstuhl Seminar 02241, 09.06.02-14.06.02

Combinatorial auctions

Cramton, Peter; Shoham, Yoav; Steinberg, Richard. - Cambridge : MIT Pr., 2006. - 649 S.
ISBN: 0-262-03342-9
Link
 

Dagstuhl Seminar 02241, 09.06.02-14.06.02

Convergence to perfect competition of a dynamic matching and bargaining market with two-sided incomplete information and exogenous exit rate : article : pp. 435-467

Satterthwaite, Mark; Shneyerov, Artyom. - Amsterdam : Elsevier, 2008. - pp. 435-467. - (Games and Economic Behavior ; 63. 2008, 2)
Link
 

Dagstuhl Seminar 02231, 02.06.02-07.06.02

Recent advances in scheduling in computer and manufacturing systems : special issue : S. 573-859

Blazewicz, Jacek; Ecker, Klaus H.; Trystram, Denis. - Amsterdam : Elsevier, 2005. - (European journal of operational research ; 164. 2005, 3 : S. 573-859)
Link
 

Dagstuhl Seminar 02221, 26.05.02-31.05.02

Cocompactness and quasi-uniformizability of completely metrizable spaces : article : S. 89 - 95

Künzi, Hans-Peter Albert. - Amsterdam : Elsevier, 2003. - (Topology and its applications ; 133. 2003, S. 89 - 95)
Link
 

Dagstuhl Seminar 02221, 26.05.02-31.05.02

Components of the fundamental category : article S. 81-108

Fajstrup, Lisbeth; Raussen, Martin; Haucourt, Emmanuel. - Berlin : Springer, 2004. - (Applied categorical structures : 12. 2004, S. 81-108)
 

Dagstuhl Seminar 02201, 12.05.02-17.05.02

Geometric modelling : Dagstuhl 2002

Hahmann, Stefanie; Brunnett, Guido; Farin, Gerald; Goldman, Ronald N. - Wien : Springer, 2004, S. 1-246. - (Computing : 72. 2004, 1/2)
ISBN: ISBN 3-211-20818-6
Link
 

Dagstuhl Seminar 02151, 07.04.02-12.04.02

Geometry, morphology, and computational imaging : 11th international workshop on theoretical foundations of computer vision, Dagstuhl Castle, Germany, April 7 - 12, 2002, revised papers

Asano, Tetsuo ; Klette, Reinhard ; Ronse, Christian. - Berlin : Springer, 2003. - X, 436 S. - (Lecture notes in computer science ; 2616)
ISBN: 3-540-00916-7
Link
 

Dagstuhl Seminar 02151, 07.04.02-12.04.02

Linear time algorithm for approximating a curve by a single-peaked curve : article : S. 103-115

Chun, Jinhee; Sadakane, Kunihiko; Tokuyama, Takeshi. - Berlin : Springer, 2006. - (Algorithmica : 44. 2006, 2 : S. 103-112)
Link   doi:10.1007/s00453-005-1201-y
 

Dagstuhl Seminar 02121, 17.03.02-22.03.02

Power from random strings : result from the collaboration at the Dagstuhl Seminar 02121 : article S. 669-678

Allender, Eric; Buhrman, Harry; Koucky, Michal; Melkebeek, Dieter van; Ronneburger, Detlef. - Piscataway, IEEE, 2002. - (The 43rd annual IEEE symposium on foundations of computer science, S. 669-678)
Link
 

Dagstuhl Event 02112, 10.03.02-14.03.02

Algorithms for memory hierarchies : advanced lectures

Meyer, Ulrich ; Sanders, Peter ; Sibeyn, Jop. - Berlin : Springer, 2003. - XVII, 428 S. - (Lecture notes in computer science : 2625)
ISBN: 3-540-00883-7
Link
 

Dagstuhl Seminar 02081, 17.02.02-22.02.02

The liar game over an arbitrary channel : article : S. 537-559

Dumitriu, Ioana; Spencer, Joel H.. - Berlin : Springer, 2005. - (Combinatorica : 25. 2005, 5 : S. 537 - 559)
Link   doi:10.1007/s00493-005-0033-3
 

Dagstuhl Seminar 02081, 17.02.02-22.02.02

Error propagation in game trees : article : S. 79-93

Doerr, Benjamin; Lorenz, Ulf. - Berlin : Springer, 2006. - (Mathematical methods of operations research ; 64. 2006, 1, S. 79-93)
Link
 

Dagstuhl Seminar 02081, 17.02.02-22.02.02

It is tough to be a plumber : article : S. 473-484

Kral, Daniel; Majerech, Vladan; Tichy, Tomas; Woeginger, Gerhard J.. - Amsterdam : Elsevier, 2004. - (Theoretical computer science : 313. 2004, 3 : S. 473-484)
Link   doi:doi:10.1016/j.tcs.2002.12.002
 

Dagstuhl Seminar 02081, 17.02.02-22.02.02

Algorithmic combinatorial game theory : special issue

Fleischer, Rudolf H.; Nowakowski, Richard J. - Amsterdam : Elsevier, 2004. - (Theoretical computer science : 313. 2004, 3, S. 313-546)
Link
 

Dagstuhl Seminar 02081, 17.02.02-22.02.02

Open problems at the 2002 Dagstuhl seminar on algorithmic combinatorial game theory : appendix B : article : S. 539 - 543

Demaine, Erik D.; Fleischer, Rudolf H.; Fraenkel, Aviezri S.; Nowakowski, Richard J.. - Amsterdam : Elsevier, 2004. - (Theoretical computer science : 313. 2004, 3 : S. 539-543)
Link
 

Dagstuhl Event 02072, 11.02.02-15.02.02

Interpolating an unlimited number of curves meeting at extraordinary points on subdivision surfaces : article : S. 87-97

Nasri, Ahmad. - Oxford : Blackwell, 2003. - (Computer graphics forum : 22. 2003, 1 : S. 87-97)
Link   doi:10.1111/1467-8659.t01-1-00648
 

Dagstuhl Event 02072, 11.02.02-15.02.02

Quad / triangle subdivision : article : S. 79-85

Stam, Jos; Loop, Charles. - Oxford : Blackwell, 2003. - (Computer graphics forum : 22. 2003, 1 : S. 79-85)
Link   doi:10.1111/1467-8659.t01-2-00647
 

Dagstuhl Event 02072, 11.02.02-15.02.02

On the optimality of Valence-based connectivity coding : article : S. 99-102

Gotsman, Craig; Rhyne, Theresa-Marie. - Oxford : Blackwell, 2003. - (Computer graphics forum : 22. 2003, 1 : S. 99-102)
Link   doi:10.1111/1467-8659.t01-1-00649
 

Dagstuhl Seminar 02041, 20.01.02-25.01.02

Special Issue Towards a Logic of Rational Agency : pp. 133-284

Hoek, Wiebe van der; Wooldridge, Michael J.. - Oxford : Oxford University Press, 2003. - (Logic journal of the IGPL : 12. 2003, 2)
Link