Mark A. J. Song

According to our database, Mark A. J. Song authored at least 63 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Triadic Rules for Analysis of Productive and Well-Being Social in Activity-Based Working Environments.

Thiago H. C. Oliveira, Mark A. J. Song, Luis E. Zárate

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

Application of Formal Concept Analysis to Characterize Driving Behaviors and Socio-Cultural Factors Related to Driving.

Diogo Miranda, Luis E. Zárate, Mark A. J. Song

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

Longitudinal Data Analysis Based on Triadic Rules to Describe of the Psychological Reactions During COVID 19 Pandemic.

Lincoln A. N. Coutinho, Mark A. J. Song, Luis E. Zárate

Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024

2023

Parallelism in the Generation of Concepts Through the Formal Context Object Partitioning Using the In-Close 4 Algorithm.

André Alves, Luis E. Zárate, Henrique C. Freitas, Mark A. J. Song

Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

2022

Extracting concepts from triadic contexts using Binary Decision Diagram.

Julio Cesar Vale Neves, Luiz Enrique Zárate, Mark Alan Junho Song

J. Univers. Comput. Sci., 2022

Computing triadic generators and association rules from triadic contexts.

Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim

Ann. Math. Artif. Intell., 2022

Temporal Evolution of Topics on Twitter.

Daniel Pereira, Wladmir C. Brandão, Mark A. J. Song

Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

Application of Formal Concept Analysis and Data Mining to Characterize Infant Mortality in Two Regions of the State of Minas Gerais.

Deivid Santos, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song

Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

Formal Concept Analysis Applied to a Longitudinal Study of COVID-19.

Paulo Lana, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song

Proceedings of the 24th International Conference on Enterprise Information Systems, 2022

A Review of the Main Factors, Computational Methods, and Databases Used in Depression Studies.

Ariane C. B. da Silva, Renata C. Santana, Thiago H. N. de Lima, Maycoln L. M. Teodoro, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

Selection of Representative Instances using Ant Colony: A Case Study in a Database of Children and Adolescents with Attention-Deficit/Hyperactivity Disorder.

Henrique R. Hott, Caroline Jandre, Pedro H. S. Xavier, Amal Miloud-Aouidate, Débora M. Miranda, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

Predicting Depression in Children and Adolescents using the SHAP Approach.

Marcelo de Sousa Balbino, Renata Santana, Maycoln L. M. Teodoro, Mark A. J. Song, Luis E. Zárate, Cristiane Nobre

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

Data Balancing using Deep Convolutional Generative Adversarial Networks (DCGAN) in Patients with Congenital Syndrome by Zika Virus.

Érika G. de Assis, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

2021

Effectively clustering researchers in scientific collaboration networks: case study on ResearchGate.

Marcos Wander Rodrigues, Mark Alan Junho Song, Luis Enrique Zárate

Soc. Netw. Anal. Min., 2021

Triadic concept approximation.

Kaio H. A. Ananias, Rokia Missaoui, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song

Inf. Sci., 2021

An open computing language-based parallel Brute Force algorithm for formal concept analysis on heterogeneous architectures.

João P. P. Novais, Lucas Andrade Maciel, Matheus Alcântara Souza, Mark A. J. Song, Henrique C. Freitas

Concurr. Comput. Pract. Exp., 2021

Characterizing Infant Mortality Using Data Mining - A Case Study in Two Brazilian States - Santa Catarina and Amapá.

Wanderson L. Soares, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

Interpreting the Human Longevity Profile Through Triadic Rules - A Case Study Based on the ELSA-UK Longitudinal Study.

Marta D. M. Noronha, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

Applying Formal Concept Analysis for the Recognition of Infant Mortality Patterns.

Lorenzo Marzano, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

Mining the Groceries Database using Triadic Concept Analysis.

Pedro H. B. Ruas, Rokia Missaoui, Mark A. J. Song, Léonard Kwuida

Proceedings of the Workshop Analyzing Real Data with Formal Concept Analysis co-located with 16th International Conference on Formal Concept Analysis (ICFCA 2021), 2021

2020

Extraction of qualitative behavior rules for industrial processes from reduced concept lattice.

Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song, Newton José Vieira, Ch. Aswani Kumar

Intell. Data Anal., 2020

Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts.

Julio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song

IEEE Access, 2020

Characterization of long-lived and non-long lived profiles through biclustering.

Marta D. M. Noronha, Marcos W. Rodrigues, Caio Eduardo Ribeiro, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Applying binary decision diagram to extract concepts from triadic formal context.

Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

An FCA-based Approach to Direct Edges in a Causal Bayesian Network: A Pilot Study using a Surgery Data Set.

Walisson Ferreira de Carvalho, Mark A. J. Song, Luis E. Zárate

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

Pattern Discovery in Triadic Contexts.

Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song

Proceedings of the Ontologies and Concepts in Mind and Machine, 2020

2019

Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams.

Kaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

2018

Handling high dimensionality contexts in formal concept analysis via binary decision diagrams.

Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song

Inf. Sci., 2018

ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram ^†.

Phillip Santos, Pedro Henrique Batista Ruas da Silveira, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song

Inf., 2018

Minimal implications base for social network analysis.

Paula Raissa, Sérgio Dias, Mark A. J. Song, Luis E. Zárate

Int. J. Web Inf. Syst., 2018

Identification of substructures in complex networks using formal concept analysis.

Sebastião M. Neto, Sérgio Dias, Rokia Missaoui, Luis E. Zárate, Mark A. J. Song

Int. J. Web Inf. Syst., 2018

Domain-specific language for automatic generation of UML models.

Márcio Assis Miranda, Marcos Guilherme Ribeiro, Humberto Torres Marques-Neto, Mark Alan Junho Song

IET Softw., 2018

An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram.

Phillip Santos, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

2017

Professional Competence Identification Through Formal Concept Analysis.

Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate

Proceedings of the Enterprise Information Systems - 19th International Conference, 2017

Formal Concept Analysis Applied to Professional Social Networks Analysis.

Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate

Proceedings of the ICEIS 2017, 2017

2016

Automatic formal specification generation of APIs by mining unit tests.

Otmar M. Pereira Jr., Wladmir C. Brandão, Mark Alan Junho Song

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Minimal Cover of Implication Rules to Represent Two Mode Networks.

Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song, Sérgio M. Dias

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Using implications from FCA to represent a two mode network data.

Sebastião M. Neto, Mark A. J. Song, Luis E. Zárate, Sérgio M. Dias

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

2014

UML-Checker: An Approach for Verifying UML Behavioral Diagrams.

Flávio Fernandes, Mark A. J. Song

J. Softw., 2014

Extraction of Classes Through the Application of Formal Concept Analysis.

Decius Pereira, Luis E. Zárate, Mark A. J. Song

Proceedings of the ICEIS 2014, 2014

2013

SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms.

Andrei Rimsa, Mark A. J. Song, Luis E. Zárate

Proceedings of the IEEE International Conference on Systems, 2013

Applying Formal Concept Analysis to assist class hierarchy construction in biomedical systems.

Decius Pereira, Luis E. Zárate, Mark A. J. Song

Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

2012

Automatized Checking of Business Rules for Activity Execution Sequence in Workflows.

Cristiano Barros, Mark A. J. Song

J. Softw., 2012

A symbolic model checking appproach to verifying transact-SQL.

Rodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Sphere-M: An ontology capture method.

Rafael Odon de Alencar, Luis Enrique Zárate, Mark Alan Junho Song

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2010

SolarEnergy: A framework for photovoltaic systems - A case study.

Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song

Proceedings of the IEEE International Conference on Systems, 2010

Large scale genetic identity inference using probabilistic model checking.

Pedro Felipe A. Oliveira, Rodrigo R. Gomes, Mark Alan Junho Song

Proceedings of the IEEE International Conference on Systems, 2010

A Framework for Solar Energy Applications Photovoltaic Systems.

Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2009

Handling Large Formal Context Using BDD - Perspectives and Limitations.

Andrei Rimsa, Luis E. Zárate, Mark A. J. Song

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.

Andrei Rimsa, Luis E. Zárate, Mark A. J. Song

Proceedings of the Computational Science, 2009

Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.

S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

FCANN: A new approach for extraction and representation of knowledge from ANN trained via Formal Concept Analysis.

Luis E. Zárate, Sérgio Mariano Dias, Mark Alan Junho Song

Neurocomputing, 2008

2007

FCANN Method Applications for Knowledge Extraction From Previously Trained ANN.

Luis E. Zárate, Sérgio M. Dias, Mark A. J. Song

Proceedings of the International Joint Conference on Neural Networks, 2007

Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.

Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho

Electron. Commer. Res., 2006

Techniques for Missing Value Recovering in Imbalanced Databases: Application in a Marketing Database with Massive Missing Data.

Luis E. Zárate, Bruno Magalhães Nogueira, Tadeu Renato André Santos, Mark Alan Junho Song

Proceedings of the IEEE International Conference on Systems, 2006

SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study.

Mark A. J. Song, Luis E. Zárate, Sérgio M. Dias, Ana Alvarez, Bruno Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, Newton Vieira

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005

Formal Verification of Transactional Systems.

Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos

Proceedings of the WEBIST 2005, 2005

Formal Verification of Transactional Systems Based on UML Specifications.

Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

2004

UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico.

Mark Alan Junho Song

PhD thesis, 2004

2003

A Software Engineering Process to Specify and Verify E-Commerce Systems.

Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Extending UML to Specify and Verify E-commerce Systems.

Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

A Formal Methodology to Specify E-commerce Systems.

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods and Software Engineering, 2002