Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



51
TITLE: On the semantics of Alice&Bob specifications of security protocols
AUTHORS: Caleiro, C ; Viganò, L; Basin, D;
PUBLISHED: 2006, SOURCE: 2nd Workshop on Automated Reasoning for Security Protocol Analysis in THEORETICAL COMPUTER SCIENCE, VOLUME: 367, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 17
52
TITLE: Quantum institutions
AUTHORS: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2006, SOURCE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION, VOLUME: 4060
INDEXED IN: Scopus WOS DBLP CrossRef: 7
53
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
54
TITLE: Deconstructing Alice and Bob
AUTHORS: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: ARSPA@ICALP, VOLUME: 135, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 5
55
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
56
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
57
TITLE: Relating strand spaces and distributed temporal logic for security protocol analysis
AUTHORS: Caleiro, C ; Viganò, L; Basin, D;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 18
58
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
59
TITLE: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTHORS: Carlos Caleiro ; Luca Viganò; David A Basin;
PUBLISHED: 2004, SOURCE: ARSPA@IJCAR, VOLUME: 125, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 14
60
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
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