Especificacion orientada a objetos desde un enfoque algebraico. - José A. Troyano; Jesús Torres 001; Miguel Toro (GULP-PRODE (2), 1994)

Sintesis de Programas Logicos: Marco Constructivo. - Francisco José Galán Morillo; M. Toro Bonilla (GULP-PRODE, 1995)

A technique for distributed systems specification. - José A. Troyano; Jesús Torres 001; Miguel Toro (PDP, 1995)

Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z. - Amador Durán 001; Miguel Toro; Carlos Arévalo Maldonado (JIDBD, 1996)

Parsing TAGs with Prolog. - Víctor J. Díaz Madrigal; M. Toro Bonilla (APPIA-GULP-PRODE, 1997)

Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion. - José C. Riquelme; Miguel A. Ridao; Eduardo F. Camacho; Miguel Toro (ICANNGA, 1997)

Especificaión formal y prototipado de un gestor básico de bases de datos relacionales. - Amador Durán 001; Miguel Toro (JIDBD, 1997)

Object Oriented Software Systems Defined by Constructive Logical Methods. - Francisco José Galán Morillo; M. Toro Bonilla (APPIA-GULP-PRODE, 1998)

Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes. - Jesús S. Aguilar-Ruiz; José Cristóbal Riquelme Santos; Miguel Toro (IBERAMIA, 1998)

A Tool to Obtain a Hierarchical Qualitative Rules form Quantitative Data. - Jesús S. Aguilar-Ruiz; José Cristóbal Riquelme Santos; Miguel Toro (IEA/AIE (Vol. 1), 1998)

A Review of Early-Based Parser for TIG. - Víctor J. Díaz; Vicente Carrillo; Miguel Toro (IEA/AIE (Vol. 1), 1998)

Automatic Semiqualitative Analysis: Application to a Biometallurgical System. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (IEA/AIE (Vol. 1), 1998)

Including Qualitative Knowledge in Semiqualitative Dynamical Systems. - Juan Antonio Ortega 001; Rafael M. Gasca; Miguel Toro (IEA/AIE (Vol. 1), 1998)

An Evolutionary and Local Search Algorithm for Planning Two Manipulators Motion. - Miguel A. Ridao; José Cristóbal Riquelme Santos; Eduardo F. Camacho; Miguel Toro (IEA/AIE (Vol. 2), 1998)

Elementary Tree Representation. - Víctor J. Díaz; Vicente Carrillo; Miguel Toro (TAPD, 1998)

Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado. - José Cristóbal Riquelme Santos; Jesús S. Aguilar-Ruiz; Miguel Toro (Inteligencia Artif., 1998)

Implementing Multiparty Interactions on a Network Computer. - Rafael Corchuelo; David Ruiz 001; Miguel Toro; Antonio Ruiz Cortés (EUROMICRO, 1999)

Three Geometric Approaches for representing Decision Rules in a Supervised Learning System. - Jesús S. Aguilar-Ruiz; José Cristóbal Riquelme Santos; Miguel Toro (GECCO, 1999)

Semántica formal de asociaciones y agregados para su implementación con reglas activas. - Octavio Martín-Díaz; Jesús Torres 001; Amador Durán Toro; José Antonio Pérez; Miguel Toro (JISBD, 1999)

Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. - Amador Durán Toro; Beatriz Bernárdez Jiménez; Miguel Toro; Antonio Ruiz Cortés (JISBD, 1999)

A Requirements Elicitation Approach Based in Templates and Patterns. - Amador Durán Toro; Beatriz Bernárdez Jiménez; Antonio Ruiz Cortés; M. Toro Bonilla (WER, 1999)

Eficiencia o adaptabilidad: Factores de calidad. - José Luis Herrero; Marisol Sánchez; Fernando Sánchez; Miguel Toro (JISBD, 2000)

Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico. - Joaquín Peña; Rafael Corchuelo; Antonio Ruiz Cortés; Francisco J. Ferrer-Troyano; Miguel Toro (JISBD, 2000)

Primeros Pasos hacia un Compilador de UML/OCL. - José Miguel Cañete Valdeón; Francisco José Galán Morillo; Miguel Toro (JISBD, 2000)

Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información. - Amador Durán Toro; Antonio Ruiz Cortés; Rafael Corchuelo; M. Toro Bonilla (WER, 2000)

Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (Inteligencia Artif., 2000)

Obtención de patrones de Comportamiento de Modelos Semicualitativos. - Juan Antonio Ortega 001; Rafael M. Gasca; Miguel Toro (Inteligencia Artif., 2000)

Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion. - Miguel Toro; Juan Antonio Ortega 001; Rafael M. Gasca (Inteligencia Artif., 2000)

Discovering hierarchical decision rules with evolutive algorithms in supervised learning. - José Cristóbal Riquelme Santos; Jesús S. Aguilar-Ruiz; Miguel Toro (Int. J. Comput. Syst. Signals, 2000)

Implementing associations among classes in an environment of active databases. - Jesús Torres 001; Octavio Martín-Díaz; José A. Troyano; Miguel Toro (Program. Comput. Softw., 2000)

A Multiparty Coordination Aspect Language. - Rafael Corchuelo; José Antonio Pérez; Miguel Toro (ACM SIGPLAN Notices, 2000)

Una Aproximación a la Evaluación Automática de Alternativas de Diseño. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Miguel Toro (ADIS, 2001)

Mejora de los procesos software utilizando simulacion e integracion de tecnicas. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (ADIS, 2001)

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (CP, 2001)

A Framework for Aspect-Oriented Multiparty Coordination. - José Antonio Pérez; Rafael Corchuelo; David Ruiz 001; Miguel Toro (DAIS, 2001)

Automated Support for Quality Requirements in Web-Service-Based Systems. - Antonio Ruiz Cortés; Miguel Toro; Rafael Corchuelo; Amador Durán 001 (FTDCS, 2001)

Fault Tolerance as an Aspect Using Jreplica. - Fernando Sánchez; Miguel Toro; José Luis Herrero (FTDCS, 2001)

Orientando a Aspectos la captura de datos de Internet para activar Reglas de Decisión en Agentes Web. - Rafael Corchuelo; Jesús S. Aguilar-Ruiz; José Luis Arjona; Miguel Toro; José Cristóbal Riquelme Santos (JISBD, 2001)

Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (JISBD, 2001)

JReplica: Modelo de replicación transparente e independiente del ORB. - José Luis Herrero; Fernando Sánchez; Miguel Toro (JISBD, 2001)

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. - José Cristóbal Riquelme Santos; Isabel Ramos 002; Jesús S. Aguilar-Ruiz; Francisco J. Ferrer-Troyano; Miguel Toro; José Javier Dolado; A. Ruiz de Infante; Javier Tuya; P. Fernández; M. A. Prieto; Mercedes Ruiz-Carreira; Daniel Rodríguez-García; et al. (JISBD, 2001)

An XMLBased Approach for the Automatic Verification of Software Requirements Specifications. - Amador Durán 001; Beatriz Bernárdez 001; Antonio Ruiz Cortés; Miguel Toro (WER, 2001)

Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Beatriz Bernárdez 001; Miguel Toro (WER, 2001)

Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (Inteligencia Artif., 2001)

An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (Computación y Sistemas, 2001)

Comparación Cualitativa de Series Temporales. Índice Cualitativo de Similitud - QSI. - Juan Antonio Ortega 001; Francisco Javier Cuberos; Rafael M. Gasca; Miguel Toro (Computación y Sistemas, 2001)

Data set Editing by Ordered Projection. - Jesús S. Aguilar-Ruiz; José Cristóbal Riquelme Santos; Miguel Toro (Intell. Data Anal., 2001)

An evolutionary approach to estimating software development projects. - Jesús S. Aguilar-Ruiz; Isabel Ramos 002; José Cristóbal Riquelme Santos; Miguel Toro (Inf. Softw. Technol., 2001)

An evolutionary and local search algorithm for motion planning of two manipulators. - Miguel A. Ridao; Eduardo F. Camacho; José C. Riquelme; Miguel Toro (J. Field Robotics, 2001)

A simplified model of software project dynamics. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (J. Syst. Softw., 2001)

Automatic Extraction of Semantically-Meaningful Information from the Web.. - José Luis Arjona; Rafael Corchuelo; Antonio Ruiz Cortés; Miguel Toro (AH, 2002)

A Practical Agent-Based Method to Extract Semantic Information from the Web. - José Luis Arjona; Rafael Corchuelo; Antonio Ruiz Cortés; Miguel Toro (CAiSE, 2002)

Qualitative Comparison of Temporal Series. QSI. - Juan Antonio Ortega 001; Francisco Javier Cuberos; Rafael M. Gasca; Miguel Toro; Jesús Torres 001 (CCIA, 2002)

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. - José Antonio Pérez; Rafael Corchuelo; David Ruiz 001; Miguel Toro (COORDINATION, 2002)

An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions. - David Ruiz 001; Rafael Corchuelo; José Antonio Pérez; Miguel Toro (Euro-Par, 2002)

Max-CSP Approach for Software Diagnosis. - Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle; Miguel Toro (IBERAMIA, 2002)

A Semiquantitative Approach to Study Semiqualitative Systems. - Antonio Ortega; Rafael M. Gasca; Miguel Toro; Jesús Torres 001 (IBERAMIA, 2002)

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. - Carmelo Del Valle; Miguel Toro; Rafael Ceballos; Jesús S. Aguilar-Ruiz (IBERAMIA, 2002)

Marco Dinámico Integrado para la Mejora de los Procesos Software. - Mercedes Ruiz-Carreira; Isabel Ramos 002; Miguel Toro (JISBD, 2002)

Diagnosis de Software usando técnicas Max-CSP. - R. Cevallos; Rafael M. Gasca; Carmelo Del Valle; Miguel Toro (JISBD, 2002)

Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet. - Rafael Corchuelo; Miguel Toro (JISBD, 2002)

Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (JISBD, 2002)

Assisting the Requirements Verifier with XML Technology. - Amador Durán 001; Antonio Ruiz Cortés; Rafael Corchuelo; Miguel Toro (JISBD, 2002)

Propuesta de un Profile de Aspectos en UML. - José Luis Herrero; Marisol Sánchez; Fernando Sánchez; Miguel Toro (JISBD, 2002)

Integrating Dynamic Models for CMM-Based Software Process Improvement. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (PROFES, 2002)

Supporting Requirements Verification Using XSLT. - Amador Durán 001; Antonio Ruiz Cortés; Rafael Corchuelo; Miguel Toro (RE, 2002)

An enablement detection algorithm for open multiparty interactions. - José Antonio Pérez; Rafael Corchuelo; David Ruiz 001; Miguel Toro (SAC, 2002)

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements. - Antonio Ruiz Cortés; Amador Durán 001; Rafael Corchuelo; Miguel Toro (WER, 2002)

A Framework for Semiqualitative Reasoning in Engineering Applications. - Rafael M. Gasca; Juan Antonio Ortega 001; Miguel Toro (Appl. Artif. Intell., 2002)

Verifying software requirements with XSLT. - Amador Durán 001; Antonio Ruiz Cortés; Beatriz Bernárdez 001; Miguel Toro (ACM SIGSOFT Softw. Eng. Notes, 2002)

A Dynamic Integrated Framework for Software Process Improvement. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (Softw. Qual. J., 2002)

Repairing syntax errors in LR parsers. - Rafael Corchuelo; José Antonio Pérez; Antonio Ruiz Cortés; Miguel Toro (ACM Trans. Program. Lang. Syst., 2002)

Knowledge Channels. Bringing the Knowledge on the Web to Software Agents. - José Luis Arjona; Rafael Corchuelo; David Ruiz 001; Joaquín Peña; Miguel Toro (CAiSE Short Paper Proceedings, 2003)

Concerns vs Components for Web Development. - Antonia M. Reina Quintero; Jesús Torres Valderrama; Miguel Toro; Juan Antonio Álvarez (ICWI, 2003)

Automating the Procurement of Web Services. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Amador Durán 001; David Benavides 001; Miguel Toro (ICSOC, 2003)

A Genetic Algorithm for Assembly Sequence Planning. - Carmelo Del Valle; Rafael M. Gasca; Miguel Toro; Eduardo F. Camacho (IWANN (2), 2003)

Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas. - Beatriz Bernárdez 001; Amador Durán 001; Miguel Toro (JISBD, 2003)

Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. - Octavio Martín-Díaz; David Benavides 001; Joaquín Peña; Miguel Toro (JISBD, 2003)

On Selecting and Scheduling Assembly Plans Using Constraint Programming. - Carmelo Del Valle; Antonio A. Márquez; Rafael M. Gasca; Miguel Toro (KES, 2003)

A Quality-Aware Approach to Web Services Procurement. - Octavio Martín-Díaz; Antonio Ruiz Cortés; David Benavides 001; Amador Durán 001; Miguel Toro (TES, 2003)

A Knowledge Extraction Process Specification for Today's Non-Semantic Web. - José Luis Arjona; Rafael Corchuelo; Miguel Toro (Web Intelligence, 2003)

A Framework for classifying and comparing Web services procurement platforms. - Octavio Martín-Díaz; Antonio Ruiz Cortés; Rafael Corchuelo; Miguel Toro (WISE Workshops, 2003)

Fairness in systems based on multiparty interactions. - David Ruiz 001; Rafael Corchuelo; Miguel Toro (Concurr. Comput. Pract. Exp., 2003)

Finding representative patterns with ordered projections. - José Cristóbal Riquelme Santos; Jesús S. Aguilar-Ruiz; Miguel Toro (Pattern Recognit., 2003)

Interactions among dynamic sets of objects. - Jesús Torres 001; Juan Antonio Ortega 001; Miguel Toro (Requir. Eng., 2003)

Evolutionary learning of hierarchical decision rules. - Jesús S. Aguilar-Ruiz; José Cristóbal Riquelme Santos; Miguel Toro (IEEE Trans. Syst. Man Cybern. Part B, 2003)

A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection. - Beatriz Bernárdez 001; Marcela Genero; Amador Durán 001; Miguel Toro (IEEE METRICS, 2004)

Using Dynamic Modeling and Simulation to Improve the COTS Software Process. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (PROFES, 2004)

An order-based algorithm for implementing multiparty synchronization. - José Antonio Pérez; Rafael Corchuelo; Miguel Toro (Concurr. Pract. Exp., 2004)

An integrated framework for simulation-based software process improvement. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (Softw. Process. Improv. Pract., 2004)

Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos. - Juan Antonio Ortega-Ramírez; Rafael Martinez Gasca; Jesús Torres Valderrama; Miguel Toro Bonilla; Luis González Abril; Francisco Velasco Morente; Cecilio Angulo Bahón (Computación y Sistemas, 2005)

Improving the Automatic Procurement of Web Services Using Constraint Programming. - Antonio Ruiz Cortés; Octavio Martín-Díaz; Amador Durán Toro; Miguel Toro (Int. J. Cooperative Inf. Syst., 2005)

Correction: An integrated framework for simulation-based Software Process Improvement. - Mercedes Ruiz 001; Isabel Ramos 002; Miguel Toro (Softw. Process. Improv. Pract., 2005)

Improving the Adaptation of Web Applications to Different Versions of Software with MDA. - Antonia M. Reina Quintero; Jesús Torres Valderrama; Miguel Toro Bonilla (AEWSE, 2007)

From Wrapping to Knowledge. - José Luis Arjona; Rafael Corchuelo; David Ruiz 001; Miguel Toro (IEEE Trans. Knowl. Data Eng., 2007)

Aplicación de las Técnicas de Modelado y Simulación en la Gestión de la Capacidad de los Servicios TI. - Elena Orta Cuevas; Mercedes Ruiz-Carreira; Miguel Toro Bonilla (JISBD, 2008)

Generating Domain Specific Aspect Code for Navigation from Platform Specific Models in MWACSL. - Antonia M. Reina Quintero; Miguel Toro Bonilla; Jesús Torres Valderrama (JISBD, 2008)

An association rule mining method for estimating the impact of project management policies on software quality, development time and effort. - María N. Moreno García; Isabel Ramos Román; Francisco José García-Peñalvo; Miguel Toro Bonilla (Expert Syst. Appl., 2008)

Automated error analysis for the agilization of feature modeling. - Pablo Trinidad; David Benavides 001; Amador Durán 001; Antonio Ruiz Cortés; Miguel Toro (J. Syst. Softw., 2008)

A System Dynamics Approach to Web Service Capacity Management. - Elena Orta; Mercedes Ruiz 001; Miguel Toro (ECOWS, 2009)

Analyzing Strategic Business Rules through Simulation Modeling. - Elena Orta; Mercedes Ruiz 001; Miguel Toro (I3E, 2009)

Dealing with Fixable and Non-fixable Properties in Service Matchmaking. - Octavio Martín-Díaz; Antonio Ruiz Cortés; José María García; Miguel Toro (ICSOC/ServiceWave Workshops, 2009)

A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment. - Javier Navascués; Isabel Ramos 002; Miguel Toro (ICSP, 2009)

Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando Simulación. - Elena Orta; Mercedes Ruiz 001; Miguel Toro (JISBD, 2009)

The intentional relationship of representation between the constructs of a language and reality. - José Miguel Cañete Valdeón; Francisco J. Galán; Miguel Toro (Data Knowl. Eng., 2009)

Defeasible Argumentation of Software Architectures. - José Miguel Cañete Valdeón; Antonio Ruiz Cortés; Miguel Toro (WICSA, 2016)

Automated Analysis of Cloud Offerings for Optimal Service Provisioning. - José María García; Octavio Martín-Díaz; Pablo Fernandez 001; Antonio Ruiz Cortés; Miguel Toro (ICSOC, 2017)

Run-time prediction of business process indicators using evolutionary decision rules. - Alfonso E. Márquez Chamorro; Manuel Resinas; Antonio Ruiz Cortés; Miguel Toro (Expert Syst. Appl., 2017)

Edge and Cloud Pricing for the Sharing Economy. - José María García; Pablo Fernandez 001; Antonio Ruiz Cortés; Schahram Dustdar; Miguel Toro (IEEE Internet Comput., 2017)

SCORE: Simulator for cloud optimization of resources and energy consumption. - Damián Fernández-Cerero; Alejandro Fernández-Montes; Agnieszka Jakobik; Joanna Kolodziej; Miguel Toro (Simul. Model. Pract. Theory, 2018)

Visual ppinot: A Graphical Notation for Process Performance Indicators. - Adela del-Río-Ortega; Manuel Resinas; Amador Durán 001; Beatriz Bernárdez 001; Antonio Ruiz-Cortés; Miguel Toro (Bus. Inf. Syst. Eng., 2019)

TAPON-MT: A versatile framework for semantic labelling. - Daniel Ayala 001; Inma Hernández; David Ruiz 001; Miguel Toro (Inf. Syst., 2019)

TAPON: A two-phase machine learning approach for semantic labelling. - Daniel Ayala 001; Inma Hernández; David Ruiz 001; Miguel Toro (Knowl. Based Syst., 2019)

Problem Generalization for Designing Recursive Algorithms. - Diana Borrego; Irene Barba 001; Miguel Toro; Carmelo Del Valle (ICEUTE, 2020)

A scheduler for SCADA-based multi-source fusion systems. - Rafael Corchuelo; Miguel Toro (Inf. Fusion, 2020)

SpaceRL-KG: Searching paths automatically combining embedding-based rewards with Reinforcement Learning in Knowledge Graphs. - Miguel Bermudo; Daniel Ayala 001; Inma Hernández; David Ruiz 001; Miguel Toro (Expert Syst. Appl., 2024)

DPGraphJ: A Java package for the implementation of dynamic programming algorithms. - Diana Borrego; Irene Barba 001; Carmelo Del Valle; Miguel Toro (SoftwareX, 2024)

SpaceRL - A reinforcement learning-based knowledge graph driver. - Miguel Bermudo; Daniel Ayala 001; Inma Hernández; David Ruiz 001; Miguel Toro (SoftwareX, 2025)

Corrigendum to "SpaceRL - A reinforcement learning-based knowledge graph driver" [SoftwareX, Volume 30 (2025), 102078]. - Miguel Bermudo; Daniel Ayala 001; Inma Hernández; David Ruiz 001; Miguel Toro (SoftwareX, 2025)