Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
Verified email at
Cited by
Cited by
A formal methodology to specify e-commerce systems
A Pereira, M Song, G Gorgulho, W Meira, S Campos
International Conference on Formal Engineering Methods, 180-191, 2002
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
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
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
JSW 9 (5), 1229-1236, 2014
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
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
Domain-specific<? show [AQ="" ID=" Q1]"?> language for automatic generation of UML models
MA Miranda, MG Ribeiro, HT Marques-Neto, MAJ Song
IET Software 12 (2), 129-135, 2018
Automatized checking of business rules for activity execution sequence in workflows
C Barros, M Song
Journal of Software 7 (2), 374-381, 2012
Evaluation of different bdd libraries to extract concepts in fca–perspectives and limitations
A Rimsa, LE Zárate, MAJ Song
International Conference on Computational Science, 367-376, 2009
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
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, 2018
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zarate, SM Dias
SEKE, 256-259, 2015
A symbolic model checking appproach to verifying transact-SQL
R Diana, H Marques-Neto, L Zarate, M Song
2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 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
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
A Pereira, M Song, G Gorgulho
Electronic Commerce Research 6 (3), 265-303, 2006
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
An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram.
P Santos, JCV Neves, PRC Silva, SM Dias, LE Zárate, MAJ Song
ICEIS (1), 50-57, 2018
Minimal cover of implication rules to represent two mode networks
SM Neto, LE Zárate, MAJ Song, SM Dias
2015 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20