Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



51
TITLE: Denotational semantics of object specification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLISHED: 1998, SOURCE: ACTA INFORMATICA, VOLUME: 35, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
52
TITLE: Parameterisation of Logics
AUTHORS: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 1998, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, VOLUME: 1589
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
53
TITLE: Synchronization of Logics  Full Text
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLISHED: 1997, SOURCE: Studia Logica, VOLUME: 59, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
54
TITLE: Deriving liveness goals from temporal logic specifications  Full Text
AUTHORS: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLISHED: 1996, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, ISSUE: 5-6
INDEXED IN: Scopus WOS
IN MY: ORCID
55
TITLE: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTHORS: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLISHED: 1996, SOURCE: Journal of Symbolic Computation, VOLUME: 22, ISSUE: 5-6
INDEXED IN: CrossRef
Page 6 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service