default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl 10th Anniversary: Informatics 2001
- Reinhard Wilhelm:
Informatics - 10 Years Back. 10 Years Ahead. Lecture Notes in Computer Science 2000, Springer 2001, ISBN 3-540-41635-8
The Web
... How to Make the Best Use of It
- Gerhard Weikum:
The Web in 2010: Challenges and Opportunities for Database Research. 1-23 - Michael J. Franklin:
Challenges in Ubiquitous Data Management. 24-33
... What's Underneath
- Andrew T. Campbell, Michael E. Kounavis, John B. Vicente:
Programmable Networks. 34-49
... How to Still Feel Secure
- Andreas Pfitzmann:
Multilateral Security: Enabling Technologies and Their Evaluation. 50-62 - Ueli M. Maurer:
Cryptography 2000±10. 63-85 - Fred B. Schneider, J. Gregory Morrisett, Robert Harper:
A Language-Based Approach to Security. 86-101
Software
... the Right Engineering
- Jochen Ludewig:
Software Engineering in the Years 2000 Minus and Plus Ten. 102-111 - Cliff B. Jones
:
Thinking Tools for the Future of Computing Science. 112-130 - Famantanantsoa Randimbivololona:
Orientations in Verification Engineering of Avionics Software. 131-137
... the Right Tooling
- Patrick Cousot:
Abstract Interpretation Based Formal Methods and Future Challenges. 138-156 - K. Rustan M. Leino:
Extended Static Checking: A Ten-Year Perspective. 157-175 - Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith:
Progress on the State Explosion Problem in Model Checking. 176-194
A Political Issue: Open Source?
- Susan L. Graham:
From Research Software to Open Source. 195-208
Architecture
- Gurindar S. Sohi:
Microprocessors - 10 Years Back, 10 Years Ahead. 209-218 - Paul M. B. Vitányi:
The Quantum Computing Challenge. 219-233 - Lawrence Snyder:
Parallel Computation: MM +/- X. 234-250
Theory
... Why It Is Needed
- Juris Hartmanis:
Computational Complexity and Mathematical Proofs. 251-256 - Wolfgang Thomas:
Logic for Computer Science: The Engineering Challenge. 257-267
... How It Becomes Practice
- Kurt Mehlhorn:
From Algorithm to Program to Software Library. 268-273
Artificial Intelligence
- Wolfgang Wahlster:
Pervasive Speech and Language Technology. 274-293 - Rolf Pfeifer:
Embodied Artificial Intelligence: 10 Years Back, 10 Years Forward. 294-310
Graphics and Vision
- Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen, Gerik Scheuermann:
Scientific Visualization - Methods and Applications. 311-327 - Jan-Olof Eklundh, Henrik I. Christensen:
Computer Vision: Past and Future. 328-340
Immersion into Other Disciplines
- Thomas Lengauer:
Computational Biology at the Beginning of the Post-genomic Era. 341-355 - A. Peter Young:
Computer Science in Physics. 356-368
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-08 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
