Bibliography of the Logic and Computation Group, IST, Lisbon

[   About   |  Browse   |   Statistics   ]

Number of references:	271	Last update:	June 23, 2004
Number of online publications:	149	Supported:	yes
Most recent reference:	2004

Search the bibliography

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

• 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)
  

Bibliographic Statistics

Types:

article(73), incollection(73), techreport(42), inproceedings(27), phdthesis(26), mastersthesis(18), book(6), proceedings(6)

Fields:

st(271), title(271), year(271), author(265), pages(156), ps(122), proj(113), publisher(111), volume(111), editor(101), booktitle(100), note(91), journal(73), pdf(57), number(48), school(44), institution(43), address(42), series(41), type(31), url(6), ps1(5), dvi(4), ps2(4), local(1), month(1), ps3(1), ps4(1), ps5(1), ps6(1), ps7(1), ps8(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.