Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



51
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: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
52
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
IN MY: ORCID | CIÊNCIAVITAE
53
TITLE: Deconstructing Alice and Bob
AUTHORS: Caleiro, C ; Vigano, L; Basin, D;
PUBLISHED: 2005, SOURCE: Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005) in Electronic Notes in Theoretical Computer Science, VOLUME: 135, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
54
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
55
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
56
TITLE: Metareasoning about security protocols using distributed temporal logic
AUTHORS: Caleiro, C ; Vigano, L; Basin, D;
PUBLISHED: 2005, SOURCE: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 125, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Relating strand spaces and distributed temporal logic for security protocol analysis  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; David Basin;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
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: 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
IN MY: ORCID | CIÊNCIAVITAE
60
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 | CIÊNCIAVITAE
Page 6 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

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