The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

Number of references:	5067	Last update:	February 1, 2012
Number of online publications:	1127	Supported:	yes
Most recent reference:	January 2012

Author:: Gary T. Leavens <leavens @ cs . iastate . edu> (email mangled to prevent spamming)
Department of Computer Science
Iowa State University
Abstract:: Type theory, abstract data types, subtyping, types in programming languages; 1970s and older references on datatypes, type theory, etc.; Distributed and parallel processing, except language definitions; Programming language issues, semantics, implementation, except types and distributed/parallel stuff. All language definitions are here.; Software engineering, specification, verification; Math, general stuff that doesn't go elsewhere.

Original source:

http://www.cs.iastate.edu... (Format: bibtex, compressed)
Other sites:

http://www.cs.iastate.edu... (Format: html)

Types:: article(1636), inproceedings(1140), book(818), techreport(625), incollection(539), unpublished(105), phdthesis(65), proceedings(49), misc(48), manual(24), mastersthesis(10), inbook(8)
Fields:: title(5067), year(5050), author(4944), annote(3117), pages(3036), month(2934), volume(2305), number(2177), publisher(2022), address(1963), booktitle(1737), journal(1659), series(964), editor(917), note(744), institution(627), url(617), organization(442), isbn(129), location(113), doi(110), doi-url(110), type(93), school(74), edition(72), chapter(54), howpublished(41), keywords(39), key(26), issn(19), page(15), abstract(12), annotate(9), institute(8), numpages(8), local-url(7), lccn(6), acmid(5), pdf(4), urldvi(3), affiliation(2), annotation(2), date(2), ee(2), issue(2), longbooktitle(2), place(2), bibdate(1), conference(1), description(1), keyword(1), mon(1), nubmer(1), oldnote(1), other(1), section(1), sigplannoticesvolume(1), urlps(1), where(1)
Distribution of publication dates: