Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) : [... was held in São Paulo, SP, Brazil, from September 26 to September 28, 2011 ... six papers]

Veröffentlicht 2014

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) : [... was held in São Paulo, SP, Brazil, from September 26 to September 28, 2011 ... six papers]

Veröffentlicht 2014

GeNWeMME: A Network-Based Computational Method for Prioritizing Groups of Significant Related Genes in Cancer

von Cutigi, Jorge Francisco
Veröffentlicht in Brazilian Symposium on Bioinformatics (12. : 2019 : Fortaleza) Advances in Bioinformatics and Computational Biology (2020)

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings

Veröffentlicht 2011

Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020 : proceedings

Veröffentlicht 2020

Improving Model Inference via W-Set Reduction

von Halm, Moritz
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

Topological Characterization of Cancer Driver Genes Using Reactome Super Pathways Networks

von Ramos, Rodrigo Henrique
Veröffentlicht in Brazilian Symposium on Bioinformatics (14. : 2021 : Online) Advances in bioinformatics and computational biology (2021)

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 ; revised selected papers

Veröffentlicht 2011

Combining Mutation and Gene Network Data in a Machine Learning Approach for False-Positive Cancer Driver Gene Discovery

von Cutigi, Jorge Francisco
Veröffentlicht in Brazilian Symposium on Bioinformatics (13. : 2020 : Online) Advances in bioinformatics and computational biology (2020)