Publications by the researcher in collaboration with Manuel de Hermenegildo Salinas (2)


  1. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318


  1. Reduced certificates for abstraction-carrying code

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)