Follow
Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
Verified email at pucminas.br
Title
Cited by
Cited by
Year
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
252006
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
222018
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
212002
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
182013
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
162017
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
J. Softw. 9 (5), 1229-1236, 2014
122014
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
112018
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
92009
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
82006
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
82002
Triadic concept approximation
KHA Ananias, R Missaoui, PHB Ruas, LE Zarate, MAJ Song
Information Sciences 572, 126-146, 2021
72021
Pattern discovery in triadic contexts
R Missaoui, PHB Ruas, L Kwuida, MAJ Song
Ontologies and Concepts in Mind and Machine: 25th International Conference …, 2020
72020
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
62018
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
62018
Automatized Checking of Business Rules for Activity Execution Sequence in Workflows.
C Barros, MAJ Song
J. Softw. 7 (2), 374-381, 2012
62012
Algoritmo para Linearização de Processos via redes neurais e sua análise de comportamento assintótico
LE Zárate, M Song, H Helman
Anais do 5 Simpósio Brasileiro de Redes Neurais, 199-204, 1998
61998
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zárate, SM Dias
SEKE, 256-259, 2015
52015
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
52007
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
42023
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
42021
The system can't perform the operation now. Try again later.
Articles 1–20