Häufig kommt es vor, dass ein Dagstuhl-Seminar so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte 
informieren Sie uns über solche Publikationen.
Legende
 | Buch |  | Special Issue |  | Technischer Bericht |  | Artikel |
All 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 Specials
Dagstuhl Event 12062, 06.02.12-08.02.12 | |
| Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme VIII : Model-Based Development of Embedded Systems 06.02.2012 - 08.02.2012 : Tagungsband = MBEES 2012 |
| Giese, Holger ; Huhn, Michaela ; Philipps, Jan ; Schätz, Bernhard. - München : Fortiss GmbH, 2012. - 162 S. Link | |
Dagstuhl Seminar 11271, 03.07.11-06.07.11 | |
| Dagstuhl Manifesto : Computer Science in Sports : pp. 621-623 |
| Lames, Martin; Spaniol, Otto. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 6) Link | |
Dagstuhl Seminar 11191, 08.05.11-13.05.11 | |
| The Open Graph Archive : A Community-Driven Effort : article pp. 435-440 |
| Bachmaier, Christian; Brandenburg, Franz-Josef; Effinger, Philip; Gutwenger, Carsten; Katajainen, Jyrki; Klein, Karsten; Spönemann, Miro; Stegmaier, Matthias; Wybrow, Michael. - Berlin : Springer, 2012. - (Lecture notes in computer science : 7034 ; article : pp. 435-440) ISBN: 978-3-642-25877-0 Link | |
Dagstuhl Event 11072, 16.02.11-18.02.11 | |
| Dagstuhl-Workshop MBEES : modellbasierte Entwicklung eingebetteter Systeme VII : model-based development of embedded systems 16.02.2011 - 18.02.2011 = MBEES 2011 |
| Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard. - München : Fortiss GmbH, 2011. - 176 S. Link | |
Dagstuhl Seminar 11061, 06.02.11-11.02.11 | |
| Dagstuhl Manifesto : Online Privacy : pp. 529-531 |
| Fischer-Hübner, Simone; Krontiris, Ioannis; Waidner, Michael. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 5) Link | |
Dagstuhl Seminar 10482, 30.11.10-03.12.10 | |
| Dagstuhl Manifesto : Formal Methods - just a Euroscience? : pp. 413-414 |
| Kreiker, Jörg; Tarlecki, Andrzej; Vardi, Moshe Y.; Wilhelm, Reinhard. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 4 _ pp. 413-414) Link doi:10.1007/s00287-011-0552-9 | |
Dagstuhl Seminar 10461, 14.11.10-19.11.10 | |
| Linear-Time Algorithms for Proportional Contact Graph Representations |
| Alam, Muhammad J.; Biedl, Therese; Felsner, Stefan; Gerasch, Andreas; Kaufmann, Michael; Kobourov, Stephen G.. - Waterloo : University, 2011. - 15 pp.. - (Technical Report / Waterloo / Cheriton School of Computer Science ; 2011-19) Link | |
Dagstuhl Event 10452, 07.11.10-12.11.10 | |
| Report on DEIS'10 : advanced school on data exchange, information, and streams : a GI-Dagstuhl Seminar : article : pp. 40-42 |
| Kolaitis, Phokion G.; Lenzerini, Mauricio; Schweikardt, Nicole. - New York : ACM, 2011. - (SIGMOD record : 40. 2011, 1 : pp. 40-42) Link | |
Dagstuhl Event 10432, 24.10.10-29.10.10 | |
| Presenting Longitudinal Studies to End Users Effectively Using DDI Metadata |
| Kramer, Stefan; Banks, Randy; Chang, Vicky; Sieber, Ingo; Vardigan, Mary; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2011. - 51 S.. - (Best Practices for Longitudinal Data ; 4) doi:http://dx.doi.org/10.3886/DDILongitudinal04 | |
Dagstuhl Event 10432, 24.10.10-29.10.10 | |
| Enabling Longitudinal Data Comparison Using DDI |
| Hansen, Sue Ellen; Iverson, Jeremy; Jensen, Uwe; Orten, Hilde; Vompras, Johanna. - DDIAlliance.org, 2011. - 20 S.. - (Best Practices for Longitudinal Data ; 2) Link | |
Dagstuhl Event 10432, 24.10.10-29.10.10 | |
| Metadata for the Longitudinal Data Life Cycle |
| Hoyle, Larry; Castillo, Fortunato; Clark, Benjamin; Kashyap, Neeraj; Perpich, Denise; Wackerow, Joachim; Wenzig, Knut. - DDIAlliance.org, 2011. - 31 S.. - (Best Practices for Longitudinal Data ; 3) Link | |
Dagstuhl Seminar 10431, 24.10.10-29.10.10 | |
| A framework for evaluating quality-driven self-adaptive software systems : article |
| Villegas, Norha M.; Müller, Hausi A.; Tamura, Gabriel; Duchien, Laurence; Casallas, Rubby. - New York : ACM, 2011. - (SEAMS : Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems : article ; pp. 80 - 89) Link | |
Dagstuhl Seminar 10411, 10.10.10-15.10.10 | |
| Video Processing and Computational Video : International Seminar, Dagstuhl Castle, Germany, October 10 - 15, 2010, Revised Papers |
| Cremers, Daniel; Magnor, Marcus Andreas; Oswald, Martin R.; Zelnik-Manor, Lihi. - Berlin : Springer, 2011. - VI, 211 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 7082) ISBN: 978-3-642-24869-6 / 3-642-24869-1 Link | |
Dagstuhl Seminar 10402, 03.10.10-06.10.10 | |
| Research challenges in intervehicular communication : lessons of the 2010 Dagstuhl Seminar : article : pp. 158-164 |
| Dressler, Falko; Kargl, Frank; Ott, Jörg; Tonguz, Ozan K.; Wischhof, Lars. - Los Alamitos : IEEE, 2011. - (IEEE Communications Magazine : 49. 2011, 5 : pp. 158-164) doi:10.1109/MCOM.2011.5762813 | |
Dagstuhl Seminar 10381, 19.09.10-24.09.10 | |
| Plan space analysis : an early warning system to detect plan regressions in cost-based optimizers : article : DBTest '11 |
| Waas, Florian M.; Giakoumakis, Leo; Zhang, Shin. - New York : ACM, 2011. - (Proceedings of the Fourth International Workshop on Testing Database Systems : DBTest 2011 ; Article No. 2) Link | |
Dagstuhl Seminar 10381, 19.09.10-24.09.10 | |
| Tractor pulling on data warehouses : article : DBTest '11 |
| Kersten, Martin L.; Kemper, Alfons; Markl, Volker; Nica, Anisora; Poess, Meikel; Sattler, Kai-Uwe. - New York : ACM, 2011. - (Proceedings of the Fourth International Workshop on Testing Database Systems : DBTest 2011 ; Article No. 7) Link | |
Dagstuhl Seminar 10381, 19.09.10-24.09.10 | |
| The mixed workload CH-benCHmark |
| Cole, Richard; Funke, Florian; Giakoumakis, Leo; Guy, Wey; Kemper, Alfons; Krompass, Stefan; Kuno, Harumi; Nambiar, Raghunath; Neumann, Thomas; Poess, Meikel; Sattler, Kai-Uwe; Seibold, Michael; Simon, Eric; Waas, Florian M. . - New York : ACM, 2011. - (Proceedings of the Fourth International Workshop on Testing Database Systems : DBTest 2011 ; Article No. 8) Link | |
Dagstuhl Seminar 10373, 15.09.10-18.09.10 | |
| User Experience White Paper : Bringing Clarity to the Concept of User Experience : Result from Dagstuhl Seminar on Demarcating User Experience, September 15 - 18, 2010 |
| Roto, Virpi; Law, Effie Lai-Chong; Vermeeren, Arnold; Hoonhout, Jettie. - 2011, 12 pp. Link | |
Dagstuhl Seminar 10361, 05.09.10-10.09.10 | |
| Evolutionary algorithms and dynamic programming : article : pp. 6020-6035 |
| Doerr, Benjamin; Eremeev, Anton V.; Neumann, Frank; Theile, Madeleine; Thyssen, Christian. - Amsterdam : Elsevier, 2011. - (Theoretical computer science : 412. 2011, 43) Link | |
Dagstuhl Seminar 10361, 05.09.10-10.09.10 | |
| Proceedings of the 2011 ACM / SIGEVO Foundations of Genetic Algorithms XI : January 5 - 9, 2011, Schwarzenberg, Austria = FOGA '11 |
| Beyer, Hans-Georg; Langdon, William B.. - New York : ACM, 2011. - VII, 253 S. ISBN: 978-1-4503-0633-1 / 1-4503-0633-0 Link | |
Dagstuhl Seminar 10361, 05.09.10-10.09.10 | |
| How crossover helps in pseudo-boolean optimization : article : GECCO 2011 : pp. 989-996 |
| Kötzing, Timo; Sudholt, Dirk, Theile, Madeleine. - New York : ACM, 2011. - (GECCO 2011 Proceedings of the 13th annual conference on Genetic and evolutionary computation : article pp. 989-996) Link | |
Dagstuhl Event 10332, 15.08.10-21.08.10 | |
| Act-Control-Move : Beyond Networked Sensors : CONET Summer School, August 15 - 21, 2010, Schloss Dagstuhl |
| Römer, Kay; Mattern, Friedemann. - Duisburg : CONET, 2010. - 82 S. Link | |
Dagstuhl Seminar 10241, 13.06.10-18.06.10 | |
| State of the Field and New Research Directions : Special Issue : pp. 269-371 |
| Kerren, Andreas; Plaisant, Catherine; Stasko, John T.. - Thousand Oaks : Sage Science Press, 2011. - (Information Visualization ; 10. 2011, 4) Link | |
Dagstuhl Event 10222, 30.05.10-02.06.10 | |
| Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science : May 31 - June 2, 2010 : DFG Research Training Group 1298 AlgoSyn, RWTH Aachen University = Dagstuhl 2010 |
| Bollue, Kai; Gückel, Donimique; Loup, Ulrich; Spönemann, Jacob; Winkler, Melanie. - Aachen : Universität , 2010. - 213 S. Link | |
Dagstuhl Event 10192, 09.05.10-11.05.10 | |
| Ausgezeichnete Informatikdissertationen 2009 |
| Hölldobler, Steffen; Bernstein, Abraham; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Neumann, Gustav; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra; Störrle, Harald; Wagner, Dorothea. - Bonn : Gesellschaft für Informatik e.V., 2010. - 310 S.. - (Lecture notes in informatics / D ; 10) ISBN: 978-3-88579-414-2 / 3-88579-414-4 Link | |
Dagstuhl Seminar 10121, 21.03.10-26.03.10 | |
| Dagstuhl Manifesto : Towards a Computational Transportation Science : pp. 225-226 |
| Winter, Stephan; Sester, Monika; Wolfson, Ouri E.; Geers, Glenn. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 2 : pp.225-226) Link doi:10.1007/s00287-011-0528-9 | |
Dagstuhl Seminar 10121, 21.03.10-26.03.10 | |
| Towards a computational transportation science : article pp. 119-126 |
| Winter, Stephan; Sester, Monika; Wolfson, Ouri E.; Geers, Glenn. - University of Maine, 2011. - ((Journal of Spatial Information Science ; 2011, 3 : pp. 119-126) Link | |
Dagstuhl Seminar 10102, 07.03.10-12.03.10 | |
| Dagstuhl Manifesto : Grand Challenges for Discrete Event Logistics Systems : article : pp. 663-668 |
| Lendermann, Peter; MacGinnis, Leon F.; Mönch, Lars; Schirrman, Arnd. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 6 : pp. 663-668) Link doi:10.1007/s00287-010-0497-4 | |
Dagstuhl Seminar 10102, 07.03.10-12.03.10 | |
| Special Issue on Grand Challenges for Discrete Event Logistics Systems : pp. 555-637 |
| Mönch, Lars; Lendermann, Peter; MacGinnis, Leon F.; Schirrman, Arnd. - Amsterdam : Elsevier, 2011. - (Computers in Industry ; 62. 2011, 6) Link | |
Dagstuhl Event 10052, 02.02.10-05.02.10 | |
| Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme VI : MBEES 2010 |
| Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard. - München : Fortiss GmbH, 2010. - 134 S. Link | |
Dagstuhl Seminar 10041, 24.01.10-29.01.10 | |
| Kurzbericht zum Perspectives Workshop: Digital Social Networks : article : pp. 41-43 |
| Henrich, Andreas. - Berlin : Springer, 2010. - (Datenbank-Spektrum ; 10. 2010, 1 : pp. 41-43) Link doi:10.1007/s13222-010-0002-x | |
Dagstuhl Seminar 10041, 24.01.10-29.01.10 | |
| Dagstuhl Manifesto : Digital Social Media : pp. 404-406 |
| Bry, Francois; Cap, Clemens H.; Dahm, Ingo; Maintz, Julia; Schaffert, Sebastian. - Heidelberg : Springer, 2010. - (Informatik Spektrum : 33. 2010, 4 : pp. 404-406) Link doi:10.1007/s00287-010-0453-3 | |
Dagstuhl Seminar 09502, 06.12.09-09.12.09 | |
| Coalgebraic Logic : Special Issue : pp. 171-509 |
| Doberkat, Ernst-Erich; Kurz, Alexander. - Cambridge : Cambridge Univ.. Pr., 2011. - (Mathematical structures in computer science : 21. 2011, 2) Link | |
Dagstuhl Seminar 09502, 06.12.09-09.12.09 | |
| Probabilistic Logical Characterization : article : pp. 154-172 |
| Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun. - Amsterdam : Elsevier, 2010. - (Information and Compuation : 209. 2010, pp. 154-172) Link doi:10.1016/j.ic.2010.11.024 | |
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 Seminar 09493, 02.12.09-04.12.09 | |
| Critical Systems : Special Issue : pp. 28 - 63 |
| Coyle, Lorcan; Hinchey, Michael G.; Nuseibeh, Bashar; Fiadeiro, Jose Luiz. - Piscataway : IEEE, 2010. - (Computer : IEEE : 43. 2010, 5 : pp 28-63) Link | |
Dagstuhl Seminar 09493, 02.12.09-04.12.09 | |
| Dagstuhl Manifesto : Evolving Critical Systems : pp. 105-107 |
| Hinchey, Michael G.; Nuseibeh, Bashar; Fiadeiro, Jose Luiz. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 1 : pp. 105-107) Link | |
Dagstuhl Seminar 09481, 22.11.09-27.11.09 | |
| What Is in a Step : New Perspectives on a Classical Question : article in LNCS 6200 : pp. 370-399 |
| Roever, Willem-Paul de; Lüttgen, Gerald; Mendler, Michael V.. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6200 : pp. 370-399) ISBN: 978-3-642-13753-2 Link doi:10.1007/978-3-642-13754-9_15 | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Questionnaire Management and DDIThe QDDS Case |
| Hopt, Oliver; Amin, Alerk; Gregory, Arofan; Jensen, Jannik Vestergaard; Kristiansen, Dan; Vardigan, Mary. - DDIAlliance.org, 2010. - 9 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Grouping of Survey Series Using DDI 3 |
| Jensen, Uwe; Ionescu, Sanda; Kleemola, Mari; Martinez, Agostina; Thomas, Wendy; Vardigan, Mary; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2010. - 21 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Extracting Metadata From the Data Analysis Workflow = DDI 3 |
| Hoyle, Larry; Wackerow, Joachim; Hopt, Oliver. - DDIAlliance.org, 2010. - 26 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Using DDI 3 for Comparison |
| Ionescu, Sanda; Hoyle, Larry; Kleemola, Mari; Mechtel, Martin; Olsson, Olof; Thomas, Wendy. - DDIAlliance.org, 2010. - 15 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Building a Modular DDI 3 Editor |
| Jensen, Jannik Vestergaard; Kristiansen, Dan; Amin, Alerk; Gregory, Arofan; Martinez, Agostina; Mechtel, Martin; Vardigan, Mary; Zenk-Möltgen, Wolfgang. - DDIAlliance.org, 2010. - 13 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| Questasy : Documenting and Disseminating Longitudinal Data Online Using DDI 3 |
| Amin, Alerk; Edwards, Michelle; Hopt, Oliver; Jensen, Jannik Vestergaard; Kristiansen, Dan. - DDIAlliance.org, 2010. - 11 pp.. - (DDI Use Case Literature) Link | |
Dagstuhl Event 09452, 01.11.09-06.11.09 | |
| An Archive's Perspective on DDI 3 |
| Kleemola, Mari; Edwards, Michelle; Ionescu, Sanda; Jensen, Uwe; Olsson, Olof; Thomas, Wendy; Risnes, Ornulf. - DDIAlliance.org, 2010. - 15 p. . - (DDI Use Case Literature) Link | |
Dagstuhl Seminar 09402, 27.09.09-02.10.09 | |
| Dagstuhl Manifesto : Democracy in a Network Society : pp. 326-329 |
| Kutylowski, Miroslaw. - Berlin : Springer, 2011. - (Informatik Spektrum : 34. 2011, 3 : pp. 326-329) Link doi:10.1007/s00287-011-0543-x | |
Dagstuhl Seminar 09402, 27.09.09-02.10.09 | |
| Machiavelli Confronts 21st Century Digital Technology : Democracy in a Network Society |
| Baer, Walter S.; Borisov, Nikita; Danezis, George; Dutton, William H.; Gürses, Seda F.; Klonowski, Marek; Kutylowski, Miroslaw; Maier-Rabler, Ursula; Moran, Tal; Pfitzmann, Andreas; Preneel, Bart; Sadeghi, Ahmad-Reza; Vedel, Thierry; Westen, Tracy; Zagors. - Oxford : Oxford Internet Institute, 2009 Link | |
Dagstuhl Seminar 09391, 20.09.09-25.09.09 | |
| Dagstuhl 2009 : Special Issue : pp. 263-416 |
| Müller-Gronbach, Thomas; Plaskota, Leszek; Schmid, Wolfgang Ch.. - Amsterdam : Elsevier, 2011. - (Journal of Complexity : 27. 2011, 3/4 : pp. 263-416) Link | |
Dagstuhl Seminar 09282, 05.07.09-08.07.09 | |
| Towards Hardware-Intrinsic Security : Foundations and Practice |
| Sadeghi, Ahmad-Reza; Naccache, David. - Berlin : Springer, 2010. - XVI, 407 S.. - (Information security and cryptography) ISBN: 978-3-642-14451-6 / 3-642-14451-9 Link | |
Dagstuhl Seminar 09271, 28.06.09-03.07.09 | |
| Dagstuhl Manifesto : Dagstuhl Perspectives Semantic Web Reflections and Future Directions : pp. 521 - 523 : article |
| Harth, Andreas; Studer, Rudi. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 5 : pp. 521-523) Link | |
Dagstuhl Event 09242, 07.06.09-10.06.09 | |
| Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs : 8. - 10. Juni 2009, Dagstuhl |
| Avanes, Artin; Fahland, Dirk; Geibig, Joanna; Haschemi, Siamak; Heglmeier, Sebastian; Sadilek, Daniel A.; Theisselmann, Falko; Wachsmuth, Guido; Weißleder, Stephan. - Berlin : GITO, 2009. - 227 S. ISBN: 978-3-940019-73-8 / 3-940019-73-9 Link | |
Dagstuhl Event 09212, 17.05.09-20.05.09 | |
| Ausgezeichnete Informatikdissertationen 2008 |
| Wagner, Dorothea; Bernstein, Abraham; Dreier, Thomas; Hölldobler, Steffen; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Neumann, Gustav; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra; Störrle, Harald. - Bonn : Gesellschaft für Informatik e.V., 2009. - 337 S.. - (Lecture notes in informatics / D ; 9) ISBN: 978-3-88579-413-4 / 3-88579-413-6 Link | |
Dagstuhl Seminar 09211, 17.05.09-20.05.09 | |
| Report on the Dagstuhl Seminar on Visualization and Monitoring of Network Traffic : Article : pp. 232-236 |
| Keim, Daniel A.; Pras, Aiko; Schönwälder, Jürgen; Wong, Pak Chung; Mansmann, Florian. - Berlin : Springer, 2010.. - (Journal of network and systems management ; 18. 2010, 2 : pp. 232-236) Link doi:10.1007/s10922-010-9161-1 | |
Dagstuhl Seminar 09201, 10.05.09-15.05.09 | |
| Towards a Holistic Approach to Fault Management : Wheels Within a Wheel : Book Chapter pp. 1-10 from : Dependability and Computer Engineering: Concepts for Software-Intensive Systems |
| Goldszmidt, Moises; Malek, Miroslaw; Nadjm-Tehrani, Simin; Narasimhan, Priya; Salfner, Felix; Ward, Paul A.; Wilkes, John. - Hershey : IGI Global, 2011. - pp. 1-10 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 09162, 14.04.09-17.04.09 | |
| Future Internet : Das Internet der Zukunft : Themenheft : S. 106-194 |
| Braun, Torsten. - Heidelberg : Springer, 2010. - (Informatik Spektrum : 33. 2010, Heft 2 : S. 106-194) 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 09142, 31.03.09-03.04.09 | |
| Preventing the Brainware Crisis : Dagstuhl Manifesto : pp. 324 - 326 |
| Diehl, Stephan; Fellows, Michael R.; Hartmann, Werner; Stege, Ulrike. - Heidelberg : Springer, 2010. - (Informatik Spektrum : 33. 2010, 3 : pp. 324 - 326) Link doi:10.1007/s00287-010-0442-6 | |
Dagstuhl Seminar 09142, 31.03.09-03.04.09 | |
| Reaching Out to the Media : Become a Computer Science Ambassador : article : pp. 113-116 |
| Rosamond, Frances A.; Bardohl, Roswitha; Diehl, Stephan; Geisler, Uwe; Bolduan, Gordon; Lessmöllmann, Annette; Schwill, Andreas; Stege, Ulrike. - New York : ACM, 2010. - (Communications of the ACM : 54. 2011, 3 : pp. 113-116 Link doi:10.1145/1897852.1897880 | |
Dagstuhl Seminar 09131, 22.03.09-27.03.09 | |
| Grids and Service-Oriented Architectures for Service Level Agreements |
| Wieder, Philipp; Yahyapour, Ramin; Ziegler, Wolfgang. - Berlin : Springer, 2010. - XVI, 176 S.. - (CoreGrid) ISBN: 978-1-4419-7319-1 / 1-4419-7319-2 Link | |
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 09082, 15.02.09-20.02.09 | |
| Dagstuhl Manifesto : Perspectives in Grid Computing : pp. 220-221 |
| Schwiegelshohn, Uwe. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 2 : pp. 220-221) Link doi:10.1007/s00287-010-0431-9 | |
Dagstuhl Seminar 09082, 15.02.09-20.02.09 | |
| Perspectives on grid computing : article : pp. 1104-1115 |
| Schwiegelshohn, Uwe; Badia, Rosa M.; Bubak, Marian; Danuletto, Marco; Dustdar, Schahram; Gagliardi, Fabrizio; Geiger, Alfred; Hluchy, Ladislav; Kranzlmüller, Dieter; Laure, Erwin; Priol, Thierry; Reinefeld, Alexander; Resch, Michael M.; Reuter, Andreas; Rienhoff, Otto; Rüter, Thomas; Sloot, Peter M. A.; Talia, Domenico; Ullmann, Klaus; Yahyapour, Ramin; Voigt, Gabriele von. - Amsterdam : Elsevier, 2010. - (Future generation computer systems : 26. 2010, 8 : pp. 1104-1115) Link doi:10.1016/j.future.2010.05.010 | |
Dagstuhl Seminar 09052, 27.01.09-30.01.09 | |
| A Discussion of Socio-economic Management and Incentives for the Future Internet : article from 2009 IEEE GLOBECOM workshops : pp. 1-6 |
| Stiller, Burkhard; Hausheer, David; Hoßfeld, Tobias; Liotta, Antonio; Spirou, Spiros; Waldburger, Martin. - New York : IEEE Press, 2009.. - (IEEE GLOBECOM workshops 2009, ISBN 978-1-4244-5626-0) Link doi:10.1109/GLOCOMW.2009.5360747 | |
Dagstuhl Seminar 09031, 11.01.09-16.01.09 | |
| Cryptanalysis of Dynamic SHA(2) : article in LNCS 5867 |
| Aumasson, Jean-Philippe; Dunkelman, Orr; Indesteege, Sebastiaan; Preneel, Bart. - Berlin : Springer, 2009. - (Lecture notes in computer science : 5867 ; pp. 415 - 432) Link doi:10.1007/978-3-642-05445-7_26 | |
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 Contribution 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 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, Joachim. - DDIAlliance.org, 2009. - 14 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 | |
| Work flows - Data Discovery and Dissemination : User Perspective |
| 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 | |
| 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 | |
| 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 | |
| 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 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 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 Link doi:10.1007/s00287-009-0362-5 | |
Dagstuhl Seminar 08412, 08.10.08-11.10.08 | |
| The Brave New World of Design Requirements : Four Key Principles : article pp. 470-482 |
| Jarke, Matthias; Loucopoulos, Pericles; Lyytinen, Kalle J.; Mylopoulos, John; Robinson, William R.. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6051 : Article pp. 470-482) ISBN: 9783642130939 Link doi:10.1007/978-3-642-13094-6 | |
Dagstuhl Seminar 08412, 08.10.08-11.10.08 | |
| The brave new world of design requirements : article : pp. 992-1008 |
| Jarke, Matthias; Loucopoulos, Pericles; Lyytinen, Kalle J.; Mylopoulos, John; Robinson, William R.. - Amsterdam : Elsevier, 2011. - (Information systems : 36. 2011, 7 : pp. 992-1008) Link | |
Dagstuhl Seminar 08412, 08.10.08-11.10.08 | |
| High Impact Requirements Engineering : Schwerpunktthema S. 115 - 192 |
| Jarke, Matthias; Lyytinen, Kalle J.. - Wiesbaden : Gabler, 2010. - S. 115 - 192. - (Wirtschaftsinformatik . 52. 2010, 3)(Business and Information Systems Engineering : BISE : 2010, 3) Link Link | |
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 08361, 31.08.08-05.09.08 | |
| Multi-Agent Programming : Special Issue : pp. 155-301 |
| Bordini, Rafael H.; Dastani, Mehdi; Dix, Jürgen; Fallah Seghrouchni, Amal El. - Berlin : Springer, 2011. - (Autonomous Agents and Multi-Agent Systems : 23. 2011, 2 : pp. 155-301) Link | |
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 08302, 20.07.08-25.07.08 | |
| Insider Threats in Cyber Security |
| Probst, Christian W.; Hunker, Jeffrey; Gollmann, Dieter; Bishop, Matt. - Berlin : Springer, 2010. - XI, 244 S.. - (Advances in information security ; 49) ISBN: 978-1-4419-7132-6 / 1-4419-7132-7 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 | |
| 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 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 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 doi:10.1145/1517480.1517489 | |
Dagstuhl Seminar 08231, 01.06.08-06.06.08 | |
| Reflections on the Design and Implementation of Virtual Environments Systems : Special Issue : S. III-IV, 83-195 |
| Steed, Anthony; Reiners, Dirk; Latoschik, Marc Erich. - Cambridge : MIT Press, 2010. - (Presence : 19. 2010, 2) Link | |
Dagstuhl Seminar 08231, 01.06.08-06.06.08 | |
| Virtual Realities : Dagstuhl Seminar 2008 |
| Coquillart, Sabine; Brunnett, Guido; Welch, Greg. - Berlin : Springer, 2011. - XIII, 251 S. ISBN: 978-3-211-99177-0 / 3-211-99177-8 Link | |
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 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 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 Seminar 08201, 11.05.08-16.05.08 | |
| On the number of matrices and a random matrix with prescribed row and column sums and 0–1 entries : article : pp. 316-339 |
| Barvinok, Alexander. - Amsterdam : Elsevier, 2010.. - ((Advances in mathematics ; 224. 2010, pp. 316-339) Link doi:10.1016/j.aim.2009.12.001 | |
Dagstuhl Event 08182, 27.04.08-29.04.08 | |
| Ausgezeichnete Informatikdissertationen 2007 |
| Wagner, Dorothea; Bernstein, Abraham; Dreier, Thomas; Hölldobler, Steffen; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Neumann, Gustav; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra; Störrle, Harald. - Bonn : Gesellschaft für Informatik e.V., 2008. - 318 S.. - (Lecture notes in informatics / D ; 7) ISBN: 978-3-88579-412-7 / 3-88579-412-8 Link | |
Dagstuhl Seminar 08181, 27.04.08-30.04.08 | |
| The Evolution of Conceptual Modeling : From a Historical Perspective towards the Future of Conceptual Modeling |
| Kaschek, Roland H.; Delcambre, Lois. - Berlin : Springer, 2011. - XX, 330 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 6520) ISBN: 978-3-642-17504-6 / 3-642-17504-X Link doi:10.1007/978-3-642-17505-3 | |
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 | |
| 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 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 08071, 10.02.08-15.02.08 | |
| A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling : article pp. 210-221 |
| Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto; Stiller, Sebastian. - Berlin : Springer, 2008. - (Lecture notes in computer science : 5193 ; pp. 210-221) Link doi:10.1007/978-3-540-87744-8_18 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Algorithms and Complexity for Periodic Real-Time Scheduling : article : ACM-SIAM Symposium on Discrete Algorithms (SODA10): pp. 1350 - 1359 |
| Bonifaci, Vincenzo; Chan, Ho-Leung; Marchetti Spaccamela, Alberto; Megow, Nicole. - Philadelphia : SIAM, 2010. - (ACM-SIAM Symposium on Discrete Algorithms : SODA10 : pp. 1350 - 1359) Link | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Open problems in real-time scheduling : article : S. 577-582 |
| Baruah, Sanjoy K.; Pruhs, Kirk R.. - Berlin : Springer, 2010. - (Journal of Scheduling : 13. 2010, 6) Link doi:10.1007/s10951-009-0137-5 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Feasibility Analysis of Sporadic Real-Time Multiprocessor Task Systems : article : pp. 230-241 |
| Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6347 ; pp. 230-241) Link doi:10.1007/978-3-642-15781-3_20 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Scheduling Periodic Tasks in a Hard Real-Time Environment : article pp. 299-311 |
| Eisenbrand, Friedrich; Hähnle, Reiner; Niemeier, Martin; Skutella, Martin; Verschae, Jose; Wiese, Andreas. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6198 ; pp. 299-311) Link doi:10.1007/978-3-642-14165-2_26 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods : article pp. 11-22 |
| Eisenbrand, Friedrich; Kesavan, Karthikeyan; Mattikalli, Raju S.; Niemeier, Martin; Nordsieck, Arnold W.; Skutella, Martin; Verschae, Jose; Wiese, Andreas. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6346 ; pp. 11-22) Link doi:10.1007/978-3-642-15775-2_2 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Scheduling Real-Time Mixed-Criticality Jobs : article pp. 90-101 |
| Baruah, Sanjoy K.; Bonifaci, Vincenzo; D'Angelov, Gianlorenzo; Megow, Haohan; Stougie, Leen. - Berlin : Springer, 2010. - (Lecture notes in computer science : 6281 ; pp. 90-101) Link doi:10.1007/978-3-642-15155-2_10 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| EDF-schedulability of synchronous periodic task systems is coNP-hard : article : pp. 1029-1034 |
| Eisenbrand, Friedrich; Rothvoß, Thomas. - New York : ACM, 2010. - (SODA '10 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms ; pp. 1029-1034) Link | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Implementation of a Speedup-Optimal Global EDF Schedulability Test : article pp. 259-268 |
| Baruah, Sanjoy K.; Bonifaci, Vincenzo; Marchetti Spaccamela, Alberto; Stiller, Sebastian. - Los Alamitos : IEEE, 2009. - (2009 21st Euromicro Conference on Real-Time Systems ; pp. 259-268) Link | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation : article pp. 246-257 |
| Eisenbrand, Friedrich; Rothvoß, Thomas. - Berlin : Springer, 2008. - (Lecture notes in computer science : 5125 : article : pp. 246-257) ISBN: 978-3-540-70574-1 Link doi:10.1007/978-3-540-70575-8 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-Time Scheduling : article pp. 432-443 |
| Karrenbauer, Andreas; Rothvoß, Thomas. - Berlin : Springer, 2008. - (Lecture notes in computer science ; 5757 : article : pp. 432-443) ISBN: 978-3-642-04127-3 Link doi:10.1007/978-3-642-04128-0_39 | |
Dagstuhl Seminar 08071, 10.02.08-15.02.08 | |
| Static-Priority Real-Time Scheduling : Response Time Computation Is NP-Hard : article pp. 397-406 |
| Eisenbrand, Friedrich; Rothvoß, Thomas. - Los Alamitos : IEEE, 2008. - (RTSS 2008 Real-Time Systems Symposium ; pp. 397-406) Link | |
Dagstuhl Seminar 08051, 27.01.08-01.02.08 | |
| Representation Invariant Genetic Operators : article : pp. 635-660 |
| Rowe, Jonathan E.; Vose, Michael D.; Wright, Alden H.. - Cambridge : MIT Press, 2010. - (Evolutionary Computation : 18. 2010, 4 : pp. 635-660) Link doi:http://dx.doi.org/10.1162/EVCO_a_00007 | |
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 doi:10.1007/978-3-642-01591-5 | |
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 07451, 04.11.07-09.11.07 | |
| Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007, Revised Selected Papers |
| Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schätz, Bernhard. - Berlin : Springer, 2010. - XV, 384 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 6100) ISBN: 978-3-642-16276-3 / 3-642-16276-2 Link doi:10.1007/978-3-642-16277-0 | |
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 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 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 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 doi:10.1007/978-3-540-85289-6 | |
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 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 | |
| Towards Trustworthy Elections : New Directions in Electronic Voting |
| Chaum, David; Jakobsson, Markus; Rivest, Ronald L.; Ryan, Peter Y. A.; Benaloh, Josh; Kutylowski, Miroslaw; Adiba, Ben. - Berlin : Springer, 2010. - VIII, 401 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 6000) ISBN: 978-3-642-12979-7 / 3-642-12979-X Link Link doi:10.1007/978-3-642-12980-3 | |
Dagstuhl Seminar 07271, 01.07.07-06.07.07 | |
| Feedback spillover and analogy-based expectations : A multi-game experiment : article pp. 351-365 |
| Huck, Steffen; Jehiel, Philippe; Rutter, Tom. - Amsterdam : Elsevier, 2011. - pp. 351-365. - (Games and Economic Behavior ; 71. 2001, 2) Link doi:http://dx.doi.org/10.1016/j.geb.2010.06.007 | |
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 | |
| 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 Seminar 07221, 28.05.07-01.06.07 | |
| A Nested Model for Visualization Design and Validation : article : pp. 921-928 |
| Munzner, Tamara. - New York : IEEE Press, 2009. - ((IEEE transactions on visualization and computer graphics ; 15. 2009, 6 :pp. 921-928) 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 Event 07202, 13.05.07-15.05.07 | |
| Ausgezeichnete Informatikdissertationen 2006 |
| Wagner, Dorothea; Bernstein, Abraham; Dreier, Thomas; Hölldobler, Steffen; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra. - Bonn : Gesellschaft für Informatik e.V., 2007. - 228 S.. - (Lecture notes in informatics / D ; 7) ISBN: 978-3-88579-411-0 Link | |
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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 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 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 Seminar 07121, 18.03.07-23.03.07 | |
| Variational fluid flow measurements from image sequences : synopsis and perspectives : article pp. 369-393 |
| Heitz, Dominique; Memin, Etienne; Schnörr, Christoph. - Berlin : Springer, 2010. - S. 369-393. - (Experiments in Fluids ; 48. 2010, 3) Link doi:10.1007/s00348-009-0778-3 | |
Dagstuhl Seminar 07112, 13.03.07-16.03.07 | |
| Cutting, Packing, Layout, and Space Allocation : special issue |
| Kendall, Graham; Daniels, Karen M.; Burke, Edmund K.. - Berlin : Springer, 2010. - 419 S.. - (Annals of Operations Research ; 179. 2010, 1/3) 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 doi:10.1007/978-3-540-88908-3 | |
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. - (Theory of Computing Systems : 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 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 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 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 | |
| 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 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 doi:10.1007/978-3-540-92800-3 | |
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 Event 06362, 03.09.06-08.09.06 | |
| Algorithm Engineering : Bridging the Gap Between Algorithm Theory and Practice : GI-Dagstuhl-Seminar Algorithm Engineering |
| Müller-Hannemann, Matthias; Schirra, Stefan. - Berlin : Springer, 2010. - XVI, 513 S.. - (Lecture notes in computer science : Tutorial ; 5971) ISBN: 978-3-642-14865-1 / 3-642-14865-4 Link doi:10.1007/978-3-642-14866-8 | |
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 | |
| Untangling a Planar Graph : article : pp. 542-569 |
| Goaoc, Xavier; Kratochvil, Jan; Okamoto, Yoshio; Shin, Chan-Su; Spillner, Andreas. - Berlin : Springer, 2009. - (Discrete and computational geometry : 42. 2009, 4 : pp. 542-569) 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 Event 06212, 21.05.06-23.05.06 | |
| Ausgezeichnete Informatikdissertationen 2005 |
| Wagner, Dorothea; Bernstein, Abraham; Dreier, Thomas; Hölldobler, Steffen; Hotz, Günter; Löhr, Klaus-Peter; Molitor, Paul; Neumann, Gustaf; Reischuk, Karl Rüdiger; Saupe, Dietmar; Spiliopoulou, Myra. - Bonn : Gesellschaft für Informatik e.V., 2006. - 230 S.. - (Lecture notes in informatics / D ; 6) ISBN: 3-88579-330-X Link | |
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 | |
| Tight Bounds for Blind Search on the Integers and the Reals : Article : pp. 711-728 |
| Dietzfelbinger, Martin; Rowe, Jonathan E.; Wegener, Ingo; Woelfel, Philipp. - Cambridge : Cambridge University Press, 2010. - (Combinatorics, probability and computing : 19. 2010, 5/6 : pp. 711-768) doi:10.1017/S0963548309990599 | |
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 | |
| Area aggregation in map generalisation by mixed-integer programming : article pp. 1871-1897 |
| Haunert, Jan-Henrik; Wolff, Alexander. - London : Taylor & Francis, 2010. - (International Journal of Geographical Information Systems ; 24. 2010, 12 : pp. 1871 - 1897) Link doi:http://dx.doi.org/10.1080/13658810903401008 | |
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 Seminar 06051, 29.01.06-03.02.06 | |
| Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences : article : pp. 707-722 |
| Zimand, Marius. - Berlin : Springer, 2010. - (Theory of Computing Systems : 46. 2010, 4 : pp. 707-722) Link doi:10.1007/s00224-009-9214-6 | |
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 doi:10.1007/978-3-540-85521-7 | |
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 | |
| 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 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 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 Seminar 05461, 14.11.05-16.11.05 | |
| Theoretische Informatik : Themenheft : S. 429-498 |
| Thomas, Wolfgang. - Berlin : Springer, 2010. - (Informatik Spektrum : 33. 2010, 5 : S. 429-498) Link | |
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 05381, 18.09.05-23.09.05 | |
| Computational Sensor Networks |
| Henderson, Thomas C.. - Berlin : Springer, 2009. - XI, 225 S. ISBN: 978-0-387-09642-1 / 0-387-09642-6 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 05091, 01.03.05-04.03.05 | |
| Special Issue on Canonical Processes of Media Production : pp. 325-433 |
| Hardman, Lynda; Obrenovic, Zeljko; Nack, Frank. - Berlin : Springer, 2008. - (Multimedia Systems : 14. 2008, 6 : pp. 325-433) Link | |
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 05011, 03.01.05-07.01.05 | |
| Expressive markets for donating to charities : article : pp. 1251-1271 |
| Conitzer, Vincent; Sandholm, Tuomas. - Amsterdam : Elsevier, 2011. - (Artificial intelligence : 175. 2011, 7/8 : pp. 1251-1271) Link doi:doi:10.1016/j.artint.2010.11.007 | |
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 | |
| 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 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 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 Link | |
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 | |
| 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 | |
| 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 | |
| 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 Link | |
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 Seminar 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 Link | |
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 | |
| 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 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 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 doi:10.1007/11513575_12 | |
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 | |
| 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 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 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 | |
| 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 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) 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 : 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) Link | |
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 Link | |
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 Contribution 2002 | |
| The origins and the development of the ASM method for high level system design analysis : article : S. 2-74 |
| Börger, Egon. - Berlin : Springer, 2002. - Journal of universal computer science : 8. 2002, 1 : S. 2-74 Link | |
Dagstuhl Event 02503, 09.12.02-11.12.02 | |
| Validation of stochastic systems : a guide to current research : Dagstuhl workshop, December 8 - 11, 2002 |
| Baier, Christel; Haverkort, Boudewijn R. H. M.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus. - Berlin : Springer, 2004. - VIII, 465 S. - (Lecture notes in computer science / tutorial ; 2925) ISBN: 3-540-22265-0 Link | |
Dagstuhl Event 02502, 09.12.02-11.12.02 | |
| 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 02381, 15.09.02-20.09.02 | |
| ASPARAGUS, the Dagstuhl Initiative : article |
| Anger, Christian; Schaub, Thorsten H.; Truszczynski, Miroslaw. - Leuven : ALP, 2004. - 1 S.. - (ALP newsletter ; 17. 2004, 3) Link | |
Dagstuhl Seminar 02351, 25.08.02-30.08.02 | |
| Special issue on grand challenges for modeling and simulation |
| Page, Ernest H.; Lunceford, Wendell H. - Thousand Oaks : Sage Science Press, 2004. - (Simulation : 80. 2004, 9, S. 419-476) Link | |
Dagstuhl Seminar 02341, 18.08.02-23.08.02 | |
| Performance analysis and grid computing : selected articles from the workshop on performance analysis and distributed computing, August 19 -23, 2002, Dagstuhl, Germany |
| Getov, Vladimir S.; Gerndt, Michael; Hoisie, Aldolfy; Malony, Allen D.; Miller, Barton P. - Boston : Kluwer, 2004. - XV, 290 S. ISBN: 1-4020-7693-2 Link | |
Dagstuhl Event 02322, 07.08.02-14.08.02 | |
| The first summer school on ubiquitous and pervasive computing : special issue |
| Beresford, Alastair; Kiss Kalló Csaba; Kretschmer, Ursula; Mattern, Friedemann; Muehlenbrock, Martin. - Los Alamitos : IEEE, 2003. - (IEEE pervasive computing : 2. 2003,1, S. 84-88) Link | |
Dagstuhl Seminar 02291, 14.07.02-19.07.02 | |
| The Stone Age of the Digital Arts : article : pp. 463-465 |
| Malina, Roger F.. - Cambridge : MIT Pr., 2002. - (Leonardo ; 35. 2002, 5 : pp. 463-465) Link doi:http://dx.doi.org/10.1162/002409402320774286 | |
Dagstuhl Seminar 02291, 14.07.02-19.07.02 | |
| Aesthetic computing |
| Fishwick, Paul A.. - Cambridge : MIT Press, 2006. - 457 S. ISBN: 0-262-06250-X Link | |
Dagstuhl 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 | |
| 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 | |
| Special issue on mathematics of program construction = MPC 2002 |
| Boiten, Eerke A.; Möller, Bernhard. - Amsterdam : Elsevier, 2004. - (Science of computer programming : 51. 2004, 1/2,S. 1-195) Link | |
Dagstuhl Event 02282, 08.07.02-13.07.02 | |
| Proceedings of the third international workshop on constructive methods for parallel programming : CMPP 2002, Schloß Dagstuhl, July, 10, 2002 : special issue |
| Gorlatch, Sergei ; Lengauer, Christian. - Singapore : World Scientific, 2002. - (Parallel processing letters : 12. 2002, 2,S. 137-284) Link | |
Dagstuhl Event 02282, 08.07.02-13.07.02 | |
| 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 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 Seminar 02241, 09.06.02-14.06.02 | |
| Combinatorial auctions |
| Cramton, Peter; Shoham, Yoav; Steinberg, Richard. - Cambridge : MIT Pr., 2006. - 649 S. ISBN: 0-262-03342-9 Link | |
Dagstuhl Seminar 02231, 02.06.02-07.06.02 | |
| Recent advances in scheduling in computer and manufacturing systems : special issue : S. 573-859 |
| Blazewicz, Jacek; Ecker, Klaus H.; Trystram, Denis. - Amsterdam : Elsevier, 2005. - (European journal of operational research ; 164. 2005, 3 : S. 573-859) Link | |
Dagstuhl Seminar 02221, 26.05.02-31.05.02 | |
| Cocompactness and quasi-uniformizability of completely metrizable spaces : article : S. 89 - 95 |
| Künzi, Hans-Peter Albert. - Amsterdam : Elsevier, 2003. - (Topology and its applications ; 133. 2003, S. 89 - 95) Link | |
Dagstuhl Seminar 02221, 26.05.02-31.05.02 | |
| Components of the fundamental category : article S. 81-108 |
| Fajstrup, Lisbeth; Raussen, Martin; Haucourt, Emmanuel. - Berlin : Springer, 2004. - (Applied categorical structures : 12. 2004, S. 81-108) | |
Dagstuhl Seminar 02201, 12.05.02-17.05.02 | |
| Geometric modelling : Dagstuhl 2002 |
| Hahmann, Stefanie; Brunnett, Guido; Farin, Gerald; Goldman, Ronald N. - Wien : Springer, 2004, S. 1-246. - (Computing : 72. 2004, 1/2) ISBN: ISBN 3-211-20818-6 Link | |
Dagstuhl Seminar 02151, 07.04.02-12.04.02 | |
| Geometry, morphology, and computational imaging : 11th international workshop on theoretical foundations of computer vision, Dagstuhl Castle, Germany, April 7 - 12, 2002, revised papers |
| Asano, Tetsuo ; Klette, Reinhard ; Ronse, Christian. - Berlin : Springer, 2003. - X, 436 S. - (Lecture notes in computer science ; 2616) ISBN: 3-540-00916-7 Link | |
Dagstuhl Seminar 02151, 07.04.02-12.04.02 | |
| Linear time algorithm for approximating a curve by a single-peaked curve : article : S. 103-115 |
| Chun, Jinhee; Sadakane, Kunihiko; Tokuyama, Takeshi. - Berlin : Springer, 2006. - (Algorithmica : 44. 2006, 2 : S. 103-112) Link doi:10.1007/s00453-005-1201-y | |
Dagstuhl Seminar 02121, 17.03.02-22.03.02 | |
| Power from random strings : result from the collaboration at the Dagstuhl Seminar 02121 : article S. 669-678 |
| Allender, Eric; Buhrman, Harry; Koucky, Michal; Melkebeek, Dieter van; Ronneburger, Detlef. - Piscataway, IEEE, 2002. - (The 43rd annual IEEE symposium on foundations of computer science, S. 669-678) Link | |
Dagstuhl Event 02112, 10.03.02-14.03.02 | |
| Algorithms for memory hierarchies : advanced lectures |
| Meyer, Ulrich ; Sanders, Peter ; Sibeyn, Jop. - Berlin : Springer, 2003. - XVII, 428 S. - (Lecture notes in computer science : 2625) ISBN: 3-540-00883-7 Link | |
Dagstuhl Seminar 02081, 17.02.02-22.02.02 | |
| 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 | |
| Error propagation in game trees : article : S. 79-93 |
| Doerr, Benjamin; Lorenz, Ulf. - Berlin : Springer, 2006. - (Mathematical methods of operations research ; 64. 2006, 1, S. 79-93) Link | |
Dagstuhl Seminar 02081, 17.02.02-22.02.02 | |
| It is tough to be a plumber : article : S. 473-484 |
| Kral, Daniel; Majerech, Vladan; Tichy, Tomas; Woeginger, Gerhard J.. - Amsterdam : Elsevier, 2004. - (Theoretical computer science : 313. 2004, 3 : S. 473-484) Link doi:doi:10.1016/j.tcs.2002.12.002 | |
Dagstuhl Seminar 02081, 17.02.02-22.02.02 | |
| The liar game over an arbitrary channel : article : S. 537-559 |
| Dumitriu, Ioana; Spencer, Joel H.. - Berlin : Springer, 2005. - (Combinatorica : 25. 2005, 5 : S. 537 - 559) Link doi:10.1007/s00493-005-0033-3 | |
Dagstuhl Seminar 02081, 17.02.02-22.02.02 | |
| Open problems at the 2002 Dagstuhl seminar on algorithmic combinatorial game theory : appendix B : article : S. 539 - 543 |
| Demaine, Erik D.; Fleischer, Rudolf H.; Fraenkel, Aviezri S.; Nowakowski, Richard J.. - Amsterdam : Elsevier, 2004. - (Theoretical computer science : 313. 2004, 3 : S. 539-543) Link | |
Dagstuhl Event 02072, 11.02.02-15.02.02 | |
| 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 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 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 Link | |
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 | |
| 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 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 Link | |
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 | |
| 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 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 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, 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 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 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 | |
| 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 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 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 Link | |
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 Link | |
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 | |
| 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 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 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 Link | |
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 Link | |
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 Link | |
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 | |
| 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 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 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 Link | |
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 Link | |
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 Link | |
Dagstuhl Event 99143, 06.04.99-09.04.99 | |
| Ausgezeichnete Informatikdissertationen 1998 |
| Fiedler, Herbert; Gorny, Peter; Grass, Werner; Hölldobler, Steffen; Hotz, Günter; Reischuk, Karl Rüdiger. - Stuttgart : Teubner, 1999. - 229 S. ISBN: 978-3-519-02648-8 / 3-519-02648-1 | |
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 | |
| 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 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 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 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 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 | |
| Sixth European Workshop on Logics in Artificial Intelligence (JELIA ’98) : Dagstuhl, Germany, 12 – 15 October 1998 : article : pp. 237-240 |
| Stol, Maarten. - Amsterdam : IOS Press, 1998. - (AI Communcations : 11. 1998, 3/4 : pp. 237-240) Link | |
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 Link | |
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 Event 98172, 27.04.98-28.04.98 | |
| Ausgezeichnete Informatikdissertationen 1997 |
| Fiedler, Herbert; Gorny, Peter; Grass, Werner; Hölldobler, Steffen; Hotz, Günter; Kerner, Immo O.; Reischuk, Karl Rüdiger. - Stuttgart : Teubner, 1998. - 197 S. ISBN: 3-519-02647-3 | |
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 Link | |
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) Link | |
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 | |
| 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 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 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 Link | |
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 Link | |
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 | |
| 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 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 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 Link | |
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 Link | |
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 | |
| 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 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 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 Link | |
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 924
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 Link | |
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 Link | |
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 Link | |
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 | |
| 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 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 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 Link | |
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 Link | |
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 | |
| 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 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 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 | |
| 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 | |
| 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 | |
| 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 Link | |
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 Link | |
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 Link | |
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 Link | |
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 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 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 Link | |
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 Link | |
Dagstuhl Event 9333, 16.08.93-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 | |
| 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 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 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 Link | |
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) Link | |
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 Link | |
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 Link | |
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 | |
| 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 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 | |
| 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 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 Link | |
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 |
| 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 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 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 | |
| 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 Link | |
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 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. | |
Dagstuhl Contribution 0 | |
| Trimming of Graphs, with Application to Point : article : pp. 613-636 |
| Erlebach, Thomas; Hagerup, Torben; Jansen, Klaus; Minzlaff, Moritz; Wolff, Alexander. - Berlin : Springer, 2010. - (Theory of Computing Systems : 47. 2010,, 3 : pp. 613-636) Link doi:10.1007/s00224-009-9184-8 | |
All 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 Specials
