Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 55



51
TÍTULO: Denotational semantics of object specification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1998, FONTE: ACTA INFORMATICA, VOLUME: 35, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
52
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1998, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
53
TÍTULO: Synchronization of Logics  Full Text
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Studia Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
54
TÍTULO: Deriving Liveness Goals from Temporal Logic Specifications  Full Text
AUTORES: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLICAÇÃO: 1996, FONTE: Journal of Symbolic Computation, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: CrossRef
55
TÍTULO: Deriving liveness goals from temporal logic specifications  Full Text
AUTORES: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLICAÇÃO: 1996, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, NÚMERO: 5-6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 6 de 6. Total de resultados: 55.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service