The Collection of
Computer Science Bibliographies

Bibliography of the Logic and Computation Group, IST, Lisbon

Number of references:	468	Last update:	December 19, 2008
Number of online publications:	246	Supported:	yes
Most recent reference:	2008

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

Original source:

http://www.cs.math.ist.utl.pt... (Format: bibtex)
Other sites:

ftp://ftp.cs.math.ist.utl.pt... (Format: bibtex)
ftp://ftp.cs.math.ist.utl.pt... (Format: postscript)

Types:: article(148), incollection(120), techreport(63), inproceedings(62), phdthesis(34), mastersthesis(25), proceedings(9), book(5), misc(2)
Fields:: title(468), year(468), st(465), author(459), pages(302), proj(266), pdf(241), volume(225), publisher(193), booktitle(182), editor(171), note(163), journal(148), ps(141), number(91), series(81), address(79), institution(64), school(59), type(46), url(7), ps1(5), dvi(4), ps2(4), isbn(3), month(3), editors(2), 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: