The Collection of
Computer Science Bibliographies

Bibliography for Ulrich Nitsche

[   About   |  Browse   |   Statistics   ]

Number of references:38Last update:November 17, 2007
Number of online publications:10Supported:Unknown
Most recent reference:1998 Info:Version 1.02"m

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:
Ulrich Nitsche <nitsche @ ifi . unizh . ch> (email mangled to prevent spamming)
University of Zurich
Department of Computer Science
Winterthurer Str. 190
CH-8057 Zurich
Switzerland
Abstract:
This is a bibliography of publications of Ulrich Nitsche. The companion LaTeX file nitsche-ulrich.ltx can be used to typeset this bibliography.
Keywords:
Formal Methods, Verification,
Author Comments:
At version 1.02, the year coverage looked like this:
1988 ( 1) 1992 ( 0) 1996 ( 11) 1989 ( 0) 1993 ( 0) 1997 ( 11) 1990 ( 0) 1994 ( 6) 1998 ( 3) 1991 ( 2) 1995 ( 3) 19xx ( 1)
Article: 3 InProceedings: 17 Misc: 1 PhdThesis: 1 Proceedings: 7 TechReport: 9
Total entries: 38
This file is available as part of the BibNet Project. The master copy is available for public access on ftp.math.utah.edu in the directory tree /pub/bibnet/authors. It is mirrored to netlib.bell-labs.com in the directory tree /netlib/bibnet/authors, from which it is available via anonymous ftp and the Netlib service.

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(17), techreport(9), proceedings(7), article(3), misc(1), phdthesis(1)
Fields:
title(38), year(38), address(33), author(31), booktitle(24), publisher(24), pages(18), editor(16), isbn(14), month(13), bibdate(11), confaddress(11), institution(9), type(9), acknowledgement(7), issn(7), lccn(7), volume(7), note(6), number(6), series(5), coden(4), journal(3), keywords(2), alttitle(1), howpublished(1), organization(1), school(1), xxvolume(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!