Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



41
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Vigano, L;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
42
TITLE: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTHORS: Bruno Montalto; Carlos Caleiro ;
PUBLISHED: 2009, SOURCE: QAPL, VOLUME: 253, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
43
TITLE: A labeled tableaux system for the distributed temporal logic DTL
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
44
TITLE: Combining classical and intuitionistic implications
AUTHORS: Caleiro, C ; Ramos, J ;
PUBLISHED: 2007, SOURCE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
45
TITLE: Equipollent logical systems  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: From Fibring to Cryptofibring. A Solution to the Collapsing Problem  Full Text
AUTHORS: Carlos Caleiro ; Jaime Ramos ;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
47
TITLE: On the algebraization of many-sorted logics
AUTHORS: Caleiro, C ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
48
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 | CIÊNCIAVITAE
49
TITLE: On the semantics of Alice&Bob specifications of security protocols  Full Text
AUTHORS: Caleiro, C ; Vigano, 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
IN MY: ORCID
50
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 DBLP CrossRef: 6
IN MY: ORCID
Page 5 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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