Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



61
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
62
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
63
TÍTULO: Specifying communication in distributed information systems
AUTORES: Ehrich, HD; Caleiro, C ;
PUBLICAÇÃO: 2000, FONTE: ACTA INFORMATICA, VOLUME: 36, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
64
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: 45
65
TÍTULO: Parameterisation of logics
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: 9
66
TÍTULO: Denotational semantics of object specification
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
67
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: AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
68
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
69
TÍTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
70
TÍTULO: Deriving liveness goals from temporal logic specifications
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 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