Miguel Toro

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

Elena Orta, Mercedes Ruiz, Miguel Toro: A System Dynamics Approach to Web Service Capacity Management. ECOWS 2009: 109-117

Elena Orta, Mercedes Ruiz, Miguel Toro: Analyzing Strategic Business Rules through Simulation Modeling. I3E 2009: 357-368

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

Javier Navascués, Isabel Ramos, Miguel Toro: A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment. ICSP 2009: 173-185

Elena Orta, Mercedes Ruiz, Miguel Toro: 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. JISBD 2009: 33-44

Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro: Automated error analysis for the agilization of feature modeling. Journal of Systems and Software 81(6): 883-896 (2008)

José Luis Arjona, Rafael Corchuelo, David Ruiz, Miguel Toro: From Wrapping to Knowledge. IEEE Trans. Knowl. Data Eng. 19(2): 310-323 (2007)

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

Mercedes Ruiz, Isabel Ramos, Miguel Toro: Correction: An integrated framework for simulation-based Software Process Improvement. Software Process: Improvement and Practice 10(3): 355 (2005)

José Antonio Pérez, Rafael Corchuelo, Miguel Toro: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16(12): 1173-1206 (2004)

Mercedes Ruiz, Isabel Ramos, Miguel Toro: An integrated framework for simulation-based software process improvement. Software Process: Improvement and Practice 9(2): 81-93 (2004)

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

Mercedes Ruiz, Isabel Ramos, Miguel Toro: Using Dynamic Modeling and Simulation to Improve the COTS Software Process. PROFES 2004: 568-581

David Ruiz, Rafael Corchuelo, Miguel Toro: Fairness in systems based on multiparty interactions. Concurrency and Computation: Practice and Experience 15(11-12): 1093-1116 (2003)

José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz, Miguel Toro: Finding representative patterns with ordered projections. Pattern Recognition 36(4): 1009-1018 (2003)

Jesús Torres, Juan Antonio Ortega, Miguel Toro: Interactions among dynamic sets of objects. Requir. Eng. 8(1): 78-84 (2003)

Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Evolutionary learning of hierarchical decision rules. IEEE Transactions on Systems, Man, and Cybernetics, Part B 33(2): 324-331 (2003)

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

Antonia M. Reina Quintero, Jesus Torres Valderrama, Miguel Toro, Juan Antonio Álvarez: Concerns vs Components for Web Development. ICWI 2003: 873-876

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

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

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

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

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

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

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

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002)

Amador Durán, Antonio Ruiz Cortés, Beatriz Bernárdez, Miguel Toro: Verifying software requirements with XSLT. ACM SIGSOFT Software Engineering Notes 27(1): 39-44 (2002)

Mercedes Ruiz, Isabel Ramos, Miguel Toro: A Dynamic Integrated Framework for Software Process Improvement. Software Quality Journal 10(2): 181-194 (2002)

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

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

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

Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87

José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. COORDINATION 2002: 250-257

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

Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181

Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312

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

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

José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro: Propuesta de un Profile de Aspectos en UML. JISBD 2002: 103-114

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

Amador Durán, Antonio Ruiz Cortés, Rafael Corchuelo, Miguel Toro: Assisting the Requirements Verifier with XML Technology. JISBD 2002: 127-138

Mercedes Ruiz Carreira, Isabel Ramos, Miguel Toro: Marco Dinámico Integrado para la Mejora de los Procesos Software. JISBD 2002: 293-302

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

Mercedes Ruiz, Isabel Ramos, Miguel Toro: Integrating Dynamic Models for CMM-Based Software Process Improvement. PROFES 2002: 63-77

Amador Durán, Antonio Ruiz Cortés, Rafael Corchuelo, Miguel Toro: Supporting Requirements Verification Using XSLT. RE 2002: 165-172

José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: An enablement detection algorithm for open multiparty interactions. SAC 2002: 378-384

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

Francisco J. Garijo, José Cristóbal Riquelme Santos, Miguel Toro (Eds.): Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings. Lecture Notes in Computer Science 2527, Springer 2002, isbn 3-540-00131-X

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 5(14): 68-77 (2001)

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

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

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

Jesús S. Aguilar-Ruiz, Isabel Ramos, José Cristóbal Riquelme Santos, Miguel Toro: An evolutionary approach to estimating software development projects. Information & Software Technology 43(14): 875-882 (2001)

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

Mercedes Ruiz, Isabel Ramos, Miguel Toro: A simplified model of software project dynamics. Journal of Systems and Software 59(3): 299-309 (2001)

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

Mercedes Ruiz, Isabel Ramos, Miguel Toro: Mejora de los procesos software utilizando simulacion e integracion de tecnicas. ADIS 2001

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599

José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro: A Framework for Aspect-Oriented Multiparty Coordination. DAIS 2001: 161-174

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

Fernando Sánchez, Miguel Toro, José Luis Herrero: Fault Tolerance as an Aspect Using Jreplica. FTDCS 2001: 201-209

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

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

José Cristóbal Riquelme Santos, Isabel Ramos, 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, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez: SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. JISBD 2001: 131-144

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

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

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

José Javier Dolado, Mario Piattini, Miguel Toro, Juan J. Cuadrado (Eds.): ADIS 2001, Apoyo a la Decisión en Ingeniería del Software - Decision Support in Software Engineering, Proceedings of the II ADIS 2001 Workshop on Decision Support in Software Engineering, Almagro, Ciudad Real, Spain, November 20, 2001. CEUR Workshop Proceedings 84, CEUR-WS.org 2001, isbn 84-688-6649-0

Miguel Toro, Juan Antonio Ortega, Rafael M. Gasca: Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 45-57 (2000)

Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Obtención de patrones de Comportamiento de Modelos Semicualitativos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 66-75 (2000)

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 85-97 (2000)

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

Rafael Corchuelo, José Antonio Pérez, Miguel Toro: A Multiparty Coordination Aspect Language. SIGPLAN Notices 35(12): 24-32 (2000)

Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro: Data Set Editing by Ordered Projection. ECAI 2000: 251-255

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

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

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

Rafael Corchuelo, David Ruiz, Miguel Toro, Antonio Ruiz Cortés: Implementing Multiparty Interactions on a Network Computer. EUROMICRO 1999: 2458-2465

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

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

Amador Durán Toro, B. Bernárdez Jiménez, Miguel Toro, Antonio Ruiz Cortés: Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. JISBD 1999: 183-194

José Cristóbal Riquelme Santos, Jesús S. Aguilar-Ruiz, Miguel Toro: Una herramienta basada en algoritmos genéticos para obtener un clasificador jerárquico en aprendizaje supervisado. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 2(5): 38-43 (1998)

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

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

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

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

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

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

Amador Durán, Miguel Toro: Especificaión formal y prototipado de un gestor básico de bases de datos relacionales. JIDBD 1997: 185-186

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

José A. Troyano, Jesús Torres, Miguel Toro: A technique for distributed systems specification. PDP 1995: 563-570

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