The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:5096Last update:July 11, 2013
Number of online publications:0Supported:yes
Most recent reference:August 2013

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Gary T. Leavens <leavens @ cs . iastate . edu> (email mangled to prevent spamming)
Department of Computer Science
Iowa State University
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.

Browsing the bibliography

Bibliographic Statistics

article(1644), inproceedings(1151), book(820), techreport(630), incollection(541), unpublished(106), phdthesis(65), proceedings(49), misc(48), manual(24), mastersthesis(10), inbook(8)
title(5096), year(5079), author(4973), annote(3133), pages(3058), month(2950), volume(2319), number(2191), publisher(2039), address(1983), booktitle(1748), journal(1668), series(972), editor(923), note(743), url(634), institution(633), organization(442), isbn(134), doi(119), doi-url(119), location(118), type(93), school(74), edition(73), chapter(54), keywords(44), howpublished(41), key(26), issn(20), page(15), abstract(12), numpages(10), annotate(9), institute(8), local-url(7), acmid(6), lccn(6), pdf(4), affiliation(3), urldvi(3), annotation(2), articleno(2), date(2), ee(2), issue(2), keyword(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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!