The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

Number of references:	5006	Last update:	February 18, 2010
Number of online publications:	1086	Supported:	yes
Most recent reference:	October 2009

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(1628), inproceedings(1113), book(812), techreport(615), incollection(536), unpublished(105), phdthesis(64), proceedings(47), misc(46), manual(22), mastersthesis(10), inbook(8)
Fields:: title(5006), year(4989), author(4887), annote(3098), pages(3003), month(2907), volume(2290), number(2163), publisher(1984), address(1922), booktitle(1704), journal(1651), series(942), editor(904), note(740), institution(621), url(583), organization(434), isbn(116), location(99), doi(94), doi-url(94), type(93), school(73), edition(72), chapter(53), howpublished(39), keywords(33), key(25), issn(17), page(15), abstract(12), annotate(9), institute(8), local-url(7), lccn(6), pdf(4), urldvi(3), annotation(2), date(2), ee(2), longbooktitle(2), place(2), bibdate(1), conference(1), description(1), mon(1), nubmer(1), oldnote(1), other(1), section(1), sigplannoticesvolume(1), urlps(1), where(1)
Distribution of publication dates: