Publications Resulting from Dagstuhl Seminars
2008
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowinski (Eds.):
Multiobjective Optimization, Interactive and Evolutionary Approaches [outcome of Dagstuhl seminars]. .
Lecture Notes in Computer Science 5252 Springer 2008, ISBN 978-3-540-88907-6
Contents BibTeX
Reliable Implementation of Real Number Algorithms
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.):
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers.
Lecture Notes in Computer Science 5045 Springer 2008, ISBN 978-3-540-85520-0
Contents BibTeX
Complexity of Constraints
Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (Eds.):
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar].
Lecture Notes in Computer Science 5250 Springer 2008, ISBN 978-3-540-92799-0
Contents BibTeX
2007
Algorithms for Sensor and Ad Hoc Networks
Dorothea Wagner, Roger Wattenhofer (Eds.):
Algorithms for Sensor and Ad Hoc Networks, Advanced Lectures [result from a Dagstuhl seminar].
Lecture Notes in Computer Science 4621 Springer 2007, ISBN 978-3-540-74990-5
Contents BibTeX
Common Component Modeling Example
Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (Eds.):
The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007].
Lecture Notes in Computer Science 5153 Springer 2008, ISBN 978-3-540-85288-9
Contents BibTeX
Norbert Fuhr, Jaap Kamps, Mounia Lalmas, Andrew Trotman (Eds.):
Focused Access to XML Documents, 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers.
Lecture Notes in Computer Science 4862 Springer 2008, ISBN 978-3-540-85901-7
Contents BibTeX
2006
Negotiation, Auctions, and Market Engineering 2006
Henner Gimpel, Nicholas R. Jennings, Gregory E. Kersten, Axel Ockenfels, Christof Weinhardt (Eds.):
Negotiation, Auctions, and Market Engineering, International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers.
Lecture Notes in Business Information Processing 2 Springer 2008, ISBN 978-3-540-77553-9
Contents BibTeX
Empirical Software Engineering Issues 2006
Victor R. Basili, H. Dieter Rombach, Kurt Schneider, Barbara A. Kitchenham, Dietmar Pfahl, Richard W. Selby (Eds.):
Empirical Software Engineering Issues. Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers.
Lecture Notes in Computer Science 4336 Springer 2007, ISBN 978-3-540-71300-5
Contents BibTeX
Human-Centered Visualization Environments 2006
Andreas Kerren, Achim Ebert, Jörg Meyer (Eds.):
Human-Centered Visualization Environments, GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures.
Lecture Notes in Computer Science 4417 Springer 2007, ISBN 978-3-540-71948-9
Contents BibTeX
NSPW
Christian Hempelmann, Victor Raskin (Eds.):
Proceedings of the New Security Paradigms Workshop 2006, Schloss Dagstuhl, Germany, September 19-22, 2006.
ACM 2007, ISBN 978-1-59593-857-2
Contents BibTeX
Norbert Fuhr, Mounia Lalmas, Andrew Trotman (Eds.):
Comparative Evaluation of XML Information Retrieval Systems, 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers.
Lecture Notes in Computer Science 4518 Springer 2007, ISBN 978-3-540-73887-9
Contents BibTeX
2005
Annotating, Extracting and Reasoning about Time and Events
Frank Schilder, Graham Katz, James Pustejovsky (Eds.):
Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers.
Lecture Notes in Computer Science 4795 Springer 2007, ISBN 978-3-540-75988-1
Contents BibTeX
Dependability Metrics
Irene Eusgeld, Felix C. Freiling, Ralf Reussner (Eds.):
Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005].
Lecture Notes in Computer Science 4909 Springer 2008, ISBN 978-3-540-68946-1
Contents BibTeX
Inconsistency Tolerance
Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (Eds.):
Inconsistency Tolerance [result from a Dagstuhl seminar].
Lecture Notes in Computer Science 3300 Springer 2005, ISBN 3-540-24260-0
Contents BibTeX
Norbert Fuhr, Mounia Lalmas, Saadia Malik, Gabriella Kazai (Eds.):
Advances in XML Information Retrieval and Evaluation, 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3977 Springer 2006, ISBN 3-540-34962-6
Contents BibTeX
PPSWR
François Fages, Sylvain Soliman (Eds.):
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings.
Lecture Notes in Computer Science 3703 Springer 2005, ISBN 3-540-28793-0
Contents BibTeX
2004
4. ATMOS 2004: Bergen, Norway + related Dagstuhl Workshop
Frank Geraets, Leo G. Kroon, Anita Schöbel, Dorothea Wagner, Christos D. Zaroliagis (Eds.):
Algorithmic Methods for Railway Optimization, International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 4359 Springer 2007, ISBN 978-3-540-74245-6
Contents BibTeX
Norbert Fuhr, Mounia Lalmas, Saadia Malik, Zoltán Szlávik (Eds.):
Advances in XML Information Retrieval, Third International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3493 Springer 2005, ISBN 3-540-26166-4
Contents BibTeX
Local Pattern Detection
Katharina Morik, Jean-François Boulicaut, Arno Siebes (Eds.):
Local Pattern Detection, International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3539 Springer 2005, ISBN 3-540-26543-0
Contents BibTeX
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (Eds.):
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004].
Lecture Notes in Computer Science 3472 Springer 2005, ISBN 3-540-26278-4
Contents BibTeX
Architecting Systems with Trustworthy Components
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (Eds.):
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers.
Lecture Notes in Computer Science 3938 Springer 2006, ISBN 3-540-35800-5
Contents BibTeX
Network Analysis
Ulrik Brandes, Thomas Erlebach (Eds.):
Network Analysis: Methodological Foundations [outcome of a Dagstuhl seminar, 13-16 April 2004].
Lecture Notes in Computer Science 3418 Springer 2005, ISBN 3-540-24979-6
Contents BibTeX
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
Gunter Grieser, Yuzuru Tanaka (Eds.):
Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3359 Springer 2004, ISBN 3-540-24465-4
Contents BibTeX
Gabriele Kotsis, Otto Spaniol (Eds.):
Wireless Systems and Mobility in Next Generation Internet, First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3427 Springer 2005, ISBN 3-540-25329-7
Contents BibTeX
2003
Domain-Specific Program Generation 2003
Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (Eds.):
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers.
Lecture Notes in Computer Science 3016 Springer 2004, ISBN 3-540-22119-0
Contents BibTeX
Objects, Agents, and Features 2003
Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (Eds.):
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers.
Lecture Notes in Computer Science 2975 Springer 2004, ISBN 3-540-21989-7
Contents BibTeX
Embodied Artificial Intelligence 2003
Fumiya Iida, Rolf Pfeifer, Luc Steels, Yasuo Kuniyoshi (Eds.):
Embodied Artificial Intelligence, International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Papers.
Lecture Notes in Computer Science 3139 Springer 2004, ISBN 3-540-22484-X
Contents BibTeX
Numerical Software with Result Verification 2003
René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (Eds.):
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers.
Lecture Notes in Computer Science 2991 Springer 2004, ISBN 3-540-21260-4
Contents BibTeX
Logics for Emerging Applications of Databases 2003
Jan Chomicki, Ron van der Meyden, Gunter Saake (Eds.):
Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar].
Springer 2003, ISBN 3-540-00705-9
Contents BibTeX
Spinning the Semantic Web 2003
Dieter Fensel, James A. Hendler, Henry Lieberman, Wolfgang Wahlster (Eds.):
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar].
MIT Press 2003, ISBN 0-262-06232-1
Contents BibTeX
Algebra, Geometry, and Software Systems 2003
Michael Joswig, Nobuki Takayama (Eds.):
Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar].
Springer 2003, ISBN 3-540-00256-1
Contents BibTeX
Data Visualization: The State of the Art 2003
Frits H. Post, Gregory M. Nielson, Georges-Pierre Bonneau (Eds.):
Data Visualization: The State of the Art.
Kluwer 2003, ISBN 1-4020-7259-7
Contents BibTeX
Scenarios: Models, Transformations and Tools 2003
Stefan Leue, Tarja Systä (Eds.):
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers.
Lecture Notes in Computer Science 3466 Springer 2005, ISBN 3-540-26189-3
Contents BibTeX
2002
11. TFCV 2002
Tetsuo Asano, Reinhard Klette, Christian Ronse (Eds.):
Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers.
Lecture Notes in Computer Science 2616 Springer 2003, ISBN 3-540-00916-7
Contents BibTeX
Algorithms for Memory Hierarchies 2002
Ulrich Meyer, Peter Sanders, Jop F. Sibeyn (Eds.):
Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research Seminar, March 10-14, 2002].
Lecture Notes in Computer Science 2625 Springer 2003, ISBN 3-540-00883-7
Contents BibTeX
Social Thinking - Software Practice 2002
Yvonne Dittrich, Christiane Floyd, Ralf Klischewski (Eds.):
Social Thinking - Software Practice.
MIT Press 2002, ISBN 0-262-04204-5
Contents BibTeX
Gene Regulations and Metabolism 2002
Julio Collado-Vides, Ralf Hofestädt (Eds.):
Gene Regulations and Metabolism - Postgenomic Computational Approaches.
MIT Press 2002, ISBN 0-262-03297-X
Contents BibTeX
6. MPC 2002
Eerke A. Boiten, Bernhard Möller (Eds.):
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings.
Lecture Notes in Computer Science 2386 Springer 2002, ISBN 3-540-43857-2
Contents BibTeX
- MPC 2002 Home Page
Generic Programming 2002
Jeremy Gibbons, Johan Jeuring (Eds.):
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany.
IFIP Conference Proceedings 243 Kluwer 2003, ISBN 1-4020-7374-7
Contents BibTeX
Norbert Fuhr, Norbert Gövert, Gabriella Kazai, Mounia Lalmas (Eds.):
Proceedings of the First Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Schloss Dagstuhl, Germany, December 9-11, 2002.
2002
Contents BibTeX
2001
Advances in Plan-Based Control of Robotic Agents 2001
Michael Beetz, Joachim Hertzberg, Malik Ghallab, Martha E. Pollack (Eds.):
Advances in Plan-Based Control of Robotic Agents, International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers.
Lecture Notes in Computer Science 2466 Springer 2002, ISBN 3-540-00168-9
Contents BibTeX
Automata, Logics, and Infinite Games 2001
Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.):
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001].
Lecture Notes in Computer Science 2500 Springer 2002, ISBN 3-540-00388-6
Contents BibTeX
Software Visualization 2001
Stephan Diehl (Ed.):
Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures.
Lecture Notes in Computer Science 2269 Springer 2002, ISBN 3-540-43323-6
Contents BibTeX
Proof Theory in Computer Science 2001
Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk (Eds.):
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings.
Lecture Notes in Computer Science 2183 Springer 2001, ISBN 3-540-42752-X
Contents BibTeX
Semantics in Databases 2001
Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim (Eds.):
Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers.
Lecture Notes in Computer Science 2582 Springer 2003, ISBN 3-540-00957-4
Contents BibTeX
2000
Experimental Algorithmics 2000
Rudolf Fleischer, Bernard M. E. Moret, Erik Meineche Schmidt (Eds.):
Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000].
Lecture Notes in Computer Science 2547 Springer 2002, ISBN 3-540-00346-0
Contents BibTeX
Informatics - 10 Years Back, 10 Years Ahead, 2000
Reinhard Wilhelm (Ed.):
Informatics - 10 Years Back. 10 Years Ahead.
Lecture Notes in Computer Science 2000 Springer 2001, ISBN 3-540-41635-8
Contents BibTeX
- Conference Home Page
Computational Combinatorial Optimization 2000
Michael Jünger, Denis Naddef (Eds.):
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schloß Dagstuhl, Germany, 15-19 May 2000].
Lecture Notes in Computer Science 2241 Springer 2001, ISBN 3-540-42877-1
Contents BibTeX
2. IFM 2000
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.):
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings.
Lecture Notes in Computer Science 1945 Springer 2000, ISBN 3-540-41196-8
Contents BibTeX
Digital and Image Geometry 2000
Gilles Bertrand, Atsushi Imiya, Reinhard Klette (Eds.):
Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000].
Lecture Notes in Computer Science 2243 Springer 2001, ISBN 3-540-43079-2
Contents BibTeX
Sensor Based Intelligent Robots 2000
Gregory D. Hager, Henrik I. Christensen, Horst Bunke, Rolf Klein (Eds.):
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers.
Lecture Notes in Computer Science 2238 Springer 2002, ISBN 3-540-43399-6
Contents BibTeX
10. TFCV 2000
Reinhard Klette, Thomas S. Huang, Georgy L. Gimel'farb (Eds.):
Multi-Image Analysis, 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000, Revised Papers.
Lecture Notes in Computer Science 2032 Springer 2001, ISBN 3-540-42122-X
Contents BibTeX
9. FMLDO 2000
Herman Balsters, Bert O. de Brock, Stefan Conrad (Eds.):
Database Schema Evolution and Meta-Modeling, 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000, Selected Papers.
Lecture Notes in Computer Science 2065 Springer 2001, ISBN 3-540-42272-2
Contents BibTeX
1999
State-of-the-Art in Content-Based Image and Video Retrieval 1999
Remco C. Veltkamp, Hans Burkhardt, Hans-Peter Kriegel (Eds.):
State-of-the-Art in Content-Based Image and Video Retrieval [Dagstuhl Seminar, 5-10 December 1999].
Kluwer 2001, ISBN 1-4020-0109-6
Contents BibTeX
Drawing Graphs 1999
Michael Kaufmann, Dorothea Wagner (Eds.):
Drawing Graphs, Methods and Models (the book grow out of a Dagstuhl Seminar, April 1999).
Lecture Notes in Computer Science 2025 Springer 2001, ISBN 3-540-42062-2
Contents BibTeX
11. EKAW 1999
Dieter Fensel, Rudi Studer (Eds.):
Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings.
Lecture Notes in Computer Science 1621 Springer 1999, ISBN 3-540-66044-5
Contents BibTeX
Geometric Modelling 1999
Gerald E. Farin, Hanspeter Bieri, Guido Brunnett (Eds.):
Geometric Modelling, Dagstuhl, Germany, May 1999.
Computing Supplement 14 Springer 2001, ISBN 3-211-83603-9
Contents BibTeX
Gunter Saake, Kerstin Schwarz, Can Türker (Eds.):
Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers.
Lecture Notes in Computer Science 1773 Springer 2000, ISBN 3-540-67201-X
Contents BibTeX
Gunter Saake,
Kerstin Schwarz,
Can Türker (Eds.):
Transactions and Database Dynamics,
Proceedings of the Eight International
Workshop on Foundations of Models and Languages
for Data and Objects, Schloß Dagstuhl, Germany,
September 27-30, 1999.
Institut für Technische und Betriebliche Informationsssysteme, Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, Preprint Nr. 19, 1999
Contents
1998
CAD Tools and Algorithms for Product Design 1998
Pere Brunet, Christoph M. Hoffmann, Dieter Roller (Eds.):
CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998].
Springer 2000, ISBN 3-540-66204-9
Contents BibTeX
Generic Programming 1998
Mehdi Jazayeri, Rüdiger Loos, David R. Musser (Eds.):
Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers.
Lecture Notes in Computer Science 1766 Springer 2000, ISBN 3-540-41090-2
Contents BibTeX
Sensor Based Intelligent Robots 1998
Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (Eds.):
Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28 - October 2, 1998, Selected Papers.
Lecture Notes in Computer Science 1724 Springer 1999, ISBN 3-540-66933-7
Contents BibTeX
Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.):
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings.
Lecture Notes in Computer Science 1489 Springer 1998, ISBN 3-540-65141-1
Contents BibTeX
Reinhard Klette, H. Siegfried Stiehl, Max A. Viergever, Koen L. Vincken (Eds.):
Performance Characterization in Computer Vision [9. Theoretical Foundations of Computer Vision, TFCV, March 1998, Dagstuhl, Germany].
Kluwer 2000, ISBN 0-7923-6374-4
Contents BibTeX
1997
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung 1997
Hans Hagen, Guido Brunnett, Heinrich Müller, Dieter Roller (Eds.):
Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997.
Teubner 1999, ISBN 3-519-02746-1
Contents BibTeX
Scientific Visualization 1997
Hans Hagen, Gregory M. Nielson, Frits H. Post (Eds.):
Dagstuhl '97, Scientific Visualization, Dagstuhl, Germany, 9-13 June 1997.
IEEE Computer Society 1999, ISBN 0-7695-0505-8
Contents BibTeX
Temporal Databases 1997
Opher Etzion, Sushil Jajodia, Suryanarayana M. Sripada (Eds.):
Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997).
Lecture Notes in Computer Science 1399 Springer 1998, ISBN 3-540-64519-5
Contents BibTeX
Performance Evaluation 1997/2000
Günter Haring, Christoph Lindemann, Martin Reiser (Eds.):
Performance Evaluation: Origins and Directions.
Lecture Notes in Computer Science 1769 Springer 2000, ISBN 3-540-67193-5
Contents BibTeX
- Home Page of the Book
Home Page of the Dagstuhl Seminar
4. LPNMR 1997: Dagstuhl, Germany
Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.):
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings.
Lecture Notes in Computer Science 1265 Springer 1997, ISBN 3-540-63255-7
Contents BibTeX
Proof Verification and Approximation Algorithms 1997
Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (Eds.):
Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997).
Lecture Notes in Computer Science 1367 Springer 1998, ISBN 3-540-64201-3
Contents BibTeX
Tools and Techniques for Social Science Simulation 1997
Ramzi Suleiman, Klaus G. Troitzsch, G. Nigel Gilbert (Eds.):
Tools and Techniques for Social Science Simulation [Dagstuhl Seminar, May 5-9, 1997].
Physica-Verlag 2000, ISBN 3-7908-1265-X
Contents BibTeX
1996
Intelligent Robots 1996
Robert C. Bolles, Horst Bunke, Hartmut Noltemeier (Eds.):
Intelligent Robots: Sensing, Modeling and Planning [Dagstuhl Workshop, September 1-6, 1996].
World Scientific 1997, ISBN 9810231857
Contents BibTeX
Logic Databases and the Meaning of Change
Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.):
Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers.
Lecture Notes in Computer Science 1472 Springer 1998, ISBN 3-540-65305-8
Contents BibTeX
Petri Nets 1996
Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996.
Lecture Notes in Computer Science 1491 Springer 1998, ISBN 3-540-65306-6
Contents BibTeX
Wolfgang Reisig, Grzegorz Rozenberg (Eds.):
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996.
Lecture Notes in Computer Science 1492 Springer 1998, ISBN 3-540-65307-4
Contents BibTeX
Online Algorithms
Amos Fiat, Gerhard J. Woeginger (Eds.):
Online Algorithms, The State of the Art (the book grow out of a Dagstuhl Seminar, June 1996).
Lecture Notes in Computer Science 1442 Springer 1998, ISBN 3-540-64917-4
Contents BibTeX
Object Orientation with Parallelism and Persistence
Burkhard Freitag,
Cliff B. Jones,
Christian Lengauer,
Hans-Jörg Schek (Eds.):
Object Orientation with Parallelism and Persistence
(the book grow out of a Dagstuhl Seminar in April 1995).
Kluwer Academic Publishers, 1996,
ISBN 0-7923-9770-3
Contents
6. FMLDO 1996:
Dagstuhl, Germany
Stefan Conrad,
Hans-Joachim Klein,
Klaus-Dieter Schewe (Eds.):
Integrity in Databases - 6th International Workshop on Foundations of
Models and Languages for Data and Objects,
Schloss Dagstuhl, Germany, September 16-20, 1996, Proceedings.
University of Magedeburg, Faculty of Computer Science, Preprint No. 4, 1996
Contents -
Electronic Proceedings
Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann (Eds.):
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers.
Lecture Notes in Computer Science 1110 Springer 1996, ISBN 3-540-61580-6
Contents BibTeX
Geometric Modelling 1996
Gerald E. Farin, Hanspeter Bieri, Guido Brunnett, Tony DeRose (Eds.):
Geometric Modelling, Dagstuhl, Germany, 1996.
Computing Supplement 13 Springer 1998, ISBN 3-211-83207-6
Contents BibTeX
1995
Social Science Microsimulation 1995
Klaus G. Troitzsch, Ulrich Mueller, G. Nigel Gilbert, Jim Doran (Eds.):
Social Science Microsimulation [Dagstuhl Seminar, May, 1995].
Springer 1996, ISBN 3-540-61572-5
Contents BibTeX
Logics for Databases and Information Systems
Jan Chomicki,
Gunter Saake (Eds.):
Logics for Databases and Information Systems.
Kluwer Academic Publishers, 1998,
the book grow out of the Dagstuhl Seminar 9529:
Role of Logics in Information Systems, 1995
Contents
Formal Methods for Industrial Applications 1995
Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.):
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Lecture Notes in Computer Science 1165 Springer 1996, ISBN 3-540-61929-1
Contents BibTeX
CAD Systems Development 1995
Dieter Roller, Pere Brunet (Eds.):
CAD Systems Development: Tools and Methods [Dagstuhl Seminar, 1995].
Springer 1997, ISBN 3-540-62535-6
Contents BibTeX
Integration von Umweltdaten 1995
Reiner Güttler, Werner Geiger (Eds.):
Integration von Umweltdaten, 3. Workshop 1995, 24.-26. April 1995, Dagstuhl.
Metropolis-Verlag 1996, ISBN 3-89518-121-8
Contents BibTeX
High-Speed Networking for Multimedia Applications 1995
Wolfgang Effelsberg, Otto Spaniol, André A. S. Danthine, Domenico Ferrari (Eds.):
High-Speed Networking for Multimedia Applications [2nd Int. Workshop on Architecture and Protocols for High Performance Networks, Dagstuhl, June 19-23, 1995].
Kluwer 1996, ISBN 0-7923-9681-2
Contents BibTeX
1994
Walter G. Kropatsch, Reinhard Klette, Franc Solina (Eds.):
Theoretical Foundations of Computer Vision, 7th TFCV, March 1994, Dagstuhl, Germany.
Computing Supplement 11 Springer 1996, ISBN 3-211-82730-7
Contents BibTeX
Distributed Systems
Kenneth P. Birman, Friedemann Mattern, André Schiper (Eds.):
Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers.
Lecture Notes in Computer Science 938 Springer 1995, ISBN 3-540-60042-6
Contents BibTeX
Formal Systems Specification
Manfred Broy, Stephan Merz, Katharina Spies (Eds.):
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994).
Lecture Notes in Computer Science 1169 Springer 1996, ISBN 3-540-61984-4
Contents BibTeX
Code Generation for Embedded Processors
Peter Marwedel, Gert Goossens (Eds.):
Code Generation for Embedded Processors [Dagstuhl Workshop, August 31 - September 2, 1994].
Kluwer 1995
Contents BibTeX
Modelling and Planning for Sensor Based Intelligent Robot Systems
Horst Bunke, Takeo Kanade, Hartmut Noltemeier (Eds.):
Modelling and Planning for Sensor Based Intelligent Robot Systems [Dagstuhl Workshop, October 24-28, 1994].
World Scientific 1995
Contents BibTeX
Scientific Visualization 1994
Gregory M. Nielson, Hans Hagen, Heinrich Müller (Eds.):
Scientific Visualization, Overviews, Methodologies, and Techniques, Dagstuhl, Germany, May 1994.
IEEE Computer Society 1997, ISBN 0-8186-7777-5
Contents BibTeX
Integration von Umweltdaten 1994
Reiner Güttler, Werner Geiger (Eds.):
Integration von Umweltdaten, 2. Workshop 1994, 2.-4. Februar 1994, Dagstuhl.
Metropolis-Verlag 1995, ISBN 3-89518-032-7
Contents BibTeX
Visualisierung von Umweltdaten 1994
Ralf Denzer, Reiner Güttler, Horst Deutsch (Eds.):
Visualisierung von Umweltdaten, 4. Workshop, 30. Januar - 2. Februar 1994, Dagstuhl.
Metropolis-Verlag 1994, ISBN 3-89518-040-8
Contents BibTeX
1993
Graph Transformations in Computer Science, 1993
Hans Jürgen Schneider, Hartmut Ehrig (Eds.):
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings.
Lecture Notes in Computer Science 776 Springer 1994, ISBN 3-540-57787-4
Contents BibTeX
Perspektiven der Informatik 1993
Reinhard Wilhelm (Ed.):
Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993].
Verlag C. H. Beck 1996, ISBN 3-406-40338-7
Contents BibTeX
Geometric Modelling 1993
Hans Hagen, Gerald E. Farin, Hartmut Noltemeier, Rudolf F. Albrecht (Eds.):
Geometric Modelling, Dagstuhl, Germany, 1993.
Computing Supplement 10 Springer 1995, ISBN 3-211-82666-1
Contents BibTeX
Frauen in Mathematik und Informatik 1993
Christiane Funken, Britta Schinzel (Eds.):
Frauen in Mathematik und Informatik, Tagungsbericht, Schloß Dagstuhl, 1.6.-4.6.1993.
IBFI, Dagstuhl 1993
Contents BibTeX
Architecture and Protocols for High-Speed Networks 1993
Otto Spaniol, André A. S. Danthine, Wolfgang Effelsberg (Eds.):
Architecture and Protocols for High-Speed Networks [1st Int. Workshop, Dagstuhl, August 30 - September 3, 1993].
Kluwer 1994, ISBN 0-7923-9512-3
Contents BibTeX
Graphics and Robotics 1993
Wolfgang Straßer, Friedrich M. Wahl (Eds.):
Graphics and Robotics, Dagstuhl Castle, Germany, April 19-22, 1993.
Springer 1995, ISBN 3-540-58358-0
Contents BibTeX
8. ISPW 1993
Wilhelm Schäfer (Ed.):
State of the Practice in Process Technology, Proceedings of the Eighth International Software Process Workshop (ISPW '93), March 2-5, 1993, Wadern, Schloss Dagstuhl, Germany.
IEEE Computer Society 1993, ISBN 0-8186-4060-X
Contents BibTeX
1992
Analogical and Inductive Inference
Klaus P. Jantke (Ed.):
Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings.
Lecture Notes in Computer Science 642 Springer 1992, ISBN 3-540-56004-1
Contents BibTeX
Experimental Software Engineering Issues
H. Dieter Rombach, Victor R. Basili, Richard W. Selby (Eds.):
Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings.
Lecture Notes in Computer Science 706 Springer 1993, ISBN 3-540-57092-6
Contents BibTeX
Geometric Modelling 1992
Gerald E. Farin, Hans Hagen, Hartmut Noltemeier, Walter Knödel (Eds.):
Geometric Modelling, Dagstuhl, Germany, 1992.
Computing Supplement 8 Springer 1993, ISBN 3-211-82399-9
Contents BibTeX
Complexity Theory: Current Research 1992
Klaus Ambos-Spies, Steven Homer, Uwe Schöning (Eds.):
Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8, 1992.
Cambridge University Press 1993, ISBN 0-521-44220-6
Contents BibTeX
Informatik und Philosophie 1992
Peter Schefe, Heiner Hastedt, Yvonne Dittrich, Geert Keil (Eds.):
Informatik und Philosophie [Dagstuhl, 21.-25. September 1992].
BI Wissenschaftsverlag 1993, ISBN 3-411-16521-9
Contents BibTeX
1991
Operating Systems of the 90s and Beyond, 1991
Arthur I. Karshmer, Jürgen Nehmer (Eds.):
Operating Systems of the 90s and Beyond, International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991, Proceedings.
Lecture Notes in Computer Science 563 Springer 1991, ISBN 3-540-54987-0
Contents BibTeX
Focus on Scientific Visualization 1991
Hans Hagen, Heinrich Müller, Gregory M. Nielson (Eds.):
Focus on Scientific Visualization, Dagstuhl, Germany, August 26-39, 1991.
Springer 1993, ISBN 3-540-54940-4
Contents BibTeX
Query Processing in Object-Oriented, Complex-Object and Nested
Relation Databases
Johann Christoph Freytag,
David Maier,
Gottfried Vossen (Eds.):
Query Processing for Advanced Database Systems.
Morgan Kaufmann Publishers, San Mateo, CA, 1994,
ISBN 1-55860-271-2,
selected contributions from a workshop on
"Query Processing in Object-Oriented, Complex-Object and Nested
Relation Databases", Interationales Begegnungs- und
Forschungszentrum für Informatik, Schloss Dagstuhl,
Germany, June 1991
Contents
Bernhard Nebel,
Kai von Luck,
Christof Peltason (Eds.):
Proceedings of the International
Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published
as KIT Report and IWBS Report 184
Contents
Visualisierung von Umweltdaten 1991
Ralf Denzer, Reiner Güttler, Horst Deutsch (Eds.):
Visualisierung von Umweltdaten, 2. Workshop, 26.-28. November 1991, Dagstuhl.
Springer 1992, ISBN 3-540-55624-9
Contents BibTeX
Code Generation 1991
Robert Giegerich, Susan L. Graham (Eds.):
Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991.
Workshops in Computing Springer 1992, ISBN 3-540-19757-5
Contents BibTeX
1990
Parallelization in Inference Systems 1990
Bertram Fronhöfer, Graham Wrightson (Eds.):
Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings.
Lecture Notes in Computer Science 590 Springer 1992, ISBN 3-540-55425-4
Contents BibTeX
Entwurf und Betrieb verteilter Systeme 1990
Theo Härder, Hartmut Wedekind, Gerhard Zimmermann (Eds.):
Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings.
Informatik-Fachberichte 264 Springer 1990, ISBN 3-540-53490-3
Contents BibTeX
Copyright © Sat May 16 23:05:04 2009
by Michael Ley (ley@uni-trier.de)