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:628Last update:October 27, 2010
Number of online publications:59Supported:yes
Most recent reference:August 2010

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

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(295), article(105), techreport(76), unpublished(36), mastersthesis(27), phdthesis(22), proceedings(20), incollection(17), book(13), misc(8), inbook(4), manual(3), booklet(2)
semno(626), title(626), year(623), author(605), summary(531), keywords(439), id(400), puf(399), pages(374), booktitle(313), month(293), publisher(265), volume(232), editor(213), address(150), series(144), note(122), number(116), journal(105), institution(77), school(49), url(42), organization(41), supersedes(41), type(32), supersededby(28), postscript(12), howpublished(9), isbn(9), pdf(8), location(7), edition(6), date-added(5), date-modified(5), dvi(4), issn(4), chapter(3), doi(3), doi-url(3), opteditor(3), conference(2), key(2), optmonth(2), optpages(2), optpublisher(2), ps(2), venue(2), abstract(1), ee(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!