Regivan H. N. Santiago
AuthID: R-00H-6TZ
1
TITLE: Aggregation-based operations for reversal fuzzy switch graphs Full Text
AUTHORS: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLISHED: 2023, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 466
AUTHORS: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLISHED: 2023, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 466
2
TITLE: Introduction to reversal fuzzy switch graph Full Text
AUTHORS: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
AUTHORS: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3
TITLE: Relating Kleene Algebras with Pseudo Uninorms
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
4
TITLE: Introducing fuzzy reactive graphs: a simple application on biology Full Text
AUTHORS: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
AUTHORS: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
5
TITLE: Reversal Fuzzy Switch Graphs
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLISHED: 2020, SOURCE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLISHED: 2020, SOURCE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
6
TITLE: On interval dynamic logic: Introducing quasi-action lattices Full Text
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
7
TITLE: Semi-BCI Algebras
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
INDEXED IN: WOS
WOS8
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
DBLP9
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 arXiv10
TITLE: On Interval Dynamic Logic
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090
