Search

Search Clear
Automatic speech recognition and machine translation with deep neural networks for open educational resources, parliamentary contents and broadcast media

Author: Gonzalo Vicente Garcés Díaz-Munío

Supervisor: Civera Saiz, Jorge; Juan, Alfons (15-OCT-24). [View Thesis]

Fragmentació de programes per a llenguatges de programació moderns / Fragmentación de programas para lenguajes de programación modernos / Program slicing for modern programming languages

Author: Carlos Santiago Galindo Jiménez

Supervisor: Silva, Josep (24-SEP-24). [View Thesis]

Estimación del comportamiento biomecánico del hígado y la mama in vivo utilizando algoritmos avanzados.

Author: Sandra Martínez Sanchís

Supervisor: C. Monserrat (29-MAY-24). [View Thesis]

Enhancing industrial process interaction using deep learning, semantic layers, and augmented reality

Author: Juan Jesús Izquierdo Doménech

Supervisor: Linares-Pellicer, Jordi (23-MAY-24). [View Thesis]

Distributed Intersection Management Algorithms for Autonomous Vehicles

Author: César Leonardo González Pinzón

Supervisor: Julian, Vicente ; Alberola Oltra, Juan Miguel (12-APR-24). [View Thesis]

A Framework for Conceptual Characterization of Ontologies and its Application in the Cybersecurity Domain

Author: Beatriz Franco Martins Souza

Supervisor: Reyes-Román, José Fabián ; Pastor López, Oscar (12-APR-24). [View Thesis]

Towards Search-based Game Software Engineering

Author: Daniel Blasco Latorre

Supervisor: Pastor López, Oscar ; Cetina Englada, Carlos (15-MAR-24). [View Thesis]

Design and implementation of a model-driven software production method: from strategy to code

Author: René Alejandro Noel López

Supervisor: Pastor López, Oscar (12-MAR-24). [View Thesis]

Towards Sustainable and Efficient Road Transportation: Development of Artificial Intelligence Solutions for Urban and Interurban Mobility

Author: Pasqual Martí Gimeno

Supervisor: Jordán, Jaume ; Julian, Vicente (09-FEB-24). [View Thesis]

Marco para la Captura de Requisitos de Usabilidad en Entornos de MDD

Author: Yeshica Isela Ormeño Ayala

Supervisor: Pastor López, Oscar (22-DEC-23). [View Thesis]

Streaming Neural Speech Translation

Author: Javier Iranzo Sánchez

Supervisor: Juan, Alfons ; Civera Saiz, Jorge (29-SEP-23). [View Thesis]

Context-aware Plan Repair in Environments shared by Multiple Agents

Author: Mohannad Babli

Supervisor: Sapena Vercher, Oscar ; Onaindia De La Rivaherrera, Eva (21-SEP-23). [View Thesis]

Distributed Cryptographic Protocols

Author: Antonio Manuel Larriba Flor

Supervisor: Sempere Luna, José María ; López Rodríguez, Damián (08-SEP-23). [View Thesis]

Information Retrieval Based on DOM trees

Author: Julián Alarte Aleixandre

Supervisor: Silva, Josep (18-JUL-23). [View Thesis]

Exploring Defenses Against Adversarial Attacks in Machine Learning-Based Malware Detection

Author: Aqib Rashid

Supervisor: Such Aparicio, José Miguel (13-JUL-23). [View Thesis]

Computational Argumentation for the Automatic Analysis of Argumentative Discourse and Human Persuasion

Author: Ramon Ruiz Dolz

Supervisor: Heras, Stella ; García-Fornes, A (08-JUN-23). [View Thesis]

User eXperience evaluation on university virtual learning through sentiment analysis

Author: Rosario Sanchis Font

Supervisor: Castro-Bleda, Maria Jose (12-MAY-23). [View Thesis]

Transformer models for Machine Translation and Streaming Automatic Speech Recognition

Author: Pau Baquero Arnal

Supervisor: Juan, Alfons (25-APR-23). [View Thesis]

Analysis techniques for software maintenance

Author: Sergio Pérez Rubio

Supervisor: Silva, Josep (03-APR-23). [View Thesis]

A User-centric and Agent-based Approach to Multi-user Privacy in Online Social Networks

Author: Francesca Mosca

Supervisor: Such Aparicio, José Miguel (23-DEC-22). [View Thesis]

Understanding the Code of Life: Holistic Conceptual Modeling of the Genome

Author: Alberto García Simón

Supervisor: Casamayor Rodenas, Juan Carlos ; Pastor López, Oscar (22-DEC-22). [View Thesis]

Streaming Automatic Speech Recognition with Hybrid Architectures and Deep Neural Network Models

Author: Javier Jorge Cano

Supervisor: Civera Saiz, Jorge ; Juan, Alfons (21-NOV-22). [View Thesis]

Modeling and analysis of advanced cryptographic primitives and security protocols in Maude-NPA

Author: Damián Aparicio Sánchez

Supervisor: Escobar Román, Santiago (17-NOV-22). [View Thesis]

Experimentation to Evaluate the Benefits of Model Driven Development

Author: María África Domingo Montes

Supervisor: Pastor López, Oscar ; Cetina Englada, Carlos (12-JUL-22). [View Thesis]

Inference and Learning with Planning Models

Author: Diego Aineto García

Supervisor: Onaindia De La Rivaherrera, Eva ; Jiménez-Celorrio, Sergio (01-JUL-22). [View Thesis]

Assessing and Measuring the Privacy Practices of Voice Assistant Applications

Author: Jide Edu

Supervisor: Such Aparicio, José Miguel (16-JUN-22). [View Thesis]

Deep Neural Networks for Automatic Speech-To-Speech Translation of Open Educational Resources

Author: Alejandro Manuel Pérez González de Martos

Supervisor: Juan, Alfons ; Sanchis Navarro, José Alberto (15-JUN-22). [View Thesis]

Human-centred Security and Privacy in Smart Home Personal Assistants

Author: Noura Abdi

Supervisor: Such Aparicio, José Miguel (28-MAR-22). [View Thesis]

A navigational role-centric model oriented Web approach MoWebA

Author: Magalí González Toñánez

Supervisor: Pastor López, Oscar (14-FEB-22). [View Thesis]

A BDI empathic agent model based on a multidimensional cross-cultural emotion representation

Author: Joaquín José Taverner Aparicio

Supervisor: Vivancos, Emilio ; Botti V. (28-JAN-22). [View Thesis]

Temporal Emotion Dynamics in Social Networks

Author: Debashis Naskar

Supervisor: Onaindia De La Rivaherrera, Eva ; Rebollo Pedruelo, Miguel (18-JAN-22). [View Thesis]

Natural Language Processing using Deep Learning in Social Media

Author: María Teresa Giménez Fayos

Supervisor: Palanca Cámara, Javier ; Botti V. (29-JUL-21). [View Thesis]

Definition of Descriptive and Diagnostic Measurements for Model Fragment Retrieval

Author: Manuel Ballarin Naya

Supervisor: Cetina Englada, Carlos ; Pelechano Ferragud, Vicente (21-JUL-21). [View Thesis]

Attention-based approaches for Text Analytics in Social Media and Automatic Summarization

Author: José Ángel González Barba

Supervisor: Hurtado Oliver, Lluis Felip ; Sanchís Arnal, Emilio (07-JUL-21). [View Thesis]

Clasificación Jerárquica Multiclase

Author: Daniel Andrés Silva Palacios

Supervisor: Ferri Ramírez, César ; Ramírez Quintana, María José (27-APR-21). [View Thesis]

MAS-based affective state analysis for user guiding in on-line social environments

Author: Guillem Aguado Sarrió

Supervisor: García-Fornes, A ; Julian, Vicente; Espinosa Minguet, Agustín Rafael (04-MAR-21). [View Thesis]

Towards Data Wrangling Automation through Dynamically-Selected Background Knowledge

Author: Lidia Contreras Ochando

Supervisor: Hernández-Orallo, José ; Ferri Ramírez, César (30-DEC-20). [View Thesis]

Análisis de datos colaborativos e inteligencia de negocio: aplicación al sector turístico

Author: Alexander Armando Bustamante Martínez

Supervisor: Onaindia De La Rivaherrera, Eva ; Sebastiá Tarín, Laura (21-DEC-20). [View Thesis]

Design of a Machine Learning-based Approach for Fragment Retrieval on Models

Author: Ana Cristina Marcén Terraza

Supervisor: Pastor López, Oscar ; Cetina Englada, Carlos (30-NOV-20). [View Thesis]

Measures of Privacy Protection on Social Environments

Author: José Alemany Bordera

Supervisor: Del Val Noguera, Elena ; García-Fornes, A (07-SEP-20). [View Thesis]

Traceability Links Recovery among Requirements and BPMN models

Author: Raúl Lapeña Martí

Supervisor: Cetina Englada, Carlos ; Pastor López, Oscar (30-JUL-20). [View Thesis]

Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang

Author: Adrián Palacios Corella

Supervisor: Vidal, Germán (10-FEB-20). [View Thesis]

GenomIUm: Un Método Basado en Patrones para el Diseño de Interfaces de Usuario de Acceso a Datos Genómicos

Author: Carlos Efrain Iñiguez Jarrin

Supervisor: Pastor López, Oscar (20-DEC-19). [View Thesis]

SILE: A Method for the Efficient Management of Smart Genomic Information

Author: Ana León Palacio

Supervisor: Pastor López, Oscar (18-OCT-19). [View Thesis]

Partial Evaluation of Rewriting Logic Theories

Author: Ángel Eduardo Cuenca Ortega

Supervisor: Escobar Román, Santiago (27-SEP-19). [View Thesis]

CONTRIBUTIONS TO EFFICIENT AUTOMATIC TRANSCRIPTION OF VIDEO LECTURES

Author: Miguel Ángel del Agua Teba

Supervisor: Juan, Alfons ; Sanchis Navarro, José Alberto (27-SEP-19). [View Thesis]

Reactive plan execution in multi-agent environments

Author: César Augusto Guzmán Álvarez

Supervisor: Onaindia De La Rivaherrera, Eva (05-APR-19). [View Thesis]

Personality-based recommendation: human curiosity applied to recommendation systems using implicit information from social networks

Author: Alan Menk Dos Santos

Supervisor: Sebastiá Tarín, Laura (03-DEC-18). [View Thesis]

Analysis and Improvement of a Software Production Process based on the Combination of Model Driven Development and Software Product Lines

Author: Jorge Echeverría Ochoa

Supervisor: Cetina Englada, Carlos ; Pastor López, Oscar (29-JUN-18). [View Thesis]

DISEÑO Y DESARROLLO DE UN SISTEMA DE INFORMACIÓN GENÓMICA BASADO EN UN MODELO CONCEPTUAL HOLÍSTICO DEL GENOMA HUMANO

Author: José Fabián Reyes Román

Supervisor: Pastor López, Oscar (12-FEB-18). [View Thesis]

Social Emotions in Multiagent Systems

Author: Jaime Andrés Rincón Arango

Supervisor: Carrascosa Casamayor, Carlos ; Julian, Vicente (17-JAN-18). [View Thesis]

A framework for evaluating the quality of modelling languages in MDE environments A framework for evaluating the quality of modelling languages in MDE environments

Author: Faber Danilo Giraldo Velásquez

Supervisor: Pastor López, Oscar (28-SEP-17). [View Thesis]

Evaluation of innovative computer-assisted transcription and translation strategies for video lecture repositories

Author: Juan Daniel Valor Miró

Supervisor: Civera Saiz, Jorge ; Juan, Alfons (22-SEP-17). [View Thesis]

Agents with Affective Traits for Decision-Making in Complex Environments

Author: Bexy Alfonso Espinosa

Supervisor: Vivancos, Emilio ; Botti V. (21-SEP-17). [View Thesis]

Neural Networks for Document Image and Text Processing

Author: Joan Pastor Pellicer

Supervisor: Castro-Bleda, Maria Jose (18-SEP-17). [View Thesis]

Non-Cooperative Games for Self-Interested Planning Agents

Author: Jaume Magí Jordán Prunera

Supervisor: Onaindia De La Rivaherrera, Eva (15-SEP-17). [View Thesis]

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Author: María Fernanda Granda Juca

Supervisor: Pastor López, Oscar ; Vos, Tanja Ernestina (08-SEP-17). [View Thesis]

gestUI: a model-driven method for including gesture-based interaction in user interfaces

Author: Luis Otto Parra González

Supervisor: Pastor López, Oscar (07-SEP-17). [View Thesis]

Diseño y Desarrollo de un Sistema de Información para la Gestión de Información sobre Cáncer de Mama

Author: Verónica Burriel Coll

Supervisor: Pastor López, Oscar (06-JUL-17). [View Thesis]

Enhancing Privacy Management on Social Network Services

Author: Ricard López Fogués

Supervisor: García-Fornes, A ; Espinosa Minguet, Agustín Rafael; Such Aparicio, José Miguel (27-JUN-17). [View Thesis]

Software-Assisted Knowledge Generation in the Cultural Heritage Domain: A Conceptual Framework

Author: Patricia Martín Rodilla

Supervisor: Pastor López, Oscar (29-JUL-16). [View Thesis]

Optimization Techniques for Algorithmic Debugging

Author: David Insa Cabrera

Supervisor: Silva, Josep (25-JUL-16). [View Thesis]

Incremental and developmental perspectives for general-purpose learning systems

Author: Fernando Martínez Plumed

Supervisor: Ferri Ramírez, César ; Hernández-Orallo, José; Ramírez Quintana, María José (03-JUN-16). [View Thesis]

Towards a Universal Test of Social Intelligence

Author: Javier Insa Cabrera

Supervisor: Hernández-Orallo, José (16-MAY-16). [View Thesis]

Cooperative planning in multi-agent systems

Author: Alejandro Torreño Lerma

Supervisor: Onaindia De La Rivaherrera, Eva ; Sapena Vercher, Oscar (12-MAY-16). [View Thesis]

TraceME: Traceability-based Method for Conceptual Model Evolution

Author: Luz Marcela Ruiz Carmona

Supervisor: Pastor López, Oscar (18-APR-16). [View Thesis]

Análisis del impacto de los aspectos relativos a la localización en el precio de la vivienda a través de Técnicas de Soft Computing. Una aplicación a la ciudad de Valencia

Author: Laura Fernández Durán

Supervisor: Valero Cubas, Soledad (03-FEB-16). [View Thesis]

A Strategy for Multilingual Spoken Language Understanding Based on Graphs of Linguistic Units

Author: Marcos Calvo Lance

Supervisor: García-Granada, Fernando ; Sanchís Arnal, Emilio (29-JAN-16). [View Thesis]

Contributions to the joint segmentation and classification of sequences (My two cents on decoding and handwriting recognition)

Author: Salvador España Boquera

Supervisor: Castro-Bleda, Maria Jose (28-JAN-16). [View Thesis]

Different Contributions to Cost-Effective Transcription and Translation of Video Lectures.

Author: Joan Albert Silvestre Cerdà

Supervisor: Civera Saiz, Jorge ; Juan, Alfons (27-JAN-16). [View Thesis]

EL ESPACIO UBICUO La idea de espacio arquitectónico derivado de la implementación de las tecnologías de Inteligencia Ambiental

Author: Manuel Cerdá Pérez

Supervisor: Fons Cors, Josep (25-JAN-16). [View Thesis]

TRAMMAS: Enhancing Communication in Multiagent Systems

Author: Luis Antonio Búrdalo Rapa

Supervisor: Terrasa Barrena, Andrés Martín ; Julian, Vicente (19-JAN-16). [View Thesis]

Confidence Measures for Automatic and Interactive Speech Recognition

Author: Isaías Sánchez Cortina

Supervisor: Juan, Alfons ; Sanchis Navarro, José Alberto (15-JAN-16). [View Thesis]

Modelo de landmarks temporales para problemas de planificación temporal altamente restringidos

Author: Eliseo Jorge Marzal Calatayud

Supervisor: Sebastiá Tarín, Laura ; Onaindia De La Rivaherrera, Eva (15-JAN-16). [View Thesis]

REDES DE PROCESADORES GENÉTICOS.

Author: Marcelino Campos Francés

Supervisor: Sempere Luna, José María ; López Rodríguez, Damián (15-JAN-16). [View Thesis]

An agile model-driven method for involving end-users in DSL development

Author: María José Villanueva del Pozo

Supervisor: Pastor López, Oscar (08-JAN-16). [View Thesis]

Defeasible Argumentation for Cooperative Multi-Agent Planning

Author: Sergio Pajares Ferrando

Supervisor: Onaindia De La Rivaherrera, Eva (08-JAN-16). [View Thesis]

Modelización de la concurrencia en sistemas distribuidos multiagente: autómatas cooperativos

Author: Carlos Herrero Cucó

Supervisor: Oliver Villarroya, Javier (21-DEC-15). [View Thesis]

Enhancing Variability Modeling in Process-Aware Information Systems through Change Patterns

Author: Clara Ayora Esteras

Supervisor: Torres Bosch, Maria Victoria ; Pelechano Ferragud, Vicente (16-NOV-15). [View Thesis]

Achieving non-intrusive interoperability between models for involving users in modeling tasks.

Author: María Francisca Pérez Pérez

Supervisor: Fons Cors, Josep ; Valderas, Pedro (16-NOV-15). [View Thesis]

A Model-Driven Approach for the Design, Implementation, and Execution of Software Development Methods

Author: Mario Cervera Úbeda

Supervisor: Pelechano Ferragud, Vicente ; Albert Albiol, Manuela (16-JUL-15). [View Thesis]

Arabic Text Recognition and Machine Translation

Author: Ihab Alkhoury

Supervisor: Juan, Alfons (26-JUN-15). [View Thesis]

Diseño de organizaciones virtuales ubícuas utilizando desarrollo dirigido por modelos

Author: Jorge Luis Aguero Medina

Supervisor: Rebollo Pedruelo, Miguel ; Julian, Vicente; Carrascosa Casamayor, Carlos (16-JUN-15). [View Thesis]

Integrating driving forces into the development of Adaptive Virtual Organizations .

Author: Sergio Esparcia García

Supervisor: Botti V. ; Argente, Estefanía (24-FEB-15). [View Thesis]

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Author: Sonia Santiago Pinazo

Supervisor: Escobar Román, Santiago (23-JAN-15). [View Thesis]

A new approach for the in-vivo characterization of the biomechanical behavior of the breast and the cornea

Author: Miguel Ángel Lago Ángel

Supervisor: C. Monserrat (27-OCT-14). [View Thesis]

Determining the Biomechanical Behavior of the Liver Using Medical Image Analysis and Evolutionary Computation.

Author: Francisco Martínez Martínez

Supervisor: C. Monserrat (16-JUL-14). [View Thesis]

Registro multimodal de mamografías: resonancia magnética y rayos-x.

Author: Juan Antonio Solves Llorens

Supervisor: C. Monserrat (04-JUL-14). [View Thesis]

Interactive Transcription of Old Text Documents

Author: Nicolás Serrano Martínez-Santos

Supervisor: Civera Saiz, Jorge ; Juan, Alfons (22-MAY-14). [View Thesis]

Bernoulli HMMs for Handwritten Text Recognition

Author: Adrián Giménez Pastor

Supervisor: Juan, Alfons (22-MAY-14). [View Thesis]

Intelligent Planning for Curriculum Personalization of E-learning Contents. Moodle as a Case Study

Author: Valentina Caputi

Supervisor: Villanueva, Alicia ; Antonio Garrido; Valentina Caputi (30-JAN-14). [View Thesis]

Multimodal interactive structured prediction.

Author: Vicente Alabau Gonzalvo

Supervisor: Sanchis Navarro, José Alberto (10-JAN-14). [View Thesis]

Achieving Autonomic Web Service Compositions with Models at Runtime

Author: Germán Harvey Alférez Salinas

Supervisor: Pelechano Ferragud, Vicente (09-DEC-13). [View Thesis]

Logic-based techniques for program analysis and specification synthesis

Author: Marco Antonio Feliú Gabaldón

Supervisor: Villanueva, Alicia (29-OCT-13). [View Thesis]

Adapting Interaction Obtrusiveness: Making Ubiquitous Interactions Less Obnoxious. A Model Driven Engineering approach

Author: Miriam Gil Pascual

Supervisor: Pelechano Ferragud, Vicente (26-JUL-13). [View Thesis]

Analysis Techniques for Concurrent Programming Languages

Author: Salvador Tamarit Muñoz

Supervisor: Vidal, Germán ; Silva, Josep (23-JUL-13). [View Thesis]

Engineering Regulated Open Multiagent Systems

Author: Mª Emilia García Marqués

Supervisor: Botti V. ; Giret Boggino, Adriana Susana (19-APR-13). [View Thesis]

Semantic Service management for service-oriented MAS

Author: Elena del Val Noguera

Supervisor: Rebollo Pedruelo, Miguel ; Botti V. (01-MAR-13). [View Thesis]

Complex negotiations in multi-agent systems.

Author: Víctor Sánchez Anguix

Supervisor: García-Fornes, A ; Julian, Vicente (08-FEB-13). [View Thesis]

Reorganization in Dynamic Agent Societies

Author: Juan Miguel Alberola Oltra

Supervisor: García-Fornes, A ; Julian, Vicente (29-JAN-13). [View Thesis]

Aportaciones al modelado conexionista de lenguaje y su aplicación al reconocimiento de secuencias y traducción automática

Author: Francisco Julián Zamora Martínez

Supervisor: Castro-Bleda, Maria Jose (30-NOV-12). [View Thesis]

Using Norms To Control Open Multi-Agent Systems

Author: Natalia Criado Pacheco

Supervisor: Botti V. ; Argente, Estefanía (02-NOV-12). [View Thesis]

Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones

Author: Gustavo Arroyo Delgado

Supervisor: Vidal, Germán (25-OCT-12). [View Thesis]

Computación distribuida basada en objetivos

Author: Javier Palanca Cámara

Supervisor: García-Fornes, A ; Julian, Vicente (24-OCT-12). [View Thesis]

Model Integration in Data Mining: From Local to Global Decisions

Author: Antonio Bella Sanjuán

Supervisor: Hernández-Orallo, José ; Ramírez Quintana, María José; Ferri Ramírez, César (23-JUL-12). [View Thesis]

METHODOLOGICAL INTEGRATION OF COMMUNICATION ANALYSIS INTO A MODEL-DRIVEN SOFTWARE DEVELOPMENT FRAMEWORK

Author: Sergio España Cubillo

Supervisor: Pastor López, Oscar (01-DEC-11). [View Thesis]

Abstract Certification of Java Programs in Rewriting Logic

Author: Mauricio Fernando Alba Castro

Supervisor: Escobar Román, Santiago (24-NOV-11). [View Thesis]

ENHANCING PRIVACY IN MULTI-AGENT SYSTEMS

Author: José Miguel Such Aparicio

Supervisor: García-Fornes, A ; Espinosa Minguet, Agustín Rafael (03-NOV-11). [View Thesis]

Case-Based Argumentation in Agent Societies

Author: Stella María Heras Barberá

Supervisor: Julian, Vicente ; Botti V. (14-OCT-11). [View Thesis]

Automating Routine Tasks in Smart Environments. A Context-aware Model-driven Approach

Author: Estefanía Serral Asensio

Supervisor: Valderas, Pedro ; Pelechano Ferragud, Vicente (14-JUL-11). [View Thesis]

Functional Size Measurement and Model Verification for Software Model-Driven Developments: A COSMIC-based Approach

Author: Beatriz Mariela Marín Campusano

Supervisor: Pastor López, Oscar (13-JUL-11). [View Thesis]

MULTIDISCIPLINARY TECHNIQUES FOR THE SIMULATION OF THE CONTACT BETWEEN THE FOOT AND THE SHOE UPPER IN GAIT: VIRTUAL REALITY, COMPUTATIONAL BIOMECHANICS, AND ARTIFICIAL NEURAL NETWORKS

Author: María José Rupérez Moreno

Supervisor: C. Monserrat (06-JUL-11). [View Thesis]

Supporting Automatic Interoperability in Model-Driven Development Processes

Author: Giovanni Andrés Giachetti Herrera

Supervisor: Pastor López, Oscar (13-JUN-11). [View Thesis]

Gestión de Compromisos en Sistemas Multi-Agente de Tiempo Real

Author: Martín Navarro Llácer

Supervisor: Julian, Vicente ; Botti V. (03-JUN-11). [View Thesis]

Towards a Framework for Proving Termination of Maude Programs

Author: Beatriz Alarcón Jiménez

Supervisor: Lucas Alba, Salvador (26-MAY-11). [View Thesis]

OOWS 2.0: UN MÉTODO DE INGENIERÍA WEB DIRIGIDO POR MODELOS PARA LA PRODUCCIÓN DE APLICACIONES WEB 2.0

Author: Francisco Valverde Giromé

Supervisor: Pastor López, Oscar (26-OCT-10). [View Thesis]

Termination of Narrowing: Automated Proofs and Modularity Properties

Author: José Iborra López

Supervisor: Escobar Román, Santiago (14-OCT-10). [View Thesis]

Automatic Proofs of Termination of Context-Sensitive Rewriting

Author: Raúl Gutiérrez Gil

Supervisor: Lucas Alba, Salvador (30-SEP-10). [View Thesis]

Incorporación de mecanismos de usabilidad en un entorno de producción de software dirigido por modelos

Author: José Ignacio Panach Navarrete

Supervisor: Pastor López, Oscar (24-MAY-10). [View Thesis]

Incorporación de Mecanismos de Usabilidad en un Entorno de Producción de Software Dirigido por Modelos

Author: JOSE IGNACIO PANACH NAVARRETE

Supervisor: NATALIA JURISTO JUZGADO ; Pastor López, Oscar (24-MAY-10). [View Thesis]

Automating the development of Physical Mobile Workflows. A Model Driven Engineering approach

Author: Pau Giner Blasco

Supervisor: Pelechano Ferragud, Vicente (07-MAY-10). [View Thesis]

Generación automática de servicios WEB a partir de modelos conceptuales

Author: Marta Ruiz Server

Supervisor: Pelechano Ferragud, Vicente (06-MAY-10). [View Thesis]

Achieving Autonomic Computing through the Use of Variability Models at Run-time

Author: Carlos Cetina Englada

Supervisor: Fons Cors, Josep ; Pelechano Ferragud, Vicente (26-MAR-10). [View Thesis]

Arquitectura de búsqueda basada en técnicas soft computing para la resolución de problemas combinatorios en diferentes dominios de aplicación

Author: Soledad Valero Cubas

Supervisor: Botti V. ; Argente, Estefanía (09-MAR-10). [View Thesis]

Statistical approaches for natural language modelling and monotone statistical machine translation

Author: Jesús Andrés Ferrer

Supervisor: Juan, Alfons (05-FEB-10). [View Thesis]

Pattern recognition approaches for biomedical data in computer-assisted cancer research

Author: Juan Miguel García Gómez

Supervisor: Juan, Alfons (05-MAY-09). [View Thesis]

Simulación asistida por agentes para sistemas de fabricación inteligentes.

Author: Nancy Ruíz Vega

Supervisor: Botti V. ; Giret Boggino, Adriana Susana (18-FEB-09). [View Thesis]

Bridging the gap between distance and generalisation. Symbolic learning in metric spaces.

Author: Vicente Estruch Gregori

Supervisor: Ramírez Quintana, María José ; Hernández-Orallo, José (05-DEC-08). [View Thesis]

Model driven development of pervasive systems. Building a software factory.

Author: Javier Muñoz Ferrara

Supervisor: Pelechano Ferragud, Vicente (22-SEP-08). [View Thesis]

A service-oriented approach for the i* framework

Author: Hugo Estrada Esquivel

Supervisor: Pastor López, Oscar (08-SEP-08). [View Thesis]

Conceptual schemas generation from organizacional model in an automatic software production process.

Author: Alicia Martínez Rebollar

Supervisor: Pastor López, Oscar (08-SEP-08). [View Thesis]

A web engineering approach for the development of business process-driven web applications.

Author: María Victoria Torres Bosch

Supervisor: Pelechano Ferragud, Vicente (21-JUL-08). [View Thesis]

Novel statistical approaches to text classification, machine translation and computer-assisted translation

Author: Jorge Civera Saiz

Supervisor: Juan, Alfons (27-JUN-08). [View Thesis]

Gormas: Guías para el desarrollo de sistemas multiagente abiertos basados en organizaciones

Author: Estefanía Argente Villaplana

Supervisor: Julian, Vicente ; Botti V. (25-JUN-08). [View Thesis]

Desarrollo dirigido por modelos de aplicaciones web que integran datos y funcionalidad a partir se servicios web.

Author: Ricardo Rafael Quintero Meza

Supervisor: Pelechano Ferragud, Vicente (07-MAR-08). [View Thesis]

Modelling adaptive web applications in OOWS.

Author: Gonzalo Eduardo Rojas Durán

Supervisor: Pastor López, Oscar ; Pelechano Ferragud, Vicente (06-MAR-08). [View Thesis]

A requirements engineering approach for the development of web applications.

Author: Pedro José Valderas Aranda

Supervisor: Pelechano Ferragud, Vicente (06-MAR-08). [View Thesis]

OOWS: un mètode dirigit per models per al desanvolupament d'aplicacions web.

Author: Joan Josep Fons Cors

Supervisor: Pelechano Ferragud, Vicente ; Pastor López, Oscar (05-MAR-08). [View Thesis]

PaRSys: Un nuevo modelo deformable interactivo basado en sistemas de partículas.

Author: Óscar López Escobar

Supervisor: C. Monserrat (20-FEB-08). [View Thesis]

Desarrollo y evaluación de diferentes metodologías para la gestión automática del diálogo

Author: David Griol Barres

Supervisor: Hurtado Oliver, Lluis Felip ; Segarra Soriano, Encarnación (12-DEC-07). [View Thesis]

Recuperación de pasajes multilingües para la búsqueda de respuestas

Author: José Manuel Gómez Soriano

Supervisor: Sanchís Arnal, Emilio (28-NOV-07). [View Thesis]

Extracción y contextualización de reglas comprensibles a partir de modelos de "caja negra".

Author: Ricardo Blanco Vega

Supervisor: Ramírez Quintana, María José ; Hernández-Orallo, José (10-JUL-07). [View Thesis]

Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging

Author: Josep Francesc Silva Galiana

Supervisor: Vidal, Germán (29-JUN-07). [View Thesis]

Una aproximación offline a la evaluación parcial dirigida por narrowing

Author: J. Guadalupe Ramos Díaz

Supervisor: Vidal, Germán (21-MAY-07). [View Thesis]

Un procedimiento de medición de tamaño funcional para especificaciones de requisitos

Author: Olinda Nelly Condori Fernández

Supervisor: Pastor López, Oscar (16-MAY-07). [View Thesis]

TESIS PRUEBA

Author: LUIS MARCO RUIZ

Supervisor: MARCO RUIZ, LUIS (12-FEB-07). [View Thesis]

Tratamiento de relaciones de asociación en entornos de producción automática de código

Author: Manuela Albert Albiol

Supervisor: Pastor López, Oscar ; Pelechano Ferragud, Vicente (25-OCT-06). [View Thesis]

Sistemas de diálogo basados en modelos estocásticos

Author: Francisco Torres Goterris

Supervisor: Sanchís Arnal, Emilio ; Segarra Soriano, Encarnación (03-MAY-06). [View Thesis]

Planificación Independiente del Dominio en Entornos Dinámicos de Tiempo Restringido.

Author: Oscar Sapena Vercher

Supervisor: Onaindia De La Rivaherrera, Eva (12-JUL-05). [View Thesis]

Anemona: Una Metodología Multi Agente para Sistemas Holónicos de Fabricación

Author: Adriana Susana Giret Boggino

Supervisor: Botti V. (28-JUN-05). [View Thesis]

Aplicación de Técnicas de Negociación en la Arquitectura ARTIS

Author: Patricia Verónica Maldonado Cárdenas

Supervisor: Botti V. (21-JUN-05). [View Thesis]

Incorporación de un sistema basado en reglas en un entorno de tiempo real.

Author: Emilio Pedro Vivancos Rubio

Supervisor: García-Fornes, A ; Botti V. (05-OCT-04). [View Thesis]

On the functional size measurement of object-oriented conceptual schemas: design and evaluation issues.

Author: Silvia Mara Abrahao Gonzales

Supervisor: Pastor López, Oscar (01-OCT-04). [View Thesis]

Meta-razonamiento en Agentes con Restricciones Temporales Críticas.

Author: Carlos Carrascosa Casamayor

Supervisor: Botti V. ; Terrasa Barrena, Andrés Martín (21-JUN-04). [View Thesis]

Nuevas aproximaciones al reconocimiento automático del habla mediante grafos de palabras y técnicas de aprendizaje no supervisado.

Author: Jon Ander Gómez Adrian

Supervisor: Castro-Bleda, Maria Jose ; Sanchís Arnal, Emilio (01-JUN-04). [View Thesis]

Estimación y aplicación de medidas de confianza en reconocimiento automático del habla.

Author: José Alberto Sanchis Navarro

Supervisor: Juan, Alfons (31-MAY-04). [View Thesis]

Heurísticas para el control deliberativo en una arquitectura de agentes inteligentes de tiempo real

Author: Luís Hérnandez López

Supervisor: Botti V. ; García-Fornes, A (21-APR-04). [View Thesis]

Reconocimiento de Texto Manuscrito Continuo

Author: Alejandro Héctor Toselli

Supervisor: Juan, Alfons (22-MAR-04). [View Thesis]

Imaginación en tiempo real. Representación y gestión de creencias temporales para agentes en entornos dinámicos.

Author: Miguel Rebollo Pedruelo

Supervisor: Onaindia De La Rivaherrera, Eva ; Botti V. (17-FEB-04). [View Thesis]

Modelos de lenguaje basados en palabras y segmentos y su aplicación a la comprensión del habla

Author: Lluis Felip Hurtado Oliver

Supervisor: Segarra Soriano, Encarnación ; Sanchís Arnal, Emilio (06-FEB-04). [View Thesis]

Desambiguación en procesamiento del lenguaje natural mediante técnicas de aprendizaje automático

Author: Antonio Molina Marco

Supervisor: Segarra Soriano, Encarnación (16-JAN-04). [View Thesis]

Una aproximación estocástica para la comprensión del lenguaje.

Author: Fernando García Granada

Supervisor: Sanchís Arnal, Emilio ; Segarra Soriano, Encarnación (10-DEC-03). [View Thesis]

SIMBA, una plataforma para el desarrollo de sistemas de sistemas multiagente en entornos de tiempo real.

Author: José Vicente Soler Bayona

Supervisor: Botti V. (02-DEC-03). [View Thesis]

Descomposición y resolución concurrente de problemas de planificación independiente del Dominio.

Author: Laura Sebastiá Tarín

Supervisor: Onaindia De La Rivaherrera, Eva (01-DEC-03). [View Thesis]

Redes Reconfigurables. Modelización y Verificación.

Author: María Luisa Llorens Agost

Supervisor: Oliver Villarroya, Javier (05-NOV-03). [View Thesis]

Strategies and analysis techniques for functional program optimization.

Author: Santiago Escobar Román

Supervisor: Lucas Alba, Salvador (31-OCT-03). [View Thesis]

A requirements engineering approach for object-oriented conceptual modeling.

Author: César Emilio Insfrán Pelozo

Supervisor: Pastor López, Oscar (22-OCT-03). [View Thesis]

La cadena media y su aplicación en reconocimiento de formas.

Author: Carlos David Martínez Hinarejos

Supervisor: Juan, Alfons (25-JUL-03). [View Thesis]

Inferencia de lenguajes de árboles.

Author: Damián López Rodríguez

Supervisor: Sempere Luna, José María (14-JUL-03). [View Thesis]

Extensiones al lenguaje Ada y a los servicios POSIX para planificación en sistemas de tiempo real estricto.

Author: Agustín Rafael Espinosa Minguet

Supervisor: García-Fornes, A (07-JUL-03). [View Thesis]

Planificación temporal independiente del dominio. Una aproximación basada en grafos de planificación.

Author: Antonio Garrido Tejero

Supervisor: Onaindia De La Rivaherrera, Eva (04-JUN-03). [View Thesis]

Multi-Paradigm Learning of Declarative Models.

Author: César Ferri Ramírez

Supervisor: Hernández-Orallo, José ; Ramírez Quintana, María José (30-MAY-03). [View Thesis]

Especificación de interfaz de usuario: De los requisitos a la generación automática.

Author: Pedro Juan Molina Moreno

Supervisor: Pastor López, Oscar (14-MAR-03). [View Thesis]

Validación de requisitos de usuario mediante técnicas de transformación de modelos y prototipación automática de interfaces de usuario.

Author: Juan Sánchez Díaz

Supervisor: Pastor López, Oscar (21-FEB-03). [View Thesis]

OO-H: Un Extensión a los Métodos OO para el Modelado y Generación Automática de Interfaces Hipermediales

Author: CRISTINA CACHERO

Supervisor: Pastor López, Oscar (14-JAN-03). [View Thesis]

RT-MESSAGE: Desarrollo de sistemas multiagente de tiempo real.

Author: Vicente Javier Julian Inglada

Supervisor: Botti V. (12-DEC-02). [View Thesis]

Tratamiento de relaciones taxonómicas en entornos de producción automática de software. Una aproximación basada en patrones

Author: Vicente Pelechano Ferragud

Supervisor: Pastor López, Oscar (17-DEC-01). [View Thesis]

CommonKADS-RT: Una metodología para el desarrollo de sistemas basados en el Conocimiento de Tiempo Real

Author: Monica Henao Calad

Supervisor: Botti V. (12-JUN-01). [View Thesis]

Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency.

Author: Elvira Maria Albert Albiol

Supervisor: Vidal, Germán (02-APR-01). [View Thesis]

Flexible Real-Time Linux a New Environment for Flexible Hard Real-Time Systems

Author: Andrés Martín Terrasa Barrena

Supervisor: García-Fornes, A ; Botti V. (16-FEB-01). [View Thesis]

Reglas y estrategias de transformación para programas lógico-funcionales.

Author: Ginés Damián Moreno Valverde

Supervisor: Vidal, Germán (05-MAY-00). [View Thesis]

GENERACION AUTOMATICA DE COMPONENTES SOFTWARE A PARTIR DE MODELOS CONCEPTUALES ORIENTADOS A OBJETOS

Author: JAIME GÓMEZ ORTEGA

Supervisor: Pastor López, Oscar (07-FEB-00). [View Thesis]

SABDOOD: un sistema administrador de bases de datos orientadas a objetos y deductivas.

Author: Felipe López Gamino

Supervisor: Pastor López, Oscar (10-MAY-99). [View Thesis]

estudio de los fractales cuánticos

Author: LUIS MARCO RUIZ

Supervisor: MARCO RUIZ, LUIS (01-FEB-99). [View Thesis]

Modelo de representacion y razonamiento temporal para sistemas basados en el conocimiento de tiempo real

Author: Eva Onaindia de la Rivaherrera

Supervisor: Botti V. (20-MAR-97). [View Thesis]

ARTIS: Un modelo y una arquitectura para sistemas de tiempo real inteligentes

Author: Ana María García Fornes

Supervisor: Botti V. (16-OCT-96). [View Thesis]