Miguel Toro Bonilla
Telefono: 95.455.27.78
Perfil en ORCID: 0000-0003-2271-2765
Perfil en WOS: O-1302-2015
Perfil en Scopus: 56264687600
Perfil en Dialnet: 365724

Grupo de Investigación: Sistemas Informaticos
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Emérito

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01)
  • Nuevos métodos y herramientas para la automatización del desarrollo de aplicaciones de comercio electrónico (TIC2000-1106-C02-01)
  
  
• Ayuda a la investigación:
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2004/TIC-134)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2003/TIC-134)
  • Organización del XIV Congreso Español de Informática Gráfica (CEIG-2004) (TIC2002-12636-E)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2002/TIC-134)
  • XIV Congreso Español de Informática Gráfica (CEIG 2004) (PP2003/01-06)
  • Acciones coordinadas del grupo TIC-134 (ACC-342-TIC-2001)
  • SIT'02: Simposio Español de Informática y Telecomunicaciones (TIC2001-4464-E)
  • Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E)
  • ZOCO: Reunión de trabajo sobre métodos y herramientas para el desarrollo de aplicaciones de comercio electrónico (TIC2001-4504-E)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2000/TIC-134)
  • Ayuda para la creación de una red de Investigación en Ingeniería de Software (TIC2000-2052-E)
  • Plan de difusión, promoción y gestión de las ayudas para la realización de proyectos de I+D e Innovación en Andalucía (CTI-98-1393-E)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (1997/TIC-134)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Técnicas y Herramientas para la Representación de Datos en Grafos a Escala Web (PID2022-139798OB-I00 - Equipo de Investigación)
  • IntegraKG: Métodos y herramientas para la integración de grafos de conocimiento Web (US-1380565 - Equipo de Investigación)
  • Ingeniería de los Datos como Soporte a los Grafos de Conocimiento (PID2019-105471RB-I00 - Equipo de Investigación)
  • MARTITA: Ingeniería de Datos Aplicada a la Extracción, Semantización, Refinamiento y Explotación de Grafos de Conocimiento a Escala Web (P18-RT-1060 - Equipo de Investigación)
  • Herramientas para la Ciencia de los Datos de la Web (TIN2016-75394-R - Equipo de Investigación)
  • Semantización y Publicación de datos Abiertos para la Integración de Servicios Electrónicos (TIN2013-40848-R - Equipo de Investigación)
  • Integración de Aplicaciones y Datos en la Web (TIN2010-21744-C02-01 - Investigador)
  • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
  • Metodología y herramientas para la integración de las islas de datos amigables en la Web (TIN2007-64119 - Investigador)
  • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
  • Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01 - Investigador)
  • Metodologías y arquitecturas para la difusión electrónica de información en la red (TIC2000-1673-C06-03 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • Sistemas de Gestión de Incidencias Geolocalizadas (SGIG) (0328/0197 - Investigador)
  • Infraestructura para el desarrollo turístico en Andalucía (OG-006/08 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2006/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)
  • Integración de las energías renovables entre sí y con fuentes de energías convencionales (ACPAI-2003/032 - Investigador)
  • Desarrollar métodos que permitan predecir la demanda y precios de la energía eléctrica (ACC-1021-TIC-2002 - Investigador)
  • Métodos cuantitativos en el análisis económico y en economía aplicada (ACC-944-SEJ-2002 - Investigador)
  
  
• Acuerdo de Investigación:
  • DAT@GENDA Plataforma de Trabajo Colaborativo Orientado a la Alta Dirección de Organismos (P023-06/E05 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Álvarez de la Concepción, Miguel Ángel, Fernandez-Montes Gonzalez, Alejandro, García Vallejo, Carlos A., Gómez López, Mª Teresa, Gutiérrez Rodríguez, Javier Jesús, et. al.:
Análisis y Diseño de Algoritmos. Sevilla,. Universidad de Sevilla. 2010. ISBN 978-84-693-8232-5

Riquelme Santos, José Cristóbal, Borrego, Diana, Fernandez-Montes Gonzalez, Alejandro, González Romano, José Mariano, Toro Bonilla, Miguel, et. al.:
Introducción a la Programación II. Sevilla,. Universidad de Sevilla. Secretariado de Publicaciones. 2008. ISBN 978-84-691-1857-3

Cruz Mata, Fermin, Borrego, Diana, Riquelme Santos, José Cristóbal, González Romano, José Mariano, Toro Bonilla, Miguel, et. al.:
Introducción a la Programación I. Sevilla,. Universidad de Sevilla. Secretariado de Publicaciones. 2008. ISBN 978-84-691-1856-6

Ortega Ramírez, Juan A., Gasca, Rafael M., Toro Bonilla, Miguel, Torres Valderrama, Jesús:
8th Ibero-American Conference on Ai: Advances in Artificial Intelligence - Iberamia 2002. Sevilla, España. 2002

Ortega Ramírez, Juan A., Cuberos García Baquero, Francisco Javier, Gasca, Rafael M., Toro Bonilla, Miguel, Torres Valderrama, Jesús:
5th Catalonian Conference on Artificial Intelligence - Ccai 2002. 2002

Ortega Ramírez, Juan A., Gasca, Rafael M., Toro Bonilla, Miguel:
Current Trends in Qualitative Reasoning and Applications. 2000 Edition. Edición Digital @tres. 2000

Toro Bonilla, Miguel:
Current Trends in Qualitative Reasoning and Applications. Edición Digital @ Tres. 2000. ISBN 84-699-2786-8

Toro Bonilla, Miguel, Feria Toribio, Jose Maria, Rodrigo Muñoz, Antonio:
Un Modelo de Proyección de la Población para los Ámbitos Funcionales Andaluces : 1991-2006. Huelva. Universidad de Huelva. 1998. ISBN 84-88751-69-9

Troyano Jiménez, José A., Toro Bonilla, Miguel:
Introducción a Z y Object-Z

Otra participación en Libros

Gutiérrez Rodríguez, Javier Jesús (Colaborador), Torres Valderrama, Jesús (Colaborador), Toro Bonilla, Miguel (Colaborador):
La Carrera de Informática Tras la Universidad. Ed. 1. Sevilla,. Universidad de Sevilla. 2010. ISBN 978-84-693-8233-2

Corchuelo Gil, Rafael (Editor/a), Ruiz Cortés, Antonio (Editor/a), Toro Bonilla, Miguel (Editor/a):
Advances in Business Solutions. Salamanca. Catedral. 2002. ISBN 84-96086-01-1

Toro Bonilla, Miguel (Editor/a Literario/a), Velasco Morente, Francisco (Editor/a Literario/a), Basulto Santos, Jesus (Editor/a Literario/a):
Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Edición Digital @ Tres. 2000. ISBN 84-699-2729-9

Capítulos en Libros

Navascués Fernández Victorio, Javier, Toro Bonilla, Miguel, Ramos Román, Isabel:
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment. Vol. 5543. Pag. 173-185. En: Trusthworthy Software Development Processes. Berlin, Alemania. Springer Berlin. 2009. ISBN 978-3-642-01679-0

Navascués Fernández Victorio, Javier, Ramos Román, Isabel, Toro Bonilla, Miguel:
Una Propuesta de Aplicación de Métodos Heurísticos para la Programación de Proyectos a la Producción de Software a Medida. Pag. 163-170. En: Project Management: Methodologies and Case Studies in Construction and Engineering. Valladolid, España. Insisoc. 2008. ISBN 978-84-612-5349-4

Navascués Fernández Victorio, Javier, Toro Bonilla, Miguel, Ramos Román, Isabel:
Simulación de Políticas de Asignación de Recursos en Proyectos Software: Estado del Arte. Pag. 157-162. En: Project Management: Methodologies and Case Studies in Construction and Engineering. Valladolid, España. Insisoc. 2008. ISBN 978-84-612-5349-4

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Modelado y Simulación del Proceso de Desarrollo de Software: una Técnica para la Mejora de Procesos. Pag. 69-90. En: Técnicas Cuantitativas para la Gestión en la Ingeniería del Software. Oleiros, a Coruña. Netbiblo. 2007. ISBN 978-84-9745-204-5

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Software Process Dynamics: Modeling, Simulation and Improvement. Vol. 18. Pag. 21-56. En: New Trends in Software Process Modelling. Londres, UK. World Scientific Publishing. 2006. ISBN 981-256-619-8

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Toro Bonilla, Miguel:
La Triple Esquizofrenia del Investigador en Ingeniería del Software. Vol. 8. Pag. 47-56. En: Aspectos Filosóficos, Psicológicos y Metodológicos de la Informática.. 2005. ISBN 84-9772-749-5

Martínez Gasca, Rafael, Velasco Morente, Francisco, Toro Bonilla, Miguel:
Análisis de un Sistema Biometalúrgico con Conocimiento Intervalar y Cuantitativo. Pag. 191-208. En: El Análisis de Intervalos en España: Desarrollos, Herramientas y Aplicaciones. Gerona, España. Documenta Universitaria. 2005. ISBN 84-934349-1-4

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Álvarez García, Juan Antonio:
Concerns Vs. Components for Web Development. Pag. 873-876. En: Concerns Vs. Components for Web Development. Algarve, Portugal. Iadis Press. 2003. ISBN 972-98947-1-X

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
A Knowledge Extraction Process Specification for Today's Non-Semantic Web. Pag. 61-67. En: Web Intelligence. USA. IEEE Computer Society Press. 2003. ISBN 0-7695-1932-6

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Towards a Methodology for Describing Coordination in Multi-Agent Systems. Pag. 315-324. En: VIII Jornadas de Ingeniería del Software y Bases de Datos 2003.. Combopel. 2003. ISBN 84-688-3836-5

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
An Automatic Approach for the Verification of Software Requirements Using Web Technologies. Pag. 35-56. En: Applying Requirements Engineering. Salamanca, España. Catedral Publicaciones. 2003. ISBN 84-96086-06-2

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Pag. 97-105. En: Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de la Información. 2003. ISBN 84-9772-064-4

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automatic Extraction of Semantically-Meaningful Information from the Web. Pag. 24-35. En: Lecture Notes in Computer Science 2347. Berlin, Alemania. Springer-Verlag. 2002. ISBN 3-540-43737-1

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
A Practical Agent-Based Method to Extract Semantic Information from the Web. Pag. 697-700. En: Advanced Information System Engineering. Germany. Springer-Verlag Berlin. 2002. ISBN 3-540-43738-X

González Romano, José Mariano, Toro Bonilla, Miguel:
La Asignatura de Diseño de Interfaces Hombre-Máquina de la ETS Ingeniería Informática de Sevilla. Pag. 311-314. En: Interacción Persona Ordenador. Leganés (Madrid - España). Universidad de Granada. 2002. ISBN 84-607-4501-5

Ortega Ramírez, Juan A., Cuberos, Francisco J., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
Qualitative Comparison of Temporal Series. QSI. Pag. 75-87. En: Topics in Artificial Intelligence. Lnai 2504. Saarbrücken, Alemania. Springer-Verlag. 2002

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
QSI - Qualitative Similarity Index. Pag. 45-52. En: Qr2002 Sixteenth International Workshop on Qualitative Reasoning. Qr. 2002. ISBN 84-95499-60-6

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
An Algorithm for Ensuring Fairness and Liveness in Non-Deterministic Systems Based on Multiparty Interactions. Pag. 563-572. En: Euro-Par 2002: Parallel Processing. Paderborn, Alemania. Springer-Verlag. 2002

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Una Nueva Noción de Selección de Interacciones. Pag. 389-402. En: Simposio en Informática y Telecomunicación. Fundación Dintel. 2001

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
A Framework for Aspect-Oriented Multiparty Coodination. Pag. 161-174. En: New Developments in Distributed Applications and Interoperable Systems. Estados Unidos. Kluwer Academic Publishers. 2001. ISBN 0-7923-7481-9

Ramos Román, Isabel, Toro Bonilla, Miguel, Ruiz Carreira, Mercedes:
Gestión de Proyectos y Simulación. Pag. 173-191. En: Medición para la Gestión en Ingeniería del Software. Ra-Ma. 2000. ISBN 84-7897-403-2

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Ferrer Troyano, Francisco Javier, Toro Bonilla, Miguel:
Una Aproximación al Desarrollo de Software Basada en el Prototipado Arquitectónico. Pag. 191-202. En: V Jornadas de Ingeniería del Software y Bases de Datos. Valladolid, España. Jornadas de Ingeniería del Software y Bases de Datos. 2000. ISBN 84-8448-065-8

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Addressing Interoperability in Multi-Organisational Web-Based Systems. Pag. 87-96. En: New Issues in Object Interoperability. Cacéres, España. Universidad de Extremadura. 2000. ISBN 84-699-2538-5

Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús, Juan M. Cordero:
Using Constraint Programming Framework for Semiqualitative Reasoning. Pag. 75-85. En: Current Trends in Qualitative Reasoning and Applications. Edición Digital @ Tres. 2000. ISBN 84-699-2786-8

Ramos Román, Isabel, Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
A New Method for Obtaining Software Project Management Rules. Pag. 153-164. En: Approaches to Quality Management. Londres, Reino Unido. 2000. ISBN 1-902505-25-5

Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Optimizacion en Modelos que Integran Conocimiento Cualitativo y Cuantitativo. Pag. 1-9. En: Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Edición Digital @ Tres. 2000. ISBN 84-699-2729-9

Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Torres Valderrama, Jesús, González Romano, José Mariano:
Estudio de Sistemas Semicualitativos con Restricciones. Aplicacion a un Modelo Logistico con Retraso. Pag. 165-180. En: Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Edición Digital @ Tres. 2000. ISBN 84-699-2729-9

Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Semiqualitative Temporal Patterns in Time-Series Databases. Pag. 11-20. En: Current Trends in Qualitative Reasoning and Applications. Edición Digital @ Tres. 2000. ISBN 84-699-2786-8

Ramos Román, Isabel, Toro Bonilla, Miguel, Ruiz Cortés, David:
Gestion de Proyectos y Simulacion. Pag. 173-191. En: Medición para la Gestión en Ingeniería del Software. Ra-Ma. 2000. ISBN 84-7897-403-2

Toro Bonilla, Miguel:
A Components Model Based on Interaction-Nets. Pag. 548-553. En: Virtual Engineering and Emergent Computing. Florida (EEUU). International Institute of Informatics and Systemics (Iiis). 1999

Martínez Gasca, Rafael, Toro Bonilla, Miguel:
A New Methodology for Reasoning About Semiqualitative Synamic Systems. Pag. 33-38. En: Software and Hardware Engineering for the 21th Century. EE.UU. 1999

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio:
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns. Pag. 337-342. En: Computational Intelligence and Applications. EE.UU. World Scientific and Engineering Academy and Society Press. 1999. ISBN 960-8052-05-X

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel, Durán Toro, Amador, et. al.:
Implementación de Interacciones Entre Múltiples Participantes Sobre una Máquina Virtual en Red. Pag. 183-193. En: Actas del Simposio Español de Informática Distribuida (Seid 1999). Santiago de Compostela, España. S. Barro, N.r Brosaboa, J.M. Busta, F.F. Rivera. 1999. ISBN 84-8408-060-9

Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel, Arjona Fernández, Jose Luis, Prieto, J.M.:
A Distributed Solution to Synchronous Multiparty Interaction. Vol. 2. Pag. 318-323. En: Recent Advances in Signal Processing and Communications. EE.UU. 1999

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
A New Methodology for Reasoning About Semiqualitative Dynamic Systems. Pag. 33-38. En: Software and Hardware Engineering for the 21th Century. EE.UU. 1999

Prieto, J.M., Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Toro Bonilla, Miguel, Ruiz Cortés, David:
A Symbolic Portable Debugger for Compilers That Generate C Code. Pag. 105-110. En: Software and Hardware Engineering for the 21th Century. EE.UU. 1999

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel, Corchuelo Gil, Rafael, Durán Toro, Amador:
Object Oriented Specification Based on Restrictions: Participation and Interaction. Pag. 56-60. En: Software and Hardware Engineering for the 21th Century. EE.UU. 1999

Carrillo Montero, Vicente, Díaz Madrigal, Víctor Jesús, Toro Bonilla, Miguel:
Una Gramática S-Atribuida para Tag. Pag. 247-254. En: III Jornadas Científicas en Tecnologías de la Información. Cádiz,España. Servicio de Autoedición e Impresión de la Universidad de Cádiz. 1998. ISBN 84-89867-11-9

Riquelme Santos, José Cristóbal, Ridao Carlini, Miguel Angel, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Using Genetic Algorithm with variable-length individual for planning two-manipulator motion. Pag. 26-30. En: Artificial Neural Networks and Genetic Algorithms. Viena, Austria. Springer Verlag. 1998. ISBN 3-211-83087-1

Díaz Madrigal, Víctor Jesús, Carrillo Montero, Vicente, Toro Bonilla, Miguel:
A Review of Early-Based Parser for Tig. Vol. 1415. Pag. 732-738. En: Lecture Notes in Artificial Intelligence. Methodology and Tools in Knowledge-Based Systems. Alemania. 1998. ISBN 3-540-64582-9

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Including Qualitative Knowledge in Semiqualitative Dynamical Systems. Vol. 1415. Pag. 329-335. En: Lecture Notes in Artificial Intelligence. Methodology and Tools in Knowledge-Based Systems. Alemania. 1998. ISBN 3-540-64582-9

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Automatic Semiqualitative Analysis: Application to a Biometallurgical System. Vol. 1415. Pag. 321-329. En: Lecture Notes in Artificial Intelligence. Methodology and Tools in Knowledge-Based Systems. Alemania. 1998. ISBN 3-540-64582-9

Ridao Carlini, Miguel Angel, Riquelme Santos, José Cristóbal, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
An evolutionary and Local Search Algorithm for planning two manipulator motions. Vol. 1416. Pag. 105-114. En: Lecture Notes in Artificial Intelligence. Tasks and Methods in Applied Artificial Intelligence. Berlin, Alemania. Springer Verlag. 1998. ISBN 3-540-64574-8

Carrillo Montero, Vicente, Díaz Madrigal, Víctor Jesús, Toro Bonilla, Miguel:
Un Método General de Transformación de Cfg a Tag. Pag. 201-208. En: Actas del XII Congreso de Lenguajes Naturales y Lenguajes Formales. Promociones Y Publicaciones Universitarias. 1996. ISBN 84-477-0575-7

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Semi-Quantitative Simulation of Dynamic Systems With Uncertain Initial Conditions. Pag. 266-270. En: Modelling and Simulation. Turquia. The Society for Modeling and Simulation International. 1995

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Software Quality Through Formal Oo Specification. Pag. 47-57. En: Measuring and Maintaining Quality. Reino Unido. Computacional Mechanics Publications. 1995. ISBN 1-85312-417-6

Romero Moreno, Luisa María, Arrabal Parrilla, Juan Jose, Toro Bonilla, Miguel, Martínez Gasca, Rafael:
Automatic Piecewise - Linear Analysis of Qualitative Models With Delays. Pag. 123-134. En: Qualitative Reasoning and Decision Technologies. Piera & Singh. 1993

Toro Bonilla, Miguel, Arrabal Parrilla, Juan Jose, Romero Moreno, Luisa María:
Piecewise Linear Analysis of an Influence Diagram. Pag. 705-713. En: International System Dynamics Conference. Utrecht. Vennix& Faber. 1992. ISBN 92-9129-001-7

Publicaciones en Revistas

Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
A scheduler for SCADA-based multi-source fusion systems. En: Information Fusion. 2020. Vol. 63. Pag. 41-55. https://doi.org/10.1016/j.inffus.2020.05.007

Ayala, Daniel, Inma Hernández, Ruiz Cortés, David, Toro Bonilla, Miguel:
TAPON-MT: A versatile framework for semantic labelling. En: Information Systems. 2019. Vol. 83. Pag. 57-68. 10.1016/j.is.2018.12.006

Ayala, Daniel, Inma Hernández, Ruiz Cortés, David, Toro Bonilla, Miguel:
TAPON: A two-phase machine learning approach for semantic labelling. En: Knowledge-Based Systems. 2019. Vol. 163. Pag. 931-943. 10.1016/j.knosys.2018.10.017

Del Río Ortega, Adela, Resinas, Manuel, Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Ruiz Cortés, Antonio, et. al.:
VISUAL PPINOT: A Graphical Notation for Process Performance Indicators. En: Business & Information Systems Engineering. 2019. Vol. 61. Núm. 2. Pag. 137-161. 10.1007/s12599-017-0483-3

Fernández Cerero, Damián, Fernandez-Montes Gonzalez, Alejandro, Jakóbik, Agnieszka, Kolodziej, Joanna, Toro Bonilla, Miguel:
SCORE: Simulator for cloud optimization of resources and energy consumption. En: Simulation modelling practice and theory. 2018. Vol. 82. Pag. 160-173. 10.1016/j.simpat.2018.01.004

Márquez Chamorro, Alfonso Eduardo, Resinas, Manuel, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Run-time prediction of business process indicators using evolutionary decision rules. En: Expert Systems With Applications. 2017. (In press)

García, José María, Fernández Montes, Pablo, Ruiz Cortés, Antonio, Dustdar, Schahram, Toro Bonilla, Miguel:
Edge and Cloud Pricing for the Sharing Economy. En: IEEE Internet Computing. 2017. Vol. 21. Núm. 2. Pag. 78-84. https://doi.org/10.1109/MIC.2017.24

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
The Intentional Relationship of Representation Between the Constructs of a Language and Reality. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 2. Pag. 173-191

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Durán Toro, Amador, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated Error Analysis for the Agilization of Feature Modeling. En: The Journal of Systems and Software. 2008. Vol. 81. Núm. 6. Pag. 883-896

Ramos Román, Isabel, Moreno García,María N., García Peñalvo,Francisco J., Toro Bonilla, Miguel:
An Association Rule Mining Method for Estimating the Impact of Project Management Policies on Software Quality, Development Time and Effort. En: Expert Systems With Applications. 2008. Vol. 34. Núm. 1. Pag. 522-529

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
Simulation Modeling for Service-Oriented Development. En: International Journal of Software Engineering. 2008. Vol. 1. Núm. 1. Pag. 5-18

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
From Wrapping to Knowledge. En: IEEE Transactions on Knowledge & Data Engineering. 2007. Vol. 19. Núm. 2. Pag. 310-323

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
A Multilevel Architecture for Modularization and Reusability of Software Process Simulation Models. En: WSEAS Transactions on Information Science and Applications. 2006. Vol. 3. Núm. 10. Pag. 1916-1922

Ruiz Cortés, Antonio, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Improving the Automatic Procurement of Web Services Using Constraint Programming. 2005. Vol. 14. Núm. 4. Pag. 439-467

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Torres Valderrama, Jesús, Toro Bonilla, Miguel, González Abril, Luis, et. al.:
Metodología Semicualitativa para Razonar Sobre Sistemas Dinámicos. En: Computación y Sistemas. 2005. Vol. 8. Núm. 3. Pag. 231-251

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Fernández Camacho, Eduardo, Martínez Gasca, Rafael:
Combining Heuristics in Assembly Sequence Planning. En: Frontiers in Artificial Intelligence and Applications. 2005. Vol. 117. Pag. 99-108

Márquez Hernández, Antonio Ángel, Valle Sevillano, Carmelo del, Martínez Gasca, Rafael, Toro Bonilla, Miguel:
A Constraint-Based Algorithm for Planning the Substitution of Faulty Parts. En: Frontiers in Artificial Intelligence and Applications. 2005. Núm. 117. Pag. 79-88

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
An Integrated Framework for Simulation-Based Software Process Improvement. En: Software Process: Improvement and Practice. 2004. Vol. 9. Núm. 2. Pag. 81-93

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
An Order-Based Algorithm for Implementing Multiparty Synchronization. En: Concurrency and Computation : Practice & Experience. 2004. Vol. 16. Núm. 12. Pag. 1173-1206

Bernárdez Jiménez, Beatriz, Durán Toro, Amador, Toro Bonilla, Miguel, Genero Bocco, Marcela:
Una Propuesta para la Verificación de Requisitos Basada en Métricas. En: Revista de procesos y métricas de las tecnologías de la información. 2004. Vol. 1. Núm. 2. Pag. 13-24

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Using Dynamic Modeling and Simulation to Improve the Cots Software Process. En: Lecture Notes in Computer Science. 2004. Vol. 3009. Pag. 568-581

Riquelme Santos, José Cristóbal, Aguilar Ruiz, Jesus Salvador, Toro Bonilla, Miguel:
Finding Representative Patterns With Ordered Projections. En: Pattern recognition. 2003. Vol. 36. Núm. 4. Pag. 1009-1018

Torres Valderrama, Jesús, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Interactions Among Dynamic Sets of Objects. En: Requirements Engineering. 2003. Vol. 8. Núm. 1. Pag. 78-84

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Evolutionary Learning of Hierarchical Decision Rules. En: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 2003. Vol. 33. Núm. 2. Pag. 324-331

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
A Methodology for Reasoning About Semiquantitative Dynamic Systems. En: Journal Of Applied Systems Studies. 2003. Vol. 4. Núm. 1. Pag. 115-129

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Implementing Requirements Verification Heuristics With XML and XSLT. En: ACIS International Journal of Computer and Information Science. 2003. Vol. 4. Núm. 1. Pag. 14-22

Ruiz Cortés, David, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Fairness in Systems Based on Multiparty Interactions. En: Concurrency and Computation : Practice & Experience. 2003. Vol. 15. Núm. 11-12. Pag. 1093-1116

Valle Sevillano, Carmelo del, Márquez Hernández, Antonio Ángel, Martínez Gasca, Rafael, Toro Bonilla, Miguel:
On Selecting and Scheduling Assembly Plans Using Constraint Programming. En: Lecture Notes in Computer Science. 2003. Vol. 2774. Pag. 1329-1336

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Durán Toro, Amador, Benavides Cuevas, David Felipe, Toro Bonilla, Miguel:
Automating the Procurement of Web Services. En: Lecture Notes in Computer Science. 2003. Vol. 2910. Pag. 91-103

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Durán Toro, Amador, Toro Bonilla, Miguel:
A Quality-Aware Approach to Web Services Procurement. En: Lecture Notes in Computer Science. 2003. Vol. 2819. Pag. 42-53

Valle Sevillano, Carmelo del, Martínez Gasca, Rafael, Toro Bonilla, Miguel, Fernández Camacho, Eduardo:
A Genetic Algorithm for Assembly Sequence Planning. En: Lecture Notes in Computer Science. 2003. Vol. 2687. Pag. 337-344

Durán Toro, Amador, Ruiz Cortés, Antonio, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel:
Verifying Software Requirements With XSLT. En: Software Engineering Notes. 2002. Vol. 27. Núm. 1. Pag. 39-44

Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Repairing Syntax Errors in LR Parsers. En: ACM transactions on programming languages and systems. 2002. Vol. 24. Núm. 6. Pag. 698-710

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
A Framework for Semiqualitative Reasoning in Engineering Applications. En: Applied artificial intelligence. 2002. Vol. 16. Núm. 3. Pag. 173-197

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
A Dynamic Integrated Framework for Software Process Improvement. En: Software Quality Journal. 2002. Vol. 10. Núm. 2. Pag. 181-194

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. En: Lecture Notes in Computer Science. 2002. Vol. 2315. Pag. 250-257

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
Qualitative Comparison of Temporal Series. QSI. En: Lecture Notes in Computer Science. 2002. Vol. 2504. Pag. 75-87

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Integrating Dynamic Models for Cmm-Based Software Process Improvement. En: Lecture Notes in Computer Science. 2002. Vol. 2559. Pag. 63-77

Ortega Ramírez, Juan A., Cuberos, F.J., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres, J:
Qualitative Comparison of Temporal Series. QSI. 2002. Pag. 121-128

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Ceballos Guerrero, Rafael, Aguilar Ruiz, Jesus Salvador:
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 835-844

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Adapting Design Types to Communication Media and Middleware Environments. En: Lecture Notes in Computer Science. 2002. Pag. 184-192

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automatic Extraction of Semantically-Meaningful Information from the Web. En: Lecture Notes in Computer Science. 2002. Pag. 24-35

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
A Practical Agent-Based Method to Extract Semantic Information from the Web. En: Lecture Notes in Computer Science. 2002. Vol. 2348. Pag. 697-700

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
Extracting Information from the Web. En: Journal of Internet Technology. 2002. Vol. 3. Núm. 4. Pag. 267-274

Ceballos Guerrero, Rafael, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, et. al.:
Max-CSP Approach for Software Diagnosis. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 172-181

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
An Algorithm for Ensuring Fairness and Liveness in Non-Deterministic Systems Based on Multiparty Interactions. En: Lecture Notes in Computer Science. 2002. Vol. 2400. Pag. 563-572

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
A Semiquantitative Approach to Study Semiqualitative Systems. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 303-312

Ramos Román, Isabel, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
A Simplified Model of Software Project Dynamics. En: The Journal of Systems and Software. 2001. Vol. 59. Núm. 3. Pag. 299-309

Ridao Carlini, Miguel Angel, Riquelme Santos, José Cristóbal, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
An Evolutionary and Local Search Algorithm for Motion Planning of Two Manipulators. En: Journal of Robotic Systems. 2001. Vol. 18. Núm. 8. Pag. 463-476

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Data Set Editing by Ordered Projection. En: Intelligent Data Analysis. 2001. Vol. 5. Núm. 5. Pag. 405-417

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Diagnosis Basada en Modelos Polinomicos Usando Técnicas Simbolicas. En: Inteligencia Artificial. 2001. Vol. 11. Núm. 14. Pag. 68-77

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Comparacion Cualitativa de Series Temporales. Indice Cualitativo de Similitud QSI. En: Computación y Sistemas. 2001. Vol. 5. Núm. 2. Pag. 96-108

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
An Object-Oriented Approach for Learning of Algorithm Design With Sequential Devices and Schemas. En: Computación y Sistemas. 2001. Vol. 4. Núm. 3. Pag. 230-241

Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
An Efficient Algorithm for Repairing Syntax Errors in a Class or LR Parsers. En: International Journal of Computer Research. 2001. Vol. 10. Núm. 3. Pag. 1005-1025

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Mejora de los Procesos Software Utilizando Simulación e Integración de Técnicas. En: CEUR Workshop Proceedings. 2001. Vol. 84. Pag. 6-6

Torres Valderrama, Jesús, Martín Díaz, Octavio, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Implementing Associations Among Classes in an Environment of Active Databases. En: Programming and Computer Software. 2000. Vol. 26. Núm. 4. Pag. 207-215

Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
A Multiparty Coordination Aspect Language. En: SIGPLAN Notices. 2000. Vol. 35. Núm. 12. Pag. 24-32

González Romano, José Mariano, Fernández Camacho, Eduardo, Gomez Ortega, Juan, Toro Bonilla, Miguel:
A Generic Natural Language Interface for Task Planning - Application to a Mobile Robot. En: Control Engineering Practice. 2000. Vol. 8. Núm. 10. Pag. 1119-1133

Riquelme Santos, José Cristóbal, Aguilar Ruiz, Jesus Salvador, Toro Bonilla, Miguel:
Discovering Hierarchical Decision Rules With Evolutive Algorithms in Supervised Learning. En: International Journal of Computers, Systems and Signals. 2000. Vol. 1. Núm. 1. Pag. 73-84

Toro Bonilla, Miguel, Ortega Ramírez, Juan A.:
Arca: Automation of Qualitative Reasoning and Applications. En: MONET Newsletter. 2000. Vol. 3 (I). Pag. 8-9

Toro Bonilla, Miguel, Ortega Ramírez, Juan A., Martínez Gasca, Rafael:
Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. En: Inteligencia Artificial. 2000. Núm. 9. Pag. 45-57

Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel, Durán Toro, Amador:
Avances en la Coordinación de Objetos Activos. En: Novática. 2000. Núm. 143. Pag. 34-37

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Obtención de Patrones de Comportamiento de Modelos Semicualitativos. En: Inteligencia Artificial. 2000. Vol. 9 II/00. Pag. 66-75

Troyano Jiménez, José A., Mejías Risoto, Manuel, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Extensiones al Sistema de Clasificación UML. En: Computación y Sistemas. 2000. Pag. 202-213

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Ingeniería de Requisitos y Tecnología de Objetos. En: Novática. 2000. Núm. 143. Pag. 15-20

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Aplicación del Razonamiento Semicualitativo al Modelado y Análisis de Sistemas Económicos. En: Inteligencia Artificial. 2000. Pag. 85-97

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Specifying Interactions Among Objects Through Constraints. En: Computación y Sistemas. 1999. Vol. 3. Núm. 2. Pag. 115-128

Díaz Madrigal, Víctor Jesús, Carrillo Montero, Vicente, Toro Bonilla, Miguel:
Revisando el Reconocedor con Prefijo Válido para Tags de Schabes. En: Procesamiento del Lenguaje Natural. 1999. Vol. 25. Pag. 59-65

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Corchuelo Gil, Rafael:
Una Propuesta para Elaborar el Catálogo de Requisitos en Metrica V2.1. En: Novática. 1999. Núm. 142. Pag. 64-68

Ridao Carlini, Miguel Angel, Riquelme Santos, José Cristóbal, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
An Evolutionary + Local Search Algorithm for Planning Two Manipulators Motion. En: Lecture Notes in Computer Science. 1998. Vol. 14. Núm. 16. Pag. 105-114

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
A Tool to Obtain a Hierarchical Qualitative Rules from Quantitative Data. En: Lecture Notes in Computer Science. 1998. Vol. 1415. Pag. 336-346

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Decision Queue Classifier for Supervised Learning Using Rotated Hyperboxes. En: Lecture Notes in Computer Science. 1998. Vol. 1484. Pag. 326-336

Carrillo Montero, Vicente, Díaz Madrigal, Víctor Jesús, Toro Bonilla, Miguel:
Un Recorrido Por los Formalismos Gramaticales Lexicalizados Basados en Reescritura de Árboles. En: Novática. 1998. Núm. 133. Pag. 22-25

Díaz Madrigal, Víctor Jesús, Carrillo Montero, Vicente, Toro Bonilla, Miguel:
Análisis Sintáctico de Tags Usando Analizadores Deductivos. En: Procesamiento del Lenguaje Natural. 1998. Pag. 126-131

Riquelme Santos, José Cristóbal, Aguilar Ruiz, Jesus Salvador, Toro Bonilla, Miguel:
Una Herramienta Basada en Algoritmos Genéticos para Obtener un Clasificador Jerárquico en Aprendizaje Supervisado. En: Inteligencia Artificial. 1998. Vol. 4. Pag. 38-43

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Propagación de Restricciones Integrando Conocimiento Cualitativo y Cuantitativo. En: Boletín de la A.E.P.I.A.. 1996. Vol. 96. Núm. 6. Pag. 23-30

Gordillo, Francisco, Toro Bonilla, Miguel, Aracil Santonja, Javier, Riquelme Santos, José Cristóbal:
Optimal Control and Sensitivity Analysis of an Energy Demand Model. En: Systems Analysis Modelling Simulation. 1996. Vol. 23. Pag. 177-196

Díaz Madrigal, Víctor Jesús, Toro Bonilla, Miguel, Carrillo Montero, Vicente:
Un Algoritmo de Lexicalización de Cfg Mediante Tags. En: Procesamiento del Lenguaje Natural. 1996. Vol. 19. Pag. 201-208

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Desde un Lenguaje de Especificación Orientado a Objetos Tesoro y Lotos. En: Informática y Automática. 1994. Vol. 27. Núm. 2. Pag. 22-31

Aracil Santonja, Javier, Toro Bonilla, Miguel:
Qualitative Analysis of System Dynamics Models. En: Revue internationale de systémique (Imprimé). 1991. Vol. 5. Núm. 5. Pag. 493-515

Aracil Santonja, Javier, Toro Bonilla, Miguel:
A Case Study of Qualitative Change in System Dynamics. En: International Journal of Systems Science. 1984. Vol. 15. Núm. 6. Pag. 575-599

Libros de Actas

Feito Higueruela, Francisco Ramon, Toro Bonilla, Miguel:
II Jornadas Andalusies de Informatica Grafica. 2000. Ninguna

Aportaciones a Congresos

Borrego, Diana, Barba Rodríguez, Irene, Toro Bonilla, Miguel, Del Valle Sevillano, Carmelo:
Problem Generalization for Designing Recursive Algorithms. Comunicación en congreso. 11th International Conference on EUropean Transnational Educational. Burgos. 2020

Troyano Jiménez, José A., Cruz Mata, Fermin, Rodríguez, Mariano, García Vallejo, Carlos A., Toro Bonilla, Miguel:
Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo. Comunicación en Jornada. Jornadas sobre Enseñanza Universitaria de la Informática 2018. Barcelona. 2018

García, José María, Martín Díaz, Octavio, Fernández Montes, Pablo, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated analysis of cloud offerings for optimal service provisioning (Summary). Comunicación en congreso. Jornadas de Ciencia e Ingeniería de Servicios. Sevilla. 2018

García, José María, Martín Díaz, Octavio, Fernández Montes, Pablo, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automated Analysis of Cloud Offerings for Optimal Service Provisioning. Comunicación en congreso. International Conference on Service-Oriented Computing. Málaga. 2017

Cañete Valdeón, José Miguel, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Defeasible argumentation of software architectures. Comunicación en congreso. 13th Working IEEE/IFIP Conference on Software Architecture. Venecia. 2016

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Including Qualitative Knowledge in Semiqualitative Dynamical Systems. Comunicación en congreso. II Jornadas de Lingüística. Facultad de Filosofia y Letras. Universidad de Cádiz. 2014. Lecture Notes on Artificial Intelligence. 0. 0

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel, Orta Cuevas, Elena:
Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Incidencias de Servicios Ti. Comunicación en congreso. XVI Jornadas en Ingeniería del Software y Bases de Datos. A Coruña, España. 2011

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
Simulación Aplicada a la Mejora de la Gestión de Servicios Ti. Comunicación en congreso. Academic International Conference on It Governance and Service Management (Itgsm 2011). Madrid y Sevilla, España. 2011

Aguilar Ruiz, Jesus Salvador, Ramos Román, Isabel, Riquelme Santos, José Cristóbal, Ferrer Troyano, Francisco Javier, Toro Bonilla, Miguel, et. al.:
Integration of Information in a Training Environment for Software Project Management. Comunicación en congreso. International Conference of Software Quality Management. Loughborough (UK). 2011. Proceedings of the International Conference of Software Quality Management. 31. 42

Reina Quintero, Antonia María, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
De Flujos de Navegación a Spring Web Flow. un Primer Acercamiento a las Transformaciones Verticales en Mwacsl. Conferencia Congreso no publicada. Jornadas de Ingeniería del Software y Bases de Datos. 2010. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. 19. 28

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
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. Comunicación en congreso. XIV Jornadas de Ingeniería del Software y Bases de Datos. San Sebastián, España. 2009. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). 33. 44

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
Analyzing Strategic Business Rules Through Simulation Modeling. Comunicación en congreso. Conference on e-Business, e-Services and e-Society. Nancy, France. 2009. Proceedings of the IX Ifip Conference on e-Business, e-Services and e-Society. 357. 368

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
A System Dynamics Approach to Web Service Capacity Management. Comunicación en congreso. Ecows09,IEEE Seventh European Conference on Web Services. Eindhoven, the Netherlands. 2009. Proceedings of the 7th IEEE European Conference on Web Services (Ecows09). 109. 117

Navascués Fernández Victorio, Javier, Toro Bonilla, Miguel, Ramos Román, Isabel:
A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment. Comunicación en congreso. International Conference on Software Process Icsp 2009. Vancouver, Canada. 2009. Trustworthy Software Development Processes. 173. 185

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Servicios Ti. Comunicación en congreso. Taller de Apoyo a la Decisión en Ingeniería del Software en las XIV Jornadas en Ingeniería del Software y Bases de Datos. San Sebastián, España. 2009. Actas de Talleres de Ingeniería del Software y Bases de Datos 2009. 81. 92

Martín Díaz, Octavio, Ruiz Cortés, Antonio, García, José María, Toro Bonilla, Miguel:
Dealing With Fixable and Non-Fixable Properties in Service Matchmaking. Ponencia en Taller de trabajo. 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing. Stockholm, Sweden. 2009. Proceedings of the 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing (Nfpslam-SOC), Icsoc-2009. 228. 237

Navascués Fernández Victorio, Javier, Ramos Román, Isabel, Toro Bonilla, Miguel:
Una Propuesta de Aplicación de Métodos Heurísticos para la Programación de Proyectos de Software a Medida. Comunicación en congreso. Construction and Engineering Project Management International Workshop. Valladolid, España. 2008

Reina Quintero, Antonia María, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
Generating Domain Specific Aspect Code for Navigation from Platform Specific Models in Mwacsl. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Gijon, España. 2008

Orta Cuevas, Elena, Ruiz Carreira, Mercedes, Toro Bonilla, Miguel:
Aplicación de las Técnicas de Modelado y Simulación en la Gestión de la Capacidad de los Servicios Ti. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Gijon, España. 2008. XIII Jornadas de Ingeniería del Software y Bases de Datos. 299. 310

Navascués Fernández Victorio, Javier, Ramos Román, Isabel, Toro Bonilla, Miguel:
Hacia un Modelo Híbrido de Simulación de la Producción de Software en un Entorno Multiproyecto. Ponencia en Taller de trabajo. Jornadas de Ingeniería del Software y Bases de Datos. Gijon, España. 2008. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos, Vol. 2, No. 3, 2008. 48. 54

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Improving the Adaptation of Web Applications to Different Versions of Software With MDA. Comunicación en congreso. Workshop on Adaptation and Evolution in Web Systems Engineering. Como. Italia. 2007. 7th International Conference on Web Engineering. Workshop Proceedings. 101. 107

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
El Metamodelado de un Framework: Spring Web Flow. Comunicación en congreso. Jornadas de Paralelismo. II Congreso Español de Informática. Zaragoza, España. 2007. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). 21. 30

Reina Quintero, Antonia María, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
Integrando Aspectos en Mwacsl. Comunicación en congreso. Jornadas de Paralelismo. II Congreso Español de Informática. Zaragoza, España. 2007. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). XXX. XXX

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Sergio Segura, Toro Bonilla, Miguel:
Explanations for Agile Feature Models. Ponencia en Taller de trabajo. International Workshop on Agile Product Line Engineering. Baltimore, Maryland, EEUU. 2006. Workshop Proceedings. 1. 7

Ramos Román, Isabel, Toro Bonilla, Miguel:
Using Dynamic Modeling and Simulation to Improve Cots-Based Software Development. Comunicación en congreso. International Conference on Product Focused Software Process Improvement. Kansai, Japón. 2004. 5th. International Conference on Product Focused Software Process Improvement. Profes'04. 568. 581

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Building Software Process Models With a Multitier Architecture. Comunicación en congreso. International Workshop on Software Process Simulation and Modeling. Edimburgo, Escocia, Reino Unido. 2004. 5th. International Workshop on Software Process Simulation Modeling. Prosim'04. 94. 102

Bernárdez Jiménez, Beatriz, Durán Toro, Amador, Toro Bonilla, Miguel, Genero Bocco, Marcela:
Mbr: una Técnica de Detección de Defectos para Casos de Uso Basada en Métricas. Comunicación en congreso. Jornadas Sobre Innovación y Calidad del Software. 2004. Actas de las IX Jornadas Sobre Innovación y Calidad del Software. 61. 68

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Escalona Cuaresma, María José:
Modelando Aspectos con Lenguajes Específicos de Dominio. Comunicación en congreso. Avances en Desarrollo de Software Orientado a Aspectos. , Málaga, España. 2004. Actas del Taller de Avances en Desarrollo de Software Orientado a Aspectos. 91. 98

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Towards Developing Generic Solutions With Aspects. Comunicación en congreso. The 5th Aspect-Oriented Modeling Workshop. Lisboa, Portugal. 2004. Proceedings of the 5th Aspect-Oriented Modeling Workshop (Aom). Workshop Held in Conjujction With the UML 2004 Conference. ???. ???

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Álvarez García, Juan Antonio:
Separación de Conceptos y MDA: Arquitectura de un Framework. Comunicación en congreso. Taller Sobre Desarrollo de Software Dirigido Por Modelos, MDA y Aplicacione. , Málaga, España. 2004. Actas del I Taller Sobre Desarrollo de Software Dirigido Por Modelos, MDA y Aplicacione (Dsdm04). 23. 32

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Interval Model-Based Diagnosis Using Constraint Programming. Comunicación en congreso. Wac. Santander (ESPAÑA). 2004. World Automation Congress. 710. 721

Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Ceballos Guerrero, Rafael, Toro Bonilla, Miguel:
An Integration of Fdi and Dx Approaches to Polynomial Models. Comunicación en congreso. Fourteenth International Worksop on Principles of Diagnosis. Washington D.C., USA. 2003. Dx-03 Fourteenth International Worksop on Principles of Diagnosis. 153. 158

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Fernández Camacho, Eduardo, Martínez Gasca, Rafael:
A Scheduling Approach to Assembly Sequence Planning. Ponencia en Congreso. 2003 IEEE International Symposium on Assembly and Task Planning. Besançon, Francia. 2003. Proceedings of the 2003 IEEE International Symposium on Assembly and Task Planning (ISATP2003). 103. 108

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Aspect-Oriented Web Development Vs. Non Aspect-Oriented Web Development. Comunicación en congreso. Workshop on AAOS2003: Analysis of Aspect Oriented Software Held in Conjunction With ECOOP 2003. Darmstadt, Alemania. 2003. Proceedings of the Workshop AAOS2003: Analysis of Aspect Oriented Software. ??. ??

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Álvarez García, Juan Antonio:
Concerns Vs. Components for Web Development. Comunicación en congreso. Iadis International Conference Www/Internet 2003. Algarve. Portugal. 2003. Proceedings of the Iadis International Conference Www/Internet 2003. 873. 876

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Escalona Cuaresma, María José:
La Separación de Conceptos en Sistemas Web. Comunicación en congreso. IV Jornadas de Trabajo Dolmen. Alicante, España. 2003. Actas de las IV Jornadas de Trabajo Dolmen. 137. 142

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Una Experiencia Práctica Reutilizando Aspectos. Comunicación en congreso. Taller de Desarrollo de Software Orientado a Aspectos. Alicante. 2003. Actas del Taller de Desarrollo de Software Orientado a Aspectos: Actas del Taller de Trabajo en Desarrollo de Software Orientando Aspectos, Dsoa 2003 : Informe Técnico Tr-20/2003. 3. 10

Valle Sevillano, Carmelo del, Gasca, R.m., Toro Bonilla, Miguel, Fernández Camacho, Eduardo:
A genetic Algorithm for Assembly Sequence Planning. Ponencia en Congreso. International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003. Menorca, España. 2003. Proceedings of the 7th International Work-Conference on Artificial and Natural Neural Networks. (IWANN 2003). 337. 344

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Towards a Methodology for Describing Coordination in Multi-Agent Systems. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Bernárdez Jiménez, Beatriz, Durán Toro, Amador, Toro Bonilla, Miguel:
Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso Basadas en Métricas. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Martín Díaz, Octavio, Benavides Cuevas, David Felipe, Peña Siles, Joaquín, Toro Bonilla, Miguel:
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. Comunicación en congreso. Jornadas de Ingeniéria del Software y Bases de Datos . Alicante. 2003

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
A Framework for Classifying and Comparing Web Services Procurement Platforms. Comunicación en congreso. Web Services Quality Workshop. 2003. Firsts Web Services Quality Workshop. 37. 46

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
A Knowledge Extraction Process Specification for Today's Non-Semantic Web. Comunicación en congreso. IEEE/Wic International Conference on Intelligent Agent Technology . Halifax, Canada. 2003. 2003 IEEE/Wic International Conference on Web Intelligence. 61. 68

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, David, Peña Siles, Joaquín, Toro Bonilla, Miguel:
Knowledge Channels. Bringing the Knowledge on the Web to Software Agents. Comunicación en congreso. Advanced Information Systems Engineering: 15th International Conference. Klagenfurt/Velden, Austria. 2003. Caise'03 Forum. 161. 164

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
An Integrated Framework for Simulation-Based Sofware Process Improvement. Comunicación en congreso. International Workshop on Software Process Simulation Modeling. Portland, or, USA. 2003. 4th. International Workshop on Software Process Simulation Modeling. Prosim'03. 11. 22

Márquez Hernández, Antonio Ángel, Del Valle Sevillano, Carmelo, Gómez López, Mª Teresa, Toro Bonilla, Miguel:
Cb2: un Algoritmo Basado en Restricciones para la Selección Óptima de Secuencias de Ensamblaje. Comunicación en congreso. Asociación Española para la Inteligencia Artificial. Conferencia. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 27. 30

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Escalona Cuaresma, María José:
Desacoplando Clases Navegacionales de Clases Conceptuales. Comunicación en congreso. III Jornadas de Trabajo Dolmen. 2002. Actas de las III Jornadas de Trabajo Dolmen. 21. 26

Reina Quintero, Antonia María, Torres Valderrama, Jesús, Toro Bonilla, Miguel, Escalona Cuaresma, María José:
Caracterizando el Aspecto de Navegación. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. 2002. Actas del Taller en Sistemas Hipermedia Colaborativos y Adaptativos. 57. 66

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
An Algorithm for Ensuring Fairness and Liveness in Non¿Deterministic Systems Based on Multiparty Interactions. Ponencia en Congreso. Euro-Par 2002: Parallel Procesing. Paderborn, Alemania. 2002. Euro-Par 2002: Parallel Processing. 563. 572

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
An Order-Based, Distributed Algorithm for Implementig Multiparty Interactions. Comunicación en congreso. Coordination'02. York, United Kingdom. 2002. Proceedings of the 5th International Conference Coordination 2002. 250. 257

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
A Constraint-Based Methodology for Software Diagnosis. Comunicación en congreso. CP 2002, 8th International Conference on Principles and Practice of Constraint Programming. Ithaca. 2002. Constraints in Formal Verification Wokshop. 30. 38

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Software Usando Técnicas Max-CSP. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Toro Bonilla, Miguel:
Diagnosis Basada en Modelos para la Depuración de Software Mediante Técnicas Simbólicas. Comunicación en congreso. Jornadas Arca Sistemas Cualitativos y Diagnosis. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 23. 32

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Marco Dinámico Integrado para la Mejora de los Procesos Software. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002. Actas VII Jornadas de Ingeniería del Software y Bases de Datos. 293. 302

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Software Process Improvement Achievement Through Process Simulation. Comunicación en congreso. International Conference of Software Quality Management. Limerick (Irlanda). 2002. X International Conference on Software Quality Management. Sqm2002. 27. 41

Ruiz Carreira, Mercedes, Ramos Román, Isabel, Toro Bonilla, Miguel:
Improving Software Process Maturity Through Dynamic Modeling and Simulation. Comunicación en congreso. Congreso Internacional de Ingeniería de Proyectos. 2002. Actas: VI Congreso Internacional de Proyectos de Ingeniería. 188. 188

Ramos Román, Isabel, Toro Bonilla, Miguel:
Integrating Dynamic Models for Cmm-Based Software Process Improvement. Comunicación en congreso. International Conference on Product Focused Software Process Improvement. Rovaniemi, Finlandia. 2002. Product Focused Software Process Improvement. 63. 77

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Adapting Design Types to Communication Media and Middleware Environments. Comunicación en congreso. Workshop on Integration and Transformation of UML Models. , Málaga, España. 2002. Object-Oriented Technology. ECOOP 2002 Workshop Reader. 184. 191

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Comunicación en congreso. Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. El Escorial, España. 2002. Actas del Primer Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. 97. 105

Pérez Castellanos, José Antonio, Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel:
An Enablement Detection Algorithm for Open Multiparty Interactions. Comunicación en congreso. ACM Symposium on Applied Computing. Madrid. Spain. 2002. Proceedings of the 2002 ACM Symposium on Applied Computing. 378. 384

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador, Toro Bonilla, Miguel:
Automated Negotiation of Quality Requirements. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002. Actas VII Jornadas de Ingeniería del Software y Bases de Datos. 117. 126

Ruiz Cortés, Antonio, Durán Toro, Amador, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements. Comunicación en congreso. Workshop en Ingeniería de Requisitos. Valencia, España. 2002. Proceedings of V Workshop on Requirements Engineering, Wer. 299. 314

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Un Entorno de Administración y Ejecución de Sistemas Multiorganizacionales Basado en la Web. Ponencia en Taller de trabajo. Web Engineering Webe'02. San Lorenzo del Escorial, Madrid. 2002. Web Engineering Webe'02. 0. 0

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Assisting the Requirements Verifier With XML Technology. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Madrid (España). 2002

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Supporting Requirements Verification Using XSLT. Comunicación en congreso. IEEE Joint International Requirements Engineering Conference. Essen, Alemania. 2002. IEEE Joint International Requirements Engineering Conference. 165. 174

Durán Toro, Amador, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Implementing Automatic Quality Verification of Requirements With XML and XSLT. Comunicación en congreso. International Workshop on Quantitative Approaches in Object-Oriented Software Engineering. , Málaga, España. 2002. The VI International Worshop on Quantitative Approaches in Object-Oriented Software Engineering. 1. 14

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Implementing Requirements Verification Heuristics With XML and XSLT. Comunicación en congreso. Acis International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. 2002. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. 91. 98

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Applying XML Technologies in Requirements Verification. Comunicación en congreso. Workshop Iberoamerica de Ingeniería de Requisitos y Ambientes Software. La Habana, Cuba. 2002. Memorias V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. 293. 304

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
The Tabbed Hierarchy User Interface Design Pattern. Comunicación en congreso. Workshop Iberoamerica de Ingeniería de Requisitos y Ambientes Software. La Habana, Cuba. 2002. Memorias V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. 417. 420

Valle Sevillano, Carmelo del, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
A model for assembly sequence planning in a multirobot environment. Ponencia en Congreso. International Federation of Automatic Control. World Congress. 2002. 15th Triennial World Congress of the International Federation of Automatic Control. CD. ROM

Valle Sevillano, Carmelo del, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
A Clp Approach for Assembly Sequence Planning. Ponencia en Congreso. Third International Naiso Symposium on Engineering of Intelligent Systems. Malaga (España). 2002. Third International Naiso Symposium on Engineering of Intelligent Systems - EIS 2002. 100030-04-CD-080

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
A Practical Agent-Based Method to Extract Semantic Information from the Web. Comunicación en congreso. Advanced Information Systems Engineering, 14th International Conference, Caise 2002. Toronto, Canada. 2002. Advanced Information Systems Engineering, 14th International Conference, Caise 2002, Toronto, Canada, May 27-31, 2002, Proceedings. 697. 700

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Automatic Extraction of Information from the Web. Comunicación en congreso. Workshop Iberoamerica de Ingeniería de Requisitos y Ambientes Software. La Habana, Cuba. 2002. Memorias V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. 25. 35

Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Automatic Extraction of Semantically-Meaningful Information from the Web. Comunicación en congreso. Workshop on Personalization Techniques in Electronic Publishing. , Málaga, España. 2002. Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings. 24. 35

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús:
A Semiquantitative Approach to Study Semiqualitative Systems. Conferencia Congreso no publicada. Iberamia. 2002

Cuberos, Francisco J., Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
QSI - Qualitative Similarity Index. Comunicación en congreso. Jornadas Arca. Vilanova y la Geltru- Barcelona. 2002

Juan M. Cordero, González Romano, José Mariano, Toro Bonilla, Miguel:
La Asignatura de Diseño de Interfaces Hombre-Máquina de la E.T.S. Ingeniería Informática de Sevilla. Comunicación en congreso. Congreso Internacional de Interacción Persona-Ordenador. Leganés, España. 2002. Actas del III Congreso Internacional de Interacción Persona-Ordenador. 311. 314

González Romano, José Mariano, Fernández Camacho, Eduardo, Gomez Ortega, Juan, Toro Bonilla, Miguel:
Interacción en Lenguaje Natural con Robots Móviles. Ponencia en Congreso. 2º Congreso Internacional de Interacción Persona-Ordenador. Salamanca, Salamanca. 2001. Proceedings of the Interaccion 2001. 375. 380

Corchuelo Gil, Rafael, Aguilar Ruiz, Jesus Salvador, Arjona Fernández, Jose Luis, Toro Bonilla, Miguel, Riquelme Santos, José Cristóbal:
Orientando a Aspectos la Captura de Datos de Internet para Activar Reglas de Decisión de Agentes Web. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. VI Jornadas de Ingenieria del Software y Base de Datos. 113. 128

Valle Sevillano, Carmelo del, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Combinación de Heuristicas para la selecciónóptima de secuencias de embalaje. Poster en Congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Gijón, España. 2001. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. 795. 804

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
An Approach Towards Automatic Management of Architectural Alternatives. Ponencia en Congreso. Zoco: Metodos y Herramientas de Desarrollo de Aplicaciones de Comercio Electronico. Proyecto Geozoco. Almagro, Ciudad Real (España). 2001. Actas de las I Jornadas Zoco. 29. 42

Riquelme Santos, José Cristóbal, Ramos Román, Isabel, Aguilar Ruiz, Jesus Salvador, Ferrer Troyano, Francisco Javier, Toro Bonilla, Miguel:
Segesoft: Entorno de Entrenamiento para la Gestion de Proyectos Software. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. VI Jornadas de Ingenieria del Software y Base de Datos. 131. 144

Valle Sevillano, Carmelo del, Toro Bonilla, Miguel, Martínez Gasca, Rafael:
Un Modelo CSP para la Seleccion de Secuencias Optimas de Ensamblaje. Comunicación en congreso. Taller de Razonamiento Temporal, Espacial y Planificacion. Gijon (España). 2001. Actas del V Taller de Razonamiento Temporal, Espacial y Planificacion (Tarrat 2001). Raz2-1. Raz2-10

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
An Approach for Reasoning About Semiqualitative Models With Explicit Constraints. Comunicación en congreso. International Workshop on Qualitative Reasoning. San Antonio (Estados Unidos). 2001. Proceedings of the 15th International Workshop on Qualitative Reasoning- Qr2001. 113. 120

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel, De la Rosa Troyano, Fco Fernando:
Diagnosis Dirigida Por Restricciones Simbolicas para Modelos Polinomicos. Comunicación en congreso. Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Sevilla (España). 2001. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. 71. 78

Martín Díaz, Octavio, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Una Aproximacion a la Evaluacion Automatica de Alternativas de Diseño. Ponencia en Taller de trabajo. Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. Almagro, Ciudad Real, España. 2001. Actas del Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. 0. 0

Ramos Román, Isabel, Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Ferrer Troyano, Francisco Javier, Toro Bonilla, Miguel:
Integracion de Informacion en un Entorno de Entrenamiento para la Gestion de Proyectos Software. Comunicación en congreso. Jornadas Sobre Innovacion y Calidad del Software. Madrid (España). 2001. Libro de Ponencias de Jics 2001. 79. 90

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Sincronizacion Multiproceso en Programas Concurrentes: Seleccion Completamente K-Justa de Interacciones. Comunicación en congreso. Jornadas Sobre Programación y Lenguajes. Almagro, Ciudad Real, España. 2001. I Jornadas Sobre Programación y Lenguajes. 279. 294

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Una Nueva Nocion de Seleccion de Interacciones. Comunicación en congreso. Simposio en Informática y Telecomunicación. A Coruña, España. 2001. Actas del Simposio en Informática y Telecomunicación. 389. 401

Ruiz Cortés, Antonio, Durán Toro, Amador, Corchuelo Gil, Rafael, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel:
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. Comunicación en congreso. Workshop on Requirements Engineering. Buenos Aires, Argentina. 2001. Proceedings of the IV Workshop on Requirements Engineering. 195. 201

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Aplicación de Técnicas de Satisfacción de Restricciones al Desarrollo de Aplicaciones Web Sensibles a la Calidad. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Gijón, España. 2001. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. 531. 540

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Durán Toro, Amador, Toro Bonilla, Miguel:
Automated Support for Quality Requirements in Web-Service-Based Systems. Comunicación en congreso. Workshop on Future Trends of Distributed Computing Systems. Bologna, Italia. 2001. Proceedings of the VIII Workshop on Future Trends of Distributed Computing Systems. 48. 55

Ruiz Cortés, Antonio, Durán Toro, Amador, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios Web. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. VI Jornadas de Ingenieria del Software y Base de Datos. 615. 629

Ruiz Cortés, Antonio, Durán Toro, Amador, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Tratamiento Automático de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en la Web. Comunicación en congreso. Jornadas de Ingeniería de Requisitos Aplicada. Santander (ESPAÑA). 2001. Actas de las Jornadas de Ingeniería de Requisitos Aplicada. 37. 52

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications. Comunicación en congreso. Workshop on Requirements Engineering. Buenos Aires, Argentina. 2001. Proceedings of the IV Workshop on Requirements Engineering. 181. 194

Durán Toro, Amador, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
An Automated Approach for Verification of Software Requirements. Comunicación en congreso. Jornadas de Ingeniería de Requisitos Aplicada. Santander (ESPAÑA). 2001. Actas de las Jornadas de Ingeniería de Requisitos Aplicada. 99. 110

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Towards an Automatic Method for Detecting Synchrony Loosening Anomalies in the Context of Multiparty Interactions. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. Taller Software Preciso. VI Jornadas de Ingeniería del Software y Bases de Datos Jisbd'01. 1. 12

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
A Framework for Aspect-Oriented Multiparty Coordination. Comunicación en congreso. Distributed Applications and Interoperable System. Kraków, Poland. 2001. New Developments in Distributed Applications and Interoperable Systems. 161. 174

Garcia Robles, María del Rocio, Toro Bonilla, Miguel, Torres, Jesús:
Lifelong Learning Can Be Promoted by the Use of Metadata Technology. Poster en Congreso. Internacional Conference Alt-C . Oxford, Reino Unido. 2001. 8th Internacional Conference Alt-C 2001. 190. 190

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
An Application Framework for the Execution of the UML/Ocl Models. Comunicación en congreso. Jornadas de Trabajo Menhir. Granada. 2000. Actas de las V Jornadas de Trabajo Menhir. 60. 72

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Primeros Pasos Hacia un Compilador de UML/Ocl. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, Jisdb'2000. Valladolid (España). 2000

Ramos Román, Isabel, Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
A New Method for Obtaining Software Project Management Rules. Comunicación en congreso. Software Quality Management. Greenwich. 2000. Approaches to Quality Management. 149. 160

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Searching for Similar Semiqualitative Temporal Patterns in Time-Series Databases. Ponencia en Congreso. International Workshop on Qualitative Reasoning. Michocan (Mexico). 2000. Proceedings of the 14th International Workshop on Qualitative Reasoning. 111. 122

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Martín Díaz, Octavio, Durán Toro, Amador, Toro Bonilla, Miguel:
Addressing Interoperability in Multi-Organisational Web-Based Systems. Ponencia en Congreso. European Conference on Object-Oriented Programming Workshop on Object Interoperability. Shopia Antipolis, Francia. 2000. New Issues in Object Interoperability: Proceedings of the Second International Workshop on Object Interoperability. (Woi'00). 87. 96

González Romano, José Mariano, Juan M. Cordero, Toro Bonilla, Miguel:
Curso de Diseño y Desarrollo de Sistemas Interactivos Multimedia. Comunicación en congreso. Jornadas de Interacción Persona-Ordenador. 2000. Interacción 2000: I Jornadas de Interacción Persona-Ordenador. 0. 0

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Data Set Editing by Ordered Projection. Comunicación en congreso. Biennial European Conference on Artificial Intelligence. Amsterdam (Holanda). 2000. Proceedings of the XIV Biennial European Conference on Artificial Intelligence. 251. 256

Ruiz Cortés, David, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Un Algoritmo Descentralizado de Seleccion Justa de Interacciones Entre Multiples Participantes. Comunicación en congreso. Simposio Español de Informatica Distribuida. Orense, España. 2000. Libro de Actas: Simposio Español de Informática Distribuida. 0. 10

Durán Toro, Amador, Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Identificacion de Patrones de Reutilizacion de Requisitos de Sistemas de Informacion. Comunicación en congreso. Workshop de Enganharia de Requisitos. Malaga, España. 2000. Proceedings of the III Workshop de Enganharia de Requisitos. 230. 241

Peña Siles, Joaquín, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, Ferrer Troyano, Francisco Javier, Toro Bonilla, Miguel:
Una Aproximacion al Desarrollo de Software Basada en el Prototipado Arquitectonico. Ponencia en Congreso. Jornadas de Ingeniería del Software y Bases de Datos, Jisdb'2000. Valladolid (España). 2000

Toro Bonilla, Miguel:
An Integrated Framework for Simulated-Based Software Process Improvement. Comunicación en congreso. Software Process Simulation and Modelling. Londres. 2000. Software Process Simulation and Modelling. 11. 18

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Semiqualitative Temporal Patterns in Time-Series Databases. Comunicación en congreso. Current Trends in Qualitative Reasoning and Aplications. 2000. Current Trends in Qualitative Reasoning and Applications. 2000 Edition. 11. 20

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Torres Valderrama, Jesús:
Using Constraint Programming Framework for Semicualitative Reasoning. Comunicación en congreso. Current Trends in Qualitative Reasoning and Aplications. 2000. Current Trends in Qualitative Reasoning and Applications. 2000 Edition. 75. 86

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel, Torres Valderrama, Jesús, González Romano, José Mariano:
Estudio de Sistemas Semicualitativos con Restricciones. Aplicación a un Modelo Logístico con Restraso. Comunicación en congreso. Jornadas de Trabajo Sobre Metodologias Cualitativas Aplicadas a los Sistemas Socioeconómicos. Facultad de Ciencias Económicas y Empresariales de Sevilla. 2000

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel, Galán Morillo, Francisco José:
Optimización en Modelos que Integran Conocimiento Cualitativo y Cuantitativo. Comunicación en congreso. Jornadas de Trabajo Sobre Metodologias Cualitativas Aplicadas a los Sistemas Socioeconómicos. Facultad de Ciencias Económicas y Empresariales de Sevilla. 2000

Troyano Jiménez, José A., Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Generalización: Herencia y Criterio. Comunicación en congreso. Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. San Jose, Costa Rica. 1999. Actas de las II Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. 181. 192

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
A Semicualitative Methodology for Reasoning About Dynamic Systems. Comunicación en congreso. International Workshop on Qualitative Reasoning. Loch Awe, Escocia. 1999. The Thirteenth International Workshop on Qualitative Reasoning Qr-99. 169. 177

Juan M. Cordero, Toro Bonilla, Miguel:
Red de Interacción. Comunicación en congreso. Journees Détudes Comparatives Franco- Hispano- Italiannes. Torremolinos (España). 1999. Actas del Simposio Español de Informatica Distribuida. 0. 4

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Interpretación Ejecutable de Modelos Estructurales UML Enriquecidos con Restricciones. Comunicación en congreso. Ideas. Costa Rica. 1999. Ideas 99. 241. 253

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Software Specification: a Balanced Approach. Comunicación en congreso. International Conference on Information System Development. Florida, EEUU. 1999. Proceeding of the V International Conference on Information System Development. 314. 322

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
A Proposal for the Formalization of the Ocl Language Based on Algebraic Specifications. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 69. 75

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Specification: a Balanced Approach. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 75. 80

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Filling the GAP Between Specification and Implementation of Software Systems by an Executable Code Generator of UML/Ocl. Comunicación en congreso. International Conference of Software & System Engineering and Their Applications. París, France. 1999. Proceedings of XII International Conference of Software & System Engineering and Their Applications. S2.1. S2.15

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Ruiz Cortés, Antonio:
Una Propuesta Metodologica para la Recoleccion de Requisitos de un Sistema Software. Ponencia en Congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. Actas de las III Jornadas de Trabajo Menhir. 37. 48

Juan M. Cordero, Toro Bonilla, Miguel:
A Components Model to Dynamic Open Systems Based on Interaction-Nets. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 0. 6

Juan M. Cordero, Toro Bonilla, Miguel:
A Components Model Based on Interaction-Nets. Comunicación en congreso. International Conference on Information Systems, Analysis and Synthesis. Orlando, Florida. 1999. International Conference on Information Systems, Analysis and Synthesis. 0. 5

Troyano Jiménez, José A., Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Generalizacion: Herencia y Criterio. Comunicación en congreso. Ideas. Costa Rica. 1999. Ideas 99. 181. 192

Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel, Arjona Fernández, Jose Luis:
Prototyping Ipc on a Network Computer. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 41. 45

Ruiz Cortés, David, Corchuelo Gil, Rafael, Toro Bonilla, Miguel, Durán Toro, Amador, Arjona Fernández, Jose Luis:
Implementacion de Interacciones Entre Multiples Participantes Sobre una Maquina Virtual en Red. Comunicación en congreso. Journees Détudes Comparatives Franco- Hispano- Italiannes. Torremolinos (España). 1999. Actas del Simposio Español de Informatica Distribuida. 183. 193

Corchuelo Gil, Rafael, Martín Díaz, Octavio, Toro Bonilla, Miguel, Ruiz Cortés, Antonio:
Weak Fairness in the Context of Constraint-Based Multiparty Interactions. Comunicación en congreso. Journees Détudes Comparatives Franco- Hispano- Italiannes. Torremolinos (España). 1999. Actas del Simposio Español de Informatica Distribuida. 99. 107

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Behaviours Patterns of Semiqualitative Dynamic Systems by Means of Qualitative Simulatins. Comunicación en congreso. International Joint Conference on Artificial Intelligence - Workshop Qualitative and Model Based Reasoning for Complex Systems and Their Control. Estocolmo (Suecia). 1999. XVI International Joint Conference on Artificial Intelligence - Workshop Qualitative and Model Based Reasoning for Complex Systems and Their Control. 115. 124

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Metodologia Semicualitativa para Razonar Sobre Sistemas Dinamicos con Conocimiento Cualitativo. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. III Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Murcia, España. 1999. Actas de la VIII Conferencia de la Asociación Española para la Inteligencia Artificial. 115. 124

Prieto, J.M., Arjona Fernández, Jose Luis, Corchuelo Gil, Rafael, Toro Bonilla, Miguel, Ruiz Cortés, David:
A Symbolic Portable Debugger for Compilers That Generate C Code. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. III Imacs/IEEE Cscc'99. 3501. 3506

Corchuelo Gil, Rafael, Ruiz Cortés, David, Toro Bonilla, Miguel, Arjona Fernández, Jose Luis, Prieto, J.M.:
A Distributed Solution to Synchronous Multiparty Interaction. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. III Imacs/IEEE Cscc'99. 3511. 3516

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel, Corchuelo Gil, Rafael, Durán Toro, Amador:
Object Oriented Specification Based on Restrictions: Participation and Interaction. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. III Imacs/IEEE Cscc'99. 6441. 6445

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Corchuelo Gil, Rafael, Ruiz Cortés, Antonio, et. al.:
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. III Imacs/IEEE Cscc'99. 3531. 3536

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
A Requirements Elicitation Approach Based in Templates and Patterns. Ponencia en Congreso. Wer. Buenos Aires (Argentina). 1999. Wer. 17. 29

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Ruiz Cortés, Antonio:
An Object-Oriented Model and a Case Tool for Software Requirements Management and Documentation. Ponencia en Congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 6. 10

Durán Toro, Amador, Bernárdez Jiménez, Beatriz, Toro Bonilla, Miguel, Ruiz Cortés, Antonio:
Elicitacion de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. Ponencia en Congreso. Jornadas de Ingeniería del Software y Bases de Datos, JISBD 99. Cáceres, España. 1999

Martín Díaz, Octavio, Torres Valderrama, Jesús, Durán Toro, Amador, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Semantica Formal de Asociaciones y Agregados para su Implementacion con Reglas Activas. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, JISBD 99. Cáceres, España. 1999. IV Jornadas de Ingeniería del Software y Bases de Datos, JISBD’99. 55. 56

Valle Sevillano, Carmelo del, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Búsqueda de secuencias óptimas de montaje mediante programación lógica con restricciones. Ponencia en Congreso. Tarrat 1999. Murcia (España). 1999. Actas Tarrat'99. 31. 39

Ruiz Cortés, Antonio, Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Durán Toro, Amador, Toro Bonilla, Miguel:
An Aspect-Oriented Approach Based on Multiparty Interactions to Specifying the Behaviour of a System. Ponencia en Congreso. Workshop on Object-Oriented Approach Based on Multiparty Interactions to Specifying the Behaviours. París (Francia). 1999. Pli'99. 1. 10

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Three Geometric Approaches for Representing Decision Rules in a Supervised Learning System. Ponencia en Congreso. Genetic and Evolutionary Computation Conference. Orlando, EEUU. 1999. Proceedings of the Genetic and Evolutionary Computation Conference. 771. 771

Ridao Carlini, Miguel Angel, Riquelme Santos, José Cristóbal, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Automatic Generation of Collision-Free Programs for Multiple manipulators using evolutive algorithms. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. Proceedings of the III Imacs/IEEE Cscc'99. 239. 244

Riquelme Santos, José Cristóbal, Aguilar Ruiz, Jesus Salvador, Toro Bonilla, Miguel:
A Decision Queue Based on Genetic Algorithms: Axis-Parallel Classifier Versus Rotated Byperboxes. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. Atenas (Grecia). 1999. III Imacs/IEEE Cscc'99. 123. 128

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Simulación Semicualitativa. Comunicación en congreso. Journees Détudes Comparatives Franco- Hispano- Italiannes. Torremolinos (España). 1999

Juan M. Cordero, Toro Bonilla, Miguel:
A Components Model Based on Interaction-Nets. Ponencia en Congreso. Omer Workshop. Herrsching, Ammersee, Alemania. 1999. Omer Workshop. 43. 47

Corchuelo Gil, Rafael, Ruiz Cortés, David, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Implementing Multiparty Interactions on a Network Computer. Ponencia en Congreso. Euromicro Conference. Milan. 1999. Euromicro'99. 2458. 2465

Corchuelo Gil, Rafael, Martín Díaz, Octavio, Ruiz Cortés, David, Toro Bonilla, Miguel, Prieto, J.M., et. al.:
Selección Justa, Optimación y Superposición en el Contexto de Tesoro. Comunicación en congreso. Jornadas de Trabajo Menhir. Murcia. 1998. III Jornadas de Trabajo Menhir. 75. 86

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Object Oriented Software Systems Defined by Logical Constructive Methods. Comunicación en congreso. Joint Conference on Declarative Programming. Coruña, España. 1998. Proceeding of the Joint Conference on Declarative Programming. 120. 136

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Generación Automática de Código desde Especificaciones UML/Ocl. Comunicación en congreso. Jornadas de Ingeniría del Software. Murcia, España. 1998. Actas de las III Jornadas de Ingeniería del Software. 399. 410

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
Towards a Code Generator for UML/Ocl System Specifications. System Model and Synthesis of Statecharts. Comunicación en congreso. Jornadas de Trabajo Menhir. Murcia. 1998. III Jornadas de Trabajo Menhir. 75. 87

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Definiendo Asociaciones Entre Clases de Objetos Mediante Restricciones. Ponencia en Congreso. Jornadas Iberoamericanas de Ingenieria de Requisitos y Ambientes Software. Torres (Brasil). 1998. Actas de las Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. 169. 180

Juan M. Cordero, Toro Bonilla, Miguel:
Eventos de Interaccion en Sistemas Graficos. Ponencia en Congreso. Jornadas de Informática Gráfica. 1998. Actas de las I Jornadas de Informática Gráfica. 71. 80

Juan M. Cordero, Toro Bonilla, Miguel:
Representacion de Modelos Digitales de Superficies. Ponencia en Congreso. Jornadas de Informática Gráfica. 1998. Actas de las I Jornadas de Informática Gráfica. 81. 90

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Obtaining Semi-Qualitative Behaviors of Dynamical Systems by Means of Quantitative Simulations. Ponencia en Congreso. Biennial European Conference on Artificial Intelligence. Brighton (UK). 1998. Proceedings of the XIII Biennial European Conference on Artificial Intelligence. 21. 26

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Extracting Behaviors of Semiqualitative Dynamical System from Quantitative Simulations. Ponencia en Congreso. Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Gerona. 1998. Proceedings of the Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. 85. 90

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Automatic Semiqualitative Analysis and Simulation: Industrial Applications. Comunicación en congreso. Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Gerona. 1998. Proceedings of the Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. 43. 48

Toro Bonilla, Miguel:
A Review of Early-Based Parser for Tig. Ponencia en Congreso. International Conference on Industrial and Eng. Applications of Ai and Expert Systems. -. 1998. Proceedings of the 11th International Conference on Industrial and Eng. Applications of Ai and Expert Systems. 732. 738

Díaz Madrigal, Víctor Jesús, Carrillo Montero, Vicente, Toro Bonilla, Miguel:
Elementary Tree Representation. Ponencia en Congreso. Workshop on Tabulation in Parsing and Deduction. Paris (Francia). 1998. Proceedings of the I Workshop on Tabulation in Parsing and Deduction. 10. 15

Toro Bonilla, Miguel:
Analisis Sintactico de Tags Usando Analizadores Deductivos. Ponencia en Congreso. Congreso de la Sociedad Española para el Procesamiento del Lenguaje Natural. Alicante, España. 1998. Actas del XIV Congreso de la Sociedad Española para el Procesamiento del Lenguaje Natural. 126. 131

Toro Bonilla, Miguel:
Una Gramatica S-Atribuida para Tag. Ponencia en Congreso. Jornadas Científicas Andaluzas en Tecnología de la Información. Cádiz. 1998

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Especificaciones Orientadas a Objetos Basadas en Restricciones. Comunicación en congreso. Jornadas de Ingeniería del Software. San Sebastian. 1997. I Jornadas de Ingeniería del Software. 0. 0

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Prototipos y Abstracciones. Comunicación en congreso. Jornadas en Ingeniería del Software. San Sebastian, España. 1997. Actas de las II Jornadas de Ingenieria del Software. 182. 192

Riquelme Santos, José Cristóbal, Ridao Carlini, Miguel Angel, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Using Genetic Algorithm with Variable-length individuals for Planning Two Manipulators Motion. Ponencia en Congreso. International Conference on Artificial Neural Networks and Genetic Algorithms. Norwich (UK). 1997. ARTIFICIAL NEURAL NETWORKS AND GENETC ALGORITHMS - Proceedings of the International Conference in Norwich. 26. 30

Aguilar Ruiz, Jesus Salvador, Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
COGITO: un Sistema de Autoaprendizaje Basado en Algoritmos Geneticos. Comunicación en congreso. Jornadas de Informática. Puerto de Santa María (Cádiz), España. 1997. Actas III Jornadas de Informatica. 79. 88

Riquelme Santos, José Cristóbal, Aguilar Ruiz, Jesus Salvador, Toro Bonilla, Miguel:
COGITO 2.0: una Herramienta para Obtener un Clasificador Jerarquico en Aprendizaje Supervisado. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Malaga, España. 1997. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). 489. 498

Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Search and Linguistic Description of Connected Regions in Quantitative Data. Comunicación en congreso. IFAC-Ifip-Imacs Conference on Control of Industrial Systems. Belfort (Francia). 1997. IFAC-Ifip-Imacs Conference on Control of Industrial Systems. 310. 316

Troyano Jiménez, José A., Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Herencia y Conformidad de Comportamientos. Comunicación en congreso. Jornadas en Ingeniería del Software. San Sebastian, España. 1997. Actas de las II Jornadas de Ingenieria del Software. 0. 0

Corchuelo Gil, Rafael, Pérez Castellanos, José Antonio, Toro Bonilla, Miguel:
Una Experiencia Docente en la Enseñanza del Desarrollo Orientado a Objetos de Software Utilizando Herramientas Visuales. Comunicación en congreso. Jornadas Sobre la Enseñanza Universitaria de la Informática. 1997. Actas de las III Jornadas de Enseñanza Universitaria de la Informática. 463. 470

Corchuelo Gil, Rafael, Toro Bonilla, Miguel:
Abstracta/C++. Comunicación en congreso. Jornadas de Informática. Puerto de Santa Maria, Cadiz. 1997. Actas de las III Jornadas de Informática. 501. 502

Díaz Madrigal, Víctor Jesús, Toro Bonilla, Miguel:
Parsing Tags With Prolog. Comunicación en congreso. Joint Conference on Declarative Programming. Grado, Italia. 1997. Proceedings of the Joint Conference on Declarative Programming. 359. 368

Riquelme Santos, José Cristóbal, Fernández Bejarano, Francisco Javier, Gonzalez Moron,Pedro, Toro Bonilla, Miguel, Fernandez Bejarano, Francisco:
Clasificacion Simbólica Mediante Programacion Genetica. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Malaga, España. 1997. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). 571. 580

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Automatización del Análisis y Simulación de Modelos Cualitativos Mediante Restricciones. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Malaga, España. 1997. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). 85. 94

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Representación y Simulación de Modelos Integrando Conocimiento Cualitativo y Cuantitativo. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Malaga, España. 1997. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). 755. 764

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Simulación Semicualitativa Mediante Matriz de Transformación. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Malaga, España. 1997. Técnicas Cualitativas. 22. 32

C. Arevalo, Durán Toro, Amador, Toro Bonilla, Miguel:
Una aproximación formal al modelo relacional básico mediante el lenguaje de especificación Z. Ponencia en Congreso. Jornadas de Investigación y Docencia en Bases de Datos. Jornadas de Investigación y Docencia en Bases de Dato. La Coruña. 1996

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Operadores de Asociación y Agregación de Clases en un Lenguaje de Especificación Oo. Comunicación en congreso. II Jornadas de Informatica. Aluñecar, Granada, España. 1996. Actas de las II Jornadas de Informatica. 0. 0

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis Deductiva de Programas Lógicos con Tipos. Comunicación en congreso. II Jornadas de Informatica. Aluñecar, Granada, España. 1996. Actas de las II Jornadas de Informatica. 31. 41

Troyano Jiménez, José A., Toro Bonilla, Miguel:
A Technique for Distributed Systems Specification. Comunicación en congreso. Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing. San Remo, Italia. 1995. Proceedings of the 3rd Euromicro Workshop Pn Parallel and Distributed Processing. 563. 570

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis Constructiva de Programas Lógicos. Comunicación en congreso. Jornadas de Informatica. Puerto de la Cruz, Tenerife. 1995. Actas de las I Jornadas de Informática. 311. 322

Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Síntesis de Programas Lógicos: Marco Constructivo. Comunicación en congreso. Joint Conference on Declarative Programming. Marina di Vietry, Italy. 1995. Proceedings of the Joint Conference on Declarative Programming (Gulp-Prode'95). 497. 511

Ridao Carlini, Miguel Angel, Riquelme Santos, José Cristóbal, Fernández Camacho, Eduardo, Toro Bonilla, Miguel:
Coordinated Motion Planning of Manipulators by Evolution Strategies. Comunicación en congreso. International Conference on Application of Artifcial Intelligence in Engineering. Udine (Italia). 1995. Application of Artificial Intelligence in Engineering X. 245. 252

Martínez Gasca, Rafael, Ortega Ramírez, Juan A., Toro Bonilla, Miguel:
Semi-Quantitative Simulation of Dynamic Systems With Uncertain Initial Conditions. Comunicación en congreso. Modelling and Simulation Esm'95. Turquía. 1995. Society for Computer Simulation International. 266. 270

Ortega Ramírez, Juan A., Martínez Gasca, Rafael, Toro Bonilla, Miguel:
Razonamiento en Orden de Magnitud Usando Conocimiento Cualitativo y Cuantitativo. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. Alicante. 1995

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
An Object-Oriented Technique for Systems Specification. Comunicación en congreso. International Conference of Information Systems Development. Eslovenia. 1994. Proceedings of the 4th International Conference of Information Systems Development. 538. 547

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Visión Orientada a Objetos en la Especificación de Sistemas Distribuidos. Comunicación en congreso. Escuela de Verano de Informática. Albacete. 1994. IV Escuela de Verano de Informática. 0. 0

Troyano Jiménez, José A., Torres Valderrama, Jesús, Toro Bonilla, Miguel:
Especificación Orientada a Objetos desde un Enfoque Algebraico. Comunicación en congreso. Joint Conference of Declarative Programming 94. : Peníscola. 1994. Proceedings of Joint Conference of Declarative Programming. 0. 0

Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel:
Aprendizaje Mediante la Aplicación de Técnicas Fuzzy a Espacios Discretos. Comunicación en congreso. Estylf. Blanes, Gerona, España. 1994. IV Congreso de la Asociación Española Sobre Tecnologías y Lógica Fuzzy Estylf¿94. 241. 246

Torres Valderrama, Jesús, Troyano Jiménez, José A., Toro Bonilla, Miguel:
Desde un Lenguaje de Especificación Orientado a Objetos a Lotos. Comunicación en congreso. Escuela de Verano de Informática. Murcia. 1993. Actas de la XV Escuela de Verano de Informática. 0. 0

Romero Moreno, Luisa María, Toro Bonilla, Miguel:
Las Matemáticas y la Incertidumbre y Vaguedad en el Conocimiento. Comunicación en congreso. VII Jornadas Thales 93. 1993. Actas VII Jornadas Thales. 439. 444

Toro Bonilla, Miguel, Riquelme Santos, José Cristóbal, Aracil Santonja, Javier:
Classifying System Behaviour Modes by Statistical Search in the Parameter Space. Comunicación en congreso. European Simulation Multiconference. York (UK). 1992. Modelling and Simulation. 181. 185

Riquelme Santos, José Cristóbal, Toro Bonilla, Miguel, Aracil Santonja, Javier:
Sensitivity Analysis of an Energy Demand Model. Comunicación en congreso. International Symposium on System Analysis and Simulation. Berlín. 1992. Computational Systems Analysis. 263. 268

Arrabal Parrilla, Juan Jose, Romero Moreno, Luisa María, Toro Bonilla, Miguel:
Razonamiento Cualitativo Mediante la Construcción de Sistemas Dinámicos Complejos. Comunicación en congreso. Pro'de. 1992. Actas del Congreso en Programación Declarativa 1992. 364. 368

Aracil Santonja, Javier, Toro Bonilla, Miguel:
Qualitative Behavior Associated to System Dynamics Influence Diagrams. Ponencia en Congreso. International System Dynamics Conference. Utrecht. the Netherlands. 1992. 10th International System Dynamics Conference. 41. 49

Gordillo, Francisco, Toro Bonilla, Miguel, Valero, Salvador, Aracil Santonja, Javier:
Numerical Optimal Control of an Energy Demand Model. Ponencia en Congreso. Eurpean Simulation Symposium Ess92. Desdren. Germany. 1992. European Simulation Symposium (Ess92). 510. 516

Gordillo, Francisco, Toro Bonilla, Miguel, Valero, Salvador, Aracil Santonja, Javier:
Optimal Control of an Energy Demand Model. Ponencia en Congreso. Computatioal Systems Analysis Csa' 92. 1992. Computatioal Systems Analysis Csa' 92. 269. 275

Ponce Nuñez, Enrique, Toro Bonilla, Miguel, Freire Macias, Emilio:
Métodos Numéricos para el Estudio de Bifurcaciones de Órbitas Periódicas. Comunicación en congreso. VI CEDYA. 1983. VI CEDYA. 460. 464

Tesis dirigidas y co-dirigidas:

Reina Quintero, Antonia María:
Separación Avanzada de Conceptos en Entornos Web. Tesis Doctoral. 2011

Orta Cuevas, Elena:
Simulación Aplicada a la Mejora de los Procesos de Gestión de Servicios Ti. Tesis Doctoral. 2010

Cañete Valdeón, José Miguel:
Una Teoría Sobre Lenguajes y Métodos de Diseño en Ingeniería del Software. Tesis Doctoral. 2006

Cordero Valle, Juan Manuel:
Simulación Realista del Comportamiento Mecánico de Telas Utilizando el Método de Elementos Finitos. Tesis Doctoral. 2005

Serendero Sáez, Patricio:
Métodos para descubrir conocimientos en los datos. Tesis Doctoral. 2004

Ruiz Carreira, Mercedes:
Modelado y Simulación para la Mejora de los Procesos Software. Tesis Doctoral. 2003

Ruiz Cortés, Antonio:
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la Obtención Automática de Acuerdos de Nivel de Servicio en MOWS. Tesis Doctoral. 2002

Pérez Castellanos, José Antonio:
Un Framework Orientado a Aspectos para la Descripcion del Comportamiento Coordinado en Sistemas Abiertos. Aplicacion a los Sistemas Multiorganizacionales. Tesis Doctoral. 2001

Valle Sevillano, Carmelo del:
Algoritmos Heuristicos para la Seleccion de Secuencias Optimas de Ensamblaje. Tesis Doctoral. 2001

Galán Morillo, Francisco José:
Formalizaciones para Sintetizar Software Orientado a Objetos. Tesis Doctoral. 2000

Durán Toro, Amador:
Un Entorno Metodologico de Ingenieria de Requisitos para Sistemas de Informacion. Tesis Doctoral. 2000

Ortega Ramírez, Juan A.:
Patrones de Comportamiento Temporal en Modelos Semicualitativos con Restricciones. Tesis Doctoral. 2000

Díaz Madrigal, Víctor Jesús:
Gramaticas de Adjuncion de Arboles: un Enfoque Deductivo en el Analisis Sintactico. Tesis Doctoral. 2000

Corchuelo Gil, Rafael:
Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones. Aplicacion al Lenguaje Tesoro. Tesis Doctoral. 1999

Ramos Román, Isabel:
Un Nuevo Enfoque en la Gestion de Proyectosde Desarrollo de Software. Tesis Doctoral. 1999

Troyano Jiménez, José A.:
Herencia y Clasificacion en un Lenguaje de Especificacion Orientado a Objetos. Tesis Doctoral. 1998

Martínez Gasca, Rafael:
Razonamiento y Simulacion en Sistemas que Integran Conocimiento Cualitativo y Cuantitativo. Tesis Doctoral. 1998

González Romano, José Mariano:
Aplicacion del Lenguaje Natural a la Adquisicion de Conocimientos y Operacion de Sistemas Complejos. Tesis Doctoral. 1997

Torres Valderrama, Jesús:
Especificaciones Orientadas a Objetos Basadas en Restricciones. Prototipado a un Lenguaje Orientado a Procesos. Tesis Doctoral. 1997

Riquelme Santos, José Cristóbal:
Obtención de Información Cualitativa a Partir de Datos Cuantitativos: Aplicación al Análisis de Sistemas Complejos. Tesis Doctoral. 1996