Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Get full text
Conference Proceeding
Plastic Ingestion by Commercial and Non-Commercial Fishes from a Neotropical River Basin
Lima, Felipe P., Azevedo-Santos, Valter M., Santos, Viviane M. R., Vidotto-Magnoni, Ana P., Soares, Cláudio L., Manzano, Felipe V., Nobile, André B.
Published in Water, air, and soil pollution (2021)
Published in Water, air, and soil pollution (2021)
Get full text
Journal Article
Length–weight and length–length relationships for four fish species of Upper Paranaíba river basin, Brazil
da Costa, Gabriela O., Nobile, André B., Lima, Felipe P., Freitas‐Souza, Diogo, Manzano, Felipe V., Oliveira, Claudio
Published in Journal of applied ichthyology (01.04.2019)
Published in Journal of applied ichthyology (01.04.2019)
Get full text
Journal Article
Analysis of left ventricular function in patients with heart failure undergoing cardiac resynchronization
Benfatti, Ricardo Adala, Manzano, Felipe Matsushita, Pontes, José Carlos Dorsa Vieira, Dias, Amaury Edgardo Mont'serrat Ávila Souza, Duarte, João Jackson, Silva, Guilherme Viotto Rodrigues da, Gomes Junior, Jandir Ferreira, Gardenal, Neimar
Published in Revista brasileira de cirurgia cardiovascular (01.03.2013)
Published in Revista brasileira de cirurgia cardiovascular (01.03.2013)
Get full text
Journal Article
Soporte vital básico: Efectividad de una intervención en adolescentes empleando el QR = Basic Life Support: Effectiveness of an intervention in adolescents using the QR
Manzano-Felipe, María de los Ángeles, Pérez-García, Carmen, Fernández Morales, María Irene
Published in Revista española de comunicación en salud (12.12.2016)
Published in Revista española de comunicación en salud (12.12.2016)
Get full text
Journal Article
Assistive stabilization based on the neurodevelopmental treatment approach for dental care in individuals with cerebral palsy
Santos, Maria Teresa Botti Rodrigues, Manzano, Felipe Scalco
Published in Quintessence international (Berlin, Germany : 1985) (01.09.2007)
Get more information
Published in Quintessence international (Berlin, Germany : 1985) (01.09.2007)
Journal Article
Different approaches to dental management of self-inflicted oral trauma: oral shield, botulinum toxin type A neuromuscular block, and oral surgery
Santos, Maria Teresa Botti Rodrigues, Manzano, Felipe Scalco, Genovese, Walter João
Published in Quintessence international (Berlin, Germany : 1985) (01.02.2008)
Get more information
Published in Quintessence international (Berlin, Germany : 1985) (01.02.2008)
Journal Article
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem
Year of Publication 08.07.2019
Year of Publication 08.07.2019
Get full text
Journal Article
Development of a novel orofacial motor function assessment scale for children with cerebral palsy
Santos, Maria Teresa Botti Rodrigues, Manzano, Felipe Scalco, Ferreira, Maria Cristina Duarte, Masiero, Danilo
Published in Journal of dentistry for children (Chicago, Ill.) (01.09.2005)
Get more information
Published in Journal of dentistry for children (Chicago, Ill.) (01.09.2005)
Journal Article
Asociación del consumo de frutas y vegetales con marcadores del estrés oxidativo e inflamación en adolescentes cubanos
Cedeño Avilés, Yanilda, Cruz Manzano, Elio Felipe, Mendoza Gutiérrez, Gabriel, Borges Meriño, Roser Marell, Díaz Villardi, Yunetsy
Published in Multimed (2024)
Get full text
Published in Multimed (2024)
Journal Article