Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
E-mail confirmado em
Citado por
Citado por
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
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
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
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
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
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
J. Softw. 9 (5), 1229-1236, 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
Pattern discovery in triadic contexts
R Missaoui, PHB Ruas, L Kwuida, MAJ Song
Ontologies and Concepts in Mind and Machine: 25th International Conference …, 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
Triadic concept approximation
KHA Ananias, R Missaoui, PHB Ruas, LE Zarate, MAJ Song
Information Sciences 572, 126-146, 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
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
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
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
Automatized Checking of Business Rules for Activity Execution Sequence in Workflows.
C Barros, MAJ Song
J. Softw. 7 (2), 374-381, 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
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
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zárate, SM Dias
SEKE, 256-259, 2015
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20