TORO BONILLA, MIGUEL

Perfil en ORCID: 0000-0003-2271-2765

Perfil en ResearcherID: O-1302-2015

Perfil en Scopus: 56264687600\

Perfil en Dialnet: 365724

Grupos de Investigación

• SISTEMAS INFORMATICOS

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB ( TIC2003-02737-C02-01 ).
• ORGANIZACIÓN DEL XIV CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG-2004) ( TIC2002-12636-E ).
• TÉCNICAS AVANZADAS DE PRUEBA PARA APLICACIONES BASADAS EN SERVCIOS WEB ( PCB-02-001 ).
• TÉCNICAS AVANZADAS DE PRUEBAS PARA APLICACIONES BASADAS EN SERVICIOS WEB, SUBPROYECTO DEL PROYECTO COORDINADO TÉCNICAS AVANADAS PARA EL MANTENIMIENTO ( PCB-02-001 ).
• NUEVOS MÉTODOS Y HERRAMIENTAS PARA LA AUTOMATIZACIÓN DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRÓNICO ( TIC2000-1106-C02-01 ).
• NUEVOS METODOS Y HERRAMIENTAS PARA LA AUTOMATIZACION DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRONICO ( - ).
• ORGANIZACIÓN DEL CONGRESO IBEROAMERICANO DE INTELIGENCIA ARTIFICIAL IBERAMIA 2002. PROGRAMA NACIONAL: TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACION ( TIC2001-4480-E ).
• COORDINACIÓN SOBRE RAZONAMIENTO CUALITATIVO Y ESTUDIOS INFORMÉTRICOS EN LA RED AYUDA DE ACCIONES COORDINADAS DEL III PLAN ANDALUZ DE INVESTIGACIÓN ( LJC/GGM55706 ).
• ACCIÓN COORDINADA: EVOLUCIÓN EN SISTEMAS DE COMERCIO ELECTRÓNICO ( ACC-342-TIC2001 ).
• RED DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE ( TIC-2025-E ).
• AYUDA PARA LA CREACIÓN DE UNA RED DE INVESTIGACIÓN EN INGENIERÍA DE SOFTWARE ( TIC2000-2052-E ).
• MENHIR ( TIC97-0593-C05-03 ).
• TECNICAS FORMALES ORIENTADAS A OBJETOS PARA LA ESPECIFICACION DE SISTEMAS. SUBPROYECTO Nº 3 DE MENHIR ( TIC97-0593-C05-0 ).
• REUNIONES DEL GRUPO ARCA. (AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO Y APRENDIZAJE) ( TIC98-1635-E ).
• AUTOMATIZACION DE RAZONAMIENTO CUALITATIVO EN SISTEMAS DINAMICOS COMPLEJOS ( - ).

Contratos:

• DESARROLLO DE UNA APLICACIÓN PARA EL ACCESO A LAS BASES DE DATOS DE PATRIMONIO HISTÓRICO A TRAVÉS DE INTERNET Y CREACIÓN DE UNA PUBLICACIÓN MULTIMEDIA ( A00034CM41IH ).
• GESTION DE INFRAESTRUCTURAS BASICAS DE ENTIDADES PUBLICAS ( - ).
• DISEÑO Y DESARROLLO DE UNA APLICACION PARA EL ACCESO A LA BASE DE DATOS DE PATRIMONIO HISTORICO A TRAVES DE INTERNET Y CREACION DE UNA PUBLICACION MUL ( - ).
• APLICACIONES ORIENTADAS A OBJETOS EN COMPAÑIAS ELECTRICAS: PROYECTO SARES ( - ).
• MILITARY APPLICATIONS OF SIMULATION AND TRAINING CONCEPTS BASED ON EMPIRICAL RESEARCH ( - ).
• NUEVOS MÓDULOS QUIVIR PARA EMPRESAS DE DISTRIBUCIÓN: PICKING POR VOZ EN SGA Y TPV EN JAVA ( QUIVIR ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• DESK: Ingeniería de los Datos Como Soporte a los Grafos de Conocimiento ( PID2019-105471RB-I00 - Investigador/a).
• VORTEX: Herramientas para la ciencia de los datos de la Web ( TIN2016-75394-R - Investigador/a).
• Herramientas para la Ciencia de los Datos de la Web ( TIN2016-75394-R - Investigador/a).
• Semantización y Publicación de datos Abiertos para la Integración de Servicios Electrónicos ( TIN2013-40848-R - Investigador/a).
• Semantization and Publication of Open Data to Integrate Electronic Services ( TIN2013-40848-R - Investigador/a).
• Grado Software ( TIN2013-40848-R - Investigador/a).
• Integración de Aplicaciones y datos en la Web. ( TIN2010-21744-C02-01 - Investigador/a).
• Red sobre Calidad del Software Aplicada. Red CaSA ( TIN2010-12312-E - Investigador/a).
• SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES ( TIN2009-07366 - Investigador/a).
• RED PARA LA GESTIÓN DE LA CALIDAD DE INFORMACIÓN ( TIN2010-09809-E - Investigador/a).
• INTEGRAWEB: METODOLOGÍA Y HERRAMIENTAS PARA LA INTEGRACIÓN DE ISLAS DE DATOS AMIGABLES EN LA WEB ( P07-TIC-02602 - Investigador/a).
• RED TEMÁTICA ESPAÑOLA DE LINKED DATA ( TIN2010-10811-E - Investigador/a).
• RED DE INVESTIGACIÓN SOBRE INTEGRACIÓN DE APLICACIONES E INFORMACIÓN EMPRESARIAL ( TIN2010-09988-E - Investigador/a).
• RED DE INVESTIGACIÓN SOBRE INTEGRACIÓN DE APLICACIONES E INFORMACIÓN EMPRESARIAL ( TIN2008-04718-E - Investigador/a).
• RED PARA LA PROMOCIÓN DE LA CALIDAD DE DATOS EN SISTEMAS DE INFORMACIÓN EMPRESARIAL ( TIN2008-04951-E/TIN - Investigador/a).
• METODOLOGÍA Y HERRAMIENTAS PARA LA INTEGRACIÓN DE LAS ISLAS DE DATOS AMIGABLES EN LA WEB ( TIN2007-64119 - Investigador/a).
• FÁBRICAS DE SOFTWARE PARA SISTEMAS CON ARQUITECTURA ORIENTADA A SERVICIOS WEB ( TIN2006-00472 - Investigador/a).
• ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2002-11959-E - Investigador/a).
• 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/a).
• METODOS DE INVESTIGACION Y FUNDAMENTOS FILOSOFICOS EN INGENIERIA DEL SOFTWARE Y SISTEMAS DE INFORMACION ( TIC2002-12378-E - Investigador/a).
• ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2002-11959-E - Investigador/a).
• INTERSOK- GESTIÓN DE LA INFORMACIÓN DIMENSIONAL PARA EL SEGUIMIENTO DEL PROCESO DE FABRICACIÓN Y MEJORA DE LA CALIDAD DIMENSIONAL DEL PRODUCTO ( 38 - Investigador/a).
• ACCIÓN COORDINADA (SEJ-205,SEJ-329,SEJ-246,TIC-134) ( ACC-354-SEJ-2002 - Investigador/a).
• TELECARE. A MULTI-AGENT TELESUPERVISION SYSTEM FOR ELDERLY CARE, COLABORANDO CON SKILL -CONSEJEROS DE GESTIÓN, SL ( IST-2000-27607 - Investigador/a).
• DESARROLLO DE HERRAMIENTAS BASADAS EN MODELOS SEMICUALITATIVOS PARA EL ANÁLISIS DE SISTEMAS DINÁMICOS. APLICACIÓN A LA SUPERVISIÓN, CONTROL Y PREDICCI ( DPI2000-0666-C02-02 - Investigador/a).
• RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2001-4404-E - Investigador/a).
• TECNOLOGÍA SOFTWARE ORIENTADA A AMBIENTES WEB ( WEST - Investigador/a).
• METODOLOGÍAS Y ARQUITECTURAS PARA LA DIFUSIÓN ELECTRÓNICA DE INFORMACIÓN EN LA RED ( TIC2000-1673-C06-03 - Investigador/a).
• AUTOCOD-AUTOMATIZACION DEL CONTROL DIMENSIONAL EN LA INDUSTRIA NAVAL ( 37 - Investigador/a).
• NUEVAS PERSPECTIVAS DESDE LA NEUROCIENCIA PARA LA SOCIEDAD DE LA INFORMACIÓN ( LJC/GGM - Investigador/a).
• RED TEMÁTICA EN DESARROLLO DE MÉTODOS INTERVALARES Y SUS APLICACIONES EN INGENIERÍA ( DPI2000-2615-E - Investigador/a).
• ACCIÓN COORDINADA DE ESTUDIOS INFORMÉTRICOS Y RAZONAMIENTO CUALITATIVO/CUANTITATIVO ( LJC/GGM - Investigador/a).
• AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO EN SISTEMAS DINÁMICOS COMPLEJOS ( TIC94-0282 - Investigador/a).

Contratos:

• ESMARTNET. SISTEMAS EMBEBIDOS Y OPTIMIZACIÓN DE MIDDLEWARE PARA APLICACIONES DE REDES EN TIEMPO REAL ( P61-06/E15 - Investigador/a ).
• VISUAL-IP: CREACIÓN DE CONOCIMIENTOS Y METODOLOGÍA PARA EL DESARROLLO DE SOFTWARE DE INTERACCIÓN VISUAL EN ENTORNOS IP ( PENDIENTE - Investigador/a ).
• NUEVA GENERACIÓN DE SERVICIOS WEB ( FIT-150100-2001-78 - Investigador/a ).

Ayudas:

• ESTUDIO Y DESARROLLO DE PORTALES AGRARIOS ( OTRI-2002-ENC/SECT-05 - Investigador/a ).
• Ayuda para la Creación de una Red de Investigación en Ingeniería del Software ( TIC2000-2052-E - Coordinador ).

Publicaciones

Libros:

• Álvarez-De La Concepción, Miguel Ángel, Parody-Núñez, Maria Luisa, Ortega-Rodríguez, Francisco Javier, Toro-Bonilla, Miguel, Del Valle-Sevillano, Carmelo, Fernandez-Montes-Gonzalez, Alejandro, García-Vallejo, Carlos A., Gómez-López, Mª Teresa, Gutiérrez-Rodríguez, Javier Jesús, M. Martínez-Ballesteros, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio, De La Rosa-Troyano, Fco Fernando:
  ANÁLISIS Y DISEÑO DE ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2010. ISBN 978-84-693-8232-5
• Gutiérrez-Rodríguez, Javier Jesús, Torres-Valderrama, Jesús, Toro-Bonilla, Miguel:
  LA CARRERA DE INFORMÁTICA TRAS LA UNIVERSIDAD. UNIVERSIDAD DE SEVILLA.. 2010. ISBN 978-84-693-8233-2
• Cruz-Mata, Fermin, Borrego, Diana, De Acuña-Garrido, María Dolores, Ferrer-Troyano, Francisco Javier, García-Gutiérrez, Jorge, Mateos-García, Daniel, Pontes-Balanza, Beatriz, Reina-Quintero, Antonia María, Romero-Aleta, Rafael, Romero-Moreno, Luisa María, Rubio-Escudero, Cristina, Riquelme-Santos, José Cristóbal, González-Romano, José Mariano, Toro-Bonilla, Miguel, Nepomuceno-Chamorro, Isabel De Los Angeles, Nepomuceno-Chamorro, Juan Antonio, Fernandez-Montes-Gonzalez, Alejandro, Aumaitre-Del Rey, Adolfo Antonio, Bengoa-Díaz,Alfonso:
  INTRODUCCIÓN A LA PROGRAMACIÓN I. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. ISBN 978-84-691-1856-6
• Riquelme-Santos, José Cristóbal, Borrego, Diana, De Acuña-Garrido, María Dolores, Ferrer-Troyano, Francisco Javier, García-Gutiérrez, Jorge, Mateos-García, Daniel, Pontes-Balanza, Beatriz, Reina-Quintero, Antonia María, Romero-Aleta, Rafael, Romero-Moreno, Luisa María, Rubio-Escudero, Cristina, Fernandez-Montes-Gonzalez, Alejandro, González-Romano, José Mariano, Toro-Bonilla, Miguel, Cruz-Mata, Fermin, Nepomuceno-Chamorro, Isabel De Los Angeles, Nepomuceno-Chamorro, Juan Antonio, Aumaitre-Del Rey, Adolfo Antonio, Bengoa-Díaz,Alfonso:
  INTRODUCCIÓN A LA PROGRAMACIÓN II. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. ISBN 978-84-691-1857-3
• Corchuelo-Gil, Rafael, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  ADVANCES IN BUSINESS SOLUTIONS. CATEDRAL. 2002. ISBN 84-96086-01-1
• 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. ISBN
• 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. . 2002. ISBN
• Toro-Bonilla, Miguel, Velasco-Morente, Francisco, Basulto-Santos, Jesus:
  METODOS CUALITATIVOS APLICADOS A LOS SISTEMAS SOCIOECONOMICOS. EDICIÓN DIGITAL @ TRES. 2000. ISBN 84-699-2729-9
• Toro-Bonilla, Miguel:
  CURRENT TRENDS IN QUALITATIVE REASONING AND APPLICATIONS. EDICIÓN DIGITAL @ TRES. 2000. ISBN 84-699-2786-8
• 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. ISBN
• 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. UNIVERSIDAD DE HUELVA. 1998. ISBN 84-88751-69-9
• Troyano-Jiménez, José A., Toro-Bonilla, Miguel:
  INTRODUCCIÓN A Z Y OBJECT-Z. . . ISBN

Capítulo de 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. Pag. 173 - 185. En: TRUSTHWORTHY SOFTWARE DEVELOPMENT PROCESSES. SPRINGER BERLIN. 2009. ISBN 978-3-642-01679-0
• 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. INSISOC. 2008. ISBN 978-84-612-5349-4
• 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. 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. 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. Pag. 21 - 56. En: NEW TRENDS IN SOFTWARE PROCESS MODELLING. 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. 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. Documenta Universitaria. 2005. ISBN 84-934349-1-4
• 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. IEEE COMPUTER SOCIETY PRESS. 2003. ISBN 0-7695-1932-6
• 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. IADIS PRESS. 2003. ISBN 972-98947-1-X
• 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. 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
• 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
• 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. SPRINGER-VERLAG. 2002. ISBN 3-540-43737-1
• 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. SPRINGER-VERLAG. 2002. ISBN
• 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. SPRINGER-VERLAG. 2002. ISBN
• 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. UNIVERSIDAD DE GRANADA. 2002. ISBN 84-607-4501-5
• 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. SPRINGER-VERLAG BERLIN. 2002. ISBN 3-540-43738-X
• 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:
  UNA NUEVA NOCIÓN DE SELECCIÓN DE INTERACCIONES. Pag. 389 - 402. En: SIMPOSIO EN INFORMÁTICA Y TELECOMUNICACIÓN. FUNDACIÓN DINTEL. 2001. ISBN
• 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. KLUWER ACADEMIC PUBLISHERS. 2001. ISBN 0-7923-7481-9
• Toro-Bonilla, Miguel, Galán-Morillo, Francisco José, Ortega-Ramírez, Juan A.:
  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
• Toro-Bonilla, Miguel, Torres-Valderrama, Jesús, González-Romano, José Mariano, Ortega-Ramírez, Juan A.:
  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
• 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
• 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, 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
• 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. UNIVERSIDAD DE EXTREMADURA. 2000. ISBN 84-699-2538-5
• Aguilar-Ruiz, Jesus Salvador, Riquelme-Santos, José Cristóbal, Ramos-Román, Isabel, Toro-Bonilla, Miguel:
  A NEW METHOD FOR OBTAINING SOFTWARE PROJECT MANAGEMENT RULES. Pag. 153 - 164. En: APPROACHES TO QUALITY MANAGEMENT. DESCONOCIDO. 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
• 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. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. 2000. ISBN 84-8448-065-8
• 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. Pag. 318 - 323. En: RECENT ADVANCES IN SIGNAL PROCESSING AND COMMUNICATIONS. DESCONOCIDO. 1999. ISBN
• 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. 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, Arjona-Fernández, Jose Luis:
  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). S. BARRO, N.R BROSABOA, J.M. BUSTA, F.F. RIVERA. 1999. ISBN 84-8408-060-9
• Toro-Bonilla, Miguel:
  A COMPONENTS MODEL BASED ON INTERACTION-NETS. Pag. 548 - 553. En: VIRTUAL ENGINEERING AND EMERGENT COMPUTING. INTERNATIONAL INSTITUTE OF INFORMATICS AND SYSTEMICS (IIIS). 1999. ISBN
• 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. DESCONOCIDO. 1999. ISBN
• Troyano-Jiménez, José A., Toro-Bonilla, Miguel, Torres-Valderrama, Jesús, 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. DESCONOCIDO. 1999. ISBN
• 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. DESCONOCIDO. 1999. ISBN
• 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. DESCONOCIDO. 1999. ISBN
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel:
  AUTOMATIC SEMIQUALITATIVE ANALYSIS: APPLICATION TO A BIOMETALLURGICAL SYSTEM. Pag. 321 - 329. En: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. METHODOLOGY AND TOOLS IN KNOWLEDGE-BASED SYSTEMS. DESCONOCIDO. 1998. ISBN 3-540-64582-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. Springer Verlag. 1998. ISBN 3-211-83087-1
• 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. SERVICIO DE AUTOEDICIÓN E IMPRESIÓN DE LA UNIVERSIDAD DE CÁDIZ. 1998. ISBN 84-89867-11-9
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel:
  INCLUDING QUALITATIVE KNOWLEDGE IN SEMIQUALITATIVE DYNAMICAL SYSTEMS. Pag. 329 - 335. En: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. METHODOLOGY AND TOOLS IN KNOWLEDGE-BASED SYSTEMS. DESCONOCIDO. 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.. Pag. 105 - 114. En: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. TASKS AND METHODS IN APPLIED ARTIFICIAL INTELLIGENCE. Springer Verlag. 1998. ISBN 3-540-64574-8
• Díaz-Madrigal, Víctor Jesús, Carrillo-Montero, Vicente, Toro-Bonilla, Miguel:
  A REVIEW OF EARLY-BASED PARSER FOR TIG. Pag. 732 - 738. En: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. METHODOLOGY AND TOOLS IN KNOWLEDGE-BASED SYSTEMS. DESCONOCIDO. 1998. ISBN 3-540-64582-9
• 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
• 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. COMPUTACIONAL MECHANICS PUBLICATIONS. 1995. ISBN 1-85312-417-6
• 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. THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL. 1995. ISBN
• 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. ISBN
• 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. 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. Núm. . 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. Núm. . Pag. 57-68 10.1016/j.is.2018.12.006
• del-Río-Ortega, Adela, Resinas, Manuel, Durán-Toro, Amador, Bernárdez-Jiménez, Beatriz, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  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
• 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. Núm. . Pag. 931-943 10.1016/j.knosys.2018.10.017
• 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. Núm. . Pag. 160-173 10.1016/j.simpat.2018.01.004
• 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
• 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. Vol. . Núm. . Pag. - (In press)
• 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
• 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. Núm. . Pag. 99-108
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Torres-Valderrama, Jesús, Toro-Bonilla, Miguel, González-Abril, Luis, Velasco-Morente, Francisco, Angulo-,Cecilio:
  METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. En: Computación y Sistemas. 2005. Vol. 8. Núm. 3. Pag. 231-251
• 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. En: . 2005. Vol. 14. Núm. 4. Pag. 439-467
• 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. Vol. . 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
• 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. Núm. . Pag. 568-581
• 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
• 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. Núm. . Pag. 337-344
• 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
• 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
• 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
• 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. Núm. . Pag. 1329-1336
• 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
• 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
• 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. Núm. . Pag. 91-103
• 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
• 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. Núm. . Pag. 42-53
• 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
• 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. Núm. . Pag. 63-77
• 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. Núm. . Pag. 563-572
• Ortega-Ramírez, Juan A., Cuberos-,F.J., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel, Torres-, J:
  QUALITATIVE COMPARISON OF TEMPORAL SERIES. QSI. En: . 2002. Vol. . Núm. . Pag. 121-128
• 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. Núm. . Pag. 75-87
• 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
• 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
• Galán-Morillo, Francisco José, Toro-Bonilla, Miguel:
  ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. En: Lecture Notes in Computer Science. 2002. Vol. . Núm. . Pag. 184-192
• 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. Núm. . Pag. 835-844
• 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. Núm. . Pag. 697-700
• Ceballos-Guerrero, Rafael, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel, Toro-Bonilla, Miguel:
  MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 172-181
• 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
• Ceballos-Guerrero, Rafael, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel, Toro-Bonilla, Miguel:
  MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 172-181
• 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. Vol. . Núm. . Pag. 24-35
• 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. Núm. . Pag. 250-257
• 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
• 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. Núm. . Pag. 303-312
• 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
• 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:
  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
• 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
• 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
• 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
• 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. Núm. . Pag. 6-6
• 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
• 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. Núm. . Pag. 66-75
• 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
• 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. Vol. . Núm. . Pag. 202-213
• 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. Vol. . Núm. 143. Pag. 34-37
• 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
• 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. Vol. . Núm. . Pag. 85-97
• Toro-Bonilla, Miguel, Ortega-Ramírez, Juan A.:
  ARCA: AUTOMATION OF QUALITATIVE REASONING AND APPLICATIONS. En: MONET Newsletter. 2000. Vol. 3 (I). Núm. . Pag. 8-9
• 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., Martínez-Gasca, Rafael:
  METODOLOGÍAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS Y RAZONAMIENTO CON INTERVALOS. En: Inteligencia Artificial. 2000. Vol. . Núm. 9. Pag. 45-57
• 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
• 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. Vol. . Núm. 143. Pag. 15-20
• 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. Vol. . Núm. 142. Pag. 64-68
• 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. Núm. . Pag. 59-65
• 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. Núm. . Pag. 336-346
• 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. Vol. . Núm. 133. Pag. 22-25
• 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. Núm. . Pag. 38-43
• 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
• 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. Vol. . Núm. . Pag. 126-131
• 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. Núm. . Pag. 326-336
• 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
• 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. Núm. . Pag. 201-208
• 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. Núm. . Pag. 177-196
• 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

Otra participación en Libros de Actas:

• Feito-Higueruela, Francisco Ramon, Toro-Bonilla, Miguel:
  II JORNADAS ANDALUSIES DE INFORMATICA GRAFICA. 2000. ISBN . 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
• 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
• Aguilar-Ruiz, Jesus Salvador, Ramos-Román, Isabel, Riquelme-Santos, José Cristóbal, Ferrer-Troyano, Francisco Javier, Toro-Bonilla, Miguel, Ruiz-Carreira, Mercedes:
  INTEGRATION OF INFORMATION IN A TRAINING ENVIRONMENT FOR SOFTWARE PROJECT MANAGEMENT. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE QUALITY MANAGEMENT (1.2001.LOUGHBOROUGH (UK)). LOUGHBOROUGH (UK). 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
• 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
• 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 (13) (13.2010.VALENCIA). . 2010
• 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 () (.2009.VANCOUVER, CANADA). VANCOUVER, CANADA. 2009
• 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 (2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
• 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 (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
• 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) () (7.2009.EINDHOVEN, THE NETHERLANDS). EINDHOVEN, THE NETHERLANDS. 2009
• 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 (I3E 2009) () (9.2009.NANCY, FRANCE). NANCY, FRANCE. 2009
• 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 (1) (1.2008.VALLADOLID, ESPAÑA). 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 (13.2008.GIJON, ESPAÑA). 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 (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
• 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 (CEDI 2007) (18.2007.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2007
• 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 (CEDI 2007) (18.2007.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2007
• 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 (AEWSE07) HELD WITH THE INTERNATIONAL CONFERENCE ON WEB ENGINEERING (ICWE07) (2) (2.2. COMO. ITALIA. 2007
• 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 (1) (1.2004.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2004
• 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 (9) (9.2004.MADRID). . 2004
• 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 (AOM). (5) (5.2004.LISBOA, PORTUGAL). LISBOA, PORTUGAL. 2004
• 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 (DSDM04) (1) (1.2004.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2004
• 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 (5) (5.2004.KANSAI, JAPÓN). KANSAI, JAPÓN. 2004
• 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 (WORLD AUTOMATION CONGRESS) () (.2004.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2004
• 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 (5) (5.2004.EDIMBURGO, ESCOCIA, REINO UNIDO). EDIMBURGO, ESCOCIA, REINO UNIDO. 2004
• 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
• 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 (8.2003.ALICANTE). 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 (1) (1.2003.ROMA). . 2003
• 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 (7.2003.MENORCA, ESPAÑA). MENORCA, ESPAÑA. 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 (8.2003.ALICANTE). ALICANTE. 2003
• 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 (4.2003.ALICANTE, ESPAÑA). ALICANTE, ESPAÑA. 2003
• 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 (1.2003.ALICANTE). ALICANTE. 2003
• 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 (4) (4.2003.PORTLAND, OR, USA). PORTLAND, OR, USA. 2003
• 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 () (.2003.HALIFAX, CANADA). HALIFAX, CANADA. 2003
• 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 () (.2003.DARMSTADT, ALEMANIA). DARMSTADT, ALEMANIA. 2003
• 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 (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
• 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 (CAISE 2003). () (.2003.KLAGENFURT/VELDEN, AUSTRIA). KLAGENFURT/VELDEN, AUSTRIA. 2003
• 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. () (.2003.ALGARVE. PORTUGAL). ALGARVE. PORTUGAL. 2003
• 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 (.2003.WASHINGTON D.C., USA). WASHINGTON D.C., USA. 2003
• 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 (8.2003.ALICANTE). ALICANTE. 2003
• 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 () (.2002.TORONTO, CANADA). TORONTO, CANADA. 2002
• 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 (8.2002.SEVILLA). . 2002
• 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 (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
• 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
• 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 (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
• 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 (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
• 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 (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
• 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 (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
• 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 (10.2002.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2002
• 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 (.2002.ITHACA). ITHACA. 2002
• 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
• 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 (5.2002.VALENCIA, ESPAÑA). VALENCIA, 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 (.2002.ESSEN, ALEMANIA). ESSEN, ALEMANIA. 2002
• 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 (4.2002.ROVANIEMI, FINLANDIA). ROVANIEMI, FINLANDIA. 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 (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
• 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 (.2002.MADRID. SPAIN). MADRID. SPAIN. 2002
• 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 (15.2002.BARCELONA). . 2002
• 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 (6.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
• 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 (6.2002.BARCELONA). . 2002
• 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 (8.2002.PADERBORN, ALEMANIA). PADERBORN, ALEMANIA. 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 (3.2002.LEGANÉS, ESPAÑA). LEGANÉS, ESPAÑA. 2002
• 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 (3.2002.MADRID, ESPAÑA). . 2002
• 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 (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
• 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 (.2002.YORK, UNITED KINGDOM). YORK, UNITED KINGDOM. 2002
• 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 (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
• 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 (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
• 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 (.2002.EL ESCORIAL, ESPAÑA). EL ESCORIAL, ESPAÑA. 2002
• 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
• 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 (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
• 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 (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
• 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 (3) (3.2001.KRAKÓW, POLAND). KRAKÓW, POLAND. 2001
• 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 (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
• 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 (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
• 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 (1.2001.ALMAGRO, CIUDAD REAL (ESPAÑA)). ALMAGRO, CIUDAD REAL (ESPAÑA). 2001
• 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 (8) (8.2001.OXFORD, REINO UNIDO). OXFORD, REINO UNIDO. 2001
• 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 (1.2001.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2001
• 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 (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• 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
• 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 (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• 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. (4.2001.BUENOS AIRES, ARGENTINA). BUENOS AIRES, ARGENTINA. 2001
• 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 (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• 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 (5.2001.GIJON (ESPAÑA)). GIJON (ESPAÑA). 2001
• 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 (1.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• 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. (4.2001.BUENOS AIRES, ARGENTINA). BUENOS AIRES, ARGENTINA. 2001
• 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 (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• 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 (15.2001.SAN ANTONIO (ESTADOS UNIDOS)). SAN ANTONIO (ESTADOS UNIDOS). 2001
• 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 (8.2001.BOLOGNA, ITALIA). BOLOGNA, ITALIA. 2001
• 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 (.2001.A CORUÑA, ESPAÑA). A CORUÑA, ESPAÑA. 2001
• 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 (1.2001.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2001
• 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 (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
• 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 (1.2001.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2001
• 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.SEVILLA). . 2000
• 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 (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
• 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 (14.2000.MICHOCAN (MEXICO)). MICHOCAN (MEXICO). 2000
• 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.SEVILLA). . 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 (8.2000.GREENWICH). GREENWICH. 2000
• 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 (2.2000.ORENSE, ESPAÑA). ORENSE, ESPAÑA. 2000
• 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 (3.2000.RIO DE JANEIRO (BRASIL)). MALAGA, ESPAÑA. 2000
• 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 (1.2000.GRANADA, ESPAÑA). . 2000
• 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 (14.2000.AMSTERDAM (HOLANDA)). AMSTERDAM (HOLANDA). 2000
• Toro-Bonilla, Miguel:
  AN INTEGRATED FRAMEWORK FOR SIMULATED-BASED SOFTWARE PROCESS IMPROVEMENT. Comunicación en congreso. SOFTWARE PROCESS SIMULATION AND MODELLING (.2000.LONDRES). LONDRES. 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 (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
• 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 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
• 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 (1.2000.SHOPIA ANTIPOLIS, FRANCIA). SHOPIA ANTIPOLIS, FRANCIA. 2000
• 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 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
• 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 (5.2000.GRANADA). GRANADA. 2000
• 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 (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
• 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 (5.1999.ORLANDO, FLORIDA). ORLANDO, FLORIDA. 1999
• 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
• 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 (5.1999.FLORIDA, EEUU). FLORIDA, EEUU. 1999
• 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 (4.1999.CÁCERES, ESPAÑA). CÁCERES, ESPAÑA. 1999
• 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 (8.1999.MU. MURCIA, ESPAÑA. 1999
• Durán-Toro, Amador, Bernárdez-Jiménez, Beatriz, Toro-Bonilla, Miguel, Corchuelo-Gil, Rafael, Ruiz-Cortés, Antonio, Pérez-Castellanos, José Antonio:
  EXPRESSING CUSTOMER REQUIREMENTS USING NATURAL LANGUAGE REQUIREMENTS TEMPLATES AND PATTERNS. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
• Juan M. Cordero, Toro-Bonilla, Miguel:
  A COMPONENTS MODEL BASED ON INTERACTION-NETS. Ponencia en Congreso. OMER WORKSHOP (1.1999.HERRSCHING, AMMERSEE, ALEMANIA). HERRSCHING, AMMERSEE, ALEMANIA. 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (.1999.PARÍS, FRANCE). PARÍS, FRANCE. 1999
• 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
• 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 (99.1999.COSTA RICA). COSTA RICA. 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (1.1999.PARÍS (FRANCIA)). PARÍS (FRANCIA). 1999
• 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 (GECCO) (.1999.ORLANDO, EEUU). ORLANDO, EEUU. 1999
• Troyano-Jiménez, José A., Torres-Valderrama, Jesús, Toro-Bonilla, Miguel:
  GENERALIZACION: HERENCIA Y CRITERIO. Comunicación en congreso. IDEAS (99.1999.COSTA RICA). COSTA RICA. 1999
• 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 (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (25.1999.MILAN). MILAN. 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. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
• 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 (16.1. ESTOCOLMO (SUECIA). 1999
• 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 (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (1.1999.BUENOS AIRES (ARGENTINA)). BUENOS AIRES (ARGENTINA). 1999
• 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
• 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
• Juan M. Cordero, Toro-Bonilla, Miguel:
  RED DE INTERACCIÓN. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
• 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 (13) (13.1999.LOCH AWE, ESCOCIA). LOCH AWE, ESCOCIA. 1999
• 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 (2.1999.SAN JOSE, COSTA RICA). SAN JOSE, COSTA RICA. 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 (4.1999.CÁCERES, ESPAÑA). CÁCERES, ESPAÑA. 1999
• 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
• 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 (1.1998.GERONA). GERONA. 1998
• Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Ruiz-Cortés, David, Toro-Bonilla, Miguel, Prieto-,J.M., Arjona-Fernández, Jose Luis:
  SELECCIÓN JUSTA, OPTIMACIÓN Y SUPERPOSICIÓN EN EL CONTEXTO DE TESORO. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
• 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 (11.1998.-). -. 1998
• 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 (3.1998.MURCIA). MURCIA. 1998
• 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 (3.1998.TORRES (BRASIL)). TORRES (BRASIL). 1998
• Juan M. Cordero, Toro-Bonilla, Miguel:
  EVENTOS DE INTERACCION EN SISTEMAS GRAFICOS. Ponencia en Congreso. JORNADAS DE INFORMÁTICA GRÁFICA (1.1998.GRANADA (ESPAÑA)). . 1998
• Juan M. Cordero, Toro-Bonilla, Miguel:
  REPRESENTACION DE MODELOS DIGITALES DE SUPERFICIES. Ponencia en Congreso. JORNADAS DE INFORMÁTICA GRÁFICA (1.1998.GRANADA (ESPAÑA)). . 1998
• Toro-Bonilla, Miguel:
  UNA GRAMATICA S-ATRIBUIDA PARA TAG. Ponencia en Congreso. JORNADAS CIENTÍFICAS ANDALUZAS EN TECNOLOGÍA DE LA INFORMACIÓN (3.1998.CÁDIZ). CÁDIZ. 1998
• 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 (.1998.CORUÑA, ESPAÑA). CORUÑA, ESPAÑA. 1998
• 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 (1.1998.PARIS (FRANCIA)). PARIS (FRANCIA). 1998
• 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 (13.1998.BRIGHTON (UK)). BRIGHTON (UK). 1998
• 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 (SEPLN) (14) (14.1998.ALICANTE, ESPAÑA). ALICANTE, ESPAÑA. 1998
• 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 (1.1998.GERONA). GERONA. 1998
• 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 (3.1998.MURCIA, ESPAÑA). MURCIA, ESPAÑA. 1998
• 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 (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
• 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 (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
• Corchuelo-Gil, Rafael, Toro-Bonilla, Miguel:
  ABSTRACTA/C++. Comunicación en congreso. JORNADAS DE INFORMÁTICA (.1997.PUERTO DE SANTA MARIA, CADIZ). PUERTO DE SANTA MARIA, CADIZ. 1997
• 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 (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
• 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
• 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 (3.1997.MADRID). . 1997
• 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 (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
• 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 (.1997.BELFORT (FRANCIA)). BELFORT (FRANCIA). 1997
• 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 (2.1997.SAN SEBASTIAN). SAN SEBASTIAN. 1997
• 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 (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
• 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 (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
• 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 (3.1997.PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA). PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA. 1997
• Díaz-Madrigal, Víctor Jesús, Toro-Bonilla, Miguel:
  PARSING TAGS WITH PROLOG. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.1997.GRADO, ITALIA). GRADO, ITALIA. 1997
• Galán-Morillo, Francisco José, Toro-Bonilla, Miguel:
  PROTOTIPOS Y ABSTRACCIONES. Comunicación en congreso. JORNADAS EN INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
• 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
• 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
• 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 Datos. La Coruña. 1996
• Galán-Morillo, Francisco José, Toro-Bonilla, Miguel:
  SÍNTESIS CONSTRUCTIVA DE PROGRAMAS LÓGICOS. Comunicación en congreso. JORNADAS DE INFORMATICA (1.1995.PUERTO DE LA CRUZ, TENERIFE). PUERTO DE LA CRUZ, TENERIFE. 1995
• 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 (6) (6.1995.ALICANTE). ALICANTE. 1995
• 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 (10) (10.1995.UDINE (ITALIA)). UDINE (ITALIA). 1995
• 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 () (.1995.TURQUÍA). TURQUÍA. 1995
• 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 (.1995.SAN REMO, ITALIA). SAN REMO, ITALIA. 1995
• 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 (GULP-PRODE'95) (.1995.MARINA DI VIETRY, ITALY). MARINA DI VIETRY, ITALY. 1995
• 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 (.1994.: PENÍSCOLA). : PENÍSCOLA. 1994
• 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 (.1994.BLANES, GERONA, ESPAÑA). BLANES, GERONA, ESPAÑA. 1994
• 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 (4.1994.ESLOVENIA). ESLOVENIA. 1994
• 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 (4.1994.ALBACETE). ALBACETE. 1994
• 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.SEVILLA). . 1993
• 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 (15.1993.MURCIA). MURCIA. 1993
• 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 () (.1992.YORK (UK)). YORK (UK). 1992
• Aracil-Santonja, Javier, Toro-Bonilla, Miguel:
  QUALITATIVE BEHAVIOR ASSOCIATED TO SYSTEM DYNAMICS INFLUENCE DIAGRAMS. Ponencia en Congreso. INTERNATIONAL SYSTEM DYNAMICS CONFERENCE (10) (10.1992.UTRECHT. THE NETHERLANDS). UTRECHT. THE NETHERLANDS. 1992
• 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 () (.1992.BERLÍN). BERLÍN. 1992
• 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 () (.1992.DESDREN. GERMANY). DESDREN. GERMANY. 1992
• 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.MADRID). . 1992
• 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.DESCONOCIDO). DESCONOCIDO. 1992
• 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.ZARAGOZA). . 1983

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 SERV. Tesis Doctoral. 2002
• Valle-Sevillano, Carmelo Del:
  ALGORITMOS HEURISTICOS PARA LA SELECCION DE SECUENCIAS OPTIMAS DE ENSAMBLAJE. Tesis Doctoral. 2001
• Pérez-Castellanos, José Antonio:
  UN FRAMEWORK ORIENTADO A ASPECTOS PARA LA DESCRIPCION DEL COMPORTAMIENTO COORDINADO EN SISTEMAS ABIERTOS. APLICACION A LOS SISTEMAS MULTIORGANIZACIONA. Tesis Doctoral. 2001
• Ortega-Ramírez, Juan A.:
  PATRONES DE COMPORTAMIENTO TEMPORAL EN MODELOS SEMICUALITATIVOS CON RESTRICCIONES. Tesis Doctoral. 2000
• Galán-Morillo, Francisco José:
  FORMALIZACIONES PARA SINTETIZAR SOFTWARE ORIENTADO A OBJETOS. 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
• Durán-Toro, Amador:
  UN ENTORNO METODOLOGICO DE INGENIERIA DE REQUISITOS PARA SISTEMAS DE INFORMACION. 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
• Martínez-Gasca, Rafael:
  RAZONAMIENTO Y SIMULACION EN SISTEMAS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Tesis Doctoral. 1998
• Troyano-Jiménez, José A.:
  HERENCIA Y CLASIFICACION EN UN LENGUAJE DE ESPECIFICACION ORIENTADO A OBJETOS. 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