dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Francisco Bavera Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bavera, Eduardo Bonelli: Justification Logic and History Based Computation. ICTAC 2010: 337-351
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bavera, Eduardo Bonelli: Type-based information flow analysis for bytecode languages with variable object field policies. SAC 2008: 347-351
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum: A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC 2004: 59-66

Coauthor Index

1Jorge Aguirre [1]
2Gabriel Baum (Gabriel A. Baum) [1]
3Eduardo Bonelli [2] [3]
4Ricardo Medel [1]
5Martin Nordio (Martín Nordio) [1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page