Zuzendutako tesiak (4)

  1. Termination analysis of programs with complex control-flow 2021

    Universidad Complutense de Madrid

    Doménech Arellano, Jesús Javier

  2. Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  3. De programas abstractos a cotas asintóticas precisas en forma cerrada 2014

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  4. Termination and cost analysis: Complexity and precision issues 2013

    Universidad Politécnica de Madrid

    Masud, Md. Abu Naser

Tesi epaimahaiak (6)

  1. Epaimahaikidea

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  2. Epaimahaikidea

    On the security of cache algorithms 2019

    Universidad Politécnica de Madrid

    Cañones Martín, Pablo

  3. Epaimahaikidea

    An Algorithmic Approach for Stability Verification of Hybrid Systems 2017

    Universidad Politécnica de Madrid

    García Soto, Miriam

  4. Epaimahaiko Secretario

    Automatic program analysis using Max-SMT 2015

    Universitat Politècnica de Catalunya (UPC)

    Larraz Hurtado, Daniel

  5. Epaimahaikidea

    Modular and field-sensitive termination analysis of java bytecode 2011

    Universidad Politécnica de Madrid

    Ramírez Deantes, Diana Vanessa

  6. Epaimahaiko Secretario

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús