Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



51
TÍTULO: On the semantics of Alice&Bob specifications of security protocols
AUTORES: Caleiro, C ; Viganò, L; Basin, D;
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 DBLP CrossRef: 17
NO MEU: DBLP
52
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, VOLUME: 4060
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP
53
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 DBLP
NO MEU: DBLP
54
TÍTULO: Deconstructing Alice and Bob
AUTORES: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: ARSPA@ICALP, VOLUME: 135, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: DBLP
55
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
56
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
57
TÍTULO: Relating strand spaces and distributed temporal logic for security protocol analysis
AUTORES: Caleiro, C ; Viganò, L; Basin, D;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: DBLP
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: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTORES: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2004, FONTE: ARSPA@IJCAR, VOLUME: 125, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 14
NO MEU: DBLP
60
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 DBLP
NO MEU: DBLP
Página 6 de 8. Total de resultados: 72.

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