Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. - S. Campos; Julio C. V. Neves; Luis E. Zárate; Mark A. J. Song (ECBS, 2009)

An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram. - Phillip Santos; Julio C. V. Neves; Paula R. C. Silva; Sérgio M. Dias; Luis E. Zárate; Mark A. J. Song (ICEIS (1), 2018)

ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram †. - Phillip Santos; Pedro Henrique Batista Ruas da Silveira; Julio C. V. Neves; Paula R. C. Silva; Sérgio M. Dias; Luis E. Zárate; Mark A. J. Song (Inf., 2018)

Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams. - Kaio H. A. Ananias; Julio C. V. Neves; Pedro H. B. Ruas; Luis E. Zárate; Mark A. J. Song (ICEIS (1), 2019)

Applying binary decision diagram to extract concepts from triadic formal context. - Julio C. V. Neves; Kaio H. A. Ananias; Cristiane Nobre; Luis E. Zárate; Mark A. J. Song (SAC, 2020)

Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts. - Julio C. V. Neves; Pedro Henrique Batista Ruas da Silveira; Rokia Missaoui; Sérgio M. Dias; Luis E. Zárate; Mark A. J. Song (IEEE Access, 2020)

Extracting concepts from triadic contexts using Binary Decision Diagram. - Julio Cesar Vale Neves; Luiz Enrique Zárate; Mark Alan Junho Song (J. Univers. Comput. Sci., 2022)

Temporal Analysis of Brazilian Presidential Election on Twitter Based on Formal Concept Analysis. - Daniel Pereira; Julio C. V. Neves; Wladmir C. Brandão; Mark A. J. Song (WEBIST, 2024)

Formal Concept Analysis Applied to Characterize Longitudinal Associations Between Depressive and Anxiety Disorders and Somatization. - Diogo Miranda; Julio C. V. Neves; Luiz Zárate; Mark A. J. Song (BIOSTEC (2): HEALTHINF, 2025)

Analysis of Health Indicators for Heart Disease Based on Formal Concept Analysis. - Laura Xavier; Julio C. V. Neves; Luiz Zárate; Mark A. J. Song (BIOSTEC (2): HEALTHINF, 2025)

Exploring Links Between Social Media Habits, Loneliness, and Sleep: A Formal Concept Analysis Approach. - Fernanda M. Gomes; Julio C. V. Neves; Luis Enrique Zárate Gálvez; Mark Alan Junho Song (ICEIS (1), 2025)