Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



21
TÍTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
22
TÍTULO: Reputation-based Ranking Systems and their Resistance to Bribery  Full Text
AUTORES: Saude, J; Ramos, G ; Caleiro, C ; Kar, S;
PUBLICAÇÃO: 2017, FONTE: 17th IEEE International Conference on Data Mining (ICDMW) in 2017 17TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), VOLUME: 2017-November
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Decidability and complexity of fibred logics without shared connectives
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2016, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: DBLP
24
TÍTULO: An equation-based classical logic
AUTORES: Mordido, A; Caleiro, C ;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: An Equation-Based Classical Logic
AUTORES: Mordido, A ; Caleiro, C ;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
26
TÍTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTORES: Caleiro, C ; Marcos, J; Volpe, M;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 603
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: DBLP
27
TÍTULO: A Labeled Deduction System for the Logic UB
AUTORES: Caleiro, C ; Viganò, L; Volpe, M;
PUBLICAÇÃO: 2013, FONTE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
28
TÍTULO: Abstract Valuation Semantics
AUTORES: Caleiro, C ; Gonçalves, R;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
29
TÍTULO: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators  Full Text
AUTORES: Carlos Caleiro ; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
TÍTULO: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro ;
PUBLICAÇÃO: 2013, FONTE: ESORICS, VOLUME: 8134 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
Página 3 de 8. Total de resultados: 72.

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