Tesis doctoral

  1. Nonuniform complexity classes with sub-linear advice functions 1996

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

Tesis dirigidas (2)

  1. Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi 2023

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    ABUIN YEPES, ALEX

  2. Learnability of some classes within the exact model 2002

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Lavín Puente, Víctor

Tesis tutorizadas (1)

  1. Contribution to supervised representation learning: algorithms and applications 2021

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Ahmad, Khoder

Tribunales de tesis (4)

  1. Secretario/a del tribunal

    Eficiencia y confiabilidad en la lógica del descubrimiento científico 2014

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    PAINCEYRA ---, GABRIEL EDUARDO

  2. Secretario/a del tribunal

    Invariant-free deduction systems for temporal logic 2012

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Gaintzarain Ibarmia, José

  3. Vocal del tribunal

    The complexity of angel-daemons and game isomorphism 2012

    Universitat Politècnica de Catalunya (UPC)

    García Chacón, Alina

  4. Vocal del tribunal

    Universal dimension functions and distribution-dependent models for query learning 2002

    Universitat Politècnica de Catalunya (UPC)

    Castro Rabal, Jorge