Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



11
TITLE: Abstract Valuation Semantics  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
12
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators  Full Text
AUTHORS: Caleiro, C ; Vigano, L; Volpe, M;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
13
TITLE: Symbolic probabilistic analysis of off-line guessing
AUTHORS: Conchinha, B; Basin, D; Caleiro, C ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
14
TITLE: Classic-like cut-based tableau systems for finite-valued logics
AUTHORS: Volpe, M; Marcos, J; Caleiro, C ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
15
TITLE: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTHORS: Carlos Caleiro ; Joao Marcos;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: Scopus WOS
IN MY: ORCID
16
TITLE: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 31
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
17
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, FAST 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6561 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Hierarchical logical consequence  Full Text
AUTHORS: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLISHED: 2011, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 106, ISSUE: 2-4
INDEXED IN: Scopus WOS
IN MY: ORCID
20
TITLE: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTHORS: Carlos Caleiro ; Joao Marcos;
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
IN MY: ORCID | DBLP
Page 2 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