Mark A. J. Song

67 papers B 4C 10Misc 3Journal 13Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Formal Concept Analysis Approach to Evaluating the Sentiment of Mexico City Residents Regarding COVID-19. BIOSTEC (4) Mateus Sobreira, Luiz Zárate, Mark A. J. Song
2026	—	`conf`	A Formal Concept Analysis Approach to Mental Health Surveillance: Isolation Effects in COVID-19 Times. BIOSTEC (4) Victor Moraes, Julio C. V. Neves, Mark A. J. Song
2026	—	`conf`	Analyzing the Mental Well-Being of Adolescents During the COVID-19 Pandemic through Formal Concept Analysis. BIOSTEC (4) Bernardo Amorim, Elaine Passos, Julio C. V. Neves, Mark A. J. Song
2026	—	`conf`	Application of Formal Concept Analysis to Study the Factors Associated with Cholera among Children Aged 1-5 Years During an Epidemic in Rural Haiti. BIOSTEC (4) Clara Franco, Julio C. V. Neves, Luiz Zárate, Mark A. J. Song
2026	—	`conf`	Formal Concept Analysis Applied to Characterize Breast Cancer Related Lymphedema Symptoms. BIOSTEC (4) Mateus Barbosa, Julio C. V. Neves, Mark A. J. Song
2026	—	`conf`	Formal Concept Analysis for Characterizing Pediatric Respiratory Diseases: A Case Study on a Moroccan Cohort. BIOSTEC (4) Luís Oliveira, Julio C. V. Neves, Mark A. J. Song
2026	—	`conf`	Formal Concept Analysis of Social and Behavioral Factors Associated with COVID-19 Vaccine Refusal. BIOSTEC (4) Cecília Fernandes Silva Costa, Julio C. V. Neves, Luiz Zárate, Mark A. J. Song
2026	—	`conf`	Pattern Analysis in Oropharyngeal Cancer Using Formal Concept Analysis. BIOSTEC (3) Arthur Setragni, Julio C. V. Neves, Mark A. J. Song
2025	—	`conf`	Analysis of Health Indicators for Heart Disease Based on Formal Concept Analysis. BIOSTEC (2): HEALTHINF Laura Xavier, Julio C. V. Neves, Luiz Zárate, Mark A. J. Song
2025	—	`conf`	Formal Concept Analysis Applied to Characterize Longitudinal Associations Between Depressive and Anxiety Disorders and Somatization. BIOSTEC (2): HEALTHINF Diogo Miranda, Julio C. V. Neves, Luiz Zárate, Mark A. J. Song
2025	—	`conf`	The Use of Formal Concept Analysis for Characterizing the Behavior of the Residents of Bangladesh Regarding the COVID-19 Pandemic. BIOSTEC (2): HEALTHINF Mateus Sobreira, Martha Dias, Luiz Zárate, Mark A. J. Song
2024	—	`conf`	Application of Formal Concept Analysis to Characterize Driving Behaviors and Socio-Cultural Factors Related to Driving. BIOSTEC (2) Diogo Miranda, Luis E. Zárate, Mark A. J. Song
2024	—	`conf`	Longitudinal Data Analysis Based on Triadic Rules to Describe of the Psychological Reactions During COVID 19 Pandemic. BIOSTEC (2) Lincoln A. N. Coutinho, Mark A. J. Song, Luis E. Zárate
2024	C	`conf`	Temporal Analysis of Brazilian Presidential Election on Twitter Based on Formal Concept Analysis. WEBIST Daniel Pereira, Julio C. V. Neves, Wladmir C. Brandão, Mark A. J. Song
2024	—	`conf`	Triadic Rules for Analysis of Productive and Well-Being Social in Activity-Based Working Environments. BIOSTEC (2) Thiago H. C. Oliveira, Mark A. J. Song, Luis E. Zárate
2023	—	`conf`	Parallelism in the Generation of Concepts Through the Formal Context Object Partitioning Using the In-Close 4 Algorithm. ICEIS (2) André Alves, Luis E. Zárate, Henrique C. Freitas, Mark A. J. Song
2023	J	`jnl`	SciBR-M: a method to map the evolution of scientific interest - A case study in educational data mining. Libr. Hi Tech Luiz Zárate, Marcos W. Rodrigues, Sérgio Mariano Dias, Cristiane Nobre, Mark A. J. Song
2022	—	`conf`	A Review of the Main Factors, Computational Methods, and Databases Used in Depression Studies. HEALTHINF 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
2022	—	`conf`	Application of Formal Concept Analysis and Data Mining to Characterize Infant Mortality in Two Regions of the State of Minas Gerais. ICEIS (1) Deivid Santos, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song
2022	J	`jnl`	Computing triadic generators and association rules from triadic contexts. Ann. Math. Artif. Intell. Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song, Mohamed Hamza Ibrahim
2022	—	`conf`	Data Balancing using Deep Convolutional Generative Adversarial Networks (DCGAN) in Patients with Congenital Syndrome by Zika Virus. HEALTHINF Érika G. de Assis, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre
2022	—	`conf`	Formal Concept Analysis Applied to a Longitudinal Study of COVID-19. ICEIS (1) Paulo Lana, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song
2022	—	`conf`	Predicting Depression in Children and Adolescents using the SHAP Approach. HEALTHINF Marcelo de Sousa Balbino, Renata Santana, Maycoln L. M. Teodoro, Mark A. J. Song, Luis E. Zárate, Cristiane Nobre
2022	—	`conf`	Selection of Representative Instances using Ant Colony: A Case Study in a Database of Children and Adolescents with Attention-Deficit/Hyperactivity Disorder. HEALTHINF 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
2022	C	`conf`	Temporal Evolution of Topics on Twitter. WEBIST Daniel Pereira, Wladmir C. Brandão, Mark A. J. Song
2021	J	`jnl`	An open computing language-based parallel Brute Force algorithm for formal concept analysis on heterogeneous architectures. Concurr. Comput. Pract. Exp. João P. P. Novais, Lucas Andrade Maciel, Matheus Alcântara Souza, Mark A. J. Song, Henrique C. Freitas
2021	—	`conf`	Applying Formal Concept Analysis for the Recognition of Infant Mortality Patterns. MedInfo Lorenzo Marzano, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song
2021	—	`conf`	Characterizing Infant Mortality Using Data Mining - A Case Study in Two Brazilian States - Santa Catarina and Amapá. MedInfo Wanderson L. Soares, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre
2021	—	`conf`	Interpreting the Human Longevity Profile Through Triadic Rules - A Case Study Based on the ELSA-UK Longitudinal Study. MedInfo Marta D. M. Noronha, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate
2021	—	`conf`	Mining the Groceries Database using Triadic Concept Analysis. RealDataFCA@ICFCA Pedro H. B. Ruas, Rokia Missaoui, Mark A. J. Song, Léonard Kwuida
2021	J	`jnl`	Triadic concept approximation. Inf. Sci. Kaio H. A. Ananias, Rokia Missaoui, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song
2020	—	`conf`	An FCA-based Approach to Direct Edges in a Causal Bayesian Network: A Pilot Study using a Surgery Data Set. ICEIS (1) Walisson Ferreira de Carvalho, Mark A. J. Song, Luis E. Zárate
2020	Misc	`conf`	Applying binary decision diagram to extract concepts from triadic formal context. SAC Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song
2020	Misc	`conf`	Characterization of long-lived and non-long lived profiles through biclustering. SAC Marta D. M. Noronha, Marcos W. Rodrigues, Caio Eduardo Ribeiro, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate
2020	J	`jnl`	Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts. IEEE Access Julio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song
2020	J	`jnl`	Extraction of qualitative behavior rules for industrial processes from reduced concept lattice. Intell. Data Anal. Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song, Newton José Vieira, Ch. Aswani Kumar
2020	Misc	`conf`	Pattern Discovery in Triadic Contexts. ICCS Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song
2019	—	`conf`	Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams. ICEIS (1) Kaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song
2018	—	`conf`	An Approach to Extract Proper Implications Set from High-dimension Formal Contexts using Binary Decision Diagram. ICEIS (1) Phillip Santos, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song
2018	J	`jnl`	Handling high dimensionality contexts in formal concept analysis via binary decision diagrams. Inf. Sci. Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song
2018	J	`jnl`	Identification of substructures in complex networks using formal concept analysis. Int. J. Web Inf. Syst. Sebastião M. Neto, Sérgio Dias, Rokia Missaoui, Luis E. Zárate, Mark A. J. Song
2018	J	`jnl`	ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram Inf. 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
2018	J	`jnl`	Minimal implications base for social network analysis. Int. J. Web Inf. Syst. Paula Raissa, Sérgio Dias, Mark A. J. Song, Luis E. Zárate
2017	—	`conf`	Formal Concept Analysis Applied to Professional Social Networks Analysis. ICEIS (1) Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate
2017	—	`conf`	Professional Competence Identification Through Formal Concept Analysis. ICEIS (Revised Selected Papers) Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate
2015	—	`conf`	Minimal Cover of Implication Rules to Represent Two Mode Networks. WI-IAT (1) Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song, Sérgio M. Dias
2015	C	`conf`	Using implications from FCA to represent a two mode network data. SEKE Sebastião M. Neto, Mark A. J. Song, Luis E. Zárate, Sérgio M. Dias
2014	—	`conf`	Extraction of Classes Through the Application of Formal Concept Analysis. ICEIS (2) Decius Pereira, Luis E. Zárate, Mark A. J. Song
2014	J	`jnl`	UML-Checker: An Approach for Verifying UML Behavioral Diagrams. J. Softw. Flávio Fernandes, Mark A. J. Song
2013	—	`conf`	Applying Formal Concept Analysis to assist class hierarchy construction in biomedical systems. BMEI Decius Pereira, Luis E. Zárate, Mark A. J. Song
2013	B	`conf`	SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. SMC Andrei Rimsa, Mark A. J. Song, Luis E. Zárate
2012	B	`conf`	A symbolic model checking appproach to verifying transact-SQL. SMC Rodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song
2012	J	`jnl`	Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. J. Softw. Cristiano Barros, Mark A. J. Song
2010	C	`conf`	A Framework for Solar Energy Applications Photovoltaic Systems. SEKE Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song
2010	B	`conf`	SolarEnergy: A framework for photovoltaic systems - A case study. SMC Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song
2009	—	`conf`	Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song
2009	—	`conf`	Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ICCS (1) Andrei Rimsa, Luis E. Zárate, Mark A. J. Song
2009	C	`conf`	Handling Large Formal Context Using BDD - Perspectives and Limitations. ICFCA Andrei Rimsa, Luis E. Zárate, Mark A. J. Song
2007	—	`conf`	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate
2007	B	`conf`	FCANN Method Applications for Knowledge Extraction From Previously Trained ANN. IJCNN Luis E. Zárate, Sérgio M. Dias, Mark A. J. Song
2006	C	`conf`	SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. SEKE 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
2006	J	`jnl`	The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electron. Commer. Res. Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho
2005	C	`conf`	Formal Verification of Transactional Systems Based on UML Specifications. SEKE Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate
2005	C	`conf`	Formal Verification of Transactional Systems. WEBIST Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos
2003	—	`conf`	A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
2003	C	`conf`	Extending UML to Specify and Verify E-commerce Systems. SEKE Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
2002	C	`conf`	A Formal Methodology to Specify E-commerce Systems. ICFEM Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos