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







