Francisco Bavera

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Thinking Skills

Classical Logic

Middle And High School

Top Venues

J. Log. Comput.

Publications

Francisco Bavera, Teresa Quintero, Marcela Daniele, Flavia Buffarini
Computational Thinking Skills in Primary Teachers: Evaluation Using Bebras. CACIC (2019)
Francisco Bavera, Eduardo Bonelli
Justification logic and audited computation. J. Log. Comput. 28 (5) (2018)
Marcelo Arroyo, Francisco Chiotta, Francisco Bavera
An user configurable clang static analyzer taint checker. SCCC (2016)
Francisco Bavera, Eduardo Bonelli
Justification Logic and History Based Computation. ICTAC (2010)
Francisco Bavera, Eduardo Bonelli
Type-based information flow analysis for bytecode languages with variable object field policies. SAC (2008)
Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC (2004)