dblp.uni-trier.de www.uni-trier.de

Publications Resulting from Dagstuhl Seminars

Logo of Schloss Dagstuhl GmbH SchlossDagstuhl - Where Informatics Meets. Leibniz Gemeinschaft

2009

Software Engineering for Self-Adaptive Systems

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525 Springer 2009, ISBN 978-3-642-02160-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

2008

7. INEX Workshop 2008

Shlomo Geva, Jaap Kamps, Andrew Trotman (Eds.): Advances in Focused Retrieval, 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers. Lecture Notes in Computer Science 5631 Springer 2009, ISBN 978-3-642-03760-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Numerical Validation in Current Hardware Architectures

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Lecture Notes in Computer Science 5492 Springer 2009, ISBN 978-3-642-01590-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

6. INEX Workshop 2007

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Cognitive Vision Systems

Henrik I. Christensen, Hans-Hellmut Nagel (Eds.): Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar]. Lecture Notes in Computer Science 3948 Springer 2006, ISBN 978-3-540-33971-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

5. INEX Workshop 2006

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

4. INEX Workshop 2005

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

3. INEX Workshop 2004

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

EuroNGI Workshop 2004

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1. INEX Workshop 2002

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

8. FMLDO 1999

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

JELIA 1998

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

9. TFCV 1998

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1994

7. TFCV 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Description Logics 1991: Dagstuhl, Germany

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:28:37 2010 by Michael Ley (ley@uni-trier.de)