Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service