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

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

Browsing the bibliography

Bibliographic Statistics

Types:
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)
Fields:
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!