Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



31
TITLE: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Vigano, L;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 31
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
32
TITLE: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTHORS: Conchinha, B; Basin, D; Caleiro, C ;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXED IN: Scopus WOS DBLP CrossRef
33
TITLE: Hierarchical logical consequence  Full Text
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J ;
PUBLISHED: 2011, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
34
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations  Full Text
AUTHORS: Caleiro, C ; Goncalves, R ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 106, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
35
TITLE: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
36
TITLE: XIV Latin American Symposium on Mathematical Logic (SLALM) (vol 15, pg 332, 2009)
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2010, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 16, ISSUE: 1
INDEXED IN: WOS
37
TITLE: Algebraic Valuations as Behavioral Logical Matrices  Full Text
AUTHORS: Caleiro, C ; Goncalves, R ;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
38
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: J. Appl. Non Class. Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
39
TITLE: Behavioral Algebraization of Logics
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Stud Logica, VOLUME: 91, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
40
TITLE: Classic-Like Analytic Tableaux for Finite-Valued Logics  Full Text
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 4 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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