1. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Modelling the impacts of policies on advanced biofuel feedstocks diffusion. (20th January 2017) Authors: Ribeiro, Lauro André; Pereira da Silva, Patrícia; Ribeiro, Leila; Dotti, Fernando Luís Journal: Journal of cleaner production Issue: Volume 142:Part 4(2017) Page Start: 2471 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. NFκB pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles. (February 2018) Authors: Dillenburg, Fabiane Cristine; Zanotto-Filho, Alfeu; Fonseca Moreira, José Cláudio; Ribeiro, Leila; Carro, Luigi Journal: Computational biology and chemistry Issue: Volume 72(2018) Page Start: 62 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. User interfaces metamodel based on graphs. (February 2016) Authors: Lumertz, Paulo Roberto; Ribeiro, Leila; Duarte, Lucio Mauro Journal: Journal of visual languages & computing Issue: Volume 32(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Using formal methods for content validation of medical procedure documents. (August 2017) Authors: Cota, Érika; Ribeiro, Leila; Bezerra, Jonas Santos; Costa, Andrei; da Silva, Rosiana Estefane; Cota, Gláucia Journal: International journal of medical informatics Issue: Volume 104(2017) Page Start: 10 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗