Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



11
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 CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms  Full Text
AUTORES: Ramos, G ; Boratto, L; Caleiro, C ;
PUBLICAÇÃO: 2020, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 57, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: On the index of convergence of a class of Boolean matrices with structural properties  Full Text
AUTORES: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL OF CONTROL
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: The robust minimal controllability problem for switched linear continuous-time systems  Full Text
AUTORES: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLICAÇÃO: 2018, FONTE: 2018 Annual American Control Conference, ACC 2018 in Proceedings of the American Control Conference, VOLUME: 2018-June
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: Compositional Meaning in Logic  Full Text
AUTORES: Carlos Caleiro ; Luca Vigano;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
INDEXADO EM: WOS
17
TÍTULO: Disjoint Fibring of Non-deterministic Matrices
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
INDEXADO EM: WOS
18
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
19
TÍTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 7
INDEXADO EM: Scopus WOS
20
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
Página 2 de 8. Total de resultados: 73.

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

Links Úteis

Ajuda

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