Publicaciones en colaboración con investigadores/as de University of New Mexico (14)

2008

  1. Abstraction-carrying code: A model for mobile code safety

    New Generation Computing, Vol. 26, Núm. 2, pp. 171-204

2007

  1. Middleware services for DRM

    Proceedings of the 2007 2nd International Conference on Communication System Software and Middleware and Workshops, COMSWARE 2007

  2. Middleware services for DRM

    2007 2ND INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS SOFTWARE & MIDDLEWARE, VOLS 1 AND 2

2006

  1. Abstract interpretation with specialized definitions

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

  2. Reduced certificates for abstraction-carrying code

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

  3. The problem with rights expression languages

    Proceedings of the ACM Conference on Computer and Communications Security

2005

  1. A generic framework for the analysis and specialization of logic programs

    Lecture Notes in Computer Science

  2. A generic framework for the analysis and specialization of logic programs

    Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, WLPE 2005

  3. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  4. Abstraction-carrying code

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

  5. An Abstract Interpretation-based Approach to Mobile Code Safety

    Electronic Notes in Theoretical Computer Science

  6. Efficient local unfolding with ancestor stacks for full prolog

    Lecture Notes in Computer Science

2004

  1. Abstract interpretation-based mobile code certification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3132, pp. 446-447

  2. Experiments in abstract interpretation-based code certification for pervasive systems

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics