[
    {
        "titulo": "Advanced Narrowing-Based Symbolic Verification Techniques in Maude",
        "autor": "Ra\u00fal L\u00f3pez Rueda",
        "directores": "Sapi\u00f1a-Sanchis, Julia; Escobar Rom\u00e1n, Santiago",
        "fecha": "21-MAY-26",
        "elemento": null
    },
    {
        "titulo": "Bug Localization in Software Models in Video Games",
        "autor": "Isis Roca Mainer",
        "directores": "Pastor L\u00f3pez, Oscar ",
        "fecha": "30-APR-26",
        "elemento": null
    },
    {
        "titulo": "Contamination in AI Evaluation",
        "autor": "Behzad Mehrbakhsh",
        "directores": "Mart\u00ednez-Plumed, Fernando ; Hern\u00e1ndez-Orallo, Jos\u00e9",
        "fecha": "23-APR-26",
        "elemento": null
    },
    {
        "titulo": "Machine learning design and deployment framework for energy-saving applications in the transport sector",
        "autor": "Andr\u00e9s Felipe Laverde Mar\u00edn",
        "directores": "Mart\u00ednez-Plumed, Fernando ; Ram\u00edrez Quintana, Mar\u00eda Jos\u00e9",
        "fecha": "20-APR-26",
        "elemento": null
    },
    {
        "titulo": "Multimodal Interaction and Semantic Augmented Reality through Deep Learning in Assistive Systems for Dependent Individuals",
        "autor": "Isabel Ferri Moll\u00e1",
        "directores": "Linares-Pellicer, Jordi ; Izquierdo-Domenech, Juan",
        "fecha": "13-APR-26",
        "elemento": null
    }
]