Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
31
TÃTULO: Infectious semantics and analytic calculi for even more inclusion logics
AUTORES: Carlos Caleiro; Sérgio Marcelino; Pedro Filipe;
PUBLICAÇÃO: 2020, FONTE: 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020
AUTORES: Carlos Caleiro; Sérgio Marcelino; Pedro Filipe;
PUBLICAÇÃO: 2020, FONTE: 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP32
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: 
WOS
WOS33
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP34
TÃTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities Full Text
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
35
TÃTULO: Probabilistic logic over equations and domain restrictions
AUTORES: Mordido, A ; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 6
AUTORES: Mordido, A ; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 6
36
TÃTULO: Analytic Calculi for Monadic PNmatrices
AUTORES: Caleiro, C; Marcelino, S;
PUBLICAÇÃO: 2019, FONTE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11541 LNCS
AUTORES: Caleiro, C; Marcelino, S;
PUBLICAÇÃO: 2019, FONTE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11541 LNCS
INDEXADO EM: 
Scopus
Scopus37
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
AUTORES: Ramos, G ; Pequito, S; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: INTERNATIONAL JOURNAL OF CONTROL
38
TÃTULO: Semi-BCI algebras
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: Scopus
Scopus39
TÃTULO: Analytic Calculi for Monadic PNmatrices
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP40
TÃTULO: Combining fragments of classical logic: When are interaction principles needed?
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2019, FONTE: Soft Comput., VOLUME: 23, NÚMERO: 7
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2019, FONTE: Soft Comput., VOLUME: 23, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP