Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 55



41
TÍTULO: Relating strand spaces and distributed temporal logic for security protocol analysis  Full Text
AUTORES: Carlos Caleiro ; Luca Vigano; David Basin;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
42
TÍTULO: Two's company: The Humbug of many logical values  Full Text
AUTORES: Caleiro, C ; Carnielli, W; Coniglio, M; Marcos, J;
PUBLICAÇÃO: 2005, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
43
TÍTULO: Completeness results for fibred parchments - Beyond the propositional base
AUTORES: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLICAÇÃO: 2003, FONTE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXADO EM: Scopus WOS
NO MEU: ORCID
44
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLICAÇÃO: 2002, FONTE: 15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2267 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
45
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: WOS CrossRef: 7
46
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
47
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 CrossRef
NO MEU: ORCID
48
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
NO MEU: ORCID | DBLP
49
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1999, FONTE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
50
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: WOS
Página 5 de 6. Total de resultados: 55.

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

Links Úteis

Ajuda

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