| 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 | 27 | 2016 |
| Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras F Bavera, T Quintero, M Daniele, F Buffarini Computer Science - CACIC 2019, 405-415, 2020 | 13 | 2020 |
| 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 | 12 | 2019 |
| Justification logic and audited computation F Bavera, E Bonelli Journal of Logic and Computation 28 (5), 909-934, 2018 | 12 | 2018 |
| Justification logic and history based computation F Bavera, E Bonelli International Colloquium on Theoretical Aspects of Computing, 337-351, 2010 | 12 | 2010 |
| 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 |
| 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 | 9 | 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 | 6 | 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 | 6 | 2003 |
| Compilación y certificación de código mediante análisis estático de flujo de control y de datos F Bavera UR. FI-INCO,, 2006 | 3 | 2006 |
| 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 | 3* | 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 | 3 | 2004 |
| 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 | 2 | 2021 |
| 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 |
| Optimización del Prototipo del Entorno de Ejecución de PCC-SA F Bavera, M Nordio, R Medel, J Aguirre, GA Baum X Congreso Argentino de Ciencias de la Computación, 2004 | 2 | 2004 |
| STALlion: a simple typed assembly language for static analysis M Nordio, F Bavera, R Medel, J Aguirre, GA Baum X Congreso Argentino de Ciencias de la Computación, 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 |
| Desarrollo de un Prototipo de Compilador Certificante F Bavera, M Nordio, J Aguirre, G Baum, R Medel VIII Jornadas de Informática e Investigación Operativa (JIIO03). Universidad …, 2003 | 2* | 2003 |
| Avances en procesadores de lenguajes y proof-carrying code J Aguirre, R Medel, M Arroyo, N Florio, F Bavera, P Caymes Scutari, ... V Workshop de Investigadores en Ciencias de la Computación, 2003 | 2 | 2003 |
| 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 |
Martin NordioETH Zurich在 inf.ethz.ch 的电子邮件经过验证
