Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



51
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: ORCID
52
TÍTULO: Deconstructing Alice and Bob
AUTORES: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) in ARSPA@ICALP, VOLUME: 135, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
53
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
54
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
55
TÍTULO: Relating strand spaces and distributed temporal logic for security protocol analysis  Full Text
AUTORES: Caleiro, C ; Vigano, L; Basin, D;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
56
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
57
TÍTULO: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTORES: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004) in ARSPA@IJCAR, VOLUME: 125, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
58
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: ORCID
59
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
60
TÍTULO: Combining logics: Parchments revisited  Full Text
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 DBLP CrossRef: 7
Página 6 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