Julio C. V. Neves

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 5

Top Topics

Formal Contexts

Constraint Satisfaction

Binary Decision Diagrams

Top Venues

Publications

Julio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts. IEEE Access 8 (2020)
Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song
Applying binary decision diagram to extract concepts from triadic formal context. SAC (2020)
Kaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis Enrique Zárate, Mark A. J. Song
Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams. ICEIS (1) (2019)
Phillip Santos, Pedro Henrique Batista Ruas da Silveira, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
. Inf. 9 (11) (2018)
Phillip Santos, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram. ICEIS (1) (2018)
S. Campos, Julio C. V. Neves, Luis Enrique Zárate, Mark A. J. Song
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS (2009)