Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



31
TITLE: From fibring to cryptofibring. A solution to the collapsing problem  Full Text
AUTHORS: Caleiro, C ; Ramos, J ;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
32
TITLE: On the algebraization of many-sorted logics
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2007, SOURCE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXED IN: Scopus WOS
IN MY: ORCID
33
TITLE: Two's company: The humbug of many logical values  Full Text
AUTHORS: Caleiro, C ; Carnielli, W; Coniglio, ME; Marcos, J;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID
34
TITLE: On the semantics of Alice&Bob specifications of security protocols  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; David Basin;
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 CrossRef
IN MY: ORCID
35
TITLE: Quantum institutions
AUTHORS: Carlos Caleiro ; Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ;
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
IN MY: ORCID
36
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
37
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
38
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
39
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
40
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
Page 4 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

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