Miguel Toro
Orcid: 0000-0003-2271-2765Affiliations:
- University of Seville, Spain
According to our database1,
Miguel Toro
authored at least 117 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
5
10
15
20
25
2
1
3
1
2
1
2
1
3
2
4
4
7
6
1
1
1
1
5
2
1
2
10
18
12
4
5
8
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
SoftwareX, 2024
SpaceRL-KG: Searching paths automatically combining embedding-based rewards with Reinforcement Learning in Knowledge Graphs.
Expert Syst. Appl., 2024
2020
Proceedings of the 11th International Conference on EUropean Transnational Educational, 2020
2019
Knowl. Based Syst., 2019
Bus. Inf. Syst. Eng., 2019
2018
Simul. Model. Pract. Theory, 2018
2017
Run-time prediction of business process indicators using evolutionary decision rules.
Expert Syst. Appl., 2017
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017
2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
2009
The intentional relationship of representation between the constructs of a language and reality.
Data Knowl. Eng., 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.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment.
Proceedings of the Trustworthy Software Development Processes, 2009
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009
Proceedings of the Software Services for e-Business and e-Society, 2009
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009
2008
J. Syst. Softw., 2008
An association rule mining method for estimating the impact of project management policies on software quality, development time and effort.
Expert Syst. Appl., 2008
Generating Domain Specific Aspect Code for Navigation from Platform Specific Models in MWACSL.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008
Aplicación de las Técnicas de Modelado y Simulación en la Gestión de la Capacidad de los Servicios TI.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008
2007
Improving the Adaptation of Web Applications to Different Versions of Software with MDA.
Proceedings of the 2nd International Workshop on Adaptation and Evolution in Web Systems Engineering AEWSE'07, 2007
2005
Correction: An integrated framework for simulation-based Software Process Improvement.
Softw. Process. Improv. Pract., 2005
Int. J. Cooperative Inf. Syst., 2005
Computación y Sistemas, 2005
2004
Softw. Process. Improv. Pract., 2004
Concurr. Pract. Exp., 2004
Proceedings of the Product Focused Software Process Improvement, 2004
A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection.
Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004
2003
IEEE Trans. Syst. Man Cybern. Part B, 2003
Concurr. Comput. Pract. Exp., 2003
Proceedings of the 4th International Conference on Web Information Systems Engineering Workshops, 2003
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003
Proceedings of the Technologies for E-Services, 4th International Workshop, 2003
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Proceedings of the Artificial Neural Nets Problem Solving Methods, 2003
Proceedings of the Service-Oriented Computing, 2003
Concerns vs Components for Web Development.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003
2002
Softw. Qual. J., 2002
Appl. Artif. Intell., 2002
Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements.
Proceedings of the Anais do WER02, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002
Proceedings of the Product Focused Software Process Improvement, 2002
Propuesta de un Profile de Aspectos en UML.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Assisting the Requirements Verifier with XML Technology.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Diagnosis de Software usando técnicas Max-CSP.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Marco Dinámico Integrado para la Mejora de los Procesos Software.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Advances in Artificial Intelligence, 2002
Proceedings of the Advances in Artificial Intelligence, 2002
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions.
Proceedings of the Euro-Par 2002, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, 2002
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002
2001
J. Field Robotics, 2001
Inf. Softw. Technol., 2001
Computación y Sistemas, 2001
An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas.
Computación y Sistemas, 2001
Inteligencia Artif., 2001
Proceedings of the Anais do WER01, 2001
An XMLBased Approach for the Automatic Verification of Software Requirements Specifications.
Proceedings of the Anais do WER01, 2001
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
JReplica: Modelo de replicación transparente e independiente del ORB.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Orientando a Aspectos la captura de datos de Internet para activar Reglas de Decisión en Agentes Web.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
Proceedings of the ADIS 2001, Apoyo a la Decisión en Ingeniería del Software, 2001
Proceedings of the ADIS 2001, Apoyo a la Decisión en Ingeniería del Software, 2001
2000
Program. Comput. Softw., 2000
Discovering hierarchical decision rules with evolutive algorithms in supervised learning.
Int. J. Comput. Syst. Signals, 2000
Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion.
Inteligencia Artif., 2000
Inteligencia Artif., 2000
Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos.
Inteligencia Artif., 2000
Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información.
Proceedings of the Anais do WER00, 2000
Primeros Pasos hacia un Compilador de UML/OCL.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Eficiencia o adaptabilidad: Factores de calidad.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
1999
Proceedings of the Anais do WER99, 1999
Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999
Semántica formal de asociaciones y agregados para su implementación con reglas activas.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999
Three Geometric Approaches for representing Decision Rules in a Supervised Learning System.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
Proceedings of the 25th EUROMICRO '99 Conference, 1999
1998
Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado.
Inteligencia Artif., 1998
Elementary Tree Representation.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Progress in Artificial Intelligence, 1998
Object Oriented Software Systems Defined by Constructive Logical Methods.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Especificaión formal y prototipado de un gestor básico de bases de datos relacionales.
Proceedings of the II Jornadas de Investigación y Docencia en Bases de Datos, 1997
Using Genetic Algorithms with Variable-length Individuals for Planning Two-Manipulators Motion.
Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997
Parsing TAGs with Prolog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z.
Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996
1995
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995
Sintesis de Programas Logicos: Marco Constructivo.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Especificacion orientada a objetos desde un enfoque algebraico.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994