| An user configurable clang static analyzer taint checker M Arroyo, F Chiotta, F Bavera 2016 35th International Conference of the Chilean Computer Science Society …, 2016 | 23 | 2016 |
| Justification logic and audited computation F Bavera, E Bonelli Journal of Logic and Computation 28 (5), 909-934, 2018 | 13 | 2018 |
| Justification logic and history based computation F Bavera, E Bonelli International Colloquium on Theoretical Aspects of Computing, 337-351, 2010 | 11 | 2010 |
| Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras F Bavera, T Quintero, M Daniele, F Buffarini Computer Science - CACIC 2019, 405-415, 2020 | 10 | 2020 |
| Type-based information flow analysis for bytecode languages with variable object field policies F Bavera, E Bonelli Proceedings of the 2008 ACM symposium on Applied computing, 347-351, 2008 | 10 | 2008 |
| Habilidades de Pensamiento Computacional en docentes de primaria: evaluación usando Bebras F Bavera, M Daniele, T Quintero, F Buffarini XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019 | 9 | 2019 |
| A framework for execution of secure mobile code based on static analysis M Nordio, F Bavera, R Medel, J Aguirre, G Baum XXIV International Conference of the Chilean Computer Science Society, 59-66, 2004 | 7 | 2004 |
| Análisis de prácticas de docentes de educación primaria en el marco de una formación en pensamiento computacional F Bavera, M Daniele, F Buffarini I Simposio Argentino de Educación en Informática (SAEI 2019)-JAIIO 48 (Salta), 2019 | 5 | 2019 |
| Avances en Proof-Carrying Code F Bavera, M Nordio, R Medel, J Aguirre, GA Baum IX Congreso Argentino de Ciencias de la Computación, 2003 | 5 | 2003 |
| CompilaciOn y certificaciOn de cOdigo mediante análisis estático de flujo de control y de datos F Bavera UR. FI-INCO,, 2006 | 3 | 2006 |
| Análisis estático de programas M Arroyo, F Bavera, G Regis XII Workshop de Investigadores en Ciencias de la Computación, 2010 | 2 | 2010 |
| Grupo de Procesadores de Lenguajes-Lınea: Código Mıvil Seguro F Bavera, M Nordio, J Aguirre, M Arroyo, G Baum, R Medel VI Workshop de Investigadores en Ciencias de la Computación (WICC 2004 …, 2004 | 2* | 2004 |
| Un Survey sobre Proof-Carrying Code F Bavera, M Nordio, R Medel, J Aguirre, G Baum, M Arroyo 5to Simposio Argentino de Computación, AST, 2004 | 2 | 2004 |
| CCMini: Un Prototipo de Compilador Certificante F Bavera, M Nordio, J Aguirre, M Arroyo, G Baum, R Medel Reporte técnico del grupo Porcesadores de Lenguajes (no publicado), 2004 | 2 | 2004 |
| JTLex un generador de analizadores léxicos traductores F Bavera, D Nordio, M Arroyo, J Aguirre VIII Congreso Argentino de Ciencias de la Computación, 2002 | 2 | 2002 |
| Una propuesta para la mejora de funciones ejecutivas en niños con autismo a través del desarrollo de habilidades de Pensamiento Computacional M Uva, M Daniele, G Montanari, F Bavera XXIII Workshop de Investigadores en Ciencias de la Computación (WICC 2021 …, 2021 | 1 | 2021 |
| Didáctica de las Ciencias de la Computación: Experiencias y Percepciones de Docentes de Educación Primaria F Bavera, M Daniele, F Buffarini, T Quintero, C De Dominici Pre-print, 2020 | 1 | 2020 |
| LA CONSTRUCCIÓN DEL PENSAMIENTO COMPUTACIONAL: UNA PROPUESTA DESDE LA DIDÁCTICA DE LA MATEMÁTICA F Buffarini, F Rosso, F Bavera, M Daniele XLI Reunión de Educación Matemática - Unión Matemática Argentina, 2018 | 1 | 2018 |
| Los Alumnos de la Licenciatura en Ciencias de la Computación como Científicos y Educadores en Formación F Bavera IV Congreso de Tecnología en Educación y Educación en Tecnología, 2009 | 1 | 2009 |
| Robust declassification for bytecode F Bavera, E Bonelli V Congreso Iberoamericano de Seguridad Informática (CIBSI’09) 1, 2009 | 1 | 2009 |
Martin NordioETH ZurichVerified email at inf.ethz.ch
