Mark A. J. Song
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
2002–2024
Best venue rank
C
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | WEBIST | Temporal Analysis of Brazilian Presidential Election on Twitter Based on Formal Concept Analysis. | Daniel Pereira, Julio C. V. Neves, Wladmir C. Brando, Mark A. J. Song |
| 2022 | WEBIST | Temporal Evolution of Topics on Twitter. | Daniel Pereira, Wladmir C. Brando, Mark A. J. Song |
| 2021 | ICFCA | Mining the Groceries Database using Triadic Concept Analysis. | Pedro H. B. Ruas, Rokia Missaoui, Mark A. J. Song, Lonard Kwuida |
| 2020 | ICCS | Pattern Discovery in Triadic Contexts. | Rokia Missaoui, Pedro H. B. Ruas, Lonard Kwuida, Mark A. J. Song |
| 2020 | SAC | Applying binary decision diagram to extract concepts from triadic formal context. | Julio C. V. Neves, Kaio H. A. Ananias, Cristiane Nobre, Luis E. Zrate, Mark A. J. Song |
| 2020 | SAC | 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. Zrate |
| 2015 | SEKE | Using implications from FCA to represent a two mode network data. | Sebastio M. Neto, Mark A. J. Song, Luis E. Zrate, Srgio M. Dias |
| 2013 | SMC | SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. | Andrei Rimsa, Mark A. J. Song, Luis E. Zrate |
| 2012 | SMC | A symbolic model checking appproach to verifying transact-SQL. | Rodrigo Diana, Humberto Marques-Neto, Luis E. Zrate, Mark A. J. Song |
| 2010 | SMC | SolarEnergy: A framework for photovoltaic systems - A case study. | Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zrate, Elizabeth Marques Duarte Pereira, Mark A. J. Song |
| 2010 | SEKE | A Framework for Solar Energy Applications Photovoltaic Systems. | Frederico Papatella, Tiago Figueiredo Carvalho, Luis E. Zrate, Elizabeth Marques Duarte Pereira, Mark A. J. Song |
| 2009 | ICCS | Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. | Andrei Rimsa, Luis E. Zrate, Mark A. J. Song |
| 2009 | ICFCA | Handling Large Formal Context Using BDD - Perspectives and Limitations. | Andrei Rimsa, Luis E. Zrate, Mark A. J. Song |
| 2007 | IJCNN | FCANN Method Applications for Knowledge Extraction From Previously Trained ANN. | Luis E. Zrate, Srgio M. Dias, Mark A. J. Song |
| 2006 | SEKE | SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. | Mark A. J. Song, Luis E. Zrate, Srgio M. Dias, Ana Alvarez, Bruno Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, Newton Vieira |
| 2005 | SEKE | Formal Verification of Transactional Systems Based on UML Specifications. | Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos, Luis E. Zrate |
| 2005 | WEBIST | Formal Verification of Transactional Systems. | Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos |
| 2003 | SEKE | Extending UML to Specify and Verify E-commerce Systems. | Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Srgio Vale Aguiar Campos, Wagner Meira Jr. |
| 2002 | ICFEM | A Formal Methodology to Specify E-commerce Systems. | Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Srgio Vale Aguiar Campos |