The Collection of
Computer Science Bibliographies

Bibliography of the Logic and Computation Group, IST, Lisbon

[   About   |  Browse   |   Statistics   ]

Number of references:472Last update:March 4, 2009
Number of online publications:0Supported:yes
Most recent reference:2009

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

Editor:
Amilcar Sernadas <acs @ math . ist . utl . pt> (email mangled to prevent spamming)
Logic and Computation Group
Department of Mathematics
Instituto Superior Tecnico
Lisboa
Portugal
Abstract:
Publications since 1988 of members of the Logic and Computation Group, IST, Lisbon. The main goals of the Group are on "formal" (logical, algebraic and categorial) concepts, techniques and tools for software specification, design and certification, with emphasis on object-oriented, concurrent, reactive systems.
Keywords:
formal specification, system verification, reactive systems, object-orientation, feature-orientation, temporal logic, applications of category theory, institutions, default logic, abduction

Browsing the bibliography

Bibliographic Statistics

Types:
article(151), incollection(121), inproceedings(63), techreport(62), phdthesis(34), mastersthesis(25), proceedings(9), book(5), misc(2)
Fields:
title(472), year(472), st(469), author(463), pages(312), proj(276), pdf(247), volume(230), publisher(195), booktitle(184), editor(173), note(159), journal(151), ps(141), number(94), series(81), address(78), institution(64), school(59), type(43), url(7), ps1(5), dvi(4), ps2(4), editors(3), isbn(3), month(3), howpublished(2), project(2), status(2), wpub(2), edition(1), issue(1), local(1), numpages(1), ps3(1), ps4(1), ps5(1), ps6(1), ps7(1), ps8(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!