Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 55



31
TÍTULO: From fibring to cryptofibring. A solution to the collapsing problem  Full Text
AUTORES: Caleiro, C ; Ramos, J ;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
32
TÍTULO: On the algebraization of many-sorted logics
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: Scopus WOS
NO MEU: ORCID
33
TÍTULO: Two's company: The humbug of many logical values  Full Text
AUTORES: Caleiro, C ; Carnielli, W; Coniglio, ME; Marcos, J;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
34
TÍTULO: On the semantics of Alice&Bob specifications of security protocols  Full Text
AUTORES: Carlos Caleiro ; Luca Vigano; David Basin;
PUBLICAÇÃO: 2006, FONTE: 2nd Workshop on Automated Reasoning for Security Protocol Analysis in THEORETICAL COMPUTER SCIENCE, VOLUME: 367, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
35
TÍTULO: Quantum institutions
AUTORES: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
36
TÍTULO: Cryptomorphisms at work
AUTORES: Caleiro, C ; Ramos, J;
PUBLICAÇÃO: 2005, FONTE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXADO EM: Scopus WOS
NO MEU: ORCID
37
TÍTULO: Deconstructing Alice and Bob
AUTORES: Caleiro, C ; Vigano, L; Basin, D;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) in Electronic Notes in Theoretical Computer Science, VOLUME: 135, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
38
TÍTULO: Equipollent logical systems  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2005, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
39
TÍTULO: Fibring of Logics as a Universal Construction
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXADO EM: CrossRef
40
TÍTULO: Metareasoning about security protocols using distributed temporal logic
AUTORES: Caleiro, C ; Vigano, L; Basin, D;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 125, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 4 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