The Team Orienteering Problem: Formulations and Branch-Cut and Price. - Marcus Poggi de Aragão; Henrique Viana; Eduardo Uchoa (ATMOS, 2010)

A Tractable Paraconsistent Fuzzy Description Logic. - Henrique Viana; Thiago Alves Rocha; João F. L. Alcântara; Ana Teresa C. Martins (URSW, 2010)

Paraconsistent Rough Description Logic. - Henrique Viana; João F. L. Alcântara; Ana Teresa C. Martins (Description Logics, 2011)

A Description Logic for InferenceNet.Br. - Wellington Franco; Thiago Alves Rocha; Henrique Viana; João F. L. Alcântara (PROPOR, 2012)

Querying Trajectories through Model Checking based on Timed Automata. - Diego V. Simões S.; Henrique Viana; Nicolas Markey; José Antônio Fernandes de Macêdo (SBBD (Short Papers), 2012)

Searching Contexts in Rough Description Logics. - Henrique Viana; João F. L. Alcântara; Ana Teresa C. Martins (BRACIS, 2013)

Private Dynamic Epistemic Friendship Logic. - Henrique Viana; Arnaldo Araújo; Lucas Leite; João F. L. Alcântara (BRACIS, 2014)

Priority-Based Merging Operator Without Distance Measures. - Henrique Viana; João F. L. Alcântara (EUMAS, 2014)

Searching contexts in paraconsistent rough description logic. - Henrique Viana; João F. L. Alcântara; Ana Teresa C. Martins (J. Braz. Comput. Soc., 2015)

Propositional Belief Merging with T-conorms. - Henrique Viana; João F. L. Alcântara (EUMAS/AT, 2016)

Sufficientarian Propositional Belief Merging. - Henrique Viana; João F. L. Alcântara (EUMAS/AT, 2016)

Propositional Belief Merging with OWA Operators. - Henrique Viana; João F. L. Alcântara (KR, 2018)

Aggregation with T-Norms and LexiT-Orderings and Their Connections with the Leximin Principle. - Henrique Viana; João F. L. Alcântara (NAFIPS, 2018)

Aggregation with Weak, Axiological and Strong Sufficientarian Functions. - Henrique Viana; João F. L. Alcântara (BRACIS (2), 2020)

A Systematic Approach to Define Semantics for Prioritised Logic Programs. - Renan Cordeiro; Guilherme Fernandes; João F. L. Alcântara; Henrique Viana (BRACIS (1), 2021)

On the Refinement of Compensation-Based Semantics for Weighted Argumentation Frameworks. - Henrique Viana; João F. L. Alcântara (BRACIS (1), 2021)