The Collection of
Computer Science Bibliographies

Bibliography on Semantics Based Program Analysis and Manipulation (from Semantics (TOPPS) group of DIKU)

[   About   |  Browse   |   Statistics   ]

Number of references:592Last update:December 1, 2008
Number of online publications:46Supported:yes
Most recent reference:May 2008

Information on the Bibliography

TOPPS group <topps-inform @ diku . dk> (email mangled to prevent spamming)
DIKU, Department of Computer Science
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen

Browsing the bibliography

Bibliographic Statistics

inproceedings(277), article(99), techreport(70), unpublished(35), mastersthesis(26), phdthesis(22), proceedings(19), incollection(16), book(12), misc(8), inbook(3), manual(3), booklet(2)
semno(590), title(590), year(588), author(571), summary(518), keywords(428), id(373), puf(372), pages(352), booktitle(293), month(275), publisher(253), volume(221), editor(205), address(138), series(136), note(117), number(110), journal(99), institution(70), school(48), supersedes(41), organization(40), url(37), type(28), supersededby(27), postscript(12), howpublished(9), edition(6), isbn(6), location(5), dvi(4), issn(4), pdf(4), opteditor(3), chapter(2), conference(2), key(2), optmonth(2), optpages(2), optpublisher(2), ps(2), venue(2), abstract(1), issue(1), notes(1), optnote(1), optorganization(1), xpages(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!