[
    {
        "titulo": "ANALYSIS OF SUSTAINABLE-BASED COMMUNICATION FOR TOURISM ENHANCEMENT IN BUKHARA (UZBEKISTAN) BASED ON ITS CULTURAL TOURISM",
        "autor": "Odil Radjabov",
        "directores": "Alberola Oltra, Juan Miguel",
        "fecha": "13-JUL-26",
        "elemento": null
    },
    {
        "titulo": "Specification and verification of modern security models in Maude",
        "autor": "V\u00edctor Garc\u00eda Valero",
        "directores": "Escobar Rom\u00e1n, Santiago ",
        "fecha": "06-JUL-26",
        "elemento": null
    },
    {
        "titulo": "Teaching Model Testing from a Model-Driven Engineering perspective",
        "autor": "Felix Cammaerts",
        "directores": "Mar\u00edn, Beatriz ; Monique Snoeck",
        "fecha": "06-JUL-26",
        "elemento": null
    },
    {
        "titulo": "Advanced Narrowing-Based Symbolic Verification Techniques in Maude",
        "autor": "Ra\u00fal L\u00f3pez Rueda",
        "directores": "Escobar Rom\u00e1n, Santiago ; Sapi\u00f1a-Sanchis, Julia",
        "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
    }
]