Thesis

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

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

Supervised Theses (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

Thesis Mentoring (1)

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

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Ahmad, Khoder

Theses Committees (4)

  1. Secretary of the Committee

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

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    PAINCEYRA ---, GABRIEL EDUARDO

  2. Secretary of the Committee

    Invariant-free deduction systems for temporal logic 2012

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Gaintzarain Ibarmia, José

  3. Committee Member

    The complexity of angel-daemons and game isomorphism 2012

    Universitat Politècnica de Catalunya (UPC)

    García Chacón, Alina

  4. Committee Member

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

    Universitat Politècnica de Catalunya (UPC)

    Castro Rabal, Jorge