Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



51
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 | CIÊNCIAVITAE
52
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 | CIÊNCIAVITAE
53
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 | CIÊNCIAVITAE
54
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 | CIÊNCIAVITAE
55
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
56
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 | CIÊNCIAVITAE
57
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 | CIÊNCIAVITAE
58
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 | CIÊNCIAVITAE
59
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 | CIÊNCIAVITAE
60
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 | CIÊNCIAVITAE
Página 6 de 8. Total de resultados: 73.

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