Mark Alan J. Song
Mark Alan J. Song
Programa de Pós-Graduação em Informática
pucminas.br üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
202002
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
172006
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
162018
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
122013
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
F Fernandes, MAJ Song
JSW 9 (5), 1229-1236, 2014
112014
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
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
72017
Automatized checking of business rules for activity execution sequence in workflows
C Barros, M Song
Journal of Software 7 (2), 374-381, 2012
62012
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
62009
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
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
52018
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
52018
Using implications from FCA to represent a two mode network data.
SM Neto, MAJ Song, LE Zarate, SM Dias
SEKE, 256-259, 2015
52015
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
42012
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
42007
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
42006
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
32018
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
32018
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
32015
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20