default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark A. J. Song
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c47]Diogo Miranda, Luis E. Zárate, Mark A. J. Song:
Application of Formal Concept Analysis to Characterize Driving Behaviors and Socio-Cultural Factors Related to Driving. BIOSTEC (2) 2024: 56-62- [c46]Thiago H. C. Oliveira, Mark A. J. Song, Luis E. Zárate:
Triadic Rules for Analysis of Productive and Well-Being Social in Activity-Based Working Environments. BIOSTEC (2) 2024: 293-299 - [c45]Lincoln A. N. Coutinho, Mark A. J. Song, Luis E. Zárate:
Longitudinal Data Analysis Based on Triadic Rules to Describe of the Psychological Reactions During COVID 19 Pandemic. BIOSTEC (2) 2024: 323-329 - [c44]Daniel Pereira, Julio C. V. Neves, Wladmir C. Brandão, Mark A. J. Song:
Temporal Analysis of Brazilian Presidential Election on Twitter Based on Formal Concept Analysis. WEBIST 2024: 167-174 - 2023
- [j17]Luiz Zárate, Marcos W. Rodrigues, Sérgio Mariano Dias, Cristiane Nobre, Mark A. J. Song:
SciBR-M: a method to map the evolution of scientific interest - A case study in educational data mining. Libr. Hi Tech 41(6): 1694-1724 (2023) - [c43]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: 195-202 - 2022
- [j16]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): 1083-1105 (2022) - [j15]Julio Cesar Vale Neves, Luiz Enrique Zárate, Mark Alan Junho Song:
Extracting concepts from triadic contexts using Binary Decision Diagram. J. Univers. Comput. Sci. 28(6): 591-619 (2022) - [c42]Érika G. de Assis, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre:
Data Balancing using Deep Convolutional Generative Adversarial Networks (DCGAN) in Patients with Congenital Syndrome by Zika Virus. HEALTHINF 2022: 93-102 - [c41]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:
Selection of Representative Instances using Ant Colony: A Case Study in a Database of Children and Adolescents with Attention-Deficit/Hyperactivity Disorder. HEALTHINF 2022: 103-110 - [c40]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:
A Review of the Main Factors, Computational Methods, and Databases Used in Depression Studies. HEALTHINF 2022: 413-420 - [c39]Marcelo de Sousa Balbino, Renata Santana, Maycoln L. M. Teodoro, Mark A. J. Song, Luis E. Zárate, Cristiane Nobre:
Predicting Depression in Children and Adolescents using the SHAP Approach. HEALTHINF 2022: 514-521 - [c38]Paulo Lana, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song:
Formal Concept Analysis Applied to a Longitudinal Study of COVID-19. ICEIS (1) 2022: 148-154 - [c37]Deivid Santos, Cristiane Nobre, Luis E. 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: 155-162 - [c36]Daniel Pereira, Wladmir C. Brandão, Mark A. J. Song:
Temporal Evolution of Topics on Twitter. WEBIST 2022: 113-119 - 2021
- [j14]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) - [j13]Kaio H. A. Ananias, Rokia Missaoui, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song:
Triadic concept approximation. Inf. Sci. 572: 126-146 (2021) - [j12]Marcos Wander Rodrigues, Mark Alan Junho Song, Luis Enrique Zárate:
Effectively clustering researchers in scientific collaboration networks: case study on ResearchGate. Soc. Netw. Anal. Min. 11(1): 71 (2021) - [c35]Pedro H. B. Ruas, Rokia Missaoui, Mark A. J. Song, Léonard Kwuida:
Mining the Groceries Database using Triadic Concept Analysis. RealDataFCA@ICFCA 2021: 36-43 - [c34]Lorenzo Marzano, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song:
Applying Formal Concept Analysis for the Recognition of Infant Mortality Patterns. MedInfo 2021: 762-766 - [c33]Wanderson L. Soares, Mark A. J. Song, Luis E. Zárate, Cristiane Neri Nobre:
Characterizing Infant Mortality Using Data Mining - A Case Study in Two Brazilian States - Santa Catarina and Amapá. MedInfo 2021: 772-776 - [c32]Marta D. M. Noronha, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate:
Interpreting the Human Longevity Profile Through Triadic Rules - A Case Study Based on the ELSA-UK Longitudinal Study. MedInfo 2021: 782-786 - 2020
- [j11]Julio C. V. Neves, Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Sérgio M. Dias, Luis E. Zárate, Mark A. J. Song:
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts. IEEE Access 8: 134161-134175 (2020) - [j10]Sérgio M. Dias, Luis E. 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): 643-663 (2020) - [c31]Rokia Missaoui, Pedro H. B. Ruas, Léonard Kwuida, Mark A. J. Song:
Pattern Discovery in Triadic Contexts. ICCS 2020: 117-131 - [c30]Walisson Ferreira de Carvalho, Mark A. J. Song, Luis E. 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: 116-123 - [c29]Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis E. Zárate, Mark A. J. Song:
Applying binary decision diagram to extract concepts from triadic formal context. SAC 2020: 466-469 - [c28]Marta D. M. Noronha, Marcos W. Rodrigues, Caio Eduardo Ribeiro, Cristiane Neri Nobre, Mark A. J. Song, Luis E. Zárate:
Characterization of long-lived and non-long lived profiles through biclustering. SAC 2020: 473-476
2010 – 2019
- 2019
- [c27]Kaio H. A. Ananias, Julio C. V. Neves, Pedro H. B. Ruas, Luis E. Zárate, Mark A. J. Song:
Manipulating Triadic Concept Analysis Contexts through Binary Decision Diagrams. ICEIS (1) 2019: 182-189 - 2018
- [j9]Márcio Assis Miranda, Marcos Guilherme Ribeiro, Humberto Torres Marques-Neto, Mark Alan Junho Song:
Domain-specific language for automatic generation of UML models. IET Softw. 12(2): 129-135 (2018) - [j8]Paula Raissa, Sérgio Dias, Mark A. J. Song, Luis E. Zárate:
Minimal implications base for social network analysis. Int. J. Web Inf. Syst. 14(1): 62-77 (2018) - [j7]Sebastião M. Neto, Sérgio Dias, Rokia Missaoui, Luis E. Zárate, Mark A. J. Song:
Identification of substructures in complex networks using formal concept analysis. Int. J. Web Inf. Syst. 14(3): 281-298 (2018) - [j6]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:
ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram †. Inf. 9(11): 266 (2018) - [j5]Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song:
Handling high dimensionality contexts in formal concept analysis via binary decision diagrams. Inf. Sci. 429: 361-376 (2018) - [c26]Phillip Santos, Julio C. V. Neves, Paula R. C. Silva, Sérgio M. Dias, Luis E. 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: 50-57 - 2017
- [c25]Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate:
Professional Competence Identification Through Formal Concept Analysis. ICEIS (Revised Selected Papers) 2017: 34-56 - [c24]Paula R. C. Silva, Sérgio M. Dias, Wladmir C. Brandão, Mark A. J. Song, Luis E. Zárate:
Formal Concept Analysis Applied to Professional Social Networks Analysis. ICEIS (1) 2017: 123-134 - 2016
- [c23]Otmar M. Pereira Jr., Wladmir C. Brandão, Mark Alan Junho Song:
Automatic formal specification generation of APIs by mining unit tests. SAC 2016: 1542-1545 - 2015
- [c22]Sebastião M. Neto, Mark A. J. Song, Luis E. Zárate, Sérgio M. Dias:
Using implications from FCA to represent a two mode network data. SEKE 2015: 256-259 - [c21]Sebastião M. Neto, Luis E. Zárate, Mark A. J. Song, Sérgio M. Dias:
Minimal Cover of Implication Rules to Represent Two Mode Networks. WI-IAT (1) 2015: 211-218 - 2014
- [j4]Flávio Fernandes, Mark A. J. Song:
UML-Checker: An Approach for Verifying UML Behavioral Diagrams. J. Softw. 9(5): 1229-1236 (2014) - [c20]Decius Pereira, Luis E. Zárate, Mark A. J. Song:
Extraction of Classes Through the Application of Formal Concept Analysis. ICEIS (2) 2014: 275-282 - 2013
- [c19]Decius Pereira, Luis E. Zárate, Mark A. J. Song:
Applying Formal Concept Analysis to assist class hierarchy construction in biomedical systems. BMEI 2013: 705-711 - [c18]Andrei Rimsa, Mark A. J. Song, Luis E. Zárate:
SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. SMC 2013: 3464-3470 - 2012
- [j3]Cristiano Barros, Mark A. J. Song:
Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. J. Softw. 7(2): 374-381 (2012) - [c17]Rafael Odon de Alencar, Luis Enrique Zárate, Mark Alan Junho Song:
Sphere-M: An ontology capture method. SMC 2012: 353-358 - [c16]Rodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song:
A symbolic model checking appproach to verifying transact-SQL. SMC 2012: 1735-1741 - 2010
- [c15]Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song:
A Framework for Solar Energy Applications Photovoltaic Systems. SEKE 2010: 292-297 - [c14]Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zárate, Elizabeth Marques Duarte Pereira, Mark A. J. Song:
SolarEnergy: A framework for photovoltaic systems - A case study. SMC 2010: 3160-3165 - [c13]Pedro Felipe A. Oliveira, Rodrigo R. Gomes, Mark Alan Junho Song:
Large scale genetic identity inference using probabilistic model checking. SMC 2010: 3508-3512
2000 – 2009
- 2009
- [c12]S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song:
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94 - [c11]Andrei Rimsa, Luis E. Zárate, Mark A. J. Song:
Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ICCS (1) 2009: 367-376 - [c10]Andrei Rimsa, Luis E. Zárate, Mark A. J. Song:
Handling Large Formal Context Using BDD - Perspectives and Limitations. ICFCA 2009: 194-209 - 2008
- [j2]Luis E. Zárate, Sérgio Mariano Dias, Mark Alan Junho Song:
FCANN: A new approach for extraction and representation of knowledge from ANN trained via Formal Concept Analysis. Neurocomputing 71(13-15): 2670-2684 (2008) - 2007
- [c9]Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate:
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538 - [c8]Luis E. Zárate, Sérgio M. Dias, Mark A. J. Song:
FCANN Method Applications for Knowledge Extraction From Previously Trained ANN. IJCNN 2007: 649-654 - 2006
- [j1]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): 265-303 (2006) - [c7]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:
SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. SEKE 2006: 631-638 - [c6]Luis E. Zárate, Bruno Magalhães Nogueira, Tadeu Renato André Santos, Mark Alan Junho Song:
Techniques for Missing Value Recovering in Imbalanced Databases: Application in a Marketing Database with Massive Missing Data. SMC 2006: 2658-2664 - 2005
- [c5]Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate:
Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204 - [c4]Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos:
Formal Verification of Transactional Systems. WEBIST 2005: 194-197 - 2004
- [b1]Mark Alan Junho Song:
UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico. Federal University of Minas Gerais, Brazil, 2004 - 2003
- [c3]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: 306-313 - [c2]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: 419-425 - 2002
- [c1]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: 180-191
Coauthor Index
aka: Sérgio Mariano Dias
aka: Cristiane Neri Nobre
aka: Pedro Henrique Batista Ruas da Silveira
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
