| Techniques for missing value recovering in imbalanced databases: Application in a marketing database with massive missing data LE Zarate, BM Nogueira, TRA Santos, MAJ Song 2006 IEEE International Conference on Systems, Man and Cybernetics 3, 2658-2664, 2006 | 25 | 2006 |
| Handling high dimensionality contexts in formal concept analysis via binary decision diagrams SM Neto, LE Zárate, MAJ Song Information Sciences 429, 361-376, 2018 | 22 | 2018 |
| A formal methodology to specify e-commerce systems A Pereira, M Song, G Gorgulho, W Meira, S Campos Formal Methods and Software Engineering: 4th International Conference on …, 2002 | 21 | 2002 |
| Scgaz-a synthetic formal context generator with density control for test and evaluation of fca algorithms A Rimsa, MAJ Song, LE Zárate 2013 IEEE International Conference on Systems, Man, and Cybernetics, 3464-3470, 2013 | 19 | 2013 |
| Formal concept analysis applied to professional social networks analysis PRC Silva, SM Dias, WC Brandao, MA Song, LE Zárate International Conference on Enterprise Information Systems 2, 123-134, 2017 | 16 | 2017 |
| UML-Checker: An Approach for Verifying UML Behavioral Diagrams. F Fernandes, MAJ Song J. Softw. 9 (5), 1229-1236, 2014 | 14 | 2014 |
| Domain‐specific language for automatic generation of UML models MA Miranda, MG Ribeiro, HT Marques-Neto, MAJ Song IET Software 12 (2), 129-135, 2018 | 12 | 2018 |
| Pattern discovery in triadic contexts R Missaoui, PHB Ruas, L Kwuida, MAJ Song Ontologies and Concepts in Mind and Machine: 25th International Conference …, 2020 | 9 | 2020 |
| Evaluation of different BDD libraries to extract concepts in FCA–perspectives and limitations A Rimsa, LE Zárate, MAJ Song Computational Science–ICCS 2009: 9th International Conference Baton Rouge …, 2009 | 9 | 2009 |
| Triadic concept approximation KHA Ananias, R Missaoui, PHB Ruas, LE Zarate, MAJ Song Information Sciences 572, 126-146, 2021 | 8 | 2021 |
| An approach to knowledge extraction from ANN through formal concept analysis-Computational tool proposal: sophiann LE Zárate, M Song, A Alvarez, B Soares, B Nogueira, R Vimieiro, S Dias, ... 2006 IEEE International Symposium on Industrial Electronics 1, 43-48, 2006 | 8 | 2006 |
| Model checking patterns for e-commerce systems M Song, A Pereira, G Gorgulho, W Meira Jr, S Campos Proceedings of the First Seminar on Advanced Research in Electronic Business, 2002 | 8 | 2002 |
| Implicpbdd: A new approach to extract proper implications set from high-dimension formal contexts using a binary decision diagram PG Santos, PHB Ruas, JCV Neves, PR Silva, SM Dias, LE Zárate, ... Information 9 (11), 266, 2018 | 6 | 2018 |
| Identification of substructures in complex networks using formal concept analysis SM Neto, S Dias, R Missaoui, L Zárate, M Song International Journal of Web Information Systems 14 (3), 281-298, 2018 | 6 | 2018 |
| Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. C Barros, MAJ Song J. Softw. 7 (2), 374-381, 2012 | 6 | 2012 |
| Exploring clause symmetry in a distributed bounded model checking algorithm H Barros, S Campos, M Song, L Zarate 14th Annual IEEE International Conference and Workshops on the Engineering …, 2007 | 6 | 2007 |
| SciBR-M: a method to map the evolution of scientific interest-A case study in educational data mining L Zárate, MW Rodrigues, SM Dias, C Nobre, M Song Library Hi Tech 41 (6), 1694-1724, 2023 | 5 | 2023 |
| Interpreting the Human Longevity Profile Through Triadic Rules–A Case Study Based on the ELSA-UK Longitudinal Study MDM Noronha, CN Nobre, MAJ Song, LE Zárate MEDINFO 2021: One World, One Health–Global Partnership for Digital …, 2022 | 5 | 2022 |
| An open computing language‐based parallel Brute Force algorithm for formal concept analysis on heterogeneous architectures JPP Novais, LA Maciel, MA Souza, MAJ Song, HC Freitas Concurrency and Computation: Practice and Experience 33 (18), e6220, 2021 | 5 | 2021 |
| Using implications from FCA to represent a two mode network data. SM Neto, MAJ Song, LE Zárate, SM Dias SEKE, 256-259, 2015 | 5 | 2015 |
