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

• Concrete Mathematics Andrei Broder, Stanford University.
• How to Think Like A Computer Scientist Steven Rudich, CMU.
• Probability and Graph Theory Manuel Blum, UC Berkeley

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

• The Electronic Colloquium on Computational Complexity
• The Complexity Zoo
• Computational Complexity: A Conceptual Perspective, Oded Goldreich (local!)
• Modern Cryptography, Probabilistic Proofs and Pseudorandomness, Oded Goldreich (local!)
• A compendium of NP optimization problems (P. Crescenzi and V. Kann)
• Boolean Circuit Complexity Uri Zwick, Tel-Aviv University

Computational Learning Theory and Machine Learning

• Learning Yishai Mansour, Tel-Aviv University
• Machine Learning Theory Avrim Blum, CMU.
• Machine Learning Ron Rivest, MIT.
• Introduction to Information Processsing and Learning Naftali Tishbi, Hebrew University.

Cryptography

• Foundations of Cryptography, Oded Goldreich (local!):
  A two volume book and surveys.
• Cryptography Shafi Goldwasser.
• Network and Computer Security Ron Rivest, MIT.
• Design and Analysis of Cryptographic Protocols Avi Rubin and Matt Franklin, NYU.
• Cryptology Eli Biham, Technion.
• Modern Cryptography Phil Rogaway, UC Davis.
• See also Cryptogtaphy and Security links below.

Distributed and Parallel Computing

• Parallel Algorithms and Programming Guy Blelloch, CMU.
• Applications of Parallel Computers Jim Demmel, Berkeley.
• Algorithmic issues in high-performance networks Yuval Rabani, Technion.
• Multiprocess Synchronization Nir Shavit
• Theoretical issues in Communication Networks Yishai Mansour, Tel-Aviv University
• Computer Networking Kevin Fall and Mike Luby, UC Berkeley.

Information Theory and Coding Theory

• Introduction to Coding Theory Ronny Roth, Technion.
• Information Theory John Lafferty, CMU.

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.