Foundations of Computer Science in the Web
THIS PAGE IS NO LONGER UPDATED.
Maintained by the
Foundations
of Computer Science group at Weizmann Institute.
Bibliographies
General CS Bibliographies
-
Joel Seiferas'
TCS Papers Database
-
The Hypertext Bibliography
Project (MIT)
-
Glimpse Bibliography
Search
-
Computer
Science Bibliographies
-
C.S. Tech Reports
(indiana)
-
Yahoo
- Computer Science:Technical Reports
Special area bibliographies
-
Ron Rivest's Cryptography
Bibliography
-
Doug Stinson's bibliography
on secret sharing schemes
-
Aviezri
Fraenkel's bibliography on combinatorial games (local!)
Conferences
-
Call for
Papers page (U. of Louvain)
Journals
-
Chicago Journal
of Theoretical Computer Science
-
The
Electronic Journal of Combinatorics (Our own mirror site!)
-
The Journal of Universal Computer
Science
Societies
-
ACM SIGACT
-
ACM SIGACT's
list of useful theory pages
-
European Association
for Theoretical Computer Science
-
International Association for Cryptologic
Research
-
SIAM WWW Server
General
-
TCS
Virtual Rolodex
-
Dennis
Grinberg's Theory Page
-
Theory Net
Class notes and pages
-
General
-
Algorithms
-
Algorithms for Molecular
Biology Dalit Naor & Ron Shamir, Tel-Aviv University.
-
Advanced
Algorithms (Algebraic and Number Theoretic) Johan Hastad.
-
Approximation
Algorithms Yuval Rabani, Technion.
-
Advanced Algorithms Michel
Goemans, MIT.
-
Minicourse
on approximation algorithms David P. Williamson, IBM T. J. Watson.
-
Advanced
Algorithms and Online Algorithms and Competitive Analysis Rajeev Motwani,
Stanford.
-
Randomized
Algorithms Avrim Blum, CMU
-
Applied Extremal Combinatorics
Dan Spielman, MIT
-
Algorithms
in the "Real World" Guy Blelloch, Gary Miller, and Danny Sleator, CMU
- Computational Complexity
-
Computational Learning Theory and Machine Learning
-
Cryptography
-
Distributed and Parallel Computing
-
Information Theory and Coding Theory
Additional special area links
Cryptogtaphy and Security
-
Oded
Goldreich's Foundations of Cryptography page
-
CIPHER:
Newsletter of the IEEE Computer Society's TC on Security and Privacy.
-
Ron Rivest's
Cryptography and Security page.
-
NetBill Project Home Page
-
The NetCheque(SM) network
payment system
-
Commercial Services on the Net
-
Security research
at IBM Zurich
-
Network Payment
Mechanisms and Digital Cash
-
The SSL protocol
-
A page containing information
on Netscape's security problems including the recent problem with the
pseduo-random generator.
-
Yahoo's
security links
-
Crypto
Law Survey
-
The NIS&T
meeting on key escrow export
-
Security/Cryptography
Standards, Books, and Papers
-
Internet RFCs site
-
Theory of Cryptography
Library
Mirror
Site at the Hebrew University.
Linear Programming
-
Imperial College, Management School
-
OR-LIBRARY
-
lp_solve ftp site
-
INTERESTING
OPTIMIZATION CODES in PUBLIC DOMAIN
-
Linear
Programming FAQ
-
Michael
Trick's Operations Research Page
-
Semidefinite
Programming
-
Farid Alizadeh's
Semidefinite Programming
-
TSPLIB
Electronic Commerce and Auctions
-
AuctionBot (University of
Michigan)
-
Hal Varian's page (UC
Berkeley)
Non-standard models of computation
-
Laboratory for Molecular Science
at USC (Len Adleman)
-
Erik Winfree's Molecular
Computation page
-
John Reif's Bookmarks
Lot's of pointers to molecular and quantum computing.
-
Smolin's Quantum Computing
Page
-
Quantum Information/Computation/Cryptography
page at Stanford
-
Quantum Information/Computation/Cryptography
page at Oxford
-
Laboratory
for Theoretical & Quantum Computing at the University of Montreal.
Maintained by the
Foundations
of Computer Science group at Weizmann Institute.
Dept. of Computer Science and Applied Mathematics
The Weizmann Institute of Science
Rehovot 76100, Israel