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

2009

  1. Multisensor out of sequence data fusion for estimating the state of discrete control systems

    IEEE Transactions on Automatic Control, Vol. 54, Núm. 7, pp. 1728-1732

2008

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

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

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)

2005

  1. 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

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

    Lecture Notes in Computer Science

  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