A Comprehensive Bibliography on Self-Stabilization

A small index from Simon Fraser University.A monthly selection of annotated citations of current literature in information technology.

www.cs.columbia.edu/~hgs/netbib/

frameworks stabilization

Code Reading and Program Comprehension Bibliography

The Collection of Computer Science Bibliographies

acm cites

850 comprehension

Bibliography and Library Index

www.cs.cmu.edu/afs/cs /user/fp/www/lfs-bib.html

An annotated bibliography concerning research in source code comprehension.

deductive cites

www.library.cmu.edu/Search/DB_ENGTECH.html

citations deductive

www2.umassd.edu/SWPI/ProcessBibliography/bib-codereading.html

An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers).

annotated 850

450 references related to logical frameworks, which are formal meta-languages for deductive systems.Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents , submission welcome).

logical ieee

www.cs.uiowa.edu/ftp/selfstab/bibliography/

Searchable online and available by email.

GraphBib

liinwww.ira.uka.de/bibliography/waisbib.html

Searchable database with over a million references .

iris.usc.edu/Vision-Notes/bibliography/contents.html

bibliographic symposium

450 bibliography

Articles and conference proceedings, some books .

CS Bibliographic Collections

citations 850

www.cs.man.ac.uk/amulet/bibliography/bibsearch.html

Automatic Language Identification Bibliography

USC Computer Vision

ieee frameworks

Asynchronous Bibliography

A search engine which covers three bibliographies related to asynchronous circuits.

Automated Deduction Bibliography

www.siggraph.org/publications/bibliography /

450 usc

IEEE Symposium on Logic in Computer Science

deductive acm

fas.sfu.ca/1/projects/ElectronicLibrary/Collections/CMPT /MajorBibs/

carnegie bibliography

Contains 3,000 reports and papers (1970-1995 plus some early classic work, by ORA Canada) .

speech.inesc.pt/~dcaseiro/html/bibliografia.html

Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions.

mellon 450

Bibliography on Logical Frameworks

Network Bibliography

bibliographic arranged

20,000 references in the field of computer graphics (journals, IEEE and ACM conferences).

theory.lcs.mit .edu/~dmjones/LICS/

proceedings comprehension

ieee stabilization

www.ora.on.ca/biblio/biblio-prover-welcome.html

www.hcibib.org/hci-sites/BIBLIOGRAPHY .html

bibliographies 450

Research into the automatic identification of spoken language with links to author home pages and online papers.An index to bibliographies on several subfields.

Human-Computer Interaction

A bibliography of this annual symposium.

annotated usc

www.brics.dk/~omoeller/blip.html

acm proceedings

Current Cites

deduction 850

List of resources arranged by content (citations, abstracts, full papers, and type of document).