Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2001 (conf/dagstuhl/2001)

1. Gerhard Weikum
   The Web in 2010: Challenges and Opportunities for Database Research. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:1-23 [Conf]
   
2. Michael J. Franklin
   Challenges in Ubiquitous Data Management. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:24-33 [Conf]
   
3. Andrew T. Campbell, Michael E. Kounavis, John B. Vicente
   Programmable Networks. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:34-49 [Conf]
   
4. Andreas Pfitzmann
   Multilateral Security: Enabling Technologies and Their Evaluation. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:50-62 [Conf]
   
5. Ueli M. Maurer
   Cryptography 2000±10. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:63-85 [Conf]
   
6. Fred B. Schneider, J. Gregory Morrisett, Robert Harper
   A Language-Based Approach to Security. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:86-101 [Conf]
   
7. Jochen Ludewig
   Software Engineering in the Years 2000 Minus and Plus Ten. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:102-111 [Conf]
   
8. Cliff B. Jones
   Thinking Tools for the Future of Computing Science. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:112-130 [Conf]
   
9. Famantanantsoa Randimbivololona
   Orientations in Verification Engineering of Avionics Software. [Citation Graph (0, 0)][DBLP]
   Informatics, 2001, pp:131-137 [Conf]
   
10. Patrick Cousot
    Abstract Interpretation Based Formal Methods and Future Challenges. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:138-156 [Conf]
    
11. K. Rustan M. Leino
    Extended Static Checking: A Ten-Year Perspective. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:157-175 [Conf]
    
12. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    Progress on the State Explosion Problem in Model Checking. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:176-194 [Conf]
    
13. Susan L. Graham
    From Research Software to Open Source. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:195-208 [Conf]
    
14. Gurindar S. Sohi
    Microprocessors - 10 Years Back, 10 Years Ahead. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:209-218 [Conf]
    
15. Paul M. B. Vitányi
    The Quantum Computing Challenge. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:219-233 [Conf]
    
16. Lawrence Snyder
    Parallel Computation: MM +/- X. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:234-250 [Conf]
    
17. Juris Hartmanis
    Computational Complexity and Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:251-256 [Conf]
    
18. Wolfgang Thomas
    Logic for Computer Science: The Engineering Challenge. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:257-267 [Conf]
    
19. Kurt Mehlhorn
    From Algorithm to Program to Software Library. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:268-273 [Conf]
    
20. Wolfgang Wahlster
    Pervasive Speech and Language Technology. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:274-293 [Conf]
    
21. Rolf Pfeifer
    Embodied Artificial Intelligence: 10 Years Back, 10 Years Forward. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:294-310 [Conf]
    
22. Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen, Gerik Scheuermann
    Scientific Visualization - Methods and Applications. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:311-327 [Conf]
    
23. Jan-Olof Eklundh, Henrik I. Christensen
    Computer Vision: Past and Future. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:328-340 [Conf]
    
24. Thomas Lengauer
    Computational Biology at the Beginning of the Post-genomic Era. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:341-355 [Conf]
    
25. A. Peter Young
    Computer Science in Physics. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:356-368 [Conf]