Jump to Navigation | Search | Content area | Page footer

Follow Up Publications

Frequently a Dagstuhl Seminar is so inspirational that the participants jointly release a publication afterwards.  These works are listed below and are presented on a special shelf on the ground floor of the library.

Please inform us about such follow-up-publications.

 

Legend

Book Special Issue Technical Report Article



Dagstuhl Seminar 09502, 06.12.09-09.12.09

Collection of abstracts for the Dagstuhl-Seminar Coalgebraic Logic, December 6 - 9, 2009

Battenfeld, Ingo; Doberkat, Ernst-Erich; Kurz, Alexander. - Dortmund : Universität , 2009. - 14 S. . - (Memo : Fakultät für Informatik : Lehrstuhl für Software-Technologie ; 181)
Link
 

Dagstuhl Event 09173, 22.04.09-24.04.09

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme : Tagungsband : Model-based Development of Embedded Systems : 22. - 24.04.2009 = MBEES 2009

Giese, Holger; Huhn, Michaela; Nickel, Ulrich; Schätz, Bernhard. - Braunschweig : TU, 2009. - 193 S.. - (Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering : 2009-01)
Link
 

Dagstuhl Seminar 09161, 13.04.09-17.04.09

Research and development in geo-information generalisation and multiple representation : article

Oosterom, Peter van. - Amsterdam : Elsevier, 2009. - (Computers, Environment and Urban Systems ; 33. 2009, 5 : pp. 303-310)
Link   doi:10.1016/j.compenvurbsys.2009.07.001
 

Dagstuhl Seminar 09091, 22.02.09-27.02.09

Special Issue on Modeling Methodologies : Transactions on computational systems biology XIII

Breitling, Rainer; Gilbert, David; Heiner, Monika; Uhrmacher, Adelinde M.. - Berlin : Springer, 2010. - VI, 262 S.. - (Lecture notes in bioinformatics : subseries of Lecture notes in computer science : Journal Subline ; 5945)
ISBN: 978-3-642-11711-4
Link   doi:10.1007/978-3-642-11712-1
 

Dagstuhl Seminar 09021, 04.01.09-07.01.09

Software service engineering : tenets and challenges : article from PESOS 2009

Heuvel, Willem-Jan van den; Zimmermann, Olaf; Leymann, Frank; Lago, Patricia; Schieferdecker, Ina; Zdun, Uwe; Avgeriou, Paris. - New York : IEEE Press, 2009. - pp. 26-33. - (ICSE Workshop on principles of engineering service oriented systems <2009, Vancouver>
ISBN: 978-1-4244-3716-0
Link   doi:http://doi.ieeecomputersociety.org/10.1109/PESOS.2009.5068816
 

Dagstuhl Special Follow-Up 2008

Dagstuhl perspectives : special issue : S. 1-43 : includes manifestos to 08393, 08102, 08042, 08043

Bardohl, Roswitha; Lindig, Christian; Müller-von Brochowski, Angelika; Wilhelm, Reinhard. - Berlin : Springer, 2009. - (Computer science : research and development : 23. 2009, 1)
Link
 

Dagstuhl Event 08512, 14.12.08-18.12.08

Advances in Focused Retrieval : 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, Dagstuhl Castle, Germany, December 15 - 18, 2009, Revised and Selected Papers = INEX 2008

Geva, Shlomo; Kamps, Jacob; Trotman, Andrew. - Berlin : Springer, 2009. - XIV, 484 S.. - (Lecture notes in computer science ; 5631)
ISBN: 978-3-642-03760-3 / 3-642-03760-7
Link   doi:10.1007/978-3-642-03761-0
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Workflows for Metadata Creation Regarding Recoding, Aggregation and Other Data Processing Activities

Marker, Hans Joergen; Zenk-Möltgen, Wolfgang; Thomas, Wendy; Wackerow, Achim. - DDIAlliance.org, 2009. - 14 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Work flows - Data Discovery and Dissemination

Dinkelmann, Karl; Edwards, Michelle; Fry, Jane; Humphrey, Chuck; Nakao, Ron; Thomas, Wendy. - DDIAlliance.org, 2009. - 13 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Management of DDI 3.0 Unique Identifiers

Askitas, Nikos; Gregory, Arofan; Hoogerwerf, Maarten. - DDIAlliance.org, 2009. - 12 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Work Flows - Archival Ingest and Metadata Enhancement

Dinkelmann, Karl; Edwards, Michelle; Fry, Jane; Humphrey, Chuck; Kolsrud, Kirstine; Kramer, Stefan; Linnerud, Jenny; Marker, Hans Joergen; Moschner, Meinhard; Nakao, Ron; Thomas, Wendy; Wackerow, Achim. - DDIAlliance.org, 2009. - 13 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Creating a DDI Profile

Ionescu, Sanda; Vardigan, Mary. - DDIAlliance.org, 2009. - 13 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Implementation and Governance

Edwards, Michelle; Fry, Jane; Granda, Peter; Kolsrud, Kirstine; Kramer, Stefan; Miller, Ken; Nakao, Ron; Vardigan, Mary. - DDIAlliance.org, 2009. - 11 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Versioning and Publication

Edwards, Michelle; Eisenhauer, Janet; Fry, Jane; Heus, Pascal; Kolsrud, Kirstine; Moschner, Meinhard; Nakao, Ron; Thomas, Wendy. - DDIAlliance.org, 2009. - 18 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

DDI 3.0 Schemes

Linnerud, Jenny; Marker, Hans Joergen; Moschner, Meinhard; Thomas, Wendy. - DDIAlliance.org, 2009. - 19 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

DDI as Content for Registries

Askitas, Nikos; Granda, Peter; Gregory, Arofan; Grim, Rob; Heus, Pascal; Iverson, Jeremy; Hoogerwerf, Maarten; Miller, Ken; Revheim, Sigbjorn; Jensen, Jannik Vestergaard. - DDIAlliance.org, 2009. - 20 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

Controlled Vocabularies

Granda, Peter; Kramer, Stefan; Linnerud, Jenny; Marker, Hans Joergen; Miller, Ken; Vardigan, Mary. - DDIAlliance.org, 2009. - 15 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

DDI 3.0 URNs and Entity Resolution

Askitas, Nikos; Eisenhauer, Janet; Gregory, Arofan; Grim, Rob; Heus, Pascal; Hoogerwerf, Maarten; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2009. - 15 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08462, 09.11.08-14.11.08

High-Level Architectural Model for DDI Applications

Dinkelmann, Karl; Heus, Pascal; Humphrey, Chuck; Iverson, Jeremy; Jensen, Jannik Vestergaard; Revheim, Sigbjorn; Wackerow, Achim. - DDIAlliance.org, 2009. - 18 S.. - (Best Practices Across the Data Life Cycle)
Link
 

Dagstuhl Event 08413, 05.10.08-10.10.08

Learning Network Services for Professional Development

Koper, Rob. - Berlin : Springer, 2009. - XII, 414 S.
ISBN: 978-3-642-00977-8 / 3-642-00977-8
Link
 

Dagstuhl Seminar 08412, 08.10.08-11.10.08

Dagstuhl Manifesto : High impact requirements for software intensive systems 08412 : article S. 352-353

Jarke, Matthias; Loucopoulos, Pericles; Lyytinen, Kalle J.; Mylopoulos, John; Robinson, William R.. - Heidelberg : Springer, 2009. - (Informatik Spektrum : 32. 2009, 4 : S. 352-353)
Link   doi:10.1007/s00287-009-0362-5
 

Dagstuhl Seminar 08393, 24.09.08-27.09.08

Manifest : The role of law in an electronic world dominated by Web 2.0 : article S. 7 - 13

Hoeren, Thomas; Vossen, Gottfried. - Berlin : Springer, 2009. - (Computer science : research and development : 23. 2009, 1)
Link   doi:10.1007/s00450-009-0054-z
 

Dagstuhl Seminar 08331, 10.08.08-13.08.08

Dagstuhl Manifesto : Perspectives Workshop on Model Engineering of Complex Systems (MECS) : S. 420-423

Bezivin, Jean; Paige, Richard F.; Aßmann, Uwe; Rumpe, Bernhard; Schmidt, Douglas C.. - Heidelberg : Springer, 2009. - (Informatik Spektrum : 32. 2009, 5 : S. 420-423)
Link
 

Dagstuhl Seminar 08291, 13.07.08-18.07.08

Statistical and Geometrical Approaches to Visual Motion Analysis : International Dagstuhl Seminar, Dagstuhl Castle, July 13 - 18, 2008, Revised Papers

Cremers, Daniel; Rosenhahn, Bodo; Yuille, Alan L.; Schmidt, Frank R.. - Berlin : Springer, 2008. - VIII, 322 S.. - (Lecture notes in computer science ; 5604)
ISBN: 978-3-642-03060-4 / 3-642-03060-2
Link
 

Dagstuhl Seminar 08271, 29.06.08-04.07.08

Definability in the Infix Order on Words : article from LNCS 5583 : S. 454-465

Berlin : Springer, 2009. - Kudinov, Oleg V.; Selivanov, Victor. - (Lecture notes in computer science : 5583 ; S. 454-465)
Link   doi:10.1007/978-3-642-02737-6_37
 

Dagstuhl Seminar 08271, 29.06.08-04.07.08

A Gandy Theorem for Abstract Structures and Applications to First-Order Definability : article from LNCS 5635 : S. 290-299

Kudinov, Oleg V.; Selivanov, Victor. - Berlin : Springer, 2009. - (Lecture notes in computer science : 5635 ; S. 290-299)
Link   doi:10.1007/978-3-642-03073-4_30
 

Dagstuhl Seminar 08242, 08.06.08-11.06.08

Dagstuhl perspectives workshop on end-to-end protocols for the future internet : article : 6 S.

Arkko, Jari; Briscoe, Bob; Eggert, Lars; Feldmann, Anja; Handley, Mark. - New York : ACM, 2009. - (Computer communication review : 39. 2009, 2 : S. 42-47)
Link
 

Dagstuhl Seminar 08221, 25.05.08-30.05.08

Special issue on geometric modeling : Dagstuhl 2008 : S. 71-268

Hahmann, Stefanie; Farin, Gerald; Peters, Jörg; Wang, Wenping. - Wien : Springer, 2008. - (Computing : 86. 2009, 2/3 : S. 71-268)
Link
 

Dagstuhl Seminar 08221, 25.05.08-30.05.08

Adjustable speed surface subdivision : article : S. 962-969

Karciauskas, Kestutis; Peters, Jörg. - Amsterdam : Elsevier, 2009. - (Computer aided geometric design : 26. 2009, 9 : S. 926-969)
Link   doi:10.1016/j.cagd.2009.07.006
 

Dagstuhl Seminar 08221, 25.05.08-30.05.08

Finite Curvature Continuous Polar Patchworks : article from LNCS 5654

Karciauskas, Kestutis; Peters, Jörg. - Berlin : Springer, 2009. - S. 222-234. - Lecture notes in computer science : 5654 ; S. 222-234)
Link   doi:10.1007/978-3-642-03596-8_12
 

Dagstuhl Event 08212, 18.05.08-21.05.08

Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008 : 19. - 21. Mai 2008, Dagstuhl

Diehl, Malte; Lipskoch, Henrik; Meyer, Roland; Storm, Christian. - Berlin : GITO, 2008. - 106 S.. - (Reihe Trustworthy Software Systems)
ISBN: 978-3-940019-39-4 / 3-940019-39-9
 

Dagstuhl Event 08152, 07.04.08-09.04.08

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme IV : Tagungsband : 7. - 9.4.2008 = Model-based development of embedded systems

Giese, Holger; Huhn, Michaela; Nickel, Ulrich; Schätz, Bernhard. - Braunschweig : Universität, 2008. - 116 S.. - (Informatik-Bericht / TU Braunschweig ; 2008-02)
Link
 

Dagstuhl Seminar 08102, 02.03.08-06.03.08

Network attack detection and defense : Manifesto of the Dagstuhl Perspective Workshop, March 2nd – 6th, 2008 : article S. 15 - 25

Carle, Georg; Dressler, Falko; Kemmerer, Richard A.; König, Hartmut; Kruegel, Christopher. - Berlin : Springer, 2009. - (Computer science : research and development : 23. 2009, 1)
Link   doi:10.1007/s00450-009-0055-y
 

Dagstuhl Seminar 08102, 02.03.08-06.03.08

Dagstuhl Manifesto : Perspectives Workshop Network Attack Detection and Defense 08102 : Article S. 70-72

König, Hartmut. - Berlin : Springer, 2009. - (Informatik Spektrum : 32. 2009, 1)
Link   doi:10.1007/s00287-008-0314-5
 

Dagstuhl Seminar 08091, 24.02.08-29.02.08

Some Requirements for Human-like Robots : Why The Recent Over-emphasis on Embodiment has Held up Progress

Sloman, Aaron. - Birmingham : School of Computer Science, 2008. - 27 S.. - (Birmingham Cosy Technical Reports ; 0804)
Link
 

Dagstuhl Seminar 08091, 24.02.08-29.02.08

Architectural and Representational Requirements for Seeing Processes, Proto-affordances and Affordances

Sloman, Aaron. - Birmingham : School of Computer Science, 2008. - 55 S.. - (Birmingham Cosy Technical Reports ; 0801)
Link
 

Dagstuhl Seminar 08081, 17.02.08-22.02.08

An Application of Self-organizing Data Structures to Compression : article

Dorrigiv, Reza; Lopez-Ortiz, Alejandro; Munro, J. Ian. - Berlin : Springer, 2009. - (Lecture notes in computer science : 5526 ; S. 137-148)
ISBN: 978-3-642-02010-0
Link   doi:10.1007/978-3-642-02011-7
 

Dagstuhl Seminar 08081, 17.02.08-22.02.08

Lower Bounds for Succinct Data Structures : article S. 3

Munro, J. Ian. - Berlin : Springer, 2009. - (Lecture notes in computer science : 5029 ; S. 3)
ISBN: 978-3-540-69066-5
Link   doi:10.1007/978-3-540-69068-9
 

Dagstuhl Seminar 08081, 17.02.08-22.02.08

Dynamic Succinct Ordered Trees : article S. 439-450

Farzan, Arash; Munro, J. Ian. - Berlin : Springer, 2009. . - (Lecture notes in computer science : 5555 ; S. 439-450)
ISBN: 978-3-642-02926-4
Link   doi:10.1007/978-3-642-02927-1
 

Dagstuhl Seminar 08043, 23.01.08-26.01.08

Telecommunication economics : overview of the field, recommendations, and perspectives : article S. 35 - 43

Stiller, Burkhard. - Berlin : Springer, 2009. - (Computer science : research and development : 23. 2009, 1)
Link   doi:10.1007/s00450-009-0050-3
 

Dagstuhl Seminar 08043, 23.01.08-26.01.08

Dagstuhl Manifesto : Perspectives Workshop on Telecommunication Economics 08043

Stiller, Burkhard. - Heidelberg : Springer, 2009. - (Informatik Spektrum : 32. 2009, 3 : S. 270-271
Link   doi:10.1007/s00287-009-0347-4
 

Dagstuhl Seminar 08042, 20.01.08-23.01.08

Research challenges for argumentation : article S. 27 - 34

Dix, Jürgen; Parsons, Simon; Prakken, Henry; Simari, Guillermo R.. - Berlin : Springer, 2009. - (Computer science : research and development : 23. 2009, 1)
Link   doi:10.1007/s00450-009-0051-2
 

Dagstuhl Seminar 08042, 20.01.08-23.01.08

Dagstuhl Manifesto : Perspectives Workshop Theory and Practice of Argumentation Systems 08042 : Article S. 181-182

Dix, Jürgen. - Heidelberg : Springer, 2009. - (Informatik Spektrum : 32. 2009, 2 : S. 181-182)
Link   doi:10.1007/s00287-009-0336-7
 

Dagstuhl Seminar 08031, 13.01.08-18.01.08

Software Engineering for Self-Adaptive Systems

Cheng, Betty H. C.; Lemos, Rogerio de; Giese, Holger; Inverardi, Paola; Magee, Jeff. - Berlin : Springer, 2009. - X, 260 S.. - ((Lecture notes in computer science : state-of-the-art survey ; 5525)
ISBN: 978-3-642-02160-2 / 3-642-02160-3
Link   doi:10.1007/978-3-642-02161-9
 

Dagstuhl Seminar 08021, 06.01.08-11.01.08

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6 - 11, 2008, Revised Papers

Cuyt, Annie; Krämer, Walter; Luther, Wolfram; Markstein, Peter. - Berlin : Springer, 2009. - XII, 261 S. - (Lecture notes in computer science ; 5492)
ISBN: 978-3-642-01590-8 / 3-642-01590-5
Link
 

Dagstuhl Event 07512, 16.12.07-19.12.07

Focused access to XML documents : 6th international workshop of the Initiative for the Evaluation of XML Retrieval, Schloss Dagstuhl, Germany, December 17 - 19, 2007, selected papers = INEX 2007

Fuhr, Norbert; Kamps, Jacob; Lalmas, Mounia; Trotman, Andrew. - Berlin : Springer, 2008. - XII, 456 S.. - (Lecture notes in computer science ; 4862)
ISBN: 978-3-540-85901-7 / 3-540-85901-2
Link
 

Dagstuhl Seminar 07411, 07.10.07-12.10.07

Incremental branching programs : article : S. 159-184 (based on Dagstuhl Seminars 04141, 04421, 06111, 07411

Gal, Anna; Koucky, Michal; MacKenzie, Pierre. - Berlin : Springer, 2008. - (Theory of computing systems : 43. 2008, 2 : S. 159-184)
Link   doi:10.1007/s00224-007-9049-y
 

Dagstuhl Seminar 07401, 30.09.07-05.10.07

LTL over description logic axioms : article from: Proceedings ot the 21st international workshop on description logics : DL 2008, Dresden, Germany, May 13 - 16, 2008

Franz Baader ; Silvio Ghilardi ; Carsten Lutz. - Dresden : Universität , 2008
Link
 

Dagstuhl Seminar 07401, 30.09.07-05.10.07

LTL over description logic axioms : article from KR 2008 (Proceedings of the eleventh international conference on principles of knowledge representation and reasoning) : S. 684 - 694

Franz Baader ; Silvio Ghilardi ; Carsten Lutz. - Menlo Park : AAAI Press, 2008. - S. 684-694. - (Proceedings of the eleventh international conference on principles of knowledge representation and reasoning : S. 684-694)
 

Dagstuhl Seminar 07351, 26.08.07-30.08.07

Formal Models of Belief Change in Rational Agents : special issue : pp. 363-466

Bonanno, Giacomo; Delgrande, James; Lang, Jerome; Rott, Hans. - Amsterdam : Elsevier, 2009. - (Journal of Applied Logic : 7. 2009, 4 : pp. 363-466)
Link
 

Dagstuhl Event 07312, 31.07.07-03.08.07

The common component modeling example : comparing software component models

Rausch, Andreas; Reussner, Ralf Heinrich; Mirandola, Raffaela; Plasil, Frantisek. - Berlin : Springer, 2008. - VIII, 460 S.. - (Lecture notes in computer science : tutorial ; 5153)
ISBN: 978-3-540-85288-9 / 3-540-85288-3
Link
 

Dagstuhl Seminar 07311, 29.07.07-03.08.07

Observing the English and Scottish 2007 e-elections : article : S. 380-395

Jason Kitcat ; Ian Brown. - Oxford : Oxford University Press, 2008. - (Parliamentary affairs ; 61. 2008, 2 : S. 380-395)
Link
 

Dagstuhl Seminar 07311, 29.07.07-03.08.07

Tagung Frontiers of Electronic Voting, 29. Juli bis 3. August 2007 auf Schloss Dagstuhl : Veranstaltungsbesprechung : S. 718

Reimer, Helmut. - Wiesbaden : Vieweg, 2007. - (DuD : Datenschutz und Datensicherheit : 2007, H. 9 : S. 718)
Link
 

Dagstuhl Event 07253, 20.06.07-23.06.07

Ontological spring III : 20 - 23 June 2007 : reasoning with biomedical information : training course in logic for biomedical research

Smith, Barry; MacGuinness, Deborah L.; Neuhaus, Fabian; Rector, Alan; Shah, Nigam. - Saarbrücken : Universität, 2007. - getr. Zählung
Link
 

Dagstuhl Event 07252, 18.06.07-20.06.07

11th European workshop on natural language generation : proceedings : Schloss Dagstuhl, Germany, June 17 - 20, 2007 = ENLG-07

Busemann, Stephan. - Kaiserslautern : DFKI, 2007. - VI, 171 S.. - (Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 07-01)
 

Dagstuhl Event 07232, 03.06.07-07.06.07

Dagstuhl "zehn plus eins" : zehn Informatik-Graduiertenkollegs und ein Informatik-Forschungskolleg stellen sich vor : 4. - 6. Juni 2007 : Kollegbeschreibungen und Kurzfassungen der Forschungsarbeiten von Stipendiaten/Kollegiaten

. - Aachen : Verlag Mainz, 2007. - II, 208 S.
ISBN: 3-86130-882-7
Link
 

Dagstuhl Seminar 07221, 28.05.07-01.06.07

Information visualization : human-centered issues and perspectives

Kerren, Andreas; Stasko, John T.; Fekete, Jean-Daniel; North, Chris. - Berlin : Springer, 2008. - VII, 175 S.. - (Lecture notes in computer science : state-of-the-art survey ; 4950)
ISBN: 978-3-540-70955-8 / 3-540-70955-X
Link   doi:10.1007/978-3-540-70956-5
 

Dagstuhl Seminar 07221, 28.05.07-01.06.07

Workshop report : information visualization : human-centered issues in visual representation, interaction, and evaluation : article S. 189-196

Kerren, Andreas; Stasko, John T.; Fekete, Jean-Daniel; North, Chris. - New York : Palgrave Macmillan, 2007. - (Information visualization : 6. 2007, 3 : S. 189-196)
Link   doi:10.1057/palgrave.ivs.9500158
 

Dagstuhl Event 07163, 19.04.07-21.04.07

Logic, Computability and Topology in Computer Science : A New Perspective for Old Disciplines : Special Issue : Dedicated to Dieter Spreen on the Occasion of his 60th Birthday

Sieber, Kurt. - Amsterdam : Elsevier, 2010, pp. 1-102. - (Journal of Logic and Algebraic Programming : 79. 2009, 1, pp. 1-102)
Link
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Patch relational neural gas : clustering of huge dissimilarity datasets : article from LNAI 5064, S. 1-12

Alexander Hasenfuß ; Barbara Hammer ; Fabrice Rossi. - Berlin : Springer, 2008. - (Lecture notes in artificial intelligence : 5064 : S. 1-12)
Link   doi:10.1007/978-3-540-69939-2_1
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Advances in feature selection with mutual information : article from LNAI 5400 : S. 52-69

Verleysen, Michel; Rossi, Fabrice; Francois, Damien. - Berlin : Springer, 2009. - (Lecture notes in artificial intelligence : 5400 ; S. 52-69)
Link   doi:10.1007/978-3-642-01805-3_4
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Topographic processing of relational data : article : proceedings of the 6th international workshop on self-organizing maps : S. 1-6 = WOSM 2007

Hammer, Barbara; Hasenfuß, Alexander; Rossi, Fabrice; Strickert, Marc. - Bielefeld : Universität , 2007
Link
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Accelerating relational clustering algorithms with sparse prototype representation : article : proceedings of the 6th international workshop on self-organizing maps : S. 1-6 = WOSM 2007

Fabrice Rossi ; Alexander Hasenfuß ; Barbara Hammer. - Bielefeld : Universität , 2007
Link
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Median topographic maps for biomedical data sets : article from LNAI 5400 : S. 92-117

Hammer, Barbara; Hasenfuss, Alexander; Rossi, Fabrice. - Berlin : Springer, 2009. - (Lecture notes in artificial intelligence : 5400 ; S. 92-117)
Link   doi:10.1007/978-3-642-01805-3
 

Dagstuhl Seminar 07131, 25.03.07-30.03.07

Similarity-Based Clustering : Recent Developments and Biomedical Applications

Biehl, Michael; Hammer, Barbara; Verleysen, Michel; Villmann, Thomas. - Berlin : Springer, 2009. - IX, 201 S.. - (Lecture notes in artificial intelligence : state-of-the-art survey ; 5400)
ISBN: 978-3-642-01804-6 / 3-642-01804-1
Link   doi:10.1007/978-3-642-01805-3
 

Dagstuhl Seminar 07122, 18.03.07-23.03.07

Special issue on normative multiagent systems : second international workshop on normative multiagent systems : S. 1-155

Boella, Guido; Torre, Leendert van der; Verhagen, Harko. - Berlin : Springer, 2008. - (Autonomous agents and multi-agent systems ; 17. 2008, 1 : S. 1-155)
Link
 

Dagstuhl Event 07072, 11.02.07-14.02.07

Challenges in mobile application development : Schwerpunktthema : S. 67 - 126

König-Ries, Birgitta. - München : Oldenbourg, 2009. - (Information technology : it : 2009,2, S. 67 -126)
Link
 

Dagstuhl Event 07032, 14.01.07-18.01.07

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme III : 15. - 18.1.2007 : Tagungsband = Model-based development of embedded systems

Conrad, Mirko; Giese, Holger; Rumpe, Bernhard; Schätz, Bernhard. - Braunschweig : TU, 2007. - 121 S.. - (Informatik-Bericht / TU Braunschweig ; 2007-01)
Link
 

Dagstuhl Seminar 07022, 09.01.07-13.01.07

Visualization and Processing of Tensor Fields : Advances and Perspectives

Laidlaw, David H.; Weickert, Joachim. - Berlin : Springer, 2009. - XVII, 376 S.. - (Mathematics and visualization)
ISBN: 978-3-540-88377-7 / 3-540-88377-0
Link
 

Dagstuhl Event 06512, 17.12.06-20.12.06

INEX 2006 workshop pre-proceedings : December 18 - 20, 2006, Schloss Dagstuhl, International Conference and Research Center for Computer Science

Fuhr, Norbert; Lalmas, Mounia; Trotman, Andrew. - Duisburg : Universität, 2006. - XII, 414 S.
Link
 

Dagstuhl Event 06512, 17.12.06-20.12.06

Comparative evaluation of XML information retrieval systems : 5th international workshop of the initiative for the evaluation of XML retrieval : Dagstuhl Castle, Germany, December 17 - 20, 2006 : revised and selected papers = INEX 2006

Fuhr, Norbert; Lalmas, Mounia; Trotman, Andrew. - Berlin : Springer, 2007. - XII, 554 S.. - (Lecture notes in computer science ; 4518)
ISBN: 978-3-540-73887-9 / 3-540-73887-8
Link   doi:10.1007/978-3-540-73888-6
 

Dagstuhl Seminar 06501, 10.12.06-15.12.06

Multiobjective optimization : interactive and evolutionary approaches - Berlin : Springer, 2008. - XX, 470 S.

Branke, Jürgen; Deb, Kalyanmoy; Miettinen, Kaisa; Slowinski, Roman. - Berlin : Springer, 2008. - XX, 470 S.. - (Lecture notes in computer science : state-of-the-art survey ; 5252)
ISBN: 978-3-540-88907-6 / 3-540-88907-8
Link
 

Dagstuhl Seminar 06481, 26.11.06-01.12.06

Wooden geometric puzzles : design and hardness proofs : article : S. 160 - 174

Alt, Helmut; Bodlaender, Hans L.; Kreveld, Marc van; Rote, Günter; Tel, Gerard. - Amsterdam : Elsevier, 2009. - (Theoretical computer science : 44. 2009, 2 : S. 160 - 174))
Link   doi:10.1007/s00224-008-9104-3
 

Dagstuhl Seminar 06471, 19.11.06-22.11.06

Quo vadis, Informatik : Innovation dank Informatik : Teil 1 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel : S. 207-211

Bungartz, Hans-Joachim; Meinel, Christoph; Wilhelm, Reinhard. - Heidelberg : Springer, 2007. - (Informatik Spektrum : 30. 2007, 3, S. 207-211)
Link
 

Dagstuhl Seminar 06471, 19.11.06-22.11.06

Quo vadis, Informatik : Innovation dank Informatik : Teil 2 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 291-296

Bungartz, Hans-Joachim; Meinel, Christoph; Wilhelm, Reinhard. - Heidelberg : Springer, 2007. - (Informatik Spektrum : 30. 2007, 4, S. 291-296)
Link
 

Dagstuhl Seminar 06471, 19.11.06-22.11.06

Quo vadis, Informatik : Innovation dank Informatik : Teil 3 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel : S. 374-377

Bungartz, Hans-Joachim; Meinel, Christoph; Wilhelm, Reinhard. - Heidelberg : Springer, 2007. - (Informatik Spektrum : 30. 2007, 5, S. 374-377)
Link   doi:10.1007/s00287-007-0187-z
 

Dagstuhl Seminar 06471, 19.11.06-22.11.06

Quo vadis, Informatik : Innovation dank Informatik : Teil 4 einer Nachlese zum Perspektiven-Workshop in Dagstuhl : Artikel S. 458-459

Bungartz, Hans-Joachim; Meinel, Christoph; Wilhelm, Reinhard. - Heidelberg : Springer, 2007. - (Informatik Spektrum : 30. 2007, 6 : S. 458-459)
Link   doi:10.1007/s00287-007-0204-2
 

Dagstuhl Seminar 06461, 12.11.06-17.11.06

Negotiation, auctions, and market engineering : international seminar : Dagstuhl Castle, Germany, November 12 - 17, 2006 : revised selected papers

Gimpel, Henner; Jennings, Nicholas R.; Kersten, Gregory E.; Ockenfels, Axel; Weinhardt, Christof. - Berlin : Springer, 2008. - VIII, 234 S.. - (Lecture notes in business information processing ; 2)
ISBN: 978-3-540-77553-9 / 3-540-77553-6
Link
 

Dagstuhl Event 06452, 05.11.06-08.11.06

Proceedings of the international research training groups workshop 2006 : 6 - 8th November 2006, Dagstuhl

Happe, Jens; Koziolek, Heiko; Rohr, Matthias; Storm, Christian; Warns, Timo. - Berlin : GITO, 2006. - 76 S.. - (Reihe Trustworthy Software Systems ; 3)
ISBN: 3-936771-87-1
Link
 

Dagstuhl Seminar 06401, 01.10.06-06.10.06

Complexity of constraints : an overview of current research themes

Creignou, Nadia; Kolaitis, Phokion G.; Vollmer, Heribert. - Berlin : Springer, 2008. - 319 S.. - (Lecture notes in computer science : state-of-the-art survey ; 5250)
ISBN: 978-3-540-92799-0 / 3-540-92799-9
Link
 

Dagstuhl Seminar 06401, 01.10.06-06.10.06

Universal algebra and hardness results for constraint satisfaction problems : article : pp. 1629-1647

Larose, Benoit; Tesson, Pascal. - Amsterdam : Elsevier, 2009. - (Theoretical computer science : 410. 2009, 18 : pp. 1629-1647)
Link   doi:10.1016/j.tcs.2008.12.048
 

Dagstuhl Seminar 06391, 24.09.06-29.09.06

Festschrift for the 60th birthday of Henryk Wozniakowski : special issue : S. 421-696

Kacewicz, Boleslaw; Plaskota, Leszek; Wasilkowski, Grzegorz W.; Wozniakowski, Henryk. - Amsterdam : Elsevier, 2007. - (Journal of complexity : 23. 2007, 4/6 : S. 421-696)
Link
 

Dagstuhl Event 06382, 19.09.06-22.09.06

New security paradigms workshop : pre-proceedings, September 19 - 22, 2006, Schloss Dagstuhl, Germany = NSPW 2006

Singer, Abe; Taylor, Carol. - Dagstuhl : 2006. - 113 S.
 

Dagstuhl Event 06382, 19.09.06-22.09.06

New Security Paradigms Workshop 2006 : proceedings : September 19 - 22, 2006, Schloss Dagstuhl, Germany = NSPW 2006

Hempelmann, Christian F.; Raskin, Victor. - New York : ACM, 2006. - 116 S.
ISBN: 978-1-60423-398-8 / 1-60423-398-2
Link
 

Dagstuhl Seminar 06381, 17.09.06-20.09.06

Informatik und Sport : Sonderheft : S. 289-374

Perl, Jürgen; Spaniol, Otto. - Heidelberg : Springer, 2008. - (Informatik Spektrum : 31. 2008, 4 : S. 289-374)
Link
 

Dagstuhl Seminar 06341, 20.08.06-25.08.06

Computational structures for modelling space, time and causality : special issue : S. 1-205

Kopperman, Ralph; Panangaden, Prakash; Smith, Michael B.; Spreen, Dieter . - Amsterdam : Elsevier, 2008. - (Theoretical computer science : 405. 2008, 1/2 : S. 1-206)
Link
 

Dagstuhl Event 06312, 30.07.06-04.08.06

Moving vertices to make drawings plane : article

Goaoc, Xavier; Kratochvil, Jan; Okamura, Yoshio; Shin, Chan-Su; Wolff, Alexander. - Berlin : Springer, 2008. - (Lecture notes in computer science ; 4875 : S. 101-112)
Link   doi:10.1007/978-3-540-77537-9
 

Dagstuhl Seminar 06301, 23.07.06-26.07.06

Frontiers of software clone management : article : S. 119 - 128

Koschke, Rainer. - Los Alamitos : IEEE, 2008. - ((Frontiers of software maintenance 2008 conference : FOSM 2008)
Link   doi:10.1109/FOSM.2008.4659255
 

Dagstuhl Seminar 06291, 16.07.06-21.07.06

The role of business processes in service-oriented architectures : special issue : S. 75-152

Aalst, Wil M. P. van der; Leymann, Frank; Reisig, Wolfgang. - Geneve : Inderscience, 2007. - (International journal of business process integration and management ; 2. 2007, 2 : S. 75-152)
Link
 

Dagstuhl Seminar 06281, 09.07.06-13.07.06

Mechanizing Mondex with Z/Eves : article : S. 117 - 239

Freitas, Leo; Woodcock, James C. P.. - Heidelberg : Springer, 2008. - (Formal aspects of computing : 20. 2008, 1 : S. 117-129)
Link   doi:10.1007/s00165-007-0059-y
 

Dagstuhl Seminar 06262, 26.06.06-30.06.06

Empirical software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, June 2006, revised papers

Basili, Victor R.; Rombach, Hans Dieter; Schneider, Kurt; Kitchenham, Barbara; Pfahl, Dietmar; Selby, Richard W.. - Berlin : Springer, 2007. - XVII, 192 S.. - (Lecture notes in computer science : state-of-the-art survey ; 4336)
ISBN: 978-3-540-71300-5 / 3-540-71300-X
Link
 

Dagstuhl Event 06243, 14.06.06-16.06.06

Visualization of large and unstructured data sets : first workshop of the DFG's International Research Training Group Visualization of Large and Unstructured Data Sets : Applications in Geospatial Planning, Modeling, and Engineering : June 14 - 16, 2006, Dagstuhl Castle, Germany

Hagen, Hans; Kerren, Andreas; Dannenmann, Peter. - Bonn : Gesellschaft für Informatik e.V., 2006. - 214 S.. - (Lecture notes in informatics / S : Seminars ; 4)
ISBN: 3-88579-438-1
Link
 

Dagstuhl Seminar 06241, 11.06.06-16.06.06

Human motion : understanding, modelling, capture and animation

Rosenhahn, Bodo; Klette, Reinhard; Metaxas, Dimitris. - Berlin : Springer, 2008. - VII, 633 S.. - (Computational imaging and vision ; 36)
ISBN: 978-1-4020-6692-4 / 1-4020-6692-9
Link
 

Dagstuhl Event 06232, 08.06.06-10.06.06

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday

Reps, Thomas W.; Sagiv, Mooly; Bauer, Jörg. - Berlin : Springer, 2007. - X, 360 S.. - (Lecture notes in computer science : Festschrift ; 4444)
ISBN: 978-3-540-71315-9 / 3-540-71315-8
Link
 

Dagstuhl Seminar 06231, 05.06.06-09.06.06

Towards affordance-based robot control : international seminar : Dagstuhl Castle, Germany, June 5 - 9, 2006 : revised papers

Rome, Erich; Hertzberg, Joachim; Dorffner, Georg. - Berlin : Springer, 2008. - VII, 210 S.. - (Lecture notes in artificial intelligence ; 4760)
ISBN: 978-3-540-77914-8 / 3-540-77914-0
Link   doi:10.1007/978-3-540-77915-5
 

Dagstuhl Seminar 06191, 07.05.06-12.05.06

Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Abrial, Jean-Raymond; Glässer, Uwe; Börger, Egon. - Berlin : Springer, 2010. - XVI, 233 S.. - ((Lecture notes in computer science : Festschrift ; 5115)
ISBN: 978-3-642-11446-5 / 3-642-11446-6
Link   doi:10.1007/978-3-642-11447-2
 

Dagstuhl Seminar 06141, 02.04.06-07.04.06

Dynamically reconfigurable architectures : special issue

Bergmann, Neil; Platzner, Marco; Teich, Jürgen. - New York : Hindawi Publishing Corporation, 2007. - (EURASIP journal on embedded systems : 2007 : special issue)
Link
 

Dagstuhl Seminar 06121, 19.03.06-24.03.06

Atomicity : a unifying concept in computer science : papers form Dagstuhl seminar 06121 : special issue : S. 1042 - 1135

Coleman, Joey W.; Jones, Clifford B.. - Graz : J.UCS, 2007 . - (J.UCS : Journal of universal computer science : 13. 2007, 8 : S. 1042-1135)
Link
 

Dagstuhl Seminar 06111, 12.03.06-17.03.06

Incremental branching programs : article : S. 159-184 (based on Dagstuhl Seminars 04141, 04421, 06111, 07411

Gal, Anna; Koucky, Michal; MacKenzie, Pierre. - Berlin : Springer, 2008. - (Theory of computing systems : 43. 2008, 2 : S. 159-184)
Link   doi:10.1007/s00224-007-9049-y
 

Dagstuhl Event 06102, 05.03.06-08.03.06

Human-centered visualization environments : GI-Dagstuhl research seminar, Dagstuhl Castle, Germany, March 5 - 8, 2006, revised papers

Kerren, Andreas; Ebert, Achim; Meyer, Jörg. - Berlin : Springer, 2007. - XIX, 403 S.. - (Lecture notes in computer science : tutorial : 4417)
ISBN: 978-3-540-71948-9
Link
 

Dagstuhl Seminar 06101, 05.03.06-10.03.06

Generalization of land cover maps by mixed integer programming : article from ACM GIS 2006 : S. 75-82

Jan-Henrik Haunert ; Alexander Wolff. - New York : ACM, 2006. - S. 75-82. - (Proceedings of the 14th annual ACM international symposium on advances in geographic information systems <2006, Arlington>)
ISBN: 1-59593-529-0
Link   doi:10.1145/1183471.1183485
 

Dagstuhl Seminar 06071, 12.02.06-17.02.06

Petascale computing : algorithms and applications

Bader, David A.. - Boca Raton : Chapman & Hall, 2008. - XLVI, 565 S.. - (Chapman and Hall / CRC computational science series)
ISBN: 1-58488-909-8 / 978-1-584-88909-0
Link
 

Dagstuhl Seminar 06061, 05.02.06-10.02.06

On complexity of optimal recombination for binary representations of solutions : article : S. 127-147

Eremeev, Anton V.. - Cambridge : MIT Press, 2008. - (Evolutionary computation : 16. 2008, 1 : S. 127-147)
Link
 

Dagstuhl Seminar 06061, 05.02.06-10.02.06

Ignoble trails : where crossover is provable harmful : article S. 92 - 101

J. Neal Richter ; Alden H. Wright ; John Paxton. - Berlin : Springer, 2008. - (Lecture notes in computer science : 5199 ; S. 92-101)
Link   doi:10.1007/978-3-540-87700-4_10
 

Dagstuhl Event 06022, 08.01.06-13.01.06

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme II : 09. - 13.01.2006 : Tagungsband

Giese, Holger; Rumpe, Bernhard; Schätz, Bernhard. - Braunschweig : TU, 2006. - VIII, 140 S. - (Informatik-Bericht / TU Braunschweig ; 2006-01)
Link
 

Dagstuhl Seminar 06021, 08.01.06-13.01.06

Reliable implementation of real number algorithms : theory and practice : international seminar, Dagstuhl Castle, Germany, January 8 - 13, 2006, revised papers

Hertling, Peter; Hoffmann, Christoph M.; Luther, Wolfram; Revol, Nathalie. - Berlin : Springer, 2008. - IX, 237 S.. - (Lecture notes in computer science ; 5045)
ISBN: 978-3-540-85520-0 / 3-540-85520-3
Link
 

Dagstuhl Seminar 05491, 04.12.05-09.12.05

Orientation calculi and route graphs : towards semantic representations for route descriptions : article : S. 243 - 250

Bernd Krieg-Brückner ; Hui Shi. - Berlin : Springer, 2006. - (Lecture notes in computer science ; 4197, S. 243 - 250)
Link
 

Dagstuhl Event 05482, 27.11.05-30.11.05

Advances in XML information retrieval and evaluation : 4th international workshop of the initiative for the evaluation of XML retrieval, Dagstuhl Castle, Germany, November 28 - 30, 2005 : revised selected papers

Fuhr, Norbert; Lalmas, Mounia; Malik, Saadia; Kazai, Gabriella. - Berlin : Springer, 2006. - XII, 556 S. - (Lecture notes in computer science : 3977)
ISBN: 3-540-34962-6
Link
 

Dagstuhl Event 05482, 27.11.05-30.11.05

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

Dagstuhl Event 05473, 23.11.05-25.11.05

Algorithms for sensor and ad hoc networks : advanced lectures = GI-Dagstuhl seminar

Wagner, Dorothea; Wattenhofer, Roger. - Berlin : Springer, 2007. - XIII, 415 S.. - (Lecture notes in computer science : tutorial ; 4621)
ISBN: 978-3-540-74990-5 / 3-540-74990-X
Link   doi:10.1007/978-3-540-74991-2
 

Dagstuhl Event 05442, 30.10.05-01.11.05

Dependability metrics : advanced lectures

Eusgeld, Irene; Freiling, Felix C.; Reussner, Ralf. - Berlin : Springer, 2008. – XI, 303 S. . - - (Lecture notes in computer science : tutorial : 4909)
ISBN: 978-3-540-68946-1 / 3-540-68946-X
Link   doi:10.1007/978-3-540-68947-8
 

Dagstuhl Seminar 05411, 09.10.05-14.10.05

Space-Efficient Private Search with Applications to Rateless Codes : article from LNCS 4886 : S. 148-162

Danezis, George; Diaz, Claudia. - Berlin : Springer, 2008. - S. 148-162 . - (Lecture notes in computer science : 4886 ; S. 148-162)
Link   doi:10.1007/978-3-540-77366-5_15
 

Dagstuhl Seminar 05402, 05.10.05-08.10.05

Manifest : Strategische Bedeutung des Software Engineering in Deutschland : journal article : S. 210 - 221

Broy, Manfred; Jarke, Matthias; Nagl, Manfred; Rombach, Hans Dieter. - Heidelberg : Springer, 2006. - (Informatik Spektrum : 29. 2006, 3, S. 210 - 221)
Link
 

Dagstuhl Seminar 05402, 05.10.05-08.10.05

Das How-To der Softwarekonstruktion : Weiterqualifizierung Software Engineering : Artikel S. 18-21

. - Nürnberg : Bundesagentur für Arbeit, 2006. - (Uni Magazin : 30. 2006, 7 : S. 18-21)
 

Dagstuhl Seminar 05382, 21.09.05-24.09.05

Text entry systems : mobility, accessibility, universality

MacKenzie, I. Scott; Tanaka-Ishii, Kumiko. - Orlando : Morgan Kaufmann, 2007. - X, 332 S.. - (The Morgan Kaufmann series in interactive technologies)
ISBN: 978-0-12-373591-1 / 0-12-373591-2
Link
 

Dagstuhl Seminar 05371, 11.09.05-16.09.05

Principles and practice of semantic web reasoning : third international workshop, Dagstuhl Castle, Germany, September 11 - 16, 2005, proceedings = PPSWR 2005

Fages, Francois; Soliman, Sylvain. - Berlin : Springer, 2005. - X, 162 S. - (Lecture notes in computer science ; 3703)
ISBN: 3-540-28793-0
Link
 

Dagstuhl Seminar 05301, 24.07.05-29.07.05

Fixed-parameter tractability : special issue : S. 397-587

Downey, Rodney Graham. - Berlin : Springer, 2007. - (Theory of computing systems : 41. 2007, 3, S. 397-587)
Link
 

Dagstuhl Seminar 05291, 17.07.05-22.07.05

A combinatorial characterization of the testable graph properties : it's all about regularity : conference article : S. 251-260

Alon, Noga; Fischer, Eldar; Newman, Ilan; Shapira, Asaf. - New York : ACM, 2006. - (ACM symposium on theory of computing <38, 2006, Seattle> : S. 251-260)
Link
 

Dagstuhl Seminar 05271, 03.07.05-08.07.05

Semantic grid : the convergence of technologies : special issue S. 81 - 153

Sure, York; Roure, David De. - Amsterdam : Elsevier, 2006. - (Web semantics : 4. 2006, 2)
Link
 

Dagstuhl Event 05263, 30.06.05-02.07.05

Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday

Härder, Theo; Lehner, Wolfgang; Wedekind. - Berlin : Springer, 2005. - XIX, 371 S. - (Lecture notes in computer science : Festschrift ; 3551)
ISBN: 3-540-26295-4
Link
 

Dagstuhl Seminar 05221, 29.05.05-03.06.05

Special issue on geometric modeling : Dagstuhl 2005

Hahmann, Stefanie; Brunnett, Guido; Farin, Gerald; Goldman, Ronald N.. - Wien : Springer, 2007. - (Computing : 79. 2007, 2/4 : S. 99 -388)
Link
 

Dagstuhl Event 05182, 01.05.05-06.05.05

Federation over the web : international workshop, Dagstuhl Castle, Germany, May 1 - 6, 2005 : revised selected papers

Jantke, Klaus P.; Lunzer, Aran; Spyratos, Nicolas; Tanaka, Yuzuru. - Berlin : Springer, 2006. - X, 214 S. - (Lecture notes in artificial intelligence ; 3847)
ISBN: 3-540-31018-5
Link
 

Dagstuhl Seminar 05171, 24.04.05-29.04.05

Dagstuhl meeting on nonmonotonic reasoning, answer set programming, and constraints : article : S. 1 - 4)

Faber, Wolfgang. - Leuven : ALP. - (ALP newsletter : 18. 2005, 4 : S. 1 - 4)
Link
 

Dagstuhl Seminar 05151, 10.04.05-15.04.05

Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10 - 15, 2005, revised papers

Schilder, Frank; Katz, Graham; Pustejovsky, James. - Berlin : Springer, 2007. - 139 S.. - (Lecture notes in computer science : state-of-the-art survey ; 4795)
ISBN: 978-3-540-75988-1 / 3-540-75988-3
Link   doi:10.1007/978-3-540-75989-8
 

Dagstuhl Seminar 05142, 03.04.05-06.04.05

Dagstuhl seminar on disruption tolerant networking : journal article : S. 69-72

Brunner, Marcus; Eggert, Lars; Fall, Kevin; Ott, Jörg; Wolf, Lars. - New York : ACM, 2005. - (ACM SIGCOMM computer communications review : 35. 2005, 3, S. 69-72)
Link
 

Dagstuhl Seminar 05141, 03.04.05-08.04.05

Power-aware computing systems : special issue : S. 1-106

Probst, Christian W.; Kremer, Ulrich; Benini, Luca; Schelkens, Peter. - Geneve : Inderscience, 2007. - (International journal of embedded systems ; 3. 2007, 1/2)
Link
 

Dagstuhl Event 05132, 29.03.05-01.04.05

Future digital library management systems : system architecture and information access : 8th international workshop of the DELOS network of excellence on digital libraries : Schloss Dagstuhl, Germany, March 29 - April 1, 2005

Ioannidis, Yannis E.; Schek, Hans-Jörg; Weikum, Gerhard. - 2005. - getr. Zählung
 

Dagstuhl Seminar 05071, 13.02.05-18.02.05

Proceedings of the Dagstuhl seminar on machine learning for the semantic web : Schloss Dagstuhl, International Conference and Research Center for Computer Science, Wadern, Germany, 13 - 18 February 2005

Kushmerick, Nicholas; Ciravegna, Fabio; Doan, AnHai; Knoblock, Craig; Staab, Steffen. - 2005. - getr. Zählung
 

Dagstuhl Seminar 05051, 30.01.05-04.02.05

Introduction to statistical relational learning

Getoor, Lise; Taskar, Ben. - Cambridge : MIT Press, 2007. - IX, 586 S.
ISBN: 978-0-262-07288-5 / 0-262-07288-2
Link
 

Dagstuhl Seminar 05031, 16.01.05-21.01.05

Stochastic Online Scheduling Revisited : article : S. 448 - 457

Schulz, Andreas S.. - Berlin : Springer, 2008. - ((Lecture notes in computer science : 5165 ; S. 448 - 457)
Link   doi:10.1007/978-3-540-85097-7_42
 

Dagstuhl Seminar 05031, 16.01.05-21.01.05

Scheduling with step-improving processing times : article : S. 37-40

Cheng, T. C. Edwin; He, Yong; Hoogeveen, Han; Ji, Min; Woeginger, Gerhard J.. - Amsterdam : Elsevier, 2006. - (Operations research letters ; 34. 2006, 1 : S. 37-40)
Link
 

Dagstuhl Event 05022, 10.01.05-14.01.05

Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme : 10. - 14.01.2005 : Tagungsband = Model-based development of embedded systems

Torsten; Rumpe, Bernhard; Schätz, Bernhard. - Braunschweig : TU, 2005. - VII, 203 S. - (Informatik-Bericht / TU Braunschweig ; 2005-01)
Link
 

Dagstuhl Seminar 04511, 12.12.04-17.12.04

Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12 - 17, 2004 : revised selected papers

Reussner, Ralf Heinrich; Stafford, Judith A.; Szyperski, Clemens A.. - Berlin : Springer, 2006. - X, 298 S. - (Lecture notes in computer science : 3938)
ISBN: 3-540-35800-5
Link
 

Dagstuhl Event 04502, 05.12.04-08.12.04

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 Event 04502, 05.12.04-08.12.04

Advances in XML information retrieval : third international workshop of the initiative for the evaluation of XML retrieval, Dagstuhl Castle, Germany, December 6 - 8, 2004 : revised selected papers

Fuhr, Norbert; Lalmas, Mounia; Malik, Saadia; Szlavik, Zoltan. - Berlin : Springer, 2005. - XI, 438 S. - (Lecture notes in computer science ; 3493)
ISBN: 3-540-26166-4
Link
 

Dagstuhl Event 04472, 15.11.04-17.11.04

Real numbers : special issue

Brattka, Vasco; Frougny, Christiane; Müller, Norbert T.. - Les Ulis : EDP Sciences, 2007. - (Theoretical informatics and applications : 41. 2007, 1 : S. 1-103)
Link
 

Dagstuhl Event 04472, 15.11.04-17.11.04

6th conference on real numbers and computers : Dagstuhl, 2004 = RNC 6

Frougny, Christiane; Brattka, Vasco; Müller, Norbert T. - Trier : Universität, 2004. - 216 S. - (Forschungsbericht / Universität Trier / Fachbereich IV - Mathematik/Informatik : 04-8)
Link
 

Dagstuhl Seminar 04451, 01.11.04-05.11.04

Future generation grids : proceedings of the workshop on future generation grids : November 1 - 5, 2004, Dagstuhl, Germany

Getov, Vladimir S.; Laforenza, Domenico; Reinefeld, Alexander. - Berlin : Springer, 2006. - XVIII, 308 S.
ISBN: 0-387-27935-0
 

Dagstuhl Event 04423, 13.10.04-15.10.04

The semantic web in one day : journal article : S. 85-87

Sure, York; Hitzler, Pascal; Eberhart, Andreas; Studer, Rudi. - Los Alamitos, IEEE, 2005. - (IEEE intelligent systems : 3. 2005, S. 85-87)
Link
 

Dagstuhl Seminar 04421, 10.10.04-15.10.04

Completeness in the Boolean hierarchy : exact-four-colorability, minimal graph uncolorability, and exact domatic number problems : a survey : article presented at the Dagstuhl Seminar 04421 : S. 551-578

Riege, Tobias; Rothe, Jörg. - Graz : J.UCS, 2006. - (J.UCS : Journal of universal computer science : 12. 2006, 5, S. 551-578)
Link
 

Dagstuhl Seminar 04421, 10.10.04-15.10.04

Incremental branching programs : article : S. 159-184 (based on Dagstuhl Seminars 04141, 04421, 06111, 07411

Gal, Anna; Koucky, Michal; MacKenzie, Pierre. - Berlin : Springer, 2008. - (Theory of computing systems : 43. 2008, 2 : S. 159-184)
Link   doi:10.1007/s00224-007-9049-y
 

Dagstuhl Seminar 04421, 10.10.04-15.10.04

The complexity of membership problems for circuits over sets of natural numbers : article : S. 211-244

McKenzie, Pierre; Wagner, Klaus W.. - Boston : Birkhäuser, 2007. - (Computational complexity : 16. 2007, 3 : S. 211-244)
Link   doi:10.1007/s00037-007-0229-6
 

Dagstuhl Seminar 04401, 26.09.04-01.10.04

Algorithms and complexity for continous problems : special issue

Müller-Gronbach, Thomas; Novak, Erich; Petras, Knut. - Amsterdam : Elsevier, 2006. - (Journal of complexity : 22. 2006, 1, S. 1 - 146)
Link
 

Dagstuhl Event 04392, 19.09.04-24.09.04

Informatics and student assessment : concepts of empirical research and standardisation of measurement in the area of didactics of informatics : GI-Dagstuhl seminar, September 19 - 24, 2004, Schloss Dagstuhl, Germany

Magenheim, Johannes; Schubert, Sigrid. - Bonn : Gesellschaft für Informatik e.V., 2004. - 157 S. - (Lecture notes in informatics / S : Seminars ; 1)
ISBN: 3-88579-435-7
 

Dagstuhl Seminar 04351, 22.08.04-27.08.04

Spatial representation : discrete vs. continuous computational models : special issue

Kopperman, Ralph; Panangaden, Prakash; Smyth, Michael B.; Spreen, Dieter; Wahlster, Wolfgang. - Amsterdam : Elsevier, 2006.. - (Theoretical computer science : 365. 2006, 3, S. 169-283)
Link
 

Dagstuhl Event 04313, 25.07.04-30.07.04

On the dilation spectrum of paths, cycles, and trees : article : pp. 923-933

Klein, Rolf; Knauer, Christian; Narasimhan, Giri; Smid, Michiel H.. - Amsterdam : North-Holland, 2009. - (Computational Geometry : 42. 2009, 9 : pp. 923-933)
Link   doi:10.1016/j.comgeo.2009.03.004
 

Dagstuhl Seminar 04301, 18.07.04-23.07.04

Converting to and from dilated integers : article : S. 567-573

Rajeev, Raman; Wise, David S.. - Piscataway : IEEE, 2008. - (IEEE transactions on computers : 57. 2008, 4 : S. 567-573)
Link   doi:10.1109/TC.2007.70814
 

Dagstuhl Event 04292, 11.07.04-16.07.04

Data mining : the next generation : article S. 308-312

Freytag, Johann-Christoph; Ramakrishnan, Raghu; Agrawal, Rakesh. - München : Oldenbourg, 2005. - (Information technology it : 47. 2005, 5 : S. 308-312)
Link
 

Dagstuhl Seminar 04281, 04.07.04-09.07.04

Dagstuhl seminar 'Integrative bioinformatics' : special issue

Hofestädt, Ralf. - Amsterdam : IOS Press, 2005. - (In silico biology : 5. 2005, 2, S. 81-219)
Link
 

Dagstuhl Seminar 04261, 20.06.04-25.06.04

Algorithmic methods for railway optimization : international Dagstuhl workshop railway optimization 2004, Dagstuhl Castle, Germany, June 20 - 25, 2004, Bergen, Norway, September 16 - 17, 2004, revised selected papers

Geraets, Frank; Kroon, Leo G.; Schoebel, Anita; Wagner, Dorothea; Zaroliagis, Christos D.. - Berlin : Springer, 2007. - XVI, 320 S.. - (Lecture notes in computer science : state-of-the-art survey ; 4359)
ISBN: 978-3-540-74245-6 / 3-540-74245-X
Link   doi:10.1007/978-3-540-74247-0
 

Dagstuhl Seminar 04251, 13.06.04-18.06.04

Imaging beyond the pinhole camera

Daniilidis, Kostas; Klette, Reinhard. - Berlin : Springer, 2006. - XII, 366 S.. - (Computational imaging and vision ; 33)
ISBN: 978-1-4020-4893-7 / 1-4020-4893-9
Link
 

Dagstuhl Event 04242, 07.06.04-09.06.04

Wireless systems and mobility in next generation internet : first international workshop of EURO-NGI network of excellence, Dagstuhl Castle, Germany, June 7 - 9, 2004 : revised selected papers

Kotsis, Gabriele; Spaniol, Otto. - Berlin : Springer, 2005. - VIII, 248 S. - (Lecture notes in computer science ; 3427)
ISBN: 3-540-25329-7
Link
 

Dagstuhl Seminar 04231, 31.05.04-04.06.04

Selected papers from the Dagstuhl workshop on scheduling in computer and manufacturing systems : celebrating Ed Coffman's 70th birthday : special issue

Blazewicz, Jacek; Burke, Edmund K.; Ecker, Klaus H.; Pesch, Erwin; Trystram, Denis. - Berlin : Springer, 2007. - (Journal of scheduling : 10. 2007, 2 : S. 85-149)
Link
 

Dagstuhl Event 04192, 03.05.04-07.05.04

School on foundations of visual modelling techniques : May 3 - 7, 2004, Dagstuhl, Germany : in the context of SegraVis, a European Research and Training Network

Heckel, Reiko; Hausmann, Jan Hendrik. - Dagstuhl, 2004. - 260 S.
 

Dagstuhl Event 04192, 03.05.04-07.05.04

Proceedings of the school of SegraVis research training network on foundations of visual modelling techniques : special issue : S. 1-198

Heckel, Reiko. - Amsterdam : Elsevier, 2006. - (Electronic notes in theoretical computer science : 148. 2006, 1 : S. 1-198)
Link
 

Dagstuhl Seminar 04181, 25.04.04-30.04.04

Atomicity in system design and execution : special issue : proceedings of Dagstuhl-Seminar 04181

Burton, Jon; Jones, Clifford B. - Heidelberg : Springer, 2005. - (Journal of universal computer science : 11. 2005, 5, S. 634 - 802)
Link
 

Dagstuhl Seminar 04172, 18.04.04-23.04.04

Visualization and processing of tensor fields

Weickert, Joachim; Hagen, Hans. - Berlin : Springer, 2006. - XV, 481 S. - (Mathematics and visualization)
ISBN: 3-540-25032-8
Link
 

Dagstuhl Event 04162, 12.04.04-16.04.04

Network analysis : methodological foundations.

Brandes, Ulrik; Erlebach, Thomas. - Berlin : Springer, 2005. - XII, 471 S. - (Lecture notes in computer science : tutorial ; 3418)
ISBN: 3-540-24979-6
Link
 

Dagstuhl Seminar 04161, 12.04.04-16.04.04

Local pattern detection : international seminar, Dagstuhl Castle, Germany, April 12 - 16, 2004 : revised selected papers

Morik, Katharina; Boulicaut, Jean-Francois; Siebes, Arno P. - Berlin : Springer, 2005. - IX, 231 S. - (Lecture notes in artificial intelligence : state-of-the-art survey ; 3539)
ISBN: 3-540-26543-0
Link
 

Dagstuhl Seminar 04141, 28.03.04-02.04.04

Incremental branching programs : article : S. 159-184 (based on Dagstuhl Seminars 04141, 04421, 06111, 07411)

Gal, Anna; Koucky, Michal; MacKenzie, Pierre. - Berlin : Springer, 2008. - (Theory of computing systems : 43. 2008, 2 : S. 159-184)
Link   doi:10.1007/s00224-007-9049-y
 

Dagstuhl Seminar 04131, 21.03.04-26.03.04

Geometric properties for incomplete data

Klette, Reinhard; Kozera, Ryszard; Noakes, Lyle; Weickert, Joachim. - Berlin : Springer, 2006. - XV, 392 S. - (Computational imaging and vision ; 31)
ISBN: 1-4020-3857-7
 

Dagstuhl Seminar 04122, 14.03.04-19.03.04

Wireless sensor networks and applications : special issue.

Pfeifer, Tom; Olariu, Stephan; Ferscha, Alois. - Amsterdam : Elsevier, 2005. - (Computer communications ; 28. 2005, 13, S. 1481-1601)
Link
 

Dagstuhl Seminar 04111, 07.03.04-10.03.04

Peer-to-peer systems and applications

Steinmetz, Ralf; Wehrle, Klaus. - Berlin : Springer, 2005. - XXVII, 629 S. - (Lecture notes in computer science : state-of-the-art survey ; 3485)
ISBN: 3-540-29192-X
Link
 

Dagstuhl Event 04102, 01.03.04-05.03.04

Intuitive human interfaces for organizing and accessing intellectual assets : international workshop, Dagstuhl Castle, Germany, March 1 - 5, 2004 : revised selected papers

Grieser, Gunter; Tanaka, Yuzuru. - Berlin : Springer, 2005. - XIV, 255 S. - (Lecture notes in artificial intelligence ; 3359)
ISBN: 3-540-24465-4
Link
 

Dagstuhl Seminar 04101, 29.02.04-05.03.04

Matters of (meta)-modeling : article : S. 369-385

Kühne, Thomas. - Berlin : Springer, 2006. - (Software and systems modeling : 5. 2006, 4 : S. 369-385)
Link   doi:10.1007/s10270-006-0017-9
 

Dagstuhl Seminar 04101, 29.02.04-05.03.04

Special issue on language engineering for model-driven software development : S. 231 - 341

Bezivin, Jean; Heckel, Reiko. - Berlin : Springer, 2006. - (Software and systems modeling : 5. 2006, 3 : S. 231 - 341)
Link
 

Dagstuhl Seminar 04101, 29.02.04-05.03.04

On the unification power of models : article : S. 171-188

Bezivin, Jean. - Berlin : Springe, 2005. - (Software and systems modeling : 4. 2005, 2, S. 171-188)
Link   doi:10.1007/s10270-005-0079-0
 

Dagstuhl Seminar 04101, 29.02.04-05.03.04

Clarifying matters of (meta-)modeling : an author's reply : article S. 395-401

Kühne, Thomas. - Berlin : Springer, 2006. - (Software and systems modeling : 5. 2006, 4 : S. 395-401)
Link   doi:10.1007/s10270-006-0034-8
 

Dagstuhl Seminar 04101, 29.02.04-05.03.04

A taxonomy of model transformation : article : S. 125-142

Mens, Tom; Gorp, Pieter van. - Amsterdam : Elsevier, 2006. - (Electronic notes in theoretical computer science : 152. 2006, S. 125-142)
Link   doi:10.1016/j.entcs.2005.10.021
 

Dagstuhl Seminar 04081, 15.02.04-20.02.04

Optimal weighted recombination : article : S. 215-237

Arnold, Dirk V. . - Berlin : Springer, 2005. - (Lecture notes in computer science : 3469, S. 215-237)
Link
 

Dagstuhl Seminar 04061, 01.02.04-06.02.04

Festschrift for the 70th birthday of Arnold Schonhage (Schönhage) : special issue

Lickteig, Thomas; Pardo, Luis Miguel. - Boston : Academic Press, 2005. - (Journal of complexity : 21. 2005, 4, S. 369 - 650)
Link
 

Dagstuhl Event 04042, 18.01.04-23.01.04

Learning design : a handbook on modelling and delivering networked education and training

Koper,Rob; Tattersall, Colin. - Berlin : Springer, 2005. - XXVIII, 412 S.
ISBN: 3-540-22814-4
Link
 

Dagstuhl Seminar 04041, 18.01.04-23.01.04

Capturing the dual relationship between simulation models and their context : article : S. 126-142

Traore, Mamadou K.; Muzy, Alexandre . - Amsterdam : Elsevier, 2006. - (Simulation modelling practice and theory ; 14. 2006, 2 : S. 126-142)
Link
 

Dagstuhl Event 04032, 12.01.04-15.01.04

Model-based testing of reactive systems : advanced lectures

Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander. - Berlin : Springer, 2005. - VIII, 659 S. - (Lecture notes in computer science : tutorial ; 3472)
ISBN: 3-540-26278-4
Link
 

Dagstuhl Event 03512, 15.12.03-17.12.03

INEX 2003 workshop proceedings : December 15 - 17, 2003, Schloss Dagstuhl, International Conference and Research Center for Computer Science : Initiative for the evaluation of XML retrieval

Fuhr, Norbert; Lalmas, Mounia. - Duisburg : Universität, 2003
Link
 

Dagstuhl Event 03512, 15.12.03-17.12.03

Report on the INEX 2003 workshop, Schloss Dagstuhl, 15 - 17 December 2003 : article S. 42-47

Fuhr, Norbert; Lalmas, Mounia. - New York : ACM, 2004. - (ACM Sigir forum : 38. 2004, 1 : S. 42-47)
Link
 

Dagstuhl Event 03512, 15.12.03-17.12.03

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 03501, 07.12.03-12.12.03

Searching with an autonomous robot

Fekete, Sandor, P.; Klein, Rolf; Nüchter, Andreas. - University : 2004. - CD-ROM
 

Dagstuhl Seminar 03471, 16.11.03-19.11.03

Design for timing predictability : article S. 157-177

Thiele, Lothar; Wilhelm, Reinhard. - Boston : Kluwer, 2004. - (Real-time systems : 28. 2004, 2/3, S. 157-177)
Link   doi:10.1023/B:TIME.0000045316.66276.6e
 

Dagstuhl Seminar 03441, 26.10.03-31.10.03

Cognitive vision systems : sampling the spectrum of approaches

Christensen, Henrik I.; Nagel, Hans-Hellmut. - Berlin : Springer, 2006, VIII, 365 S. - (Lecture notes in computer science : Festschrift : 3075)
ISBN: 3-540-33971-X
Link
 

Dagstuhl Event 03432, 23.10.03-24.10.03

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday.

Lenski, Wolfgang. - Berlin : Springer, 2004. - VI, 203 S. - (Lecture notes in computer science : Festschrift ; 3075)
ISBN: 3-540-22562-5
Link   doi:10.1007/b98383
 

Dagstuhl Seminar 03411, 05.10.03-10.10.03

Language-based security : special issue : S. 129-349

Abadi, Martin; Morrisett, Greg; Sabelfeld, Andrei. - Cambridge : Cambridge Univ.. Pr., 2005. - (Journal of functional programming : 15. 2005, 2 : S. 129-349)
Link
 

Dagstuhl Seminar 03401, 28.09.03-03.10.03

Dagstuhl seminar "Computational cartography and spatial modelling" : aktuelle Forschungsschwerpunkte : Artikel : S. 277-281

Sester, Monika; Oosterom, Peter van. - München : Oldenbourg, 2004. - (Information technology / IT : 46. 2004, 5, S. 277-281)
 

Dagstuhl Seminar 03391, 21.09.03-26.09.03

Coloring graphs from lists with bounded size of their union : result from Dagstuhl Seminar 03391 : article : S. 177-185

Kral, Daniel; Sgall, Jiri. - Chichester : Wiley, 2005. - (Journal of graph theory : 49. 2005, 3, S. 177-185)
Link
 

Dagstuhl Seminar 03391, 21.09.03-26.09.03

Coloring graphs from lists with bounded size of their union : result from Dagstuhl Seminar 03391.

Daniel Kral ; Jiri Sgall. - Prague : Department of Applied Mathematics and Institute for Theoretical Computer Science, 2003. - 12 S. - (ITI-Series : 156)
 

Dagstuhl Seminar 03391, 21.09.03-26.09.03

Group coloring is Pi-P2-complete : result from Dagstuhl Seminar 03391.

Daniel Kral. - Prague : Department of Applied Mathematics and Institute for Theoretical Computer Science, 2003. - 25 S. - (ITI-Series : 166)
 

Dagstuhl Seminar 03391, 21.09.03-26.09.03

Group coloring and list group coloring are Pi2P-complete : result from Dagstuhl seminar 03391 : article in LNCS 3153 : S. 274-286

Kral, Daniel; Nejedly, Pavel . - Berlin : Springer, 2004. - (Lecture notes in computer science : 3153, S. 274-286)
Link   doi:10.1007/b99679
 

Dagstuhl Seminar 03371, 07.09.03-12.09.03

Scenarios : models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 : revised selected papers

Leue, Stefan; Systä, Tarja Johanna. - Berlin : Springer, 2005. - XII, 277 S. - (Lecture notes in computer science ; 3466)
ISBN: 3-540-26189-3
Link
 

Dagstuhl Seminar 03362, 31.08.03-05.09.03

Report on the Dagstuhl seminar data quality on the web : article : S. 127-132

Gertz, Michael; Özsu, M. Tamer; Saake, Gunter; Sattler, Kai-Uwe. - New York : ACM, 2004. - (Sigmod record : 33. 2004, 1 : S. 127-132
Link   doi:10.1145/974121.974144
 

Dagstuhl Seminar 03301, 20.07.03-25.07.03

Dagstuhl seminar dynamically and partially reconfigurable architectures : dynamisch und partiell rekonfigurierbare Architekturen : article S. 218-225

Becker, Jürgen. - München : Oldenbourg, 2004. - (Information technology : IT : 2004, 4, S. 218-225)
 

Dagstuhl Seminar 03281, 06.07.03-11.07.03

Embodied artificial intelligence : international seminar, Dagstuhl Castle, Germany, July 7 - 11, 2003 : revised selected papers

Iida, Fumiya; Pfeifer, Rolf; Steels, Luc; Kuniyoshi, Yasuo. - Berlin : Springer, 2004. - IX, 330 S. - (Lecture notes in artificial intelligence / state-of-the-art survey ; 3139)
ISBN: 3-540-22484-X
Link
 

Dagstuhl Event 03252, 16.06.03-18.06.03

Dagstuhl Workshop von fünf Informatik-Graduiertenkollegs : 16. - 18. Juni 2003 : Kurzfassungen der Arbeiten der Stipendiaten / Kollegiaten

Spaniol, Otto. - Aachen : Universität, 2003. - IV, 125 S.
 

Dagstuhl Seminar 03241, 09.06.03-13.06.03

Inconsistency tolerance

Bertossi, Leopoldo; Hunter, Anthony; Schaub, Torsten H. - Berlin : Springer, 2004. - 293 S. - (Lecture notes in computer science ; 3300)
ISBN: 3-540-24260-0
Link
 

Dagstuhl Seminar 03231, 01.06.03-06.06.03

Scientific visualization : the visual extraction of knowledge from data.

Bonneau, Georges-Pierre; Ertl, Thomas; Nielson, Gregory M. - Berlin : Springer, 2005. - IX, 432 S. - (Mathematics and visualization)
ISBN: 3-540-26066-8
 

Dagstuhl Seminar 03211, 18.05.03-23.05.03

Adaptivity in parallel scientific computing : special issue : S. 61-231

Banicescu, Ioana; Rauber, Thomas; Rünger, Gudula. - Geneve : Inderscience, 2005. - (International journal of computational science and engineering ; 1. 2005, 2-4)
Link
 

Dagstuhl Seminar 03131, 23.03.03-28.03.03

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23 - 28, 2003 : revised papers

Lengauer, Christian; Batory, Don S.; Consel, Charles; Odersky, Martin. - Berlin : Springer, 2004. - XII, 324 S. - (Lecture notes in computer science / state-of-the-art survey ; 3016)
ISBN: 3-540-22119-0
Link
 

Dagstuhl Seminar 03081, 16.02.03-21.02.03

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16 - 21, 2003 : revised and invited papers

Ryan, Mark Dermot; Meyer, John-Jules Ch.; Ehrich, Hans-Dieter. - Berlin : Springer, 2004. - 226 S. - (Lecture notes in computer science ; 2975)
ISBN: 3-540-21989-7
Link
 

Dagstuhl Seminar 03061, 02.02.03-07.02.03

Special section on software architecture recovery : special issue

Kazman, Rick; Deuren, Arie van; Koschke, Rainer; Mylopoulos, John. - Berlin : Springer, 2006. - (Automated software engineering : 13. 2006, 2, S. 199-339)
Link
 

Dagstuhl Seminar 03041, 19.01.03-24.01.03

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003, revised papers

Alt, Rene; Frommer, Andreas; Baker Kearfott, R.; Luther, Wolfram. - Berlin : Springer, 2004, X, 313 S. - (Lecture notes in computer science : 2991)
ISBN: 3-540-21260-4
Link
 

Dagstuhl Special Follow-Up 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

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

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

Aesthetic computing

Fishwick, Paul A.. - Cambridge : MIT Press, 2006. - 457 S.
ISBN: 0-262-06250-X
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 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

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

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

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

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

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

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

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

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

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

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

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 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 01473, 23.11.01-26.11.01

17th EuroForth conference : 23 - 26 November 2001, Schloss Dagstuhl, Saarbrücken, Germany

Stoddard, Bill. - Middlesbrough : University of Teesside, 2001. - 143 S.
ISBN: 0-907550-97-6
Link
 

Dagstuhl Seminar 01461, 11.11.01-16.11.01

Selected papers of the Dagstuhl seminar on computability and complexity in analysis 2001 : special issue

Brattka, Vasco; Hertling, Peter; Yasugi, Mariko; Zhong, Ning. - Weinheim : Wiley-VCH, 2002. - (Mathematical logic quarterly : 48. 2002, Supplement 1, S. 1-181)
Link
 

Dagstuhl Seminar 01441, 28.10.01-02.11.01

Artikel über das Dagstuhl-Seminar 01441 "Multimodal resources and multimodal systems evaluation"

Kipp, Michael. - Tübingen : Stauffenburg Verlag, 2001. - (Zeitschrift für Semiotik ; 23. 2001, H. 3/4 : S. 451-452)
 

Dagstuhl Seminar 01431, 21.10.01-26.10.01

Advances in plan-based control of robotics agents : international seminar, Dagstuhl Castle, Germany, October 21 - 26, 2001, revised papers

Beetz, Michael; Hertzberg, Joachim; Ghallab, Malik; Pollack, Martha E. - Heidelberg : Springer, 2002. - VIII, 289 S. - (Lecture Notes in artificial intelligence : 2466)
ISBN: 3-540-00168-9
Link
 

Dagstuhl Seminar 01421, 14.10.01-19.10.01

Algebra, geometry, and software systems

Joswig, Michael; Takayama, Nobuki. - Berlin : Springer, 2003. - XIII, 329 S.
ISBN: 3-540-00256-1
 

Dagstuhl Seminar 01411, 07.10.01-12.10.01

Proof theory in computer science : international seminar, Dagstuhl Castle, Germany, October 7 - 12, 2001, proceedings = PTCS 2001

Kahle, Reinhard; Schroeder-Heister, Peter; Stärk, Robert. - Heidelberg : Springer, 2001. - VIII, 238 S. - (Lecture notes in computer science; 2183)
ISBN: 3-540-42752-X
Link
 

Dagstuhl Event 01352, 27.08.01-31.08.01

Materialien zur Sommerschule Information Retrieval 2001, Schloss Dagstuhl = IR 01

Rittberger, Marc; Herb, Marion. - Bonn : GI Fachgruppe Information Retrieval, 2001. - 1 CD-ROM
 

Dagstuhl Event 01349, 20.08.01-17.09.01

A modular calculus for the average cost of data structuring

Schellekens, Michel P.. - Berlin : Springer, 2008. - XXIV, 246 S.
ISBN: 978-0-387-73383-8 / 0-387-73383-3
Link
 

Dagstuhl Seminar 01341, 19.08.01-24.08.01

Dependable type theory meets practical programming : special issue

Barthe, Gilles; Dybjer, Peter; Thiemann, Peter. - Cambridge : Cambridge University Press, 2004. - (Journal of functional programming : 14. 2004, 1,S. 1-128)
Link
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

Gene regulation and metabolism : postgenomic computational approaches

Collado-Vides, Julio; Hofestädt, Ralf. - Cambridge : MIT Press, 200 2. - X, 310 S.
ISBN: 0-262-03297-X
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

Dagstuhl seminar 'Functional genomics' : special issue

Hofestädt, Ralf; Kolchanov, Nikolay; Reinitz, John. - Amsterdam : IOS Press, 2002. - (In silico biology : 2. 2002, 2,S. 35-164)
Link
 

Dagstuhl Seminar 01261, 24.06.01-29.06.01

3rd Dagstuhl seminar for information and simulation for the analysis of gene regulation and metabolic pathways : June 24 - 29, 2001, Schloss Dagstuhl

Hofestädt, Ralf; Kolchanov, Nikolay; Reinitz, John; Stephanik, Andreas. - Magdeburg : Universität, 2001. - 38 S. - (Preprint / Fakultät für Informatik / Universität Magdeburg : 22/2001)
 

Dagstuhl Seminar 01242, 10.06.01-15.06.01

Combined correlated and importance sampling in direct light source computation and environment mapping : article : S. 585-593

Szecsi, Laszlo; Sbert, Mateu; Szirmay-Kalos, Laszlo. - Oxford : Blackwell, 2004. - (Computer graphics forum : 23. 2004, 3 : S. 585-593)
Link   doi:10.1111/j.1467-8659.2004.00790.x
 

Dagstuhl Seminar 01211, 20.05.01-25.05.01

Software visualization in software maintenance, reverse engineering, and re-engineering : a research survey : article

Koschke, Rainer. - Chichester : Wiley, 2002. - (Journal of software maintenance and evolution : 15. 2003, 2 : S. 87-109)
Link
 

Dagstuhl Seminar 01211, 20.05.01-25.05.01

Software visualization : international seminar, Dagstuhl Castle, Germany, May 20 - 25, 2001 : revised papers

Diehl, Stephan. - Heidelberg : Springer, 2002. - VIII, 403 S. - (Lecture notes in computer science; 2269)
ISBN: 3-540-43323-6
Link
 

Dagstuhl Seminar 01161, 16.04.01-20.04.01

Software product lines : special issue

MacGregor, John D.; Northrop, Linda M.; Jarrad, Salah; Pohl, Klaus. - Los Alamitos : IEEE, 2002. - (IEEE software : 19. 2002, 4, S. 1-136)
Link
 

Dagstuhl Event 01082, 19.02.01-23.02.01

Automata, logics, and infinite games : a guide to current research

Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas. - Berlin : Springer, 2002. - VIII, 385 S. - (Lecture notes in computer science ; 2500)
ISBN: 3-540-00388-6
Link
 

Dagstuhl Seminar 01041, 21.01.01-26.01.01

Report from the Dagstuhl seminar on interoperabiblity of reengineering tools : article from ninth international workshop on program comprehension (IWPC 01) : S. 119

Lethbridge, Timothy C.. - Los Alamitos : IEEE, 2001. - (International workshop on program comprehension : 9. 2001, S. 119)
Link
 

Dagstuhl Seminar 01041, 21.01.01-26.01.01

The Dagstuhl middle metamodel : a schema for reverse engineering : article from ateM 2003 : International on meta-models and schemas for reverse engineering, Victoria, Canada, 2003 : S. 7-18

Lethbridge, Timothy C.; Tichelaar, Sander; Plödereder, Erhard. - Amsterdam : Elsevier, 2004. - (Electronic notes in theoretical computer science : 94. 2007 : S. 7-18)
Link   doi:10.1016/j.entcs.2004.01.008
 

Dagstuhl Seminar 01021, 07.01.01-12.01.01

Semantics in databases : second international workshop, Dagstuhl Castle, Germany, January 7 - 12, 2001, revised papers

Bertossi, Leopoldo ; Katona, Gyula O. H. ; Schewe, Klaus-Dieter ; Thalheim, Bernhard. - Berlin : Springer, 2003. - 228 S. - (Lecture notes in computer science ; 2582)
ISBN: 3-540-00957-4
Link
 

Dagstuhl Event 00512, 18.12.00-22.12.00

Digital and image geometry : advanced lectures

Bertrand, Gilles; Imiya, Atsushi; Klette, Reinhard. - Heidelberg : Springer, 2001. - VIII, 453 S. - (Lecture notes in computer science; 2243)
ISBN: 3-540-43079-2
Link
 

Dagstuhl Event 00442, 31.10.00-03.11.00

Integrated formal methods : second international conference, Dagstuhl Castle, Germany, November 1 - 3, 2000, proceedings = IFM 2000

Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill. - Heidelberg : Springer, 2000. - X, 439 S. - (Lecture notes in computer science; 1945)
ISBN: 3-540-41196-8
Link
 

Dagstuhl Seminar 00421, 15.10.00-20.10.00

Sensor based intelligent robots : international workshop, Dagstuhl Castle, Germany, October 15 - 20, 2000, selected revised papers

Hager, Gregory D.; Christensen, Henrik I.; Bunke, Horst; Klein, Rolf. - Heidelberg : Springer, 2002. - VIII, 373 S. - (Lecture notes in computer science; 2238)
ISBN: 3-540-43399-6
Link
 

Dagstuhl Seminar 00391, 24.09.00-29.09.00

Dagstuhl seminar on algorithms and complexity for continuous problems : September 24 - 29, 2000, special issue

Pereverzev, Sergei V.; Wasilkowski, Grzegorz W.. - San Diego : Academic Press, 2002. - (Journal of complexity : 18. 2002, 2, S. 393-678)
Link
 

Dagstuhl Event 00382, 18.09.00-22.09.00

Database schema evolution and meta-modeling : 9th international workshop on foundations of models and languages for data and objects, Schloss Dagstuhl, Germany, September 18 - 21, 2000

Balsters, Hermann; Brock, Bert de; Conrad, Stefan. - Magdeburg : Universität, 2000
 

Dagstuhl Event 00382, 18.09.00-22.09.00

Database schema evolution and meta-modeling : 9th international workshop on foundations of models and languages for data and objects, Dagstuhl Castle, Germany, September 18 - 21, 2000 : selected papers = FoMLaDO/DEMM 2000

Balsters, Herman; Brock, Bert de; Conrad, Stefan. - Berlin : Springer, 2001. - X, 244 S. - (Lecture notes in computer science ; 2065)
ISBN: 3-540-42272-2
Link
 

Dagstuhl Seminar 00371, 10.09.00-15.09.00

Experimental algorithmics : from algorithm design to robust and efficient software

Fleischer, Rudolf; Moret, Bernard; Meineche Schmidt, Erik. - Berlin : Springer, 2002. - XVII, 278 S. - (Lecture notes in computer science; 2547)
ISBN: 3-540-00346-0
Link
 

Dagstuhl Seminar 00350, 28.08.00-31.08.00

Informatics - 10 years back, 10 years ahead

Wilhelm, Reinhard. - Heidelberg, Springer 2001. - XI, 368 S. - (Lecture notes in computer science; 2000)
ISBN: 3-540-41635-8
Link
 

Dagstuhl Seminar 00341, 20.08.00-25.08.00

Multiparadigm communications in Java for grid computing : article : S. 118 - 125

Getov, Vladimir S.; Laszewski, Gregor von; Philippsen, Michael; Foster, Ian T.. - New York : ACM, 2000. - (Communications of the ACM : 44. 2001, 10 : S. 118 - 125)
Link
 

Dagstuhl Seminar 00341, 20.08.00-25.08.00

Enabling Java for high-performance computing : article : S. 110 - 117

Kielmann, Thilo; Hatcher, Philip J.; Bouge, Luc; Bal, Henri E.. - New York : ACM, 2001. - (Communications of the ACM : 44. 2001, 10 : S. 110 - 117)
Link
 

Dagstuhl Seminar 00341, 20.08.00-25.08.00

The NINJA project : article : S. 102 - 109

Moreira, Jose E.; Midkiff, Samuel P.; Gupta, Manish; Artigas, Pedro V.; Wu, Peng. - New York : ACM, 2001. - (Communications of the ACM : 44. 2001, 10 : S. 102-109)
Link
 

Dagstuhl Seminar 00341, 20.08.00-25.08.00

High-performance Java : article : S. 98 - 101

Pancake, Cherri M.; Lengauer, Christian. - New York : ACM, 2001. - (Communications of the ACM : 44. 2001, 10 : S. 98 - 101)
Link
 

Dagstuhl Event 00303, 29.07.00-30.07.00

Inference in computational semantics : International Conference and Research Center for Computer Science, Schloss Dagstuhl, July 29 - 30, 2000, workshop proceedings = ICOS-2

Bos, Johan; Kohlhase, Michael. - Saarbrücken : Universität, 2000. - VI, 143 S.
Link
 

Dagstuhl Event 00302, 24.07.00-28.07.00

IMPACTS in natural language generation NLG between technology and applications : workshop at Schloss Dagstuhl, Germany, July 26 - 28, 2000

Tilman Becker ; Stephan Busemann. - Saarbrücken : DFKI, 2000. - VIII, 59 S. - (Document / Deutsches Forschungszentrum für künstliche Intelligenz ; 00-01)
Link
 

Dagstuhl Seminar 00291, 16.07.00-21.07.00

Logics for emerging applications of databases

Chomicki, Jan; Meyden, Ron van der; Saake, Gunter. - Berlin : Springer, 2004. - XV, 368 S.
ISBN: 3-540-00705-9
 

Dagstuhl Seminar 00231, 04.06.00-09.06.00

Topology in computer science : special issue

Kopperman, Ralph; Smyth, Michael B.; Spreen, Dieter. - Amsterdam : Elsevier, 2003. - (Theoretical computer science : 305. 2003, 1/3, S. 1-502)
Link
 

Dagstuhl Event 00222, 29.05.00-31.05.00

Unsere Informatik - Graduiertenkollegs treffen sich vom 29. Mai bis 31. Mai 2000 in Schloss Dagstuhl : Paderborn, Darmstadt, Stuttgart, Karlsruhe, Aachen, Berlin

. - Aachen : RWTH, 2000. - 67 S.
 

Dagstuhl Seminar 00211, 21.05.00-26.05.00

Data visualization : the state of the art

Post, Frits H.; Nielson, Gregory M.; Bonneau, Georges-Pierre. - Boston : Kluwer, 2003. - X, 451 S. - (Kluwer international series in engineering and computer science : 713)
ISBN: 1-4020-7259-7
 

Dagstuhl Event 00202, 15.05.00-19.05.00

Computational combinatorial optimization : optimal or provably near-optimal solutions

Jünger, Michael; Naddef, Denis. - Berlin : Springer, 2001. - IX, 305 S. - (Lecture notes in computer science; 2241)
ISBN: 3-540-42877-1
Link
 

Dagstuhl Event 00193, 11.05.00-12.05.00

Tagungsband des GI-Workshops Softwarevisualisierung 2000 : 11. - 12. Mai 2000, Schloß Dagstuhl = SV 2000

Diehl, Stephan; Kerren, Andreas. - Saarbrücken : Univ., 2000. - 125 S. - (Technischer Bericht A / Universität des Saarlandes / Fachbereich Informatik; 01/2000)
Link
 

Dagstuhl Event 00162, 16.04.00-20.04.00

Fourth real numbers and computers : April 17 - 19, 2000, Schloss Dagstuhl, Saarland, Germany - Odense

Bajard, Jean-Claude; Frougny, Christiane; Kornerup, Peter; Muller, Jean-Michel. - Univ. of Southern Denmark, 2000. - VII, 210 S.
 

Dagstuhl Event 00162, 16.04.00-20.04.00

Real numbers and computers : RNC4, special issue

Kornerup, Peter; Bajard, Jean-Claude; Frougny, Christiane; Muller, Jean-Michel. - Amsterdam : Elsevier, 2003. - (Theoretical computer science : 291. 2003, 2, S. 133-218)
Link
 

Dagstuhl Event 00133, 29.03.00-01.04.00

Klausurtagung des Instituts für Telematik, Universität Karlsruhe : Schloss Dagstuhl, Wadern, 29. März 2000 - 1. April 2000

Krüger, Gerhard; Bless, Roland; Ritter, Hartmut; Schiller, Jochen; Ruggaber, Rainer. - Karlsruhe : Universität, 2000. - VI, 92 S.
 

Dagstuhl Seminar 00121, 19.03.00-24.03.00

How the semantic web will change KR : challenges and opportunities for a new research agenda : article

Harmelen, Frank van. - Cambridge : Cambridge Univ.. Pr., 2002. - (Knowledge engineering review : 17. 2002, 1 : S. 93-96)
Link
 

Dagstuhl Seminar 00121, 19.03.00-24.03.00

Spinning the semantic web : bringing the World Wide Web to its full potential

Fensel, Dieter; Hendler, James; Lieberman, Henry; Wahlster, Wolfgang. - Cambridge : MIT Press, 2003. - XXIII, 479 S.
ISBN: 0-262-06232-1
 

Dagstuhl Seminar 00111, 12.03.00-17.03.00

Multi-image analysis : 10th international workshop on theoretical foundations of computer vision, Dagstuhl Castle, Germany, March 12 - 17, 2000, revised papers

Klette, Reinhard; Huang, Thomas S.; Gimel`farb, Georgy L.. - Heidelberg : Springer, 2001. - VIII, 289 S. - (Lecture notes in computer science; 2032)
ISBN: 3-540-42122-X
Link
 

Dagstuhl Event 00103, 06.03.00-10.03.00

Subdivision algorithms : special issue

Reif, Ulrich; Kobbelt, Leif P. - Amsterdam : North-Holland, 2001. - (Computer aided geometric design : 18. 2001, 5, S. 381 502)
Link
 

Dagstuhl Seminar 00071, 13.02.00-18.02.00

Group properties of crossover and mutation : article : S. 151-184

Rowe, Jonathan E.; Vose, Michael D.; Wright, Alden H.. - Cambridge : MIT Press, 2002. - (Evolutionary computation : 10. 2002, 2 : S. 151-184)
Link
 

Dagstuhl Seminar 00031, 16.01.00-21.01.00

Minimizing breaks by maximizing cuts : article : S. 343-349

Matthias Elf ; Michael Jünger ; Giovanni Rinaldi. - Amsterdam : Elsevier, 2003. - (Operations research letters ; 31. 2003, 5 : S. 343 - 349)
Link   doi:10.1016/S0167-6377(03)00025-7
 

Dagstuhl Seminar 99491, 05.12.99-10.12.99

State-of-the-art in content-based image and video retrieval

Veltkamp, Remco C.; Burkhardt, Hans; Kriegel, Hans-Peter. - Dordrecht : Kluwer, 2001. - IX, 343 S. - (Computational imaging and vision : 22)
ISBN: 1-4020-0109-6
 

Dagstuhl Event 99482, 28.11.99-01.12.99

User interfaces for all : proceedings of the 5th ERCIM workshop, Dagstuhl, Germany, November 28th - December 1st 1999 : special theme : user-tailored infomation environments

Kobsa, Alfred; Stephanidis, Constantine. - Sankt Augustin : GMD, 1999. - (GMD Report / GMD - Forschungszentrum Informationstechnik GmbH ; 74)
ISBN: 3-88457-969-X
 

Dagstuhl Seminar 99471, 21.11.99-26.11.99

Symbolic algebraic methods and verification methods

Alefeld, Götz; Rohn, Jiri; Rump, Siegfried M.; Yamamoto, Tetsuro. - Wien : Springer, 2001. - IX, 266 S.
ISBN: 3-211-83593-8
 

Dagstuhl Seminar 99461, 14.11.99-19.11.99

Computability and complexity in analysis : special issue

Ko, Ker-I; Nerode, Anil; Weihrauch, Klaus. - Amsterdam : Elsevier, 2002. - (Theoretical computer science : 284. 2002, 2,S. 197-558)
Link
 

Dagstuhl Seminar 99431, 24.10.99-29.10.99

Special issue of selected papers from the Dagstuhl workshop on scheduling in computer and manufacturing systems : S. 427-510

Blazewicz, Jacek; Coffman, Edward G.; Ecker, Klaus; Finke, Gerd. - - Chichester : Wiley, 2002. - (Journal of scheduling : 5. 2002, 6 : S. 427-510)
Link
 

Dagstuhl Seminar 99431, 24.10.99-29.10.99

On-line scheduling on a single machine : maximizing the number of early jobs : article S. 193-197

Han Hoogeveen ; Chris N. Potts ; Gerhard J. Woeginger. - Amsterdam : Elsevier, 2000. - (Operations research letters : 27. 2000, 5 : S. 193-197)
Link   doi:10.1016/S0167-6377(00)00061-4
 

Dagstuhl Seminar 99421, 17.10.99-22.10.99

Special issue on efficient processing with HPSG : methods, systems, evaluation : S. 1-112

Flickinger, Dan; Oepen, Stephen; Uszkoreit, Hans. - Cambridge : Cambridge University Press, 2000. - (Natural language engineering : 6. 2000, 1 : S. 1-112)
Link
 

Dagstuhl Event 99393, 26.09.99-29.09.99

Internet performance modelling

Lindemann, Christoph; Reiser, Martin . - Amsterdam : North-Holland, 2000. - (Performance evaluation : 42. 2000, 2/3, S. 87-242)
Link
 

Dagstuhl Event 99392, 27.09.99-01.10.99

Transactions and database dynamics : 8th international workshop on foundations of models and languages for data and objects, Dagstuhl Castle, Germany, September 27 - 30, 1999 : selected papers = FoMLaDO 99

Saake, Gunter; Schwarz, Kerstin; Türker, Can. - Berlin : Springer, 2000. - VIII, 245 S. - (Lecture notes in computer science ; 1773)
ISBN: 3-540-67201-X
Link
 

Dagstuhl Event 99392, 27.09.99-01.10.99

Transactions and database dynamics : proceedings of the eighth international workshop on foundations of models and languages for data and objects, Schloß Dagstuhl, Germany, September 27 - 30, 1999

Saake, Gunter; Schwarz, Kerstin; Türker, Can. - Magdeburg : Universität, 1999. - 210 S. - (Preprint; 19/1999)
 

Dagstuhl Seminar 99361, 05.09.99-10.09.99

Social thinking, software practice

Dittrich, Yvonne; Floyd, Christiane; Klischewski, Ralf. - Cambridge : MIT Press, 2002. - XII, 481 S.
ISBN: 0-262-04204-5
 

Dagstuhl Event 99292, 19.07.99-23.07.99

Algorithmic methods in Galois theory : special issue

Matzat, Bernd Heinrich; MacKay, J.; Yokoyama, K. - San Diego : Academic Press, 2000. - (Journal of symbolic computation : 30. 2000, 6, S. 631 - 872)
Link
 

Dagstuhl Seminar 99271, 04.07.99-09.07.99

Agents in modeling and simulation : exploiting the metaphor : special issue

Uhrmacher, Adelinde M.; Fishwick, Paul A.; Zeigler, Bernard P. - Piscataway: IEEE, 2001. - (Proceedings of the IEEE : 89.2001,2, S. 127-219)
Link
 

Dagstuhl Seminar 99241, 13.06.99-18.06.99

The light control case study : special issue.

Börger, Egon; Gotzhein, Reinhard. - Graz : JUCS, 2000. - (Journal of universal computer science : 6. 2000, 7, S. 580-740)
Link
 

Dagstuhl Seminar 99241, 13.06.99-18.06.99

Supporting scenario evolution : article : S. 112-131

Breitman, Karin Koogan; Sampaio do Prado Leite, Cesar; Berry, Daniel M.. - London : Springer, 2005. - (Requirements engineering : 10. 2005, 2 : S. 112-131)
Link   doi:10.1007/s00766-004-0199-z
 

Dagstuhl Event 99222, 31.05.99-02.06.99

Real time programming 1999 : a proceedings volume from the 24th IFAC / IFIP workshop, Schloss Dagstuhl, Wadern, Saarland, Germany, 30 May - 3 June 1999 = WRTP 1999

Frigeri, Alceu Heinke ; Halang, Wolfgang A. ; Son, Sang Hyuk. - New York : Pergamon Press, 1999. - 248 S.
ISBN: 0-08-043548-3
Link
 

Dagstuhl Event 99222, 31.05.99-02.06.99

24th IFAC & IFIP workshop on real time programming WRTP 99 and the third workshop on active and real-time database systems ARTDB 99 / International Conference and Research Center for Computer Science, Schloß Dagstuhl, Wadern, Saarland, GermanyMay 30th and June 2nd 1999 : preprint proceedings, advance proceedings

. - Wadern, 1999. - XII, 213 S.
 

Dagstuhl Event 99213, 26.05.99-29.05.99

Knowledge acquisition, modeling and management : 11th European workshop, Dagstuhl Castle, Gemany, May 26 - 29, 1999 : proceedings = EKAW 99

Fensel, Dieter; Studer, Rudi. - Heidelberg : Springer, 1999. - XI, 404 S. - (Lecture notes in artificial intelligence; 1621)
ISBN: 3-540-66044-5
Link
 

Dagstuhl Seminar 99201, 16.05.99-21.05.99

Geometric modelling : Dagstuhl 1999

Brunnett, Guido; Bieri, Hanspeter; Farin, Gerald. - Wien : Springer, 2001. - VIII, 351 S. - (Computing supplement; 14)
ISBN: 3-211-83603-9
 

Dagstuhl Event 99192, 10.05.99-12.05.99

Fourth international workshop on termination : Dagstuhl, Germany, May 10 - 12, 1999 : abstracts = WST 99

Cichon, Adam; Dershowitz, Nachum; Giesl, Jürgen; Lescanne, Pierre; Martin, Ursula; Zantema, Hans. - Dagstuhl, 1999. - 62 S.
 

Dagstuhl Event 99192, 10.05.99-12.05.99

Termination : special issue

Giesl, Jürgen; Lescanne, Pierre. - Berlin : Springer, 2001. - (Applicable algebra in engineering, communication and computing : 12. 2001, 1/2, S. 1-196)
Link
 

Dagstuhl Seminar 99161, 18.04.99-23.04.99

Index set splitting : article : S. 607-631

Griebl, Martin; Feautrier, Paul; Lengauer, Christian. - Berlin : Springer, 2000. - (International journal of parallel programming : 29. 2006, 6 : S. 607-631)
Link   doi:10.1023/A:1007516818651
 

Dagstuhl Seminar 99161, 18.04.99-23.04.99

Index set splitting

Martin Griebl ; Paul Feautrier ; Christian Lengauer. - Passau : Universität, 1999. - (MIP / Universität Passau / Fakultät für Mathematik und Informatik ; 9908)
Link
 

Dagstuhl Seminar 99161, 18.04.99-23.04.99

Instruction-level parallelism and parallelizing compilation, part 1 and part 2 : special issue

Arvind, Damal K.; Ebcioglu, Kemal; Lengauer, Christian; Schreiber, Robert S. - Boston : Kluwer, 2000. - (International journal of parallel programming: 28. 2000, 4 & 5, S. 321-427 & S. 429-534)
Link
 

Dagstuhl Event 99142, 06.04.99-09.04.99

Drawing graphs : methods and models

Kaufmann, Michael; Wagner, Dorothea. - Berlin : Springer, 2001. - XIV, 312 S. - (Lecture notes in computer science; 2025)
ISBN: 3-540-42062-2
Link
 

Dagstuhl Event 99092, 01.03.99-03.03.99

WI 99 Doktorandenseminar : 01. - 03. März 1999, Internationales Begegnungs- und Forschungszentrum für Informatik, IBFI, Schloß Dagstuhl, Octaviealle, 66687 Wadern = WI 99

Becker, Jörg D.; Ehrenberg, Dieter; Griese, Joachim; Roithmayr, Friedrich. - Dagstuhl, 1999. - 175 S.
 

Dagstuhl Seminar 99071, 14.02.99-19.02.99

Software configuration management : state of the art, state of the practice

Frühauf, Karol. - Berlin : Springer, 1999. - (Lecture notes in computer science : 1675, S. 217 - 227)
Link
 

Dagstuhl Seminar 99071, 14.02.99-19.02.99

Maintaining telephone switching software requirements : article from Dagstuhl-Seminar 14 - 19 February, 1999. -

Bredereke, Jan. - Los Alamos : IEEE, 2002. - (IEEE communications magazine : 40. 2002, 11, S. 104-109)
 

Dagstuhl Event 99052, 01.02.99-03.02.99

Referent systems and relational grammar : article : S. 251-286

Kracht, Marcus. - Boston : Kluwer, 2002. - (Journal of logic, language and information : 11. 2002, 3 : S. 251-286)
Link   doi:10.1023/A:1017512030430
 

Dagstuhl Seminar 98461, 16.11.98-20.11.98

CAD tools and algorithms for product design.

Brunet, Pere; Hoffmann, Christoph M.; Roller, Dieter. - Heidelberg : Springer, 1999. - VIII, 288 S.
ISBN: 3-540-66204-9
 

Dagstuhl Event 98411, 12.10.98-15.10.98

Logics in artificial intelligence : European workshop, Dagstuhl, Germany, October 12 - 15, 1998, proceedings = JELIA 98

Dix, Jürgen; Farinas del Cerro, Luis; Furbach, Ulrich. - Berlin : Springer, 1998. - X, 390 S. - (Lecture notes in artificial intelligence; 1489)
ISBN: 3-540-65141-1
Link
 

Dagstuhl Event 98411, 12.10.98-15.10.98

A matrix characterization for multiplicative exponential linear logic : article : S. 121-166

Kreitz, Christoph; Mantel, Heiko. - Boston : Kluwer, 2004. - (Journal of automated reasoning : 32. 2004, 2)
Link   doi:10.1023/B:JARS.0000029976.22387.ac
 

Dagstuhl Seminar 98391, 28.09.98-02.10.98

Sensor based intelligent robots : international workshop, Dagstuhl Castle, Germany, September 28 - October 2, 1998, selected papers

Christensen, Henrik B.; Bunke, Horst; Noltemeier, Hartmut. - Heidelberg : Springer, 1999. - VIII, 325 S. - (Lecture notes in artificial intelligence; 1724)
ISBN: 3-540-66933-7
 

Dagstuhl Event 98371, 18.09.98-21.09.98

14th euroFORTH conference on FORTH programming language and FORTH processors : September 18 - 21, 1998 : International Center for Informatics, Dagstuhl Castle, Germany : program handbook. - 1998

 

Dagstuhl Seminar 98331, 17.08.98-21.08.98

Special issue on self-stabilization : S. 1 - 93

Arora, Anish. - New York : Springer, 2007. - (Distributed computing : 20. 2007, 1 : S. 1 - 93)
Link
 

Dagstuhl Seminar 98301, 27.07.98-31.07.98

Special issue on selected papers from the 1998 Dagstuhl seminar on graph algorithms and applications

Nishizeki, Takao; Tamassia, Roberto; Wagner, Dorothea. - JGAA : 2001. - (Journal of graph algorithms and applications : 5. 2001, 5, S. 1-105)
Link
 

Dagstuhl Seminar 98191, 11.05.98-15.05.98

Quantum computing : special issue

Beth, Thomas; Grassl, Markus. - Heidelberg : Springer, 2000. - (Applicable algebra in engineering, communication and computing : 10. 2000, 4/5)
Link
 

Dagstuhl Seminar 98171, 27.04.98-01.05.98

Generic programming : international seminar on generic programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, selected papers

Jazayeri, Mehdi; Loos, Rüdiger G. K.; Musser, David R. - Berlin : Springer, 2000. - X, 267 S. - (Lecture notes in computer science; 1766)
ISBN: 3-540-41090-2
Link
 

Dagstuhl Seminar 98111, 16.03.98-20.03.98

Performance characterization in computer vision

Klette, Reinhard; Stiehl, H. Siegfried; Viergever, Max A.; Vincken, Koen L. - Boston : Kluwer, 2000. - XIII, 315 S. - (Computational imaging and vision : 17)
ISBN: 0-7923-6374-4
 

Dagstuhl Seminar 98061, 09.02.98-13.02.98

Scenario management : special issue

Jarke, Matthias; Kurki-Suonio, Reino. - Los Alamitos : IEEE, 1998. - (IEEE transactions on software engineering : 24. 1998, 12, S. 1033 - 1196)
Link
 

Dagstuhl Seminar 98061, 09.02.98-13.02.98

Special issue on interdisciplinary uses of scenarios

Jarke, Matthias. - Berlin : Springer, 1998. - (Requirements engineering : 3. 1998, 3/4, S. 153-244)
Link
 

Dagstuhl Seminar 9745, 03.11.97-07.11.97

Parallelization techniques for numerical modelling : special issue

Alefeld, Götz; Mahrenholtz, Oskar; Vollmar, Roland. - Amsterdam : North-Holland, 1999. - (Parallel computing : 25. 1999, 7, S. 775-924)
 

Dagstuhl Seminar 9744, 27.10.97-31.10.97

Conference on multiple valued logic : special issue : S. 109-166 : 26 to 31 October, 1997, Schloss Dagstuhl

Mundici, Daniele ; Schmitt, Peter H. - Berlin : Springer, 2006. - (Soft computing : 2. 1998, 3/4)
Link
 

Dagstuhl Event 97422, 15.10.97-17.10.97

Developments in matrix analytical performance assessment

Baum, Dieter; Hofmann, Jens; Müller, Norbert T. - Trier : Universität, 1998. - (Forschungsbericht 98-04)
 

Dagstuhl Seminar 9738, 15.09.97-19.09.97

Performance evaluation : origins and directions

Haring, Günter; Lindemann, Christoph; Reiser, Martin. - Berlin : Springer, 2000. - X, 527 S. - (Lecture notes in computer science ; 1769)
ISBN: 3-540-67193-5
Link
 

Dagstuhl Event 97351, 25.08.97-27.08.97

Proceedings of the fifth meeting on mathematics of language : 25 - 29 August 1997 = MOL5

Becker, Tilman; Krieger, Hans-Ulrich. - Kaiserslautern : DFKI, 1997. - II, 168 S.. - (Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 97-02)
Link
 

Dagstuhl Seminar 9734, 18.08.97-22.08.97

Polynomial time algorithms to approximate permanents and mixed discriminants within a simply exponential factor : article

Barvinok, Alexander. - Chichester : Wiley, 1999. - (Random structures and algorithms : 14. 1991, 1 : S. 29-61)
Link
 

Dagstuhl Seminar 9734, 18.08.97-22.08.97

Problems posted at the Dagstuhl workshop on approximation algorithms : article

Khuller, Samir. - San Diego : Academic Press, 1998. - (Journal of algorithms : 28. 1998, 5. S. 192 - 195)
Link
 

Dagstuhl Event 97311, 28.07.97-31.07.97

Logic programming and nonmonotonic reasoning : 4th international conference, Dagstuhl Castle, Germany, July 28 - 31, 1997 : proceedings = LPNMR 97

Dix, Jürgen; Furbach, Ulrich; Nerode, Anil. - Berlin : Springer, 1997. - X, 452 S. - (Lecture notes in artificial intelligence; 1265)
ISBN: 3-540-63255-7
 

Dagstuhl Event 97311, 28.07.97-31.07.97

Fourth international conference on logic programming and nonmonotonic reasoning : LPNMR 97, Dagstuhl, Germany, 28 - 31 July 1997 : article S. 203-207

Milnikel, Robert. - Amsterdam : IOS Press, 1997. - (AI communications : 10. 1997, 3/4 : S. 203-207)
Link
 

Dagstuhl Event 97301, 21.07.97-25.07.97

Digital libraries in computer science : the MeDoc approach

Barth, Andreas; Breu, Michael; Endres, Albert; Kemp, Arnoud de. - Berlin : Springer, 1998. - VIII, 238 S. - (Lecture notes in computer science; 1392)
ISBN: 3-540-64493-8
Link
 

Dagstuhl Seminar 9728, 07.07.97-11.07.97

Average-case analysis of algorithms : special issue : dedicated to Philippe Flajolet on the occasion of his 50th birthday : third Dagstuhl seminar on average-case analysis of algorithms

Prodinger, Helmut; Szpankowski, Wojciech. - New York : Springer, 1998. - (Algorithmica : 22. 1998, 4, S. 363-690)
Link
 

Dagstuhl Seminar 9726, 23.06.97-27.06.97

Temporal databases : research and practice

Etzion, Opher; Jajodia, Sushil; Sripada, Surynarayana. - Berlin : Springer, 1998. - X, 428 S. - (Lecture notes in computer science; 1399)
ISBN: 3-540-64519-5
Link
 

Dagstuhl Seminar 9725, 16.06.97-20.06.97

High-performance networks for multimedia applications

Danthine, Andre; Spaniol, Otto; Effelsberg, Wolfgang; Ferrari, Domenico. - Boston : Kluwer, 1999. - XI, 185 S.
ISBN: 0-7923-8274-9
 

Dagstuhl Seminar 9724, 09.06.97-13.06.97

Scientific visualization : proceedings : Dagstuhl 97, 9 - 13, Juni 1997

Hagen, Hans; Nielson, Gregory M.; Post, Frits H. - Piscataway : IEEE, 1999. - VIII, 350 S.
ISBN: 0-7695-0503-1
 

Dagstuhl Event 97192, 05.05.97-09.05.97

Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung : Dagstuhl Seminar 1997

Hagen, Hans; Brunnett, Guido; Müller, Heinrich; Roller, Dieter. - Stuttgart : Teubner, 1999. - 286 S. - (GI-Seminare)
ISBN: 3-519-02746-1
 

Dagstuhl Seminar 9719, 05.05.97-09.05.97

Tools and techniques for social science simulation

Suleiman, Ramzi; Troitzsch, Klaus G.; Gilbert, Nigel. - Heidelberg : Physica-Verlag, 2000. - VIII, 387 S.
ISBN: 3-7908-1265-X
 

Dagstuhl Event 97172, 21.04.97-25.04.97

Lectures on proof verfication and approximation algorithms

Mayr, Ernst W.; Prömel, Hans Jürgen; Steger, Angelika. - Berlin : Springer, 1998. - XII, 344 S. - (Lecture notes in computer science; 1367)
ISBN: 3-540-64201-3
Link
 

Dagstuhl Seminar 9717, 21.04.97-25.04.97

Special issue of selected papers from the Dagstuhl workshop on scheduling in computer and manufacturing systems

Blazewicz, Jacek; Coffman, Edward G.; Ecker, Klaus; Finke, Gerd. - Chichester : Wiley, 2002. - (Journal of scheduling : 5. 2002, 6, S. 427-510).
 

Dagstuhl Seminar 9717, 21.04.97-25.04.97

Computability and complexity in analysis

Nerode, Anil; Ko, Ker-I; Weihrauch, Klaus. - Amsterdam : Elsevier, 1999. - (Theoretical computer science : 219. 1999, 1/2, S. 1-512)
Link
 

Dagstuhl Seminar 9643, 21.10.96-25.10.96

Dagstuhl invited papers : Dagstuhl seminar on algorithms and complexity for continuous problems, October 21 - 25, 1996

Novak, Erich. - Boston : Academic Press, 1997. - (Journal of complexity ; 13. 1997, 4, S. 385-545)
 

Dagstuhl Event 96412, 07.10.96-18.10.96

Lectures on Petri nets : advances in Petri nets, Band 1: Basic models

Reisig, Wolfgang; Rozenberg, Grzegorz. - Berlin : Springer, 1998. - VII, 681 S. - (Lecture notes in computer science ; 1491)
ISBN: 3-540-65306-6
 

Dagstuhl Event 96412, 07.10.96-18.10.96

Lectures on Petri nets : advances in Petri nets, Band 2: Applications

Reisig, Wolfgang; Rozenberg, Grzegorz. - Berlin : Springer, 1998. - VII, 477 S. - (Lecture notes in computer science; 1492)
ISBN: 3-540-65307-4
 

Dagstuhl Seminar 9640, 30.09.96-04.10.96

The isomorphism problem for read-once branching programs and arithmetic circuits : special issue on computational complexity from the 1996 Dagstuhl-Seminar

Thierauf, Thomas. - Cambridge : MIT Pr., 1998. - (Chicago journal of theoretical computer science: 1998,1)
Link
 

Dagstuhl Seminar 9639, 23.09.96-27.09.96

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 programmingand deductive databases, DYNAMICS 97, Port Jefferson, NY, USA, October 17, 1997

Freitag, Burkhard; Decker, Hendrik; Kifer, Michael; Voronkov, Andrei. - Berlin : Springer, 1998. - X, 396 S. - (Lecture notes in computer science; 1472)
ISBN: 3-540-65305-8
Link
 

Dagstuhl Event 96382, 16.09.96-20.09.96

Integrity in databases : 6th international workshop on foundations of models and languages for data and objects : Schloß Dagstuhl, Germany (Sept. 16 - 20, 1996)

Conrad, Stefan; Klein, Hans-Joachim; Schewe, Klaus-Dieter. - Magdeburg : Universität, 1996. - (Preprint / Otto-von-Guericke-Universität Magdeburg / Institut für Technische Informationssysteme / Fakultät für Informatik ; 4/1996)
 

Dagstuhl Seminar 9637, 09.09.96-13.09.96

Applications of category theory to the area of algebraic specification in computer science

Ehrig, Hartmut; Schneider, Hans-Jürgen. - Dordrecht : Kluwer, 1999. - (Applied categorical structures ; 7, 1999, 4, S. 297-462)
 

Dagstuhl Seminar 9636, 02.09.96-06.09.96

Intelligent robots : sensing, modeling and planning.

Bolles, Robert C.; Bunke, Horst; Noltemeier, Hartmut. - Singapore : World Scientific, 1997. - IX, 466 S. - (Series in machine perception and artificial intelligence; 27)
ISBN: 981-02-3185-7
 

Dagstuhl Seminar 9635, 26.08.96-30.08.96

Happenings : article : Dagstuhl Seminar 9635

Bowker, Geoffrey. - Piscataway : IEEE, 1997. - (Annals of the history of computing : IEEE : 19. 1997, 3 : S. 74-77)
Link
 

Dagstuhl Seminar 9626, 24.06.96-28.06.96

Multi-phase algorithms for throughput maximization for real-time scheduling : article : S. 307-323

Berman, Piotr; Dasgupta, Bhaskar. - Dordrecht : Kluwer, 2000. - (Journal of combinatorial optimization : 4. 2000, 3 : S. 307-323)
Link   doi:10.1023/A:1009822211065
 

Dagstuhl Seminar 9626, 24.06.96-28.06.96

Online algorithms : the state of the art

Fiat, Amos; Woeginger, Gerhard J. - Berlin : Springer, 1998. - XVIII, 436 S. - (Lecture notes in computer science; 1442)
ISBN: 3-540-64917-4
 

Dagstuhl Event 96252, 19.06.96-21.06.96

Custom computing : GI-ITG Workshop, 19. - 21. Juni 1996 in Schloß Dagstuhl

ieter Monjau. - Chemnitz : TU, 1996. - (Chemnitzer Informatik-Berichte / Technische Universität. - Chemnitz-Zwickau / Fakultät für Informatik; 96-05)
 

Dagstuhl Seminar 9622, 27.05.96-31.05.96

Geometric modelling : Dagstuhl 1996

Farin, Gerald; Bieri, Hanspeter; Brunnett, Guido; DeRose, Tony. - Berlin : Springer, 1998. - 241 S. - (Computing supplement; 13)
ISBN: 3-211-83207-6
 

Dagstuhl Seminar 9620, 13.05.96-17.05.96

Graph algorithms and applications : special issue

Nishizeki, Takao; Tamassia, Roberto; Wagner, Dorothea. - Berlin : Springer, 2000. - (Algorithmica : 26. 2000, 1)
Link
 

Dagstuhl Seminar 9612, 18.03.96-22.03.96

Advances in computer vision

Solina, Franc; Kropatsch, Walter G.; Klette, Reinhard; Bajcsy, Ruzena. - Wien : Springer, 1997. - VIII, 266 S. - (Advances in computer science)
ISBN: 3-211-83022-7
 

Warning: mktime() expects parameter 6 to be long, string given in /www/htdocs/php/lib/MYSQL_Seminar.php on line 853

Dagstuhl Event , ..-..

Report Dagstuhl seminar on time services : Schloß Dagstuhl, March 11 - March 15, 1996 : article : S. 329-345

Dolev, Danny; Reischuk, Karl Rüdiger; Schneider, Fred B.; Strong, H. Raymond. - Boston : Kluwer, 1997. - (Real-time sytems : 12. 1997, 3 : S. 329-345)
Link   doi:10.1023/A:1007957331469
 

Dagstuhl Seminar 9611, 11.03.96-15.03.96

Report Dagstuhl seminar on time services : Schloß Dagstuhl, March 11 - March 15, 1996 : article S. 329-345

Dolev, Danny; Reischuk, Karl Rüdiger; Schneider, Fred B.; Strong, H. Raymond. - Boston : Kluwer, 1997. - Real-time systems : 12. 1997, 3 : S. 329-345)
Link   doi:10.1023/A:1007957331469
 

Dagstuhl Seminar 9608, 19.02.96-23.02.96

Artikel über das Dagstuhl-Seminar 9608 "Informatik und Semiotik"

Nake, Frieder. - Tübingen : Stauffenburg Verlag, 1996. - (Zeitschrift für Semiotik ; 18. 1996, H. 1, S. 129-131)
 

Dagstuhl Seminar 9607, 12.02.96-16.02.96

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996, selected papers

Danvy, Olivier; Glück, Robert; Thiemann, Peter. - Berlin : Springer, 1996. - XII, 511 S. - (Lecture notes in computer science; 1110)
ISBN: 3-540-61580-6
 

Dagstuhl Seminar 9607, 12.02.96-16.02.96

Dagstuhl-Seminar partial evaluation : February 1996 : draft proceedings.

Danvy, Olivier; Glück, Robert; Thiemann, Peter. - Tübingen : Universität, 1996. - 428 S. - (WSI ; 96-6)
 

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

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
 

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

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
 

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
 

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

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 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 Event 94462, 14.11.94-16.11.94

Informatik : Grundlagen, Anwendungen, Perspektiven

Wilhelm, Reinhard. - München, Beck, 1996. - 143 S. - (Beck'sche Reihe: 2038)
ISBN: 3-406-40338-7
 

Dagstuhl Seminar 9445, 07.11.94-11.11.94

1st annual Dagstuhl seminar on neural computing : November 7 - 11, 1994 = DSNC 94

Maass, Wolfgang. - San Diego : Academic Press, 1997. - (Journal of computer and system sciences : 54. 1997, 1, S. 167 - 212)
 

Dagstuhl Seminar 9443, 24.10.94-28.10.94

Modelling and planning for sensor based intelligent robot systems

Bunke, Horst; Kanade, Takeo; Noltemeier, Hartmut. - Singapore : World Scientific, 1995. - IX, 496 S. - (Series in machine perception and artificial intelligence; 21)
ISBN: 981-02-2238-6
 

Dagstuhl Seminar 9439, 26.09.94-30.09.94

Tackling the Dagstuhl '94 specification problem with I/O automata

Romijn, Judi M. T.. - Amsterdam : CWI, 1996. - (Report CS-R ; 9617)
Link
 

Dagstuhl Seminar 9439, 26.09.94-30.09.94

A note on fairness in I/O automata : article

Romijn, Judi M. T.; Vaandrager, Frits W.. - Amsterdam : North-Holland, 1996. - (Information processing letters : 59. 1996, 5, S. 245-250)
Link
 

Dagstuhl Seminar 9439, 26.09.94-30.09.94

Formal systems specification : the RPC-memory specification case study

Broy, Manfred; Merz, Stephan; Spies, Katharina. - Berlin : Springer, 1996. - XXIII, 540 S. - (Lecture notes in computer science; 1169)
ISBN: 3-540-61984-4
 

Dagstuhl Event 9437, 12.09.94-16.09.94

Sixth ACM SIGOPS European workshop : proceedings : September 12 - 14, 1994, Dagstuhl Castle, Wadern, Germany = Matching operating systems to application needs

Jürgen Nehmer; Shapiro, Marc. - New York : ACM, 1994. - VIII, 193 S.
Link
 

Dagstuhl Seminar 9436, 05.09.94-09.09.94

Theory and practice in distributed systems : international workshop, Dagstuhl, Castle, Germany, September 5 - 9, 1994 : selected papers

Kenneth P. Birman; Friedemann Mattern; Andre Schiper. - Berlin : Springer, 1995. - X, 261 S. - (Lecture notes in computer science; 938)
ISBN: 3-540-60042-6
 

Dagstuhl Event 9435, 29.08.94-02.09.94

Code generation for embedded processors

Peter Marwedel; Gert Goossens. - Boston : Kluwer, 1995. - 298 S. - (The Kluwer International Series in Engineering and Computer Science; 317)
ISBN: 0-7923-9577-8
 

Dagstuhl Seminar 9430, 25.07.94-29.07.94

Principles of natural language generation : papers from a Dagstuhl-Seminar

Wolfgang Hoeppner; Helmut Horacek. - Duisburg : Univ., 1995. - (Schriftenreihe Informatik; 12)
 

Dagstuhl Event 9429, 18.07.94-20.07.94

Architekturen für hochintegrierte Schaltungen : Abstracts des GI-ITG-Workshops : 18. - 20. Juli 1994, Schloß Dagstuhl

Hartmut Schmeck. - Karlsruhe : Univ., 1994. - 12 S. - (Bericht / Institut für angewandte Informatik und formale Beschreibungsverfahren / Universität Karlsruhe (TH); 303)
 

Dagstuhl Seminar 9421, 23.05.94-27.05.94

Scientific visualization : overviews, methodologies, and techniques

Nielson, Gregory M.; Hagen, Hans; Müller, Heinrich. - Los Alamitos : IEEE, 1997. - XIII, 577 S.
ISBN: 0-8186-7777-5
Link
 

Dagstuhl Event 9416, 21.04.94-22.04.94

Unterlagen zum 1. Treffen der Hochschullehrer mit dem Arbeitsschwerpunkt Technische Informatik : 21. - 22. April 1994, Schloss Dagstuhl

Görke, Winfried; Grass, W.; Tavangarian, Djamshid; Waldschmidt, Klaus. - 1994
 

Dagstuhl Seminar 9412, 21.03.94-25.03.94

Compiling active object-relational rule conditions into partially differentiated relations : presented at the Dagstuhl-Seminar on active databases, Schloss Dagstuhl, Germany, March 1994

Sköld, Martin; Risch, Tore. - Linköping : University, 1994. - 12 S.. - (Research report ; 9410)
 

Dagstuhl Seminar 9411, 14.03.94-18.03.94

Theoretical foundations of computer vision

Kropatsch, Walter G; Klette, Reinhard; Solina, Franc; Rudolf F. Albrecht. - Wien : Springer, 1996. - 256 S. - (Computing supplement; 11)
ISBN: 3-211-82730-7
 

Dagstuhl Event 94083, 24.02.94-25.02.94

Informatik, Grundlagen, Anwendungen, Perspektiven

Wilhelm, Reinhard. - München : Beck, 1996. - 143 S. - (Beck'sche Reihe: 2038)
ISBN: 3-406-40338-7
 

Dagstuhl Event 9405, 31.01.94-04.02.94

Visualisierung von Umweltdaten : 4. Workshop, Schloß Dagstuhl, 1994

Ralf Denzer; Reiner Güttler; Horst Deutsch. - Marburg : Metropolis-Verlag, 1994. - 189 S. - (Umwelt-Informatik aktuell ; 3)
ISBN: 3-89518-040-8
 

Dagstuhl Event 9405, 31.01.94-04.02.94

Integration von Umweltdaten : 2. Workshop 1994

Reiner Güttler; Werner Geiger. - Marburg : Metropolis-Verlag, 1995. - 167 S. - (Umwelt-Informatik aktuell; 4)
ISBN: 3-89518-032-7
 

Dagstuhl Seminar 9403, 17.01.94-21.01.94

Relational methods in computer science

Brink, Chris; Kahl, Wolfram; Schmidt, Gunther. - Wien : Springer, 1997. - XIV, 272 S. - (Advances in computing science)
ISBN: 3-211-82971-7
 

Dagstuhl Seminar 9350, 13.12.93-17.12.93

Summarizing text : special issue : Dagstuhl-Seminar Summarizing text for intelligent communication, 1993

Karen Sparck Jones; Brigitte Endres-Niggemeyer. - Exeter : Pergamon, 1995. - (Information processing and management : 31. 1995, 5, S. 625-786)
 

Dagstuhl Seminar 9350, 13.12.93-17.12.93

Summarizing text for intelligent communication : results of the Dagstuhl seminar

Endres-Niggemeyer, Brigitte. - Würzburg : Ergon, 1994. - (Knowledge organization : 21. 1994, 4, S. 213-223)
 

Dagstuhl Event 9346, 15.11.93-19.11.93

Informatik, Grundlagen, Anwendungen, Perspektiven

Wilhelm, Reinhard. - München : Beck, 1996. - 143 S. - (Beck'sche Reihe: 2038)
ISBN: 3-406-40338-7
 

Dagstuhl Seminar 9341, 11.10.93-15.10.93

Computational kinematics

Jorge Angeles; Günter Hommel; Peter Kovacs. - Dordrecht : Kluwer, 1993. - IX, 306 S. - (Solid mechanics and its applications; 28)
ISBN: 0-7923-2585-0
 

Dagstuhl Event 93403, 07.10.93-08.10.93

3. Theorietag "Automaten und Formale Sprachen", Schloß Dagstuhl, 7./8. Oktober 1993

Diekert, Volker; Teodosin, Dan. - Stuttgart : Universität, 1994. - 69 S.. - (Report / Universität Stuttgart / Fakultät für Informatik ; 94/1)
Link
 

Dagstuhl Event 93403, 07.10.93-08.10.93

Theorietag in Dagstuhl, 7. / 8. Oktober 1993, Automatentheorie und formale Sprachen, GI-Fachgruppe 0.1.5 : Kurzfassungen der Vorträge

Diekert, Volker. - Stuttgart : Institut für Informatik, 1993. - 21 S.
 

Dagstuhl Seminar 9339, 27.09.93-01.10.93

¬The¬ Knapsack problem in cryptography

Qu, Minghua; Vanstone, Scott A.. - Providence : American Mathematical Society, 1994.. - (Contemporary mathematics ; 168. - S. 291-308)
 

Dagstuhl Seminar 9338, 20.09.93-24.09.93

Non-classical logics in computer science

Victor M. Marek; Peter H. Schmitt. - Basel : Baltzer, 1994. - (Annals of mathematics and artificial intelligence : 12. 1994, 3/4)
 

Dagstuhl Seminar 9335, 30.08.93-03.09.93

Architecture and protocols for high-speed networks

Otto Spaniol; André Danthine; Wolfgang Effelsberg. - Boston : Kluwer, 1994. - XI, 292 S.
ISBN: 0-7923-9512-3
 

Dagstuhl Event 9333, 00.00.00-18.08.93

Special issue on algorithms : implementation, libraries and use

Mehlhorn, Kurt; Näher, Stefan; Nievergelt, Jürg. - . - London : Academic Press, 1994. - (Journal of symbolic computation : 17. 1994, 4, S. 295-369)
 

Dagstuhl Seminar 9326, 28.06.93-02.07.93

Geometric modelling : Dagstuhl 1993

Hans Hagen; Gerald Farin; Hartmut Noltemeier; Rudolf F. Albrecht. - Wien : Springer, 1995. - 361 S. - (Computing; Supplement 10)
ISBN: 3-211-82666-1
 

Dagstuhl Seminar 9325, 21.06.93-25.06.93

Special issue on parallelization techniques for uniform algorithms : a workshop held at Schloß Dagstuhl, Wadern, Germany, June 1993

Christian Lengauer; Patrice Quinton; Yves Robert; Thiele, Lothar. - Singapore : World Scientific, 1994. - (Parallel processing letters : 4. 1994, 3, S. 189 - 364)
 

Dagstuhl Event 9322, 31.05.93-04.06.93

Frauen in Mathematik und Informatik : Tagungsbericht Schloß Dagstuhl, 1.6. - 4.6.1993

Funken, Christiane; Schinzel, Britta. - Wadern-Dagstuhl : IBFI. - 138 S.
 

Dagstuhl Event 9319, 10.05.93-14.05.93

North West European analysis seminar 1993 : International Conference and Research Center for Computer Science Schloss Dagstuhl (Saarland), 10 - 14 May 1993

König, Heinz; Lumer, Günter. - Dagstuhl, 1993
 

Dagstuhl Seminar 9316, 19.04.93-22.04.93

Graphics and robotics

Wolfgang Straßer; Friedrich Wahl. - Berlin : Springer, 1995. - VIII, 247 S.
ISBN: 3-540-58358-0. - ISBN 0-387-58358-0
 

Dagstuhl Event 9309, 02.03.93-05.03.93

State of the art and open issues in process-centered software engineering environments : article : S. 53-60

Alfonso Fugetta ; Carlo Ghezzi. - Amsterdam : Elsevier, 1994. - (Journal of systems and software : JSS ; 26. 1994, 1)
Link   doi:10.1016/0164-1212(94)90095-7
 

Dagstuhl Event 9309, 02.03.93-05.03.93

Proceedings of the eight international software process workshop : March 2 - 5, 1993, Wadern, Germany = State of the practice in process technology

Wilhelm Schäfer. - Los Alamitos : IEEE, 1993. - VIII, 153 S.
ISBN: 0-8186-4060-X
 

Dagstuhl Event 9306, 08.02.93-10.02.93

1. Workshop Integration von Umweltdaten am 9. - 10. Februar 1993 auf Schloß Dagstuhl (Saarland)

Ralf Denzer; Werner Geiger; Reiner Güttler. - Karlsruhe : Kernforschungszentrum , 1993. - VIII, 127 S. - (KfK / Kernforschungszentrum Karlsruhe; 5187)
 

Dagstuhl Seminar 9301, 04.01.93-08.01.93

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993 : proceedings

Hans-Jürgen Schneider; Hartmut Ehrig. - Berlin : Springer, 1994. - VIII, 394 S. - (Lecture notes in computer science; 776)
ISBN: 3-540-57787-4. - ISBN 0-387-57787-4
 

Dagstuhl Seminar 9245, 02.11.92-06.11.92

Multimedia : system architectures and applications ; proceedings of the Dagstuhl workshop, Germany; November 2 - 4, 1992

Jose Encarnao; Jim Foley. - Darmstadt : ZGDV, 1993
 

Dagstuhl Seminar 9245, 02.11.92-06.11.92

Multimedia : system architectures and applications

Encarnacao, Jose L.; Foley, James D. - Heidelberg : Springer, 1994. - (Computer graphics)
ISBN: 3-540-57413-1
 

Dagstuhl Seminar 9242, 12.10.92-16.10.92

Festschrift for Joseph F. Traub

Wozniakowski, Henryk; Traub, Joseph F. - Boston : Academic Press, 1993. - 337 S. - (Journal of complexity ; 9. 1993, 1/2)
 

Dagstuhl Seminar 9241, 05.10.92-09.10.92

Analogical and inductive inference : international workshop AII'92, Dagstuhl Castle, Germany, October 5 - 9, 1992 : proceedings

Klaus P. Jantke. - Berlin : Springer, 1992. - VIII, 319 S. - (Lecture notes in artificial intelligence; 642)
ISBN: 3-540-56004-1. - ISBN 0-387-56004-1
 

Dagstuhl Seminar 9239, 21.09.92-25.09.92

Informatik und Philosophie

Schefe, Peter; Hastedt, Heiner; Dittrich, Yvonne; Keil, Geert. - Mannheim : BI-Wissenschaftsverlag, 1993. - X, 326 S.
ISBN: 3-86025-542-8. - ISBN 3-411-16521-9
 

Dagstuhl Seminar 9238, 14.09.92-18.09.92

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14 - 18, 1992 : proceedings

Rombach, H. Dieter; Basili, Victor R.; Selby, Richard W.. - Berlin : Springer, 1993, XVIII, 261 S. - (Lecture notes in computer science ; 706)
ISBN: 3-540-57092-6. - ISBN 0-387-57092-6
 

Dagstuhl Seminar 9238, 14.09.92-18.09.92

Experimental software engineering issues : international workshop, Dagstuhl Castle, Germany, September 14 - 18 1992 : collection of position papers

Victor R. Basili; H. Dieter Rombach; Richard W. Selby. - Dagstuhl, 1992. - ca 320 S.
 

Dagstuhl Seminar 9233, 10.08.92-14.08.92

UM92 : third international workshop on user modeling : International Conference and Research Center for Computer Science (IBFI), Schloss Dagstuhl, Wadern, Germany, August 9 - 13, 1992 : proceedings

Andre, Elisabeth; Cohen, Robin; Graf, Winfried H.; Kass, Bob; Paris, Cecile L.; Wahlster, Wolfgang. - Kaiserslautern : DFKI, 1992. - IX, 254 S. - (Document / Deutsches Forschungszentrum für künstliche Intelligenz; 9217)
 

Dagstuhl Seminar 9215, 06.04.92-08.04.92

Proceedings of third international workshop on intelligent and cooperative information systems : distributed cooperation in integrated information systems = ICICIS 92

Matthias Jarke; Clarence A. Ellis; Stephan Jacobs; Klaus Pohl. - Dagstuhl, 1992. - 91 S.
 

Dagstuhl Seminar 9215, 06.04.92-08.04.92

Distributed cooperation in integrated information systems : proceedings of the third international workshop on intelligent and cooperative information systems : Schloß Dagstuhl/Saarland, April 6 - 8, 1992

Ellis, Clarence A.; Jarke, Matthias. - Aachen : RWTH, 1992. - XVIII, 131 S. - (Aachener Informatik-Berichte; 92-18)
 

Dagstuhl Seminar 9215, 06.04.92-08.04.92

Distributed cooperation in integrated information systems : article : S. 85-103

Jarke, Matthias; Ellis, Clarence A.. - Singapore : World Scientific, 1993. - (International journal of cooperative information systems : 2. 1993, 1 : S. 85-103)
Link   doi:10.1142/S0218215793000058
 

Dagstuhl Seminar 9214, 30.03.92-03.04.92

Special issue on Dagstuhl seminar system security, March 29 - April 3, 1992

Beth, Thomas; Strack, Hermann. - Amsterdam : IOS Pr. 1993. - (Journal of computer security : 2. 1993, 11,S. 1-84)
 

Dagstuhl Seminar 9211, 09.03.92-13.03.92

Programming environments : report on an international workshop at Dagstuhl Castle

Paul Klint; Thomas Reps; Gregor Snelting. - New York : ACM, 1992. - (ACM SIGPLAN notices : 27. 1992, 11,S. 90 - 96)
Link
 

Dagstuhl Event 9209, 24.02.92-28.02.92

Parallelrechner und Programmiersprachen : Workshop, Schloß Dagstuhl, 26. - 28. Febr. 1992 = PARS Workshop

Lippe, Wolfram-Manfred. - Bonn : Gesellschaft für Informatik, 1992. - 253 S. - (Mitteilungen / Gesellschaft für Informatik; 1992,10)
 

Dagstuhl Seminar 9208, 17.02.92-21.02.92

Analysis in software engineering : keynote address : article from 1994 First Asia-Pacific software engineering conference

Torii, Koji. - Los Alamitos : IEEE, 1994. - (First Asia-Pacific software engineering conference 1994 : S. 2-6)
 

Dagstuhl Seminar 9208, 17.02.92-21.02.92

Summary of the Dagstuhl workshop on future directions in software engineering : February 17 - 21, 1992, Schloß Dagstuhl : article

Tichy, Walter F.; Habermann, Nico; Prechelt, Lutz. - New York : ACM, 1993. - (Software engineering notes SIGSOFT : 18. 1993, 1 : S. 35-48)
Link
 

Dagstuhl Seminar 9206, 03.02.92-07.02.92

Complexity theory : current research

Klaus Ambos-Spies; Steven Homer; Uwe Schöning. - Cambridge : Cambridge University Press, 1993. - VII, 313 S.
ISBN: 0-521-44220-6
 

Dagstuhl Event 9148, 26.11.91-28.11.91

Visualisierung von Umweltdaten 1991 : 2. Workshop, Schloß Dagstuhl, 26-28 November 1991

Denzer, Ralf; Güttler, Reiner; Grützner, Rolf. - Berlin : Springer, 1992. - X, 122 S. - (Informatik aktuell)
ISBN: 3-540-55624-9. - ISBN 0-387-55624-9
 

Dagstuhl Seminar 9135, 26.08.91-30.08.91

Focus on scientific visualization

Hans Hagen; Heinrich Müller; Gregory M. Nielson. - Berlin : Springer, 1993. - XX, 379 S.
ISBN: 3-540-54940-4. - ISBN 0-387-54940-4
 

Dagstuhl Seminar 9128, 08.07.91-12.07.91

Operating system of the 90s and beyond : international workshop, Dagstuhl Castle, Germany, July 8-12, 1991; proceedings

Karshmer, Arthur I.; Nehmer, Jürgen. - Berlin : Springer, 1991. - XI, 284 S. - (Lecture notes in computer science; 563)
ISBN: 3-540-54987-0. - ISBN 0-387-54987-0
 

Dagstuhl Seminar 9127, 01.07.91-05.07.91

Geometric modelling

Farin, Gerald; Hagen, Hans; Noltemeier, Hartmut; Knödel, W. . - Wien : Springer, 1993. - 316 S. - (Computing; Supplement 8)
ISBN: 3-211-82399-9. - ISBN 0-387-82399-9
 

Dagstuhl Seminar 9126, 24.06.91-28.06.91

Semantics of programming languages and model theory

Droste, Manfred; Gurevich, Yuri. - Amsterdam : Gordon and Breach, 1993. - VII, 366 S. - (Algebra, logic and applications; 5)
ISBN: 2-88124-935-3
 

Dagstuhl Seminar 9125, 17.06.91-21.06.91

Query processing for advanced database systems

Johann Christoph Freytag; David Maier; Gottfried Vossen. - San Mateo : Morgan Kaufmann , 1994. - XXIII, 481 S. - (The Morgan Kaufmann series in data management systems)
ISBN: 1-55860-271-2
 

Dagstuhl Seminar 9121, 20.05.91-24.05.91

Code generation : concepts, tools, techniques; proceedings of the international workshop on code generation; Dagstuhl, Germany, 20-24 May 1991.

Giegerich, Robert; Graham, Susan L. . - London : Springer, 1992. - X, 319 S. - (Workshops in computing)
ISBN: 3-540-19757-5. - ISBN 0-387-19757-5
 

Dagstuhl Seminar 9119, 06.05.91-08.05.91

International workshop on terminological logics : Schloß Dagstuhl, Germany, May 6 - 8, 1991

Bernhard Nebel; Christof Peltason; Kai von Luck. - Berlin : Techn. Univ., 1991. - 131 S. - (KIT-Report; 89)
 

Dagstuhl Seminar 9119, 06.05.91-08.05.91

International workshop on terminological logics : Schloß Dagstuhl, Germany, May 6 - 8, 1991

Nebel, Bernhard; Peltason, Christof; Luck, Kai von. - Kaiserslautern : DFKI, 1991. - 131 S.. - (Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 91-13)
Link
 

Dagstuhl Seminar 9116, 15.04.91-19.04.91

Invited papers presented at the Schloss Dagstuhl workshop on continuous algorithms and complexity : April 15 - 19, 1991

. - Academic Press, 1992. - (Journal of complexity ; 8. 1992, 2, S. 153-202)
 

Dagstuhl Event 9051, 17.12.90-18.12.90

Massively parallel inference systems : abstracts of the workshop on "Massively parallel in-ference systems", December 17 - 18, 1990 : Dagstuhl Castle

Ulrich Furbach; Christian Suttner; Bertram Fronhöfer. - München : TU, 1991. - (TUM / Technische Universität / Institut für Informatik; 9103)
 

Dagstuhl Event 9051, 17.12.90-18.12.90

Parallelization in inference systems : international workshop Dagstuhl Castle, Germany, December 17 - 18, December 17-18, 1990 : proceedings

Fronhöfer, Bertram ; Wrightson, Graham. - Berlin : Springer, 1992. - VIII, 372 S. - (Lecture notes in artificial intelligence ; 590)
ISBN: 3-540-55425-4. - ISBN 0-387-55425-4
 

Dagstuhl Event 9038, 19.09.90-21.09.90

Entwurf und Betrieb verteilter Systeme : Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuhl, 19. - 21. September 1990; Proceedings

Härder, Theo; Wedekind, Hartmut; Gerhard Zimmermann. - Berlin : Springer, 1990. - XII, 283 S. - (Informatik-Fachberichte; 264)
ISBN: 0-387-53490-3 - ISBN 3-540-53490-3
 

Dagstuhl Seminar 9033, 15.08.90-17.08.90

1st international workshop on tree adjoining grammers : formal theory and application

Wolfgang Wahlster; Harbusch, Karin. - Wadern-Dagstuhl : IBFI, 1990. - 101 S.