Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

51
TÍTULO: Robust reputation-based ranking on multipartite rating networks PDF
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00947
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
52
TÍTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
53
TÍTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
NO MEU: DBLP
54
TÍTULO: Compositional Meaning in Logic
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
55
TÍTULO: Decidability and complexity of fibred logics without shared connectives
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
56
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
57
TÍTULO: An Equation-Based Classical Logic
AUTORES: Andreia Mordido ; Carlos Caleiro;
PUBLICAÇÃO: 2015, FONTE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
58
TÍTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2015, FONTE: Theor. Comput. Sci., VOLUME: 603
INDEXADO EM: DBLP
NO MEU: DBLP
59
TÍTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics PDF
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1408.3775
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
60
TÍTULO: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2013, FONTE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
INDEXADO EM: DBLP
NO MEU: DBLP
Página 6 de 10. Total de resultados: 97.

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