Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 55



11
TÍTULO: Abstract Valuation Semantics  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
12
TÍTULO: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators  Full Text
AUTORES: Caleiro, C ; Vigano, L; Volpe, M;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
13
TÍTULO: Symbolic probabilistic analysis of off-line guessing
AUTORES: Conchinha, B; Basin, D; Caleiro, C ;
PUBLICAÇÃO: 2013, FONTE: 18th European Symposium on Research in Computer Security, ESORICS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8134 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
14
TÍTULO: Classic-like cut-based tableau systems for finite-valued logics
AUTORES: Volpe, M; Marcos, J; Caleiro, C ;
PUBLICAÇÃO: 2012, FONTE: 19th International Workshop on Logic, Language, Information and Computation, WoLLIC 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7456 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
15
TÍTULO: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTORES: Carlos Caleiro ; Joao Marcos;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
16
TÍTULO: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 31
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
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, FAST 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6561 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
18
TÍTULO: Hierarchical logical consequence  Full Text
AUTORES: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLICAÇÃO: 2011, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
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 CrossRef: 2
NO MEU: ORCID
20
TÍTULO: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTORES: Carlos Caleiro ; Joao Marcos;
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
NO MEU: ORCID | DBLP
Página 2 de 6. Total de resultados: 55.

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

Links Úteis

Ajuda

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