Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
31
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
DBLP32
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
DBLP33
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
DBLP34
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
DBLP35
TITLE: The robust minimal controllability problem for switched linear continuous-time systems Full Text
AUTHORS: Ramos, G ; Pequito, S; Caleiro, C;
PUBLISHED: 2018, SOURCE: 2018 Annual American Control Conference, ACC 2018 in Proceedings of the American Control Conference, VOLUME: 2018-June
AUTHORS: Ramos, G ; Pequito, S; Caleiro, C;
PUBLISHED: 2018, SOURCE: 2018 Annual American Control Conference, ACC 2018 in Proceedings of the American Control Conference, VOLUME: 2018-June
36
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
DBLP37
TITLE: Combining fragments of classical logic: When are interaction principles needed? PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.05879
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.05879
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP38
TITLE: Plug and Play Negations
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
INDEXED IN: 
Scopus
Scopus39
TITLE: Merging Fragments of Classical Logic
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP40
TITLE: Reputation-Based Ranking Systems and Their Resistance to Bribery
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Data Mining, ICDM 2017, New Orleans, LA, USA, November 18-21, 2017
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Data Mining, ICDM 2017, New Orleans, LA, USA, November 18-21, 2017
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP