Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



61
TÍTULO: Non-truth-functional fibred semantics
AUTORES: Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2001, FONTE: International Conference on Artificial Intelligence in IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III
INDEXADO EM: WOS
62
TÍTULO: Specifying communication in distributed information systems  Full Text
AUTORES: Ehrich, HD; Caleiro, C ;
PUBLICAÇÃO: 2000, FONTE: ACTA INFORMATICA, VOLUME: 36, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
63
TÍTULO: Fibring of logics as a categorial construction
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID
64
TÍTULO: Parameterisation of logics  Full Text
AUTORES: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
65
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: 6
NO MEU: ORCID
66
TÍTULO: A Linear Temporal Logic Approach to Objects with Transactions
AUTORES: Grit Denker; Jaime Ramos; Carlos Caleiro ; Amílcar Sernadas;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
67
TÍTULO: Synchronization of Logics
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Stud Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
68
TÍTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
69
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 DBLP
NO MEU: ORCID
70
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
Página 7 de 7. Total de resultados: 70.

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

Links Úteis

Ajuda

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