The Collection of
Computer Science Bibliographies

Bibliography of publications from the Specification and Verification Lab, ENS de Cachan

[   About   |  Browse   |   Statistics   ]

Number of references:1743Last update:May 12, 2016
Number of online publications:0Supported:yes
Most recent reference:April 2016

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:
Nicolas Markey <markey @ lsv . ens-cachan . fr> (email mangled to prevent spamming)
Lab. Specification and Verification
ENS de Cachan
61 av. Pdt. Wilson
F-94235 Cachan Cedex
France
Abstract:
This bibliography lists publications by researchers at LSV (Lab. Specification and Verification). Most of the publications are available on-line.
Keywords:
Specification, Verification, Formal Methods, Logic, Model-checking

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(833), techreport(355), article(336), phdthesis(95), mastersthesis(48), incollection(46), proceedings(15), book(13), misc(2)
Fields:
title(1743), year(1743), author(1727), url(1714), month(1666), abstract(1339), publisher(1111), pages(1092), volume(948), doi(899), doi-url(899), booktitle(896), address(842), editor(793), number(676), series(622), type(496), note(371), institution(355), journal(336), school(143), conf-month(50), conf-year(47), chapter(22), howpublished(8), edition(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!