Recent submissions

Green by Design: Energy-Guided Reranking of LLM-Generated Programs

Xia, Yi; Aragón Jurado, José Miguel

; Thawonmas, Ruck (2025-10-22)

Explainable Artificial Intelligence for Audio-based Detection of Emergency Vehicles

Balderas Díaz, Sara

; Guerrero Contreras, Gabriel José

; Muñoz Ortega, Andrés

; Durães, Dalila; Novais, Paulo (IEEE Xplore, 2025-08-26)

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning

Guerrero Contreras, Gabriel José

; Balderas Díaz, Sara

; Delgado Pérez, Pedro

; Medina Bulo, María Inmaculada

(Springer, 2025-05-16)

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing

Balderas Díaz, Sara

; Guerrero Contreras, Gabriel José

; Delgado Pérez, Pedro

; Medina Bulo, María Inmaculada

(Springer, 2025-04-21)

Cost-effective ADAS for inter-vehicle distance estimation using computer vision and deep learning

Guerrero Contreras, Gabriel José

; Balderas Díaz, Sara

; Díaz Gómez, Alejandro; Medina Bulo, María Inmaculada

; Dominguez Jiménez, Juan José

(IEEE Xplore, 2025-08-26)

Adaptive Vehicle Detection in Urban Environments: A Self-learning Approach

Guerrero Contreras, Gabriel José

; Balderas Díaz, Sara

; García Pascual, Abel; Muñoz Ortega, Andrés

(Springer, 2025-02-27)

ADEPT Framework: Optimizing Data Flow in Dynamic Environments for Ambient Assisted Living

Balderas Díaz, Sara

; Guerrero Contreras, Gabriel José

(Springer, 2025-02-27)

Plan de acogida al profesorado novel en la Universidad de Cádiz

Otero Mateo, Manuel

; Castro Cabrera, María Carmen

(NARCEA, S.A. DE EDICIONES, 2025-06-24)

Evolución de la infraestructura de compilación LLVM según las optimizaciones de código disponibles

Vázquez Rodríguez, Elena; Aragón Jurado, José Miguel

; Torre Macías, Juan Carlos de la

; Dorronsoro Díaz, Bernabé

(2025)

Integrando los Objetivos de Desarrollo Sostenible en la educación mediante herramientas multiplataforma

Jiménez García, Ezequiel; Castro Cabrera, María Carmen

; Guerrero Contreras, Gabriel José

(Octaedro, 2025)

Software optimization for the green internet of things

Aragón Jurado, José Miguel

(2025-07-24)

A geometrical characterization of proportionally modular affine semigroups

Díaz-Ramírez, Juan de Dios; García García, Juan Ignacio

; Sánchez-Roselly Navarro, Alfredo

; Vigneron Tenorio, Alberto

(Springer, 2020)

A Two-step Approach to Find Short Compilation Transformation Sequences for Optimal Software Runtime Performance

Torre Macías, Juan Carlos de la

; Aragón Jurado, José Miguel

; Jareño Dorado, Javier

; Dorronsoro Díaz, Bernabé

; Ruiz Villalobos, Patricia

(Association for Computing Machinery, 2025)

Comparison on the Use of Hybrid and Plugin Hybrid Electric Buses for Sustainable Urban Transportation–Split Use Case

Kalaica, Mia; Aragón Jurado, José Miguel

; Jakus, Ivan; Dorronsoro Díaz, Bernabé

; Ruiz Villalobos, Patricia

(Springer, 2026)

Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica

Palomo Lozano, Francisco

(2025-03-18)

The Use of VR/AR End-User Development Tools in EducationLessons Learned and Future Challenges

Berns, Anke

; Zarraonandia, Telmo; Onorati, Teresa; Díaz, Paloma; Dodero Beardo, Juan Manuel

(Ediciones Universidad de Salamanca, 2025)

Land-use dynamic discovery based on heterogeneous mobility sources

Terroso-Saenz, Fernando; Muñoz Ortega, Andrés

; Arcas, Francisco (Wiley, 2021)

Human mobility forecasting with region-based flows and geotagged Twitter data

Terroso Saenz, Fernando; Flores, Raúl; Muñoz Ortega, Andrés

(Elsevier, 2022)

A Novel Application of Computational Contact Tools on Nonlinear Finite Element Analysis to Predict Ground-Borne Vibrations Generated by Trains in Ballasted Tracks

García Moreno, Andrés

; López, Antonio Alonso; Carrasco García, María Gema

; Turias Domínguez, Ignacio José

; Ruiz Águilar, Juan Jesús

(Multidisciplinary Digital Publishing Institute (MDPI), 2024)

Music Mobility Patterns: How Songs Propagate Around the World Through Spotify

Terroso Sáenz, Fernando; Soto, Jesús; Muñoz Ortega, Andrés

(Elsevier, 2023)

UniversidaddeCádiz

Ingeniería Informática: Recent submissions

Green by Design: Energy-Guided Reranking of LLM-Generated Programs

Explainable Artificial Intelligence for Audio-based Detection of Emergency Vehicles

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing

Cost-effective ADAS for inter-vehicle distance estimation using computer vision and deep learning

Adaptive Vehicle Detection in Urban Environments: A Self-learning Approach

ADEPT Framework: Optimizing Data Flow in Dynamic Environments for Ambient Assisted Living

Plan de acogida al profesorado novel en la Universidad de Cádiz

Evolución de la infraestructura de compilación LLVM según las optimizaciones de código disponibles

Integrando los Objetivos de Desarrollo Sostenible en la educación mediante herramientas multiplataforma

Software optimization for the green internet of things

A geometrical characterization of proportionally modular affine semigroups

A Two-step Approach to Find Short Compilation Transformation Sequences for Optimal Software Runtime Performance

Comparison on the Use of Hybrid and Plugin Hybrid Electric Buses for Sustainable Urban Transportation–Split Use Case

Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica

The Use of VR/AR End-User Development Tools in EducationLessons Learned and Future Challenges

Land-use dynamic discovery based on heterogeneous mobility sources

Human mobility forecasting with region-based flows and geotagged Twitter data

A Novel Application of Computational Contact Tools on Nonlinear Finite Element Analysis to Predict Ground-Borne Vibrations Generated by Trains in Ballasted Tracks

Music Mobility Patterns: How Songs Propagate Around the World Through Spotify

Ingeniería Informática: Recent submissions

Green by Design: Energy-Guided Reranking of LLM-Generated Programs ﻿

Explainable Artificial Intelligence for Audio-based Detection of Emergency Vehicles ﻿

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning ﻿

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing ﻿

Cost-effective ADAS for inter-vehicle distance estimation using computer vision and deep learning ﻿

Adaptive Vehicle Detection in Urban Environments: A Self-learning Approach ﻿

ADEPT Framework: Optimizing Data Flow in Dynamic Environments for Ambient Assisted Living ﻿

Plan de acogida al profesorado novel en la Universidad de Cádiz ﻿

Evolución de la infraestructura de compilación LLVM según las optimizaciones de código disponibles ﻿

Integrando los Objetivos de Desarrollo Sostenible en la educación mediante herramientas multiplataforma ﻿

Software optimization for the green internet of things ﻿

A geometrical characterization of proportionally modular affine semigroups ﻿

A Two-step Approach to Find Short Compilation Transformation Sequences for Optimal Software Runtime Performance ﻿

Comparison on the Use of Hybrid and Plugin Hybrid Electric Buses for Sustainable Urban Transportation–Split Use Case ﻿

Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica ﻿

The Use of VR/AR End-User Development Tools in EducationLessons Learned and Future Challenges ﻿

Land-use dynamic discovery based on heterogeneous mobility sources ﻿

Human mobility forecasting with region-based flows and geotagged Twitter data ﻿

A Novel Application of Computational Contact Tools on Nonlinear Finite Element Analysis to Predict Ground-Borne Vibrations Generated by Trains in Ballasted Tracks ﻿

Music Mobility Patterns: How Songs Propagate Around the World Through Spotify ﻿

Green by Design: Energy-Guided Reranking of LLM-Generated Programs

Explainable Artificial Intelligence for Audio-based Detection of Emergency Vehicles

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing

Cost-effective ADAS for inter-vehicle distance estimation using computer vision and deep learning

Adaptive Vehicle Detection in Urban Environments: A Self-learning Approach

ADEPT Framework: Optimizing Data Flow in Dynamic Environments for Ambient Assisted Living

Plan de acogida al profesorado novel en la Universidad de Cádiz

Evolución de la infraestructura de compilación LLVM según las optimizaciones de código disponibles

Integrando los Objetivos de Desarrollo Sostenible en la educación mediante herramientas multiplataforma

Software optimization for the green internet of things

A geometrical characterization of proportionally modular affine semigroups

A Two-step Approach to Find Short Compilation Transformation Sequences for Optimal Software Runtime Performance

Comparison on the Use of Hybrid and Plugin Hybrid Electric Buses for Sustainable Urban Transportation–Split Use Case

Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica

The Use of VR/AR End-User Development Tools in EducationLessons Learned and Future Challenges

Land-use dynamic discovery based on heterogeneous mobility sources

Human mobility forecasting with region-based flows and geotagged Twitter data

A Novel Application of Computational Contact Tools on Nonlinear Finite Element Analysis to Predict Ground-Borne Vibrations Generated by Trains in Ballasted Tracks

Music Mobility Patterns: How Songs Propagate Around the World Through Spotify