Mark A. J. Song

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 30

Top Topics

Formal Concept Analysis

High Dimensional

Top Venues

Publications

André Alves, Luis E. Zárate, Henrique C. Freitas, Mark A. J. Song
Parallelism in the Generation of Concepts Through the Formal Context Object Partitioning Using the In-Close 4 Algorithm. ICEIS (2) (2023)
Deivid Santos, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song
Application of Formal Concept Analysis and Data Mining to Characterize Infant Mortality in Two Regions of the State of Minas Gerais. ICEIS (1) (2022)
Daniel Pereira, Wladmir C. Brandão, Mark A. J. Song
Temporal Evolution of Topics on Twitter. WEBIST (2022)
Ariane C. B. da Silva, Renata C. Santana, Thiago H. N. de Lima, Maycoln L. M. Teodoro, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre
A Review of the Main Factors, Computational Methods, and Databases Used in Depression Studies. HEALTHINF (2022)
Henrique R. Hott, Caroline Jandre, Pedro H. S. Xavier, Amal Miloud-Aouidate, Débora M. Miranda, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre
Selection of Representative Instances using Ant Colony: A Case Study in a Database of Children and Adolescents with Attention-Deficit/Hyperactivity Disorder. HEALTHINF (2022)
Érika G. de Assis, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre
Data Balancing using Deep Convolutional Generative Adversarial Networks (DCGAN) in Patients with Congenital Syndrome by Zika Virus. HEALTHINF (2022)
Paulo Lana, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song
Formal Concept Analysis Applied to a Longitudinal Study of COVID-19. ICEIS (1) (2022)
Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim
Computing triadic generators and association rules from triadic contexts. Ann. Math. Artif. Intell. 90 (11-12) (2022)
Marcelo Balbino, Renata Santana, Maycoln Teodoro, Mark A. J. Song, Luis Enrique Zárate, Cristiane Nobre
Predicting Depression in Children and Adolescents using the SHAP Approach. HEALTHINF (2022)
Kaio H. A. Ananias, Rokia Missaoui, Pedro H. B. Ruas, Luis Enrique Zárate, Mark A. J. Song
Triadic concept approximation. Inf. Sci. 572 (2021)
João P. P. Novais, Lucas Andrade Maciel, Matheus Alcântara Souza, Mark A. J. Song, Henrique C. Freitas
An open computing language-based parallel Brute Force algorithm for formal concept analysis on heterogeneous architectures. Concurr. Comput. Pract. Exp. 33 (18) (2021)
Wanderson L. Soares, Mark A. J. Song, Luis Enrique Zárate, Cristiane Neri Nobre
Characterizing Infant Mortality Using Data Mining - A Case Study in Two Brazilian States - Santa Catarina and Amapá. MedInfo (2021)
Lorenzo Marzano, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song
Applying Formal Concept Analysis for the Recognition of Infant Mortality Patterns. MedInfo (2021)
Marta D. M. Noronha, Cristiane Neri Nobre, Mark A. J. Song, Luis Enrique Zárate
Interpreting the Human Longevity Profile Through Triadic Rules - A Case Study Based on the ELSA-UK Longitudinal Study. MedInfo (2021)
Walisson Ferreira de Carvalho, Mark A. J. Song, Luis Enrique Zárate
An FCA-based Approach to Direct Edges in a Causal Bayesian Network: A Pilot Study using a Surgery Data Set. ICEIS (1) (2020)
Julio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts. IEEE Access 8 (2020)
Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song
Pattern Discovery in Triadic Contexts. ICCS (2020)
Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song, Newton José Vieira, Ch. Aswani Kumar
Extraction of qualitative behavior rules for industrial processes from reduced concept lattice. Intell. Data Anal. 24 (3) (2020)
Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis Enrique Zárate, Mark A. J. Song
Applying binary decision diagram to extract concepts from triadic formal context. SAC (2020)
Marta D. M. Noronha, Marcos W. Rodrigues, Caio Eduardo Ribeiro, Cristiane Neri Nobre, Mark A. J. Song, Luis Enrique Zárate
Characterization of long-lived and non-long lived profiles through biclustering. SAC (2020)
Kaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis Enrique Zárate, Mark A. J. Song
Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams. ICEIS (1) (2019)
Sebastião M. Neto, Sérgio Dias, Rokia Missaoui, Luis Enrique Zárate, Mark A. J. Song
Identification of substructures in complex networks using formal concept analysis. Int. J. Web Inf. Syst. 14 (3) (2018)
Sebastião M. Neto, Luis Enrique Zárate, Mark A. J. Song
Handling high dimensionality contexts in formal concept analysis via binary decision diagrams. Inf. Sci. 429 (2018)
Phillip Santos, Pedro Henrique Batista Ruas da Silveira, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
. Inf. 9 (11) (2018)
Paula Raissa, Sérgio Dias, Mark A. J. Song, Luis Enrique Zárate
Minimal implications base for social network analysis. Int. J. Web Inf. Syst. 14 (1) (2018)
Phillip Santos, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis Enrique Zárate, Mark A. J. Song
An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram. ICEIS (1) (2018)
Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis Enrique Zárate
Professional Competence Identification Through Formal Concept Analysis. ICEIS (Revised Selected Papers) (2017)
Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis Enrique Zárate
Formal Concept Analysis Applied to Professional Social Networks Analysis. ICEIS (1) (2017)
Sebastião M. Neto, Luis Enrique Zárate, Mark A. J. Song, Sérgio M. Dias
Minimal Cover of Implication Rules to Represent Two Mode Networks. WI-IAT (1) (2015)
Sebastião M. Neto, Mark A. J. Song, Luiz E. Zarate, Sérgio M. Dias
Using implications from FCA to represent a two mode network data. SEKE (2015)
Flávio Fernandes, Mark A. J. Song
UML-Checker: An Approach for Verifying UML Behavioral Diagrams. J. Softw. 9 (5) (2014)
Decius Pereira, Luis Enrique Zárate, Mark A. J. Song
Extraction of Classes Through the Application of Formal Concept Analysis. ICEIS (2) (2014)
Decius Pereira, Luis Enrique Zárate, Mark A. J. Song
Applying Formal Concept Analysis to assist class hierarchy construction in biomedical systems. BMEI (2013)
Andrei Rimsa, Mark A. J. Song, Luis Enrique Zárate
SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. SMC (2013)
Cristiano Barros, Mark A. J. Song
Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. J. Softw. 7 (2) (2012)
Rodrigo Diana, Humberto Marques-Neto, Luis Enrique Zárate, Mark A. J. Song
A symbolic model checking appproach to verifying transact-SQL. SMC (2012)
Frederico Papatella, Tiago Figueiredo Carvalho, Luis Enrique Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song
A Framework for Solar Energy Applications Photovoltaic Systems. SEKE (2010)
Frederico Papatella, Tiago Figueiredo Carvalho, Luis Enrique Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song
SolarEnergy: A framework for photovoltaic systems - A case study. SMC (2010)
S. Campos, Julio C. V. Neves, Luis Enrique Zárate, Mark A. J. Song
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS (2009)
Andrei Rimsa, Luis Enrique Zárate, Mark A. J. Song
Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ICCS (1) (2009)
Andrei Rimsa, Luis Enrique Zárate, Mark A. J. Song
Handling Large Formal Context Using BDD - Perspectives and Limitations. ICFCA (2009)
Luis Enrique Zárate, Sérgio M. Dias, Mark A. J. Song
FCANN Method Applications for Knowledge Extraction From Previously Trained ANN. IJCNN (2007)
Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis Enrique Zárate
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS (2007)
Mark A. J. Song, Luis Enrique Zárate, Sérgio M. Dias, Ana Alvarez, Bruno Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, Newton Vieira
SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. SEKE (2006)
Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electron. Commer. Res. 6 (3-4) (2006)
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis Enrique Zárate
Formal Verification of Transactional Systems Based on UML Specifications. SEKE (2005)
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos
Formal Verification of Transactional Systems. WEBIST (2005)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
Extending UML to Specify and Verify E-commerce Systems. SEKE (2003)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice (2003)
Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos
A Formal Methodology to Specify E-commerce Systems. ICFEM (2002)