Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



11
TÍTULO: On the index of convergence of a class of Boolean matrices with structural properties
AUTORES: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF CONTROL, VOLUME: 94, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
12
TÍTULO: What is a logical theory? On theories containing assertions and denials
AUTORES: Blasio, C; Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
13
TÍTULO: A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity
AUTORES: Guilherme Ramos ; Carlos Caleiro ;
PUBLICAÇÃO: 2020, FONTE: BIAS, VOLUME: 1245 CCIS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP
14
TÍTULO: Infectious semantics and analytic calculi for even more inclusion logics
AUTORES: Caleiro, C ; Marcelino, S; Filipe, P;
PUBLICAÇÃO: 2020, FONTE: IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) in 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), VOLUME: 2020-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: DBLP
15
TÍTULO: On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms
AUTORES: Ramos, G ; Boratto, L; Caleiro, C ;
PUBLICAÇÃO: 2020, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 57, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
NO MEU: DBLP
16
TÍTULO: The robust minimal controllability problem for switched linear continuous-time systems
AUTORES: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro ;
PUBLICAÇÃO: 2018, FONTE: ACC, VOLUME: 2018-June
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP
17
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: IJCAI
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
18
TÍTULO: Compositional Meaning in Logic
AUTORES: Caleiro, C ; Viganò, L;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
INDEXADO EM: WOS DBLP
NO MEU: DBLP
19
TÍTULO: Disjoint Fibring of Non-deterministic Matrices
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2017, FONTE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 10388
INDEXADO EM: WOS DBLP
NO MEU: DBLP
20
TÍTULO: Merging Fragments of Classical Logic
AUTORES: Caleiro, C ; Marcelino, S; Marcos, J;
PUBLICAÇÃO: 2017, FONTE: 11th International Symposium on Frontiers of Combining Systems (FroCoS) in FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), VOLUME: 10483
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
Página 2 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