Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



51
TITLE: Cryptomorphisms at work
AUTHORS: Caleiro, C ; Ramos, J ;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
52
TITLE: Deconstructing Alice and Bob
AUTHORS: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) in ARSPA@ICALP, VOLUME: 135, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
53
TITLE: Equipollent logical systems  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2005, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: Fibring of Logics as a Universal Construction
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXED IN: CrossRef
55
TITLE: Relating strand spaces and distributed temporal logic for security protocol analysis  Full Text
AUTHORS: Caleiro, C ; Vigano, L; Basin, D;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
56
TITLE: Two's company: The Humbug of many logical values  Full Text
AUTHORS: Caleiro, C ; Carnielli, W; Coniglio, M; Marcos, J;
PUBLISHED: 2005, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTHORS: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLISHED: 2004, SOURCE: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004) in ARSPA@IJCAR, VOLUME: 125, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
58
TITLE: Completeness results for fibred parchments - Beyond the propositional base
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J ;
PUBLISHED: 2003, SOURCE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
59
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
60
TITLE: Combining logics: Parchments revisited  Full Text
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS DBLP CrossRef: 7
Page 6 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service