The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

Number of references:	5062	Last update:	November 3, 2011
Number of online publications:	1122	Supported:	yes
Most recent reference:	September 2011

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(1635), inproceedings(1138), book(818), techreport(623), incollection(539), unpublished(105), phdthesis(65), proceedings(49), misc(48), manual(24), mastersthesis(10), inbook(8)
Fields:: title(5062), year(5045), author(4939), annote(3115), pages(3032), month(2932), volume(2304), number(2174), publisher(2019), address(1958), booktitle(1735), journal(1658), series(959), editor(917), note(744), institution(627), url(612), organization(440), isbn(126), location(110), doi(107), doi-url(107), type(93), school(74), edition(72), chapter(54), howpublished(41), keywords(36), key(26), issn(18), page(15), abstract(12), annotate(9), institute(8), local-url(7), lccn(6), numpages(5), pdf(4), urldvi(3), acmid(2), 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: