Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
21
TITLE: Semi-BCI Algebras
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
TITLE: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities Full Text
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
23
TITLE: Probabilistic logic over equations and domain restrictions
AUTHORS: Mordido, A ; Caleiro, C;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 6
AUTHORS: Mordido, A ; Caleiro, C;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 6
24
TITLE: Analytic Calculi for Monadic PNmatrices
AUTHORS: Caleiro, C; Marcelino, S;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Caleiro, C; Marcelino, S;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: 
Scopus
Scopus25
TITLE: Semi-BCI algebras
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: Scopus
Scopus26
TITLE: Analytic Calculi for Monadic PNmatrices
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: Combining fragments of classical logic: When are interaction principles needed?
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2019, SOURCE: Soft Comput., VOLUME: 23, ISSUE: 7
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2019, SOURCE: Soft Comput., VOLUME: 23, ISSUE: 7
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP28
TITLE: Semi-BCI Algebras PDF
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.04808
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.04808
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP29
TITLE: Characterizing finite-valuedness
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP30
TITLE: The robust minimal controllability problem for switched linear continuous-time systems
AUTHORS: Guilherme Ramos; Sergio Pequito; Carlos Caleiro;
PUBLISHED: 2018, SOURCE: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018
AUTHORS: Guilherme Ramos; Sergio Pequito; Carlos Caleiro;
PUBLISHED: 2018, SOURCE: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP