Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
41
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
DBLP42
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
DBLP43
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
44
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
DBLP45
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
DBLP46
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
Scopus47
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
DBLP48
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
DBLP49
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP50
TITLE: Merging fragments of classical logic PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP