| Topological Characterization of Cancer Driver Genes Using Reactome Super Pathways Networks. | 0 | 0.34 | 2021 |
| Generation of complete test suites from mealy input/output transition systems. | 0 | 0.34 | 2016 |
| Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). | 0 | 0.34 | 2014 |
| Comparing finite state machine test | 0 | 0.34 | 2009 |
