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 ).
• 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 ).
• NUEVOS METODOS Y HERRAMIENTAS PARA LA AUTOMATIZACION DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRONICO ( - ).
• NUEVOS MÉTODOS Y HERRAMIENTAS PARA LA AUTOMATIZACIÓN DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRÓNICO ( TIC2000-1106-C02-01 ).
• ORGANIZACIÓN DEL CONGRESO IBEROAMERICANO DE INTELIGENCIA ARTIFICIAL IBERAMIA 2002. PROGRAMA NACIONAL: TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACION ( TIC2001-4480-E ).
• 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 ).
• TECNICAS FORMALES ORIENTADAS A OBJETOS PARA LA ESPECIFICACION DE SISTEMAS. SUBPROYECTO Nº 3 DE MENHIR ( TIC97-0593-C05-0 ).
• MENHIR ( TIC97-0593-C05-03 ).
• 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).
• Grado Software ( TIN2013-40848-R - Investigador/a).
• Semantization and Publication of Open Data to Integrate Electronic Services ( TIN2013-40848-R - Investigador/a).
• Integración de Aplicaciones y datos en la Web. ( TIN2010-21744-C02-01 - Investigador/a).
• SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES ( TIN2009-07366 - Investigador/a).
• Red sobre Calidad del Software Aplicada. Red CaSA ( TIN2010-12312-E - Investigador/a).
• RED PARA LA GESTIÓN DE LA CALIDAD DE INFORMACIÓN ( TIN2010-09809-E - Investigador/a).
• RED TEMÁTICA ESPAÑOLA DE LINKED DATA ( TIN2010-10811-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 DE INVESTIGACIÓN SOBRE INTEGRACIÓN DE APLICACIONES E INFORMACIÓN EMPRESARIAL ( TIN2010-09988-E - Investigador/a).
• METODOLOGÍA Y HERRAMIENTAS PARA LA INTEGRACIÓN DE LAS ISLAS DE DATOS AMIGABLES EN LA WEB ( TIN2007-64119 - 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).
• 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).
• METODOS DE INVESTIGACION Y FUNDAMENTOS FILOSOFICOS EN INGENIERIA DEL SOFTWARE Y SISTEMAS DE INFORMACION ( TIC2002-12378-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).
• 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).
• 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).
• RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2001-4404-E - 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
• 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
• Corchuelo-Gil, Rafael, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  ADVANCES IN BUSINESS SOLUTIONS. CATEDRAL. 2002. ISBN 84-96086-01-1
• 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, 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, 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, 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
• 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
• 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
• Peña-Siles, Joaquín, Corchuelo-Gil, Rafael, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  TOWARDS A METHODOLOGY FOR DESCRIBING COORDINATION IN MULTI-AGENT SYSTEMS. Pag. 315 - 324. En: VIII JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS 2003.. COMBOPEL. 2003. ISBN 84-688-3836-5
• Durán-Toro, Amador, Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Toro-Bonilla, Miguel:
  AN AUTOMATIC APPROACH FOR THE VERIFICATION OF SOFTWARE REQUIREMENTS USING WEB TECHNOLOGIES. Pag. 35 - 56. En: APPLYING REQUIREMENTS ENGINEERING. CATEDRAL PUBLICACIONES. 2003. ISBN 84-96086-06-2
• Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  APLICANDO LA FILOSOFÍA DE LAS CIENCIAS DE LA COMPLEJIDAD A LA INGENIERÍA DEL SOFTWARE. Pag. 97 - 105. En: MÉTODOS DE INVESTIGACIÓN Y FUNDAMENTOS FILOSÓFICOS EN INGENIERÍA DEL SOFTWARE Y SISTEMAS DE LA INFORMACIÓN. . 2003. ISBN 84-9772-064-4
• Arjona-Fernández, Jose Luis, Corchuelo-Gil, Rafael, 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
• 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
• 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
• 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
• 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
• 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
• 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:
  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
• 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
• 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
• 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
• 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-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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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:
  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
• 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
• 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
• Carrillo-Montero, Vicente, Díaz-Madrigal, Víctor Jesús, Toro-Bonilla, Miguel:
  UN MÉTODO GENERAL DE TRANSFORMACIÓN DE CFG A TAG. Pag. 201 - 208. En: ACTAS DEL XII CONGRESO DE LENGUAJES NATURALES Y LENGUAJES FORMALES. Promociones Y Publicaciones Universitarias. 1996. ISBN 84-477-0575-7
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  SEMI-QUANTITATIVE SIMULATION OF DYNAMIC SYSTEMS WITH UNCERTAIN INITIAL CONDITIONS. Pag. 266 - 270. En: MODELLING AND SIMULATION. THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL. 1995. ISBN
• 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
• 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: 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
• 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
• 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
• 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)
• García, José María, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio, Dustdar, Schahram, Toro-Bonilla, Miguel:
  Edge and Cloud Pricing for the Sharing Economy. En: IEEE Internet Computing. 2017. Vol. 21. Núm. 2. Pag. 78-84 https://doi.org/10.1109/MIC.2017.24
• Cañete-Valdeón, José Miguel, Galán-Morillo, Francisco José, Toro-Bonilla, Miguel:
  THE INTENTIONAL RELATIONSHIP OF REPRESENTATION BETWEEN THE CONSTRUCTS OF A LANGUAGE AND REALITY. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 2. Pag. 173-191
• 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
• 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
• 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
• Arjona-Fernández, Jose Luis, Corchuelo-Gil, Rafael, Ruiz-Cortés, David, Toro-Bonilla, Miguel:
  FROM WRAPPING TO KNOWLEDGE. En: IEEE Transactions on Knowledge & Data Engineering. 2007. Vol. 19. Núm. 2. Pag. 310-323
• Ruiz-Carreira, Mercedes, Ramos-Román, Isabel, Toro-Bonilla, Miguel:
  A MULTILEVEL ARCHITECTURE FOR MODULARIZATION AND REUSABILITY OF SOFTWARE PROCESS SIMULATION MODELS. En: WSEAS Transactions on Information Science and Applications. 2006. Vol. 3. Núm. 10. Pag. 1916-1922
• Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Durán-Toro, Amador, Toro-Bonilla, Miguel:
  IMPROVING THE AUTOMATIC PROCUREMENT OF WEB SERVICES USING CONSTRAINT PROGRAMMING. 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
• 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
• 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
• Pérez-Castellanos, José Antonio, Corchuelo-Gil, Rafael, Toro-Bonilla, Miguel:
  AN ORDER-BASED ALGORITHM FOR IMPLEMENTING MULTIPARTY SYNCHRONIZATION. En: Concurrency and Computation : Practice & Experience. 2004. Vol. 16. Núm. 12. Pag. 1173-1206
• Bernárdez-Jiménez, Beatriz, Durán-Toro, Amador, Toro-Bonilla, Miguel, Genero-Bocco, Marcela:
  UNA PROPUESTA PARA LA VERIFICACIÓN DE REQUISITOS BASADA EN MÉTRICAS. En: Revista de procesos y métricas de las tecnologías de la información. 2004. Vol. 1. Núm. 2. Pag. 13-24
• Ruiz-Carreira, Mercedes, Ramos-Román, Isabel, Toro-Bonilla, Miguel:
  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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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 SEMIQUANTITATIVE APPROACH TO STUDY SEMIQUALITATIVE SYSTEMS. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 303-312
• 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
• 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
• 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:
  AUTOMATIC EXTRACTION OF SEMANTICALLY-MEANINGFUL INFORMATION FROM THE WEB.. En: Lecture Notes in Computer Science. 2002. Vol. . Núm. . Pag. 24-35
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• Aguilar-Ruiz, Jesus Salvador, Riquelme-Santos, José Cristóbal, Toro-Bonilla, Miguel:
  DATA SET EDITING BY ORDERED PROJECTION. En: Intelligent Data Analysis. 2001. Vol. 5. Núm. 5. Pag. 405-417
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  DIAGNOSIS BASADA EN MODELOS POLINOMICOS USANDO TÉCNICAS SIMBOLICAS. En: Inteligencia Artificial. 2001. Vol. 11. Núm. 14. Pag. 68-77
• 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:
  COMPARACION CUALITATIVA DE SERIES TEMPORALES. INDICE CUALITATIVO DE SIMILITUD QSI. En: Computación y Sistemas. 2001. Vol. 5. Núm. 2. Pag. 96-108
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  AN OBJECT-ORIENTED APPROACH FOR LEARNING OF ALGORITHM DESIGN WITH SEQUENTIAL DEVICES AND SCHEMAS. En: Computación y Sistemas. 2001. Vol. 4. Núm. 3. Pag. 230-241
• Corchuelo-Gil, Rafael, Pérez-Castellanos, José Antonio, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
  AN EFFICIENT ALGORITHM FOR REPAIRING SYNTAX ERRORS IN A CLASS OR LR PARSERS. En: International Journal of Computer Research. 2001. Vol. 10. Núm. 3. Pag. 1005-1025
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  PROPAGACIÓN DE RESTRICCIONES INTEGRANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. En: Boletín de la A.E.P.I.A.. 1996. Vol. 96. Núm. 6. Pag. 23-30
• Gordillo, Francisco, Toro-Bonilla, Miguel, Aracil-Santonja, Javier, Riquelme-Santos, José Cristóbal:
  OPTIMAL CONTROL AND SENSITIVITY ANALYSIS OF AN ENERGY DEMAND MODEL. En: Systems Analysis Modelling Simulation. 1996. Vol. 23. Núm. . Pag. 177-196
• Díaz-Madrigal, Víctor Jesús, Toro-Bonilla, Miguel, Carrillo-Montero, Vicente:
  UN ALGORITMO DE LEXICALIZACIÓN DE CFG MEDIANTE TAGS. En: Procesamiento del Lenguaje Natural. 1996. Vol. 19. Núm. . Pag. 201-208
• Torres-Valderrama, Jesús, Troyano-Jiménez, José A., Toro-Bonilla, Miguel:
  DESDE UN LENGUAJE DE ESPECIFICACIÓN ORIENTADO A OBJETOS TESORO Y LOTOS. En: Informática y Automática. 1994. Vol. 27. Núm. 2. Pag. 22-31
• Aracil-Santonja, Javier, Toro-Bonilla, Miguel:
  QUALITATIVE ANALYSIS OF SYSTEM DYNAMICS MODELS. En: Revue internationale de systémique (Imprimé). 1991. Vol. 5. Núm. 5. Pag. 493-515
• Aracil-Santonja, Javier, Toro-Bonilla, Miguel:
  A CASE STUDY OF QUALITATIVE CHANGE IN SYSTEM DYNAMICS. En: International Journal of Systems Science. 1984. Vol. 15. Núm. 6. Pag. 575-599

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
• 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
• 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
• 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
• 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:
  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
• 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
• 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:
  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:
  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
• 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:
  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, Á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
• 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:
  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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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-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
• 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
• 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
• 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
• 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
• 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
• 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, 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
• 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
• 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
• 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
• 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
• 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
• 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, 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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, 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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:
  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
• 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:
  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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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:
  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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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 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
• 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
• 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
• 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
• 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
• 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:
  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
• 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
• 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
• Durán-Toro, Amador:
  UN ENTORNO METODOLOGICO DE INGENIERIA DE REQUISITOS PARA SISTEMAS DE INFORMACION. Tesis Doctoral. 2000
• Ortega-Ramírez, Juan A.:
  PATRONES DE COMPORTAMIENTO TEMPORAL EN MODELOS SEMICUALITATIVOS CON RESTRICCIONES. Tesis Doctoral. 2000
• 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
• Ramos-Román, Isabel:
  UN NUEVO ENFOQUE EN LA GESTION DE PROYECTOSDE DESARROLLO DE SOFTWARE. Tesis Doctoral. 1999
• Corchuelo-Gil, Rafael:
  PROTOTIPADO DE ESPECIFICACIONES DE SISTEMAS DISTRIBUIDOS BASADAS EN RESTRICCIONES. APLICACION AL LENGUAJE TESORO. Tesis Doctoral. 1999
• Troyano-Jiménez, José A.:
  HERENCIA Y CLASIFICACION EN UN LENGUAJE DE ESPECIFICACION ORIENTADO A OBJETOS. Tesis Doctoral. 1998
• Martínez-Gasca, Rafael:
  RAZONAMIENTO Y SIMULACION EN SISTEMAS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Tesis Doctoral. 1998
• González-Romano, José Mariano:
  APLICACION DEL LENGUAJE NATURAL A LA ADQUISICION DE CONOCIMIENTOS Y OPERACION DE SISTEMAS COMPLEJOS. Tesis Doctoral. 1997
• Torres-Valderrama, Jesús:
  ESPECIFICACIONES ORIENTADAS A OBJETOS BASADAS EN RESTRICCIONES. PROTOTIPADO A UN LENGUAJE ORIENTADO A PROCESOS. Tesis Doctoral. 1997
• Riquelme-Santos, José Cristóbal:
  OBTENCIÓN DE INFORMACIÓN CUALITATIVA A PARTIR DE DATOS CUANTITATIVOS: APLICACIÓN AL ANÁLISIS DE SISTEMAS COMPLEJOS. Tesis Doctoral. 1996