MARTÍNEZ GASCA, RAFAEL

Perfil en ORCID: 0000-0003-2348-7424

Perfil en ResearcherID: F-5857-2015

Perfil en Scopus: 8889556900\

Perfil en Dialnet: 1316144

Grupos de Investigación

• Data-centric Computing Research Hub

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• AUTOMATIZACIÓN DE LA DETECCIÓN, DIAGNOSIS Y TOLERANCIA A FALLOS EN SISTEMAS CON INCERTIDUMBRE Y EN SISTEMAS DISTRIBUIDOS ( DPI2006-15476-C02-01 ).
• AUTOMATIZACIÓN DE LA DETECCIÓN Y DIAGNOSIS DE FALLOS DE SISTEMAS ESTÁTICOS Y DINÁMICOS USANDO CONOCIMIENTO SEMICUALITATIVO ( DPI2003-07146-C02-01 ).
• TELMEDIA .MONITORIZACIÓN Y DETECCIÓN REMOTA DE DESVIACIONES EN TERAPIAS CON TÉCNICAS INTELIGENTES ( SIN REFERENCIA ).
• 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 ).
• TELECARE. A MULTI-AGENT TELESUPERVISION SYSTEM FOR ELDERLY CARE, COLABORANDO CON SKILL -CONSEJEROS DE GESTIÓN, SL ( IST-2000-27607 ).
• COPROD-GESTIÓN DE LA INFORMACIÓN PARA EL CONTROL DE LA PRODUCCIÓN ( 47 ).
• 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 ).
• AUTOCOD-AUTOMATIZACION DEL CONTROL DIMENSIONAL EN LA INDUSTRIA NAVAL ( 37 ).
• ACCIÓN COORDINADA DE ESTUDIOS INFORMÉTRICOS Y RAZONAMIENTO CUALITATIVO/CUANTITATIVO ( LJC/GGM ).
• OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS ( P08-TIC-4095 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Enhancing Data Quality and Security for Improving Business Processes and Strategic Decisions in Cyber Physical Systems (ECLIPSE-US) ( RTI2018-094283-B-C33 - Investigador/a).
• SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES ( TIN2015-63502 - Investigador/a).
• Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances ( TIN2015-63502-C3-2-R - Investigador/a).
• TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO ( TIN2009-13714 - Investigador/a).
• Módulo de registro y procesamiento de datos - Sistema de Control y Monitorización de Señales para la generación de alarmas preventivas ( - Investigador/a).
• VICTOR- Visual Interface ConTrol Object Rules ( - Investigador/a).
• AVIOL - Asistente Virtual Interactivo: Información para la orientación laboral ( - Investigador/a).
• AVIOL - Asistente Virtual Interactivo: Información para la orientación laboral ( - Investigador/a).
• Renovación de la Red de Investigación en Bibliotecas digitales y Recuperación de Información en Textos. Red BIDI III ( TIC2005-25826-E - Investigador/a).
• ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2002-11959-E - Investigador/a).
• RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN (SCHEDULING) Y RAZONAMIENTO TEMPORAL ( TIN2004-20168-E - Investigador/a).
• ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2002-11959-E - Investigador/a).
• ACCIÓN COORDINADA (SEJ-205,SEJ-329,SEJ-246,TIC-134) ( ACC-354-SEJ-2002 - Investigador/a).
• RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN Y RAZONAMIENTO TEMPORAL ( TIC2001-4936-E - Investigador/a).
• METODOLOGÍAS Y ARQUITECTURAS PARA LA DIFUSIÓN ELECTRÓNICA DE INFORMACIÓN EN LA RED ( TIC2000-1673-C06-03 - Investigador/a).
• RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO ( DPI2001-4404-E - Investigador/a).
• RED TEMÁTICA EN DESARROLLO DE MÉTODOS INTERVALARES Y SUS APLICACIONES EN INGENIERÍA ( DPI2000-2615-E - Investigador/a).
• AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO EN SISTEMAS DINÁMICOS COMPLEJOS ( TIC94-0282 - Investigador/a).

Contratos:

• Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies ( P095-16/E08 - Investigador/a ).
• WONDER: Diseño y Desarrollo de Plataforma ciega intermodal de reposición de incidencias y reasignación de envíos para el sector logístico. ( P001-15/E08 - Investigador/a ).
• Archivo Interoperable Mediante Datos en Abierto Enlazados ( P036-11/E08 - Investigador/a ).
• Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo ( P020-14/E08 - Investigador/a ).
• Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) ( P041-07/E08 - Investigador/a ).
• AREA DE SEGURIDAD INFORMÁTICA II ( 00L-SIC - Investigador/a ).

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
• Del Valle-Sevillano, Carmelo, Fuentes-Brenes, Daniel, Varela-Vaca, Ángel Jesús, Gómez-López, Mª Teresa, García-Vallejo, Carlos A., Barba-Rodríguez, Irene, Ortega-Rodríguez, Francisco Javier, Martínez-Gasca, Rafael, De La Rosa-Troyano, Fco Fernando, Álvarez-García, Juan Antonio, Gutiérrez-Rodríguez, Javier Jesús:
  ANÁLISIS Y DISEÑO DE ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2009. ISBN 978-84-692-5206-2
• Juan M. Cordero, González-Romano, José Mariano, Martínez-Gasca, Rafael, Romero-Aleta, Rafael:
  INTRODUCCIÓN A LA PROGRAMACIÓN. ALGAIDA EDITORES. 1996. ISBN 84-7647-605-1

Capítulo de Libros:

• Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús, Ceballos-Guerrero, Rafael:
  Constraint-driven fault diagnosis. Pag. 347 - 364. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7
• Ceballos-Guerrero, Rafael, Abreu, Rui, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  Model-based software debugging. Pag. 365 - 387. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Object relational constraint databases for GIS. Pag. 1449 - 1457. En: Encyclopedia of GIS. : Springer International Publishing Switzerland. 2017. ISBN 978-3-319-17884-4
• Abad-,Pedro J., Suarez-,Antonio J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  DIAGNOSIS OF A CHOPPER CONTROLLED DC MOTOR BY BOOSTING. Pag. 568 - 575. En: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL AND AUTOMATION AND INTERNATIONAL CONFERENCE ON INTELL. IEEE COMPUTER SOCIETY PRESS. 2005. ISBN
• 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
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael, González-Abril, Luis:
  LOCALIZACIÓN DE CENTROS ATRACTIVOS Y/O REPULSIVOS CON ANÁLISIS INTERVALAR. Pag. 257 - 266. En: EL ANÁLISIS DE INTERVALOS EN ESPAÑA: DESARROLLOS, HERRAMIENTAS Y APLICACIONES. Documenta Universitaria. 2005. ISBN 84-934349-1-4
• De La Rosa-Troyano, Fco Fernando, Pozo-Hidalgo, Sergio, Casanova-,P. J., Martínez-Gasca, Rafael:
  ANÁLISIS Y VISUALIZACIÓN DE COMUNIDADES CIENTÍFICAS CON INFORMACIÓN EXTRAIDA DE LA WEB. Pag. 291 - 301. En: IX JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. DESCONOCIDA. 2004. ISBN
• Ortega-Ramírez, Juan A., Escalona-Cuaresma, María José, Torres-Valderrama, Jesús, Martínez-Gasca, Rafael, Márquez-Vázquez, José Manuel:
  REPRESENTACIÓN CUALITATIVA DEL CONOCIMIENTO: APLICACIÓN A LA GENERACIÓN AUTOMÁTICA DE ITINERARIOS CULTURALES. Pag. 73 - 79. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• Suarez-,Antonio J., Abad-Herrera, Pedro J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Suarez-Fabrega, Antonio J.:
  QUALITATIVE REASONING FOR SOFTWARE DEVELOPMENT PROJECT BY CONSTRAINT PROGRAMMING. Pag. 153 - 161. En: ENTERPRISE INFORMATION SYSTEMS III. KLUWER ACADEMIC. 2002. ISBN 1-4020-0563-6
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Ceballos-Guerrero, Rafael:
  ARQUITECTURA DE UN CRAWLER PARA EXTRAER LAS ESTRUCTURAS Y CONTENIDOS DE RECURSOS ELECTRÓNICOS. Pag. 259 - 268. En: VII JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. UNIVERSIDAD POLITÉCNICA DE MADRID. 2002. ISBN 84-688-0206-9
• 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
• Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Aguilar-Ruiz, Jesus Salvador:
  UN MODELO DE OPTIMIZACIÓN CSP PARA LA SUSTITUCIÓN DE PIEZAS DEFECTUOSAS DIAGNOSTICADAS. Pag. 49 - 58. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  LOCALIZACIÓN DE CENTROS PÚBLICOS ATRACTIVOS Y/Ó REPULSIVOS. Pag. 33 - 40. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• 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
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, González-Abril, Luis, Velasco-Morente, Francisco:
  METODOLOGÍA PARA LA REPRESENTACIÓN GRÁFICA DE RELACIONES CUALITATIVAS ENTRE CENTROS DE INTERÉS. Pag. 33 - 40. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  DIAGNOSIS PROGRESIVA EN EL TIEMPO DE SISTEMAS DINÁMICOS. Pag. 111 - 120. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  METODOLOGÍA PARA LA REPRESENTACIÓN GRÁFICA DE RELACIONES CUALITATIVAS ENTRE TÓPICOS DE INTERÉS. Pag. 41 - 48. En: SISTEMAS CUALITATIVOS Y DIAGNOSIS. EDS. J.A. ORTEGA, X. PARRA Y B. PULIDO. 2002. ISBN 84-95499-62-2
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  QUALITATIVE SIMULATION OF HUMAN RESOURCES SUBSYSTEM IN SOFTWARE DEVELOPMENT PROJECTS. Pag. 169 - 176. En: QR2002 SIXTEENTH INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING. QR. 2002. ISBN 84-95499-60-6
• Suarez-,Antonio J., Abad-,Pedro J., Martínez-Gasca, Rafael:
  QUALITATIVE REASONING FOR SOFTWARE DEVELOPMENT PROJECT BY CONSTRAINT PROGRAMMING. Pag. 481 - 488. En: THIRD INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS. ICEIS PRESS. 2001. ISBN 972-98050-2-4
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  METODOLOGÍA PARA EL ANÁLISIS VISUAL DE LA EVALUACIÓN DE CONCEPTOS EN BASE DE DATOS TEXTUALES. Pag. 207 - 221. En: II JORNADAS DE BIBLIOTECAS DIGITALES. UNIV. CASTILLA LA MANCHA: GRUPO ALARCOS. 2001. ISBN 84-699-6276-0
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  RESOLUCIÓN DE PROBLEMAS DE LOCALIZACIÓN-PRODUCCIÓN CON ALGORITMOS DE RAMIFICACIÓN Y PODA. Pag. 1 - 11. En: XXVII REUNIÓN DE ESTUDIOS REGIONALES. CAMBIOS REGIONALES EN LA UE Y NUEVOS RETOS TERRITORIALES. ASOCIACION ESPAÑOLA DE CIENCIA REGIONAL. 2001. ISBN 84-607-3322-X
• Velasco-Morente, Francisco, Chamizo-Guerra, Cristóbal, Martínez-Gasca, Rafael:
  RESOLUCION DE PROBLEMAS DE LOCALIZACION-PRODUCCION CON ARITMETICA INTERVALAR. Pag. 151 - 163. En: METODOS CUALITATIVOS APLICADOS A LOS SISTEMAS SOCIOECONOMICOS. EDICIÓN DIGITAL @ TRES. 2000. ISBN 84-699-2729-9
• 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
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  RESOLUCION DE PROBLEMAS DE LOCALIZACION-PRODUCCION CON ILOG. Pag. 402 - 409. En: MÉTODOS NUMÉRICOS EN CIENCIAS SOCIALES. EUGENIO OÑATE, FRANCISCA GARCÍA-SICILIA, LUIS RAMALLO. 2000. ISBN 84-89925-71-2
• 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
• 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
• 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
• 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
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  SEMI-QUANTITATIVE SIMULATION OF DYNAMIC SYSTEMS WITH UNCERTAIN INITIAL CONDITIONS. Pag. 266 - 270. En: MODELLING AND SIMULATION. THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL. 1995. ISBN
• Romero-Moreno, Luisa María, Arrabal-Parrilla, Juan Jose, Toro-Bonilla, Miguel, Martínez-Gasca, Rafael:
  AUTOMATIC PIECEWISE - LINEAR ANALYSIS OF QUALITATIVE MODELS WITH DELAYS. Pag. 123 - 134. En: QUALITATIVE REASONING AND DECISION TECHNOLOGIES. PIERA & SINGH. 1993. ISBN
• Martínez-Gasca, Rafael:
  OPBUS: FAULT TOLERANCE AGAINST INTEGRITY ATTACKS IN BUSINESS PROCESSES. Pag. 213 - 222. En: .. Sinónimo Desconocido. 1967. ISBN

Publicaciones en Revistas:

• Estañol, Montserrat, Varela-Vaca, Ángel Jesús, Gómez-López, Mª Teresa, Teniente, Ernest, Martínez-Gasca, Rafael:
  Reasoning on the usage control security policies over data artifact business process models. En: Computer Science and Information Systems. 2022. Vol. . Núm. . Pag. 1-26 10.2298/CSIS210217061E
• Varela-Vaca, Ángel Jesús, Garcia-Rosado, David, Sánchez, Luis Enrique, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Fernández-Medina-Patón, Eduardo:
  CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. En: Computers in Industry. 2021. Vol. 132. Núm. . Pag. 1-14 10.1016/j.compind.2021.103524
• Pérez, José Miguel, Gómez-López, Mª Teresa, Eshuis, Rik, Montali, Marco, Martínez-Gasca, Rafael:
  Verifying the manipulation of data objects according to business process and data models. En: Knowledge and Information Systems. 2020. Vol. . Núm. . Pag. - https://doi.org/10.1007/s10115-019-01431-5
• Pérez, José Miguel, Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Ceravolo, Paolo:
  Decision-making support for input data in business processes according to former instances. En: Computer Science and Information Systems. 2020. Vol. 18. Núm. . Pag. 835-865 https://doi.org/10.2298/CSIS200522051P
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Prognosis of multiple instances in time-aware declarative business process models. En: Computers in Industry. 2020. Vol. 120. Núm. 103243. Pag. - 10.1016/j.compind.2020.103243
• Varela-Vaca, Ángel Jesús, Parody-Núñez, Maria Luisa, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa:
  Automatic verification and diagnosis of security risk assessments in business process models. En: IEEE Access. 2019. Vol. 7. Núm. . Pag. 26448-26465 10.1109/ACCESS.2019.2901408
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  Business Process Configuration According to Data Dependency Specification. En: Applied Sciences. 2018. Vol. 8. Núm. 10. Pag. 1-26 https://doi.org/10.3390/app8102008
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  HYBRID BUSINESS PROCESS MODELING FOR THE OPTIMIZATION OF OUTCOME DATA. En: Information and Software Technology. 2016. Vol. 70. Núm. . Pag. 140-154 https://doi.org/10.1016/j.infsof.2015.10.007
• Borrego, Diana, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa:
  Automating correctness verification of artifact-centric business process models. En: Information and Software Technology. 2015. Vol. 62. Núm. . Pag. 187-197 10.1016/j.infsof.2015.02.010
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Pérez-álvarez, José Miguel:
  Compliance validation and diagnosis of business data constraints in business processes at runtime. En: Information Systems. 2015. Vol. 48. Núm. . Pag. 26-43 http://dx.doi.org/10.1016/j.is.2014.07.007
• Suarez-Fabrega, Antonio J., Bravo-Caro, José Manuel, Abad-Herrera, Pedro J., Martínez-Gasca, Rafael:
  Data-driven bounded-error fault detection. En: International Journal of Adaptive Control and Signal Processing. 2014. Vol. 28. Núm. 12. Pag. 1299-1324 10.1002/acs.2443
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Pérez-álvarez, José Miguel:
  Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes. En: International Journal of Cooperative Information Systems. 2014. Vol. 23. Núm. 2. Pag. - 10.1142/S0218843014500038
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Using Constraint Programming in Selection Operators for Constraint Databases. En: Expert Systems With Applications. 2014. Vol. 41. Núm. 15. Pag. 6773-6785 http://dx.doi.org/10.1016/j.eswa.2014.04.047
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Diagnosing correctness of semantic workflow models. En: Data and Knowledge Engineering. 2013. Vol. 87. Núm. . Pag. 167-184 10.1016/j.datak.2013.04.008
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  Towards the Automatic and Optimal Selection of Risk Treatments for Business Processes using a Constraint Programming Approach. En: Information and Software Technology. 2013. Vol. . Núm. . Pag. - http://dx.doi.org/10.1016/j.infsof.2013.05.007
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  Improvement of Optimization Agreements in Business Processes involving Web Services. En: IBIMA Communications. 2012. Vol. 2012. Núm. . Pag. 1-15 10.5171/2012/959796
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  CONFIDDENT: A Model-Driven Consistent and Non-Redundant Layer-3 Firewall ACL Design, Development and Maintenance Framework. En: The Journal of Systems and Software. 2012. Vol. 85. Núm. 2. Pag. 425-457 http://dx.doi.org/10.1016/j.jss.2011.09.008
• Martínez-Gasca, Rafael, Álvarez-De La Concepción, Miguel Ángel, Soria-Morillo, Luis Miguel, Parody-Núñez, Maria Luisa, M. Martínez-Ballesteros, Jiménez-Ramírez, Andrés:
  Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática. En: Revista de Enseñanza Universitaria. 2011. Vol. 1. Núm. 38. Pag. 4-26
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael, Borrego, Diana, Pozo-Hidalgo, Sergio:
  FAULT TOLERANCE FRAMEWORK USING MODEL-BASED DIAGNOSIS: TOWARDS DEPENDABLE BUSINESS PROCESSES. En: International Journal On Advances in Security. 2011. Vol. . Núm. . Pag. 11-22
• Neira-Ayuso, Pablo, Martínez-Gasca, Rafael, Laurent-,Lefèvre:
  COMMUNICATING BETWEEN THE KERNEL AND USER-SPACE IN LINUX USING NETLINK SOCKETS. En: Software: Practice & Experience. 2010. Vol. . Núm. . Pag. 797-810
• Pozo-Hidalgo, Sergio, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  MDA-BASED FRAMEWORK FOR AUTOMATIC GENERATION OF CONSISTENT FIREWALL ACLS WITH NAT. En: Lecture Notes in Computer Science. 2009. Vol. . Núm. . Pag. 130-144
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  A HEURISTIC PROCESS FOR LOCAL INCONSISTENCY DIAGNOSIS IN FIREWALL RULE SETS. En: Journal of Networks. 2009. Vol. . Núm. . Pag. 0-1
• Gómez-López, Mª Teresa, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  DEVELOPING A LABELLED OBJECT-RELATIONAL CONSTRAINT DATABASE ARCHITECTURE FOR THE PROJECTION OPERATOR. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 1. Pag. 146-172
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  MODEL BASED DEVELOPMENT OF FIREWALL RULE SETS: DIAGNOSING MODEL FAULTS. En: Information and Software Technology. 2009. Vol. 51. Núm. 5. Pag. 894-915
• De La Rosa-Troyano, Fco Fernando, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  COMPETITIVE INTELLIGENCE BASED ON SOCIAL NETWORKS FOR DECISION MAKING. En: Actas de talleres de ingeniería del software y bases de datos. 2009. Vol. 3. Núm. 1. Pag. 93-103
• Neira-Ayuso, Pablo, Martínez-Gasca, Rafael, Lefevre-,Laurent:
  DEMYSTIFYING CLUSTER-BASED FAULT-TOLERANT FIREWALLS. En: IEEE Internet Computing. 2009. Vol. 13. Núm. 6. Pag. 31-38
• Fantacci-,Romano, Neira-Ayuso, Pablo, Maccari-,Leonardo, Martínez-Gasca, Rafael:
  EFFICIENT PACKET FILTERING IN WIRELESS AD HOC NETWORKS. En: IEEE Communications Magazine. 2008. Vol. 46. Núm. 2. Pag. 104-110
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  DIAGNOSING DISTRIBUTED SYSTEMS USING ONLY STRUCTURAL AND QUALITATIVE INFORMATION. En: International Transactions on Systems Science and Applications. 2008. Vol. . Núm. . Pag. 270-276
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  AUTOMATIC EXTRACTION OF SOCIAL NETWORKS BY TOPICS OF INTEREST. En: International Journal of Computer Applications in Technology. 2008. Vol. 33. Núm. 4. Pag. 292-299
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  AFPL, AN ABSTRACT LANGUAGE MODEL FOR FIREWALL ACLS. En: Lecture Notes in Computer Science. 2008. Vol. 2. Núm. 5073. Pag. 468-483
• Martínez-Gasca, Rafael, Gómez-López, Mª Teresa, Valle-Sevillano, Carmelo Del, Ceballos-Guerrero, Rafael:
  NMUS: STRUCTURAL ANALYSIS FOR IMPROVING THEDERIVATION OF ALL MUSES IN OVERCONSTRAINED NUMERIC CSPS. En: Lecture Notes in Computer Science. 2007. Vol. . Núm. . Pag. 160-169
• Ceballos-Guerrero, Rafael, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  A COMPILED MODEL FOR FAULTS DIAGNOSIS BASED ON DIFFERENT TECHNIQUES. En: AI communications. 2007. Vol. 20. Núm. 1. Pag. 7-16
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  SISTEMAS DE INTELIGENCIA WEB BASADOS EN REDES SOCIALES. En: Redes. 2007. Vol. 12. Núm. 9. Pag. 1-30
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  EXTRACCIÓN AUTOMÁTICA DE REDES SOCIALES DIRIGIDA MEDIANTE TÓPICOS DE INTERÉS A TRAVÉS DE LA WEB. En: Actas de talleres de ingeniería del software y bases de datos. 2007. Vol. 1. Núm. 3. Pag. 1-10
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  A TOPOLOGICAL-BASED METHOD FOR ALLOCATING SENSORS BY USING CSP TECHNIQUES. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Núm. . Pag. 62-68
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Borrego, Diana:
  CONSTRAINT SATISFACTION TECHNIQUES FOR DIAGNOSING ERRORS IN DESIGN BY CONTRACT SOFTWARE. En: Software Engineering Notes. 2006. Vol. . Núm. . Pag. 41-52
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Borrego-Núñez, Diana:
  DIAGNOSING ERRORS IN DBC PROGRAMS USING CONSTRAINT PROGRAMMING. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Núm. . Pag. 200-210
• Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Barba-Rodríguez, Irene:
  IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINT SATISFACTION PROBLEMS. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Núm. . Pag. 269-279
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Gómez-López, Mª Teresa:
  INTEGRACIÓN DE TÉCNICAS BASADAS EN MODELOS PARA LA DETERMINACIÓN DE LA DIAGNOSIS MÍNIMA DE UN SISTEMA. En: Inteligencia Artificial. 2006. Vol. 10. Núm. 31. Pag. 41-51
• De La Rosa-Troyano, Fco Fernando, De La Rosa-Troyano, Fco Fernando, Gómez-López, Mª Teresa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Martínez-Gasca, Rafael:
  ANALYSIS AND VISUALIZATION OF THE DX COMMUNITY WITH INFORMATION EXTRACTED FROM THE WEB. En: Lecture Notes in Computer Science. 2005. Vol. 3588. Núm. . Pag. 726-735
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, González-Abril, Luis, Velasco-Morente, Francisco:
  ANÁLISIS DE REDES SOCIALES MEDIANTE DIAGRAMAS ESTRATÉGICOS Y ESTRUCTURALES. En: Redes. 2005. Vol. 8. Núm. . Pag. EN-EN
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, De La Rosa-Troyano, Fco Fernando:
  QUERYING A POLYNOMIAL OBJECT-RELATIONAL CONSTRAINT DATABASE IN MODEL-BASED DIAGNOSIS. En: Lecture Notes in Computer Science. 2005. Vol. 3588. Núm. . Pag. 848-857
• 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
• De La Rosa-Troyano, Fco Fernando, De La Rosa-Troyano, Fco Fernando, Gómez-López, Mª Teresa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Martínez-Gasca, Rafael:
  ANALYSIS AND VISUALIZATION OF THE DX COMMUNITY WITH INFORMATION EXTRACTED FROM THE WEB. En: Lecture Notes in Computer Science. 2005. Vol. 3588. Núm. . Pag. 726-735
• De La Rosa-Troyano, Fco Fernando, Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael:
  ANÁLISIS Y VISUALIZACION DE COMUNIDADES CIENTÍFICAS CON INFORMACIÓN EXTRAÍDA DE LA WEB. En: Revista IEEE America Latina. 2005. Vol. 3. Núm. 1. Pag. EN LÍNEA-EN LÍNEA
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Pozo-Hidalgo, Sergio:
  AN INTEGRATION OF FDI AND DX TECHNIQUES FOR DETERMINING THE MINIMAL DIAGNOSIS IN AN AUTOMATIC WAY. En: Lecture Notes in Computer Science. 2005. Vol. 3789. Núm. . Pag. 1082-1092
• González-Abril, Luis, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  A STUDY OF THE SIMILARITIES BETWEEN TOPICS. En: Computational Statistics. 2005. Vol. 20. Núm. 3. Pag. 465-479
• González-Abril, Luis, Velasco-Morente, Francisco, Martínez-Gasca, Rafael, De La Rosa-Troyano, Fco Fernando:
  ESTUDIO DE SIMILITUDES ENTRE ÁREAS TEMÁTICAS. En: Revista Española de Documentación Científica. 2005. Vol. 28. Núm. 2. Pag. 155-169
• 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
• Gómez-López, Mª Teresa, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio:
  DETERMINATION OF POSSIBLE MINIMAL CONFLICT SETS USING CONSTRAINT DATABASES TECHNOLOGY AND CLUSTERING. En: Lecture Notes in Computer Science. 2004. Vol. 3315. Núm. . Pag. 942-952
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael:
  GESTIÓN DE PROYECTOS SOFTWARE MEDIANTE MAPAS CONCEPTUALES. En: PROCEEDINGS OF THE V ADIS 2004 WORKSHOP ON DECISION SUPPORT IN SOFTWARE ENGINEERING. 2004. Vol. . Núm. . Pag. 1-10
• Gómez-López, Mª Teresa, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  APPLYING CONSTRAINT DATABASES IN THE DETERMINATION OF POTENTIAL MINIMAL CONFLICTS TO POLYNOMIAL MODEL-BASED DIAGNOSIS. En: Lecture Notes in Computer Science. 2004. Vol. 3074. Núm. . Pag. 74-87
• 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
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Ceballos-Guerrero, Rafael:
  CSP Y BASES DE DATOS RESTRICTIVAS.. En: Inteligencia Artificial. 2003. Vol. . Núm. 20. Pag. 151-163
• 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
• Escalona-Cuaresma, María José, Ortega-Ramírez, Juan A., Torres-Valderrama, Jesús, Mejías-Risoto, Manuel, Martínez-Gasca, Rafael, Álvarez-García, Juan Antonio:
  UTILIZACIÓN DE NDT Y DE LAS TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES PARA LA GENERACIÓN DE ITINERARIOS CULTURALES.. En: Computación y Sistemas. 2003. Vol. 7. Núm. 2. Pag. 76-91
• Ceballos-Guerrero, Rafael, Valle-Sevillano, Carmelo Del, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  CSP APLICADOS A LA DIAGNOSIS BASADA EN MODELOS.. En: Inteligencia Artificial. 2003. Vol. . Núm. 20. Pag. 137-150
• 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
• 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
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  LOCALIZACIÓN DE CENTROS PÚBLICOS ATRACTIVOS Y O REPULSIVOS. En: Inteligencia Artificial. 2002. Vol. . Núm. 17. Pag. 52-52
• De La Rosa-Troyano, Fco Fernando, González-Abril, Luis, Martínez-Gasca, Rafael, Velasco-Morente, Francisco:
  METODOLOGÍA PARA LA REPRESENTACIÓN GRÁFICA DE RELACIONES CUALITATIVAS ENTRE CENTROS DEINTERÉS. En: Inteligencia Artificial. 2002. Vol. . Núm. 17. Pag. 52-52
• Abad-Herrera, Pedro J., Suarez-Fabrega, Antonio J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  DIAGNOSIS DE SISTEMAS DINÁMICOS BASADA EN APRENDIZAJE SUPERVISADO OFF-LINE. En: Computación y Sistemas. 2002. Vol. 5. Núm. 3. Pag. 180-191
• Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Gómez-López, Mª Teresa:
  UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS. En: Inteligencia Artificial. 2002. Vol. VI/02. Núm. 17. Pag. 83-92
• 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
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Abad-Herrera, Pedro J., Suarez-Fabrega, Antonio J.:
  DIAGNOSIS EN FASES TEMPRANAS DE SISTEMAS DINÁMICOS. En: Computación y Sistemas. 2002. Vol. 6. Núm. 2. Pag. 116-129
• 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
• 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., 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
• 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
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  DIAGNOSIS BASADA EN MODELOS POLINOMICOS USANDO TÉCNICAS SIMBOLICAS. En: Inteligencia Artificial. 2001. Vol. 11. Núm. 14. Pag. 68-77
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel:
  COMPARACION CUALITATIVA DE SERIES TEMPORALES. INDICE CUALITATIVO DE SIMILITUD QSI. En: Computación y Sistemas. 2001. Vol. 5. Núm. 2. Pag. 96-108
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel:
  AN OBJECT-ORIENTED APPROACH FOR LEARNING OF ALGORITHM DESIGN WITH SEQUENTIAL DEVICES AND SCHEMAS. En: Computación y Sistemas. 2001. Vol. 4. Núm. 3. Pag. 230-241
• 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
• 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
• 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
• Juan M. Cordero, Escalona-Cuaresma, María José, Torres-Valderrama, Jesús, Mejías-Risoto, Manuel, Martínez-Gasca, Rafael:
  APLICACIÓN DE LO SISTEMAS DE TRATAMIENTO DE BIBLIOTECAS DIGITALES A LA GESTIÓN DEL PATRIMONIO HISTÓRICO. En: Estudios Turísticos. 2000. Vol. 1. Núm. 146. Pag. 37-46
• 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

Otra participación en Libros de Actas:

• Martínez-Gasca, Rafael, Meseguer-,Pedro, Mandow-Andaluz, Lorenzo:
  CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE - LNAI 5988. 2009. ISBN 978-3-642-14263-5. SPRINGER VERLAG BERLÍN, ALEMANIA
• Meseguer, Pedro, Mandow-Andaluz, Lorenzo, Martínez-Gasca, Rafael:
  CAEPIA-TTIA 2009. 2009. ISBN 978-84-692-6424-9. AEPIA Santander (ESPAÑA)

Aportaciones a Congresos:

• Varela-Vaca, Ángel Jesús, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Carmona-fombella, José Antonio:
  AMADEUS: towards the AutoMAteD secUrity teSting. Comunicación en congreso. 24th ACM Conference on Systems and Software Product Line. Montreal, Canada. 2020
• Varela-Vaca, Ángel Jesús, Garcia-Rosado, David, Enrique-sanchez, Luis, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Fernández-medina, Eduardo:
  4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Comunicación en congreso. 4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Surrey, Inglaterra. 2020
• Varela-Vaca, Ángel Jesús, Parody-Núñez, Maria Luisa, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa:
  Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models (Summary). Comunicación en congreso. XV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios. - Cáceres, España. 2019
• Parody-Núñez, Maria Luisa, Varela-Vaca, Ángel Jesús, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. Comunicación en congreso. 26th International Conference on Information Systems Development. Lanarca, Chipre. 2017
• Pérez, José Miguel, Gómez-López, Mª Teresa, Varela-Vaca, Ángel Jesús, De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Comunicación en congreso. Business Process Management Workshops. . 2016
• Gómez-López, Mª Teresa, Borrego, Diana, Carmona, Josep, Martínez-Gasca, Rafael:
  Computing Alignments with Constraint Programming: The Acyclic Case. Comunicación en congreso. International Workshop on Algorithms & Theories for the Analysis of Event Data. Torun, Poland. 2016
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Bermejo-manzaneque, Isabel, Caballero-múñoz-reja, Ismael, Martínez-Gasca, Rafael, Piattini, Mario:
  PAIS-DQ: EXTENDING PROCESS-AWARE INFORMATION SYSTEMS TO SUPPORT DATA QUALITY IN PAIS LIFE-CYCLE. Ponencia en Congreso. 10TH IEEE INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE. Grenoble, Francia. 2016
• Ceballos-Guerrero, Rafael, Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Hybrid Diagnosis Applied to Multiple Instances in Business Processes. Comunicación en congreso. Business Process Modeling, Development, and Support. Ljubljana, Slovenia. 2016
• Varela-Vaca, Ángel Jesús, Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  A usage control model extension for the verification of security policies in artifact-centric business process models. Comunicación en congreso. 19th international conference Business Information Systems. LEIPZIG - ALEMANIA. 2016
• Gómez-López, Mª Teresa, Pérez, José Miguel, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. Comunicación en congreso. Business Process Management Workshops. . 2016
• Pérez, José Miguel, Gómez-López, Mª Teresa, Parody-Núñez, Maria Luisa, Martínez-Gasca, Rafael:
  Process Instance Query Language to Include Process Performance Indicators in DMN. Comunicación en congreso. Enterprise Distributed Object Computing Workshop. Vienna, Austria. 2016
• Martínez-Gasca, Rafael, Suarez-Fabrega, Antonio J., Abad-Herrera, Pedro J.:
  An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th International Business Information Management Association Conference. Madrid, España. 2015
• Varela-Vaca, Ángel Jesús, Gómez-López, Mª Teresa, Jiménez-vargas, David, Martínez-Gasca, Rafael, Suarez-Fabrega, Antonio J., Abad-Herrera, Pedro J.:
  An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th international business information management association conference. . 2015
• Gómez-López, Mª Teresa, Borrego, Diana, Martínez-Gasca, Rafael:
  Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. Comunicación en congreso. 17th International Conference on Business Information Systems. Larnaca, Chipre. 2014
• 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
• Gómez-López, Mª Teresa, Parody-Núñez, Maria Luisa, Martínez-Gasca, Rafael, Rinderle-ma, Stefanie:
  Prognosing the Compliance of Declarative Business Processes using Event Trace Robustness. Ponencia en Congreso. International Conference on Cooperative Information Systems. Amantea, Italy. 2014
• Caballero-Muñoz-Reja, Ismael, Bermejo, Isabel, Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Piattini-Velthuis, Mario:
  SERVICE LEVEL AGREEMENT FOR DATA QUALITY GOVERNED BY ISO 8000-1X0. Comunicación en congreso. 19th International Conference on Information Quality. XIAN (CHINA). 2014
• Caballero, Ismael, Bermejo, Isabel, Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Piattini-Velthuis, Mario:
  SLA4DQ-I8K: Acuerdos a Nivel de Servicio para Calidad de Datos en Intercambios de Datos Maestros regulados por ISO 8000-1x0. Comunicación en congreso. X Jornadas de Ciencia e Ingeniería de Servicios. - CÁDIZ, - CÁDIZ, ESPAÑA. 2014
• Parody-Núñez, Maria Luisa, Gomez-lopez, Maria Teresa, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling. Demostración en Congreso. 7th IEEE International Conference on Research Challenges in Information Science. Paris, France. 2013
• Caballero, Ismael, Bermejo-manzaneque, Isabel, Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Piattini, Mario:
  I8K: AN IMPLEMENTATION OF ISO 8000-1X0. Comunicación en congreso. 10th International Conference on Information Quality. Little Rock, ARKANSAS, EE.UU. 2013
• Bermejo-manzaneque, Isabel, Parody-Núñez, Maria Luisa, Caballero, Ismael, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Gestión de Calidad de Datos en la Combinación de Actividades dentro del Marco de los Procesos de Negocio. Comunicación en congreso. XVIII Jornadas en Ingeniería del Software y Bases de Datos. - MADRID, ESPAÑA. 2013
• Gómez-López, Mª Teresa, Rinderle-ma, Stefanie, Martínez-Gasca, Rafael:
  Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis. Comunicación en congreso. Enterprise Distributed Object Computing Conference Workshops. Vancouver, BC. 2013
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Data-Oriented Declarative Language for Optimizing Business Processes. Ponencia en Congreso. 22nd International Conference on Information Systems Development (ISD2013), Sevilla, Spain, September 2-4, 2013. Departamento de Lenguajes y Sistemas Informáticos, ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA DE LA UNIVERSIDAD DE SEVILLA., Sevilla, España. 2013
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Decision-Making Sub-Process to Obtain the Optimal Combination of Input Data in Business Processes. Comunicación en congreso. IX Jormadas de Ciencia e Ingeniería de Servicios . . 2013
• Varela-Vaca, Ángel Jesús, Warschofsky, Robert, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio, Meinel, Christoph :
  A Security Pattern-Driven Approach Toward the Automation of Risk Treatment in Business Processeses. Comunicación en congreso. CISIS'12. Comité de Programa en 5th International Conference on Computational Intelligence in Security for Information Systems . OSTRAVA, CZECH REPUBLIC. 2012
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  Extending BPMN 2.0 for Modelling the Combination of Activities that involves Data Constraints. Ponencia en Congreso. 4th International Workshop on the Business Process Model and Notation. WU Viena, Austria. 2012
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  UTILIZACIÓN DE INFORMACIÓN INTERVALAR EN LA SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Borrego, Diana:
  USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS. Poster en Congreso. 3rd International Conference on Agents and Artificial .... ROMA, ITALIA. 2011
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael, Jiménez-Ramírez, Andrés:
  A MODEL-DRIVEN ENGINEERING APPROACH WITH DIAGNOSIS OF NON-CONFORMANCE OF SECURITY OBJECTIVES IN BUSINESS PROCESS MODELS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  ANÁLISIS DE MODELOS SEMICUALITATIVOS MEDIANTE SIMULACIONES CUANTITATIVAS. APLICACIÓN A SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
• Jiménez-Ramírez, Andrés, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  CONTRACT-BASED TEST GENERATION FOR DATA FLOW OF BUSINESS PROCESSES USING CONSTRAINT PROGRAMMING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  ANÁLISIS DE MODELOS SEMICUALITATIVOS MEDIANTE SIMULACIONES CUANTITATIVAS. APLICACIÓN A SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  SISTEMAS LINEALES CUALITATIVOS EN SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  SISTEMAS LINEALES CUALITATIVOS EN SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  An Approach For Optimization Agreements In Business Processes Based On Web Services. Comunicación en congreso. 17th IBIMA Conference on Creating Global Competitive Economies. MILAN, ITALIA. 2011
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Parody-Núñez, Maria Luisa, Borrego, Diana:
  Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. Comunicación en congreso. 20th International Conference on Information Systems Development (ISD 2011). Edimburgo, Reino Unido. 2011
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  UTILIZACIÓN DE INFORMACIÓN INTERVALAR EN LA SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio:
  OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. Comunicación en congreso. International on Security and Cryptography (SECRYPT). . 2011
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Ceballos-Guerrero, Rafael:
  DETERMINATION OF AN OPTIMAL TEST POINTS ALLOCATION FOR BUSINESS PROCESS ANALYSIS. Comunicación en congreso. WORKSHOP ON BUSINESS DRIVEN IT MANAGEMENT () (.2010.OSAKA, JAPÓN). OSAKA, JAPÓN. 2010
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  FAULT DIAGNOSIS IN DATABASES FOR BUSINESS PROCESSES. Comunicación en congreso. (DX-10) 21ST INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (21) (21.2010.PORTLAND, USA). PORTLAND, USA. 2010
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael, Parody-Núñez, Maria Luisa:
  OPBUS: AUTOMATING STRUCTURAL FAULT DIAGNOSIS FOR GRAPHICAL MODELS IN THE DESIGN OF BUSINESS PROCESSES. Comunicación en congreso. (DX-10) 21ST INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (21) (21.2010.PORTLAND, USA). PORTLAND, USA. 2010
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  RUN-TIME MONITORING AND AUDITING FOR BUSINESS PROCESSES DATA USING CONTRAINTS. Comunicación en congreso. 6TH WORKSHOP ON BUSINESS PROCESS INTELLIGENCE (BPI 2010) () (.2010.NEW JERSEY (USA)). NEW JERSEY (USA). 2010
• Pozo-Hidalgo, Sergio, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  A QUADRATIC, COMPLETE, AND MINIMAL CONSISTENCY DIAGNOSIS PROCESS FOR FIREWALL ACLS. Comunicación en congreso. ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA 2010) (24) (24.2010.PERTH, AUSTRALIA). PERTH, AUSTRALIA. 2010
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  OPBUS: FAULT TOLERANCE AGAINST INTEGRITY ATTACKS IN BUSINESS PROCESSES. Comunicación en congreso. INTERNATIONAL CONFERENCE COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS (3) (3.2010.LEÓN, ESPAÑA). LEÓN, ESPAÑA. 2010
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Ceballos-Guerrero, Rafael:
  IMPROVING THE DIAGNOSABILITY OF BUSINESS PROCESS MANAGEMENT SYSTEMS USING TEST POINTS. Conferencia Congreso no publicada. 6TH WORKSHOP ON BUSINESS PROCESS INTELLIGENCE (BPI 2010) () (.2010.NEW JERSEY (USA)). NEW JERSEY (USA). 2010
• Borrego, Diana, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa, Parody-Núñez, Maria Luisa:
  CONTRACT-BASED DIAGNOSIS FOR BUSINESS PROCESS INSTANCES USING BUSINESS COMPLIANCE RULES. Comunicación en congreso. (DX-10) 21ST INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (21) (21.2010.PORTLAND, USA). PORTLAND, USA. 2010
• Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael, Borrego, Diana, Pozo-Hidalgo, Sergio:
  TOWARDS DEPENDABLE BUSINESS PROCESSES WITH FAULT-TOLERANCE APPROACH. Comunicación en congreso. THIRD INTERNATIONAL CONFERENCE ON DEPENDABILITY (3) (3.2010.VENICE, ITALY). VENICE, ITALY. 2010
• Parody-Núñez, Maria Luisa, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Borrego, Diana:
  RESOLUCIÓN DE ACUERDOS EN PROCESOS DE NEGOCIO PARA MULTIPROCESO SOFTWARE USANDO PROGRAMACIÓN CON RESTRICCIONES DISTRIBUIDAS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13) (13.2010.VALENCIA). . 2010
• Borrego, Diana, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa, Barba-Rodríguez, Irene:
  CHOREOGRAPHY ANALYSIS FOR DIAGNOSING FAULTY ACTIVITIES IN BUSINESS-TO-BUSINESS COLLABORATION. Poster en Congreso. DX-09 () (.2009.STOCKHOLM, SUECIA). STOCKHOLM, SUECIA. 2009
• Pozo-Hidalgo, Sergio, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT) (4) (4.2009.MILA, ITALIA). MILA, ITALIA. 2009
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael:
  COMUNIDADES WEB DE INTELIGENCIA. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2009
• Pozo-Hidalgo, Sergio, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  AFPL2, AN ABSTRACT LANGUAGE FOR FIREWALL ACLS WITH NAT SUPPORT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON DEPENDABILITY (2) (2.2009.GREECE). GREECE. 2009
• Pozo-Hidalgo, Sergio, Varela-Vaca, Ángel Jesús, Martínez-Gasca, Rafael:
  MDA-BASED FRAMEWORK FOR AUTOMATIC GENERATION OF CONSISTENT FIREWALL ACLS WITH NAT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (8) (8.2009.SOWON, KOREA). SOWON, KOREA. 2009
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Borrego, Diana:
  UNA PROPUESTA USANDO RESTRICCIONES PARA LA TOMA DE DECISIONES EN LA TOLERANCIA A FALLOS EN PROCESOS DE NEGOCIO. Comunicación en congreso. ADIS'09 IX TALLER DE APOYO A LA DECISIÓN EN INGENIERÍA DEL SOFTWARE () (.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael, De La Rosa-Troyano, Fco Fernando:
  EFFICIENT DATA STRUCTURES FOR LOCAL INCONSISTENCY DETECTION IN FIREWALL ACL UPDATES. Comunicación en congreso. INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (11) (11.2009.MILAN, ITALY). MILAN, ITALY. 2009
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  A REAL TIME ALGORITHM FOR FIREWALL ACL INCONSISTENCY DETECTION IN AD HOC NETWORKS. Comunicación en congreso. IADIS INTERNATIONAL CONFERENCE ON APPLIED COMPUTING (5) (5.2008.ALGARVE, PORTUGAL). ALGARVE, PORTUGAL. 2008
• Neira-Ayuso, Pablo, Lefevre-,Laurent, Martínez-Gasca, Rafael:
  HFT-FW : HYBRID FAULT-TOLERANCE FOR CLUSTER-BASED STATEFUL FIREWALLS. Comunicación en congreso. ICPADS: IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, (14) (14.2008.MELBOURNE, AUSTRALIA). MELBOURNE, AUSTRALIA. 2008
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  FIREWALL RULE SET INCONSISTENCY CHARACTERIZATION BY CLUSTERING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEM (10) (10.2008.BARCELONA, ESPAÑA). . BARCELONA, ESPAÑA. 2008
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Barba-Rodríguez, Irene:
  DIAGNOSING BUSINESS PROCESSES EXECUTION USING CHOREOGRAPHY ANALYSIS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  AN ORDER INDEPENDENT CONSISTENCY-BASED DIAGNOSIS PROCESS FOR FIREWALL RULE SETS. Comunicación en congreso. REUNIÓN ESPAÑOLA DE CRIPTOLOGÍA Y SEGURIDAD DE LA INFORMACIÓN (10) (10.2008.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2008
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  FAST ALGORITHMS FOR LOCAL INCONSISTENCY DETECTION IN FIREWALL ACL UPDATES. Comunicación en congreso. INTERNATIONAL WORKSHOP ON DEPENDABILITY AND SECURITY IN COMPLEX AND CRITICAL INFORMATION SYSTEMS (DEPEND) (1) (1.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
• Martínez-Gasca, Rafael:
  A HEURISTIC POLYNOMIAL ALGORITHM FOR LOCAL INCONSISTECY DIAGNOSIS IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS () (.2008.OPORTO, PORTUGAL). . 2008
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Varela-Vaca, Ángel Jesús:
  POLYNOMIAL HEURISTIC ALGORITHMS FOR INCONSISTENCY CHARACTERIZATION IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON EMERGING SECURITY INFORMATION, SYSTEMS AND TECHNOLOGIES (2) (2.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  A HEURISTIC POLYNOMIAL ALGORITHM FOR LOCAL INCONSISTECY DIAGNOSIS IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS () (.2008.OPORTO, PORTUGAL). . 2008
• Neira-Ayuso, Pablo, Lefevre-,Laurent, Martínez-Gasca, Rafael:
  MULTIPRIMARY SUPPORT FOR THE AVAILABILITY OF CLUSTER-BASED STATEFUL FIREWALLS USING FT-FW. Comunicación en congreso. EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (13) (13.2008.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2008
• Neira-Ayuso, Pablo, Maccari-,Leonardo, Martínez-Gasca, Rafael, Lefevre-,Laurent:
  STATEFUL FIREWALLING FOR WIRELESS MESH NETWORKS. Comunicación en congreso. NTMS: NEW TECHNOLOGIES, MOBILITY AND SECURITY (2) (2.2008.TANGER, MARRUECOS). TANGER, MARRUECOS. 2008
• Maccari-,Leonardo, Neira-Ayuso, Pablo, Fantacci-,Romano, Martínez-Gasca, Rafael:
  MESH NETWORK FIREWALLING WITH BLOOM FILTERS. Comunicación en congreso. IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS () (.2007.GLASGOW, ESCOCIA,). GLASGOW, ESCOCIA,. 2007
• Barba-Rodríguez, Irene, Borrego, Diana, Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael:
  INFERENCIA DE CRÓNICAS TEMPORALES CON PROGRAMACIÓN LÓGICA INDUCTIVA PARA PREDICCIÓN DE EVOLUCIONES. Ponencia en Congreso. CONGRESO DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (12.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
• Neira-Ayuso, Pablo, Lefevre-,Laurent, Barbaron-,Denis, Martínez-Gasca, Rafael:
  TOWARDS A DEPENDABLE ARCHITECTURE FOR HIGHLY AVAILABLE INTERNET SERVICES. Comunicación en congreso. IEEE INTERNATIONAL SYMPOSIUM ON FRONTIERS IN AVAILABILITY, RELIABILITY AND SECURITY (FARES), IN INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY . . BARCELONA, ESPAÑA. 2007
• Borrego, Diana, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  SUPERVISED AND DISTRIBUTED MODEL-BASED DIAGNOSIS. Comunicación en congreso. II WORKSHOP ON INDUSTRIAL APPLICATIONS OF DISTRIBUTED SYSTEMS (INADIS 2007) () (.2007.SALAMANCA (ESPAÑA)). SALAMANCA (ESPAÑA). 2007
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  BASES DE DATOS DE RESTRICCIONES PARA EL TRATAMIENTO DE CSP. Comunicación en congreso. WORKSHOP ESPAÑOL SOBRE EXTRACCIÓN Y VALIDACIÓN DE CONOCIMIENTO EN BASES DE DATOS BIOMÉDICAS: EVABIO 07 (1.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
• Neira-Ayuso, Pablo, Martínez-Gasca, Rafael, Lefevre-,Laurent:
  HIGH AVAILABILITY SUPPORT FOR THE DESIGN OF STATEFUL NETWORKING EQUIPMENTS. Comunicación en congreso. IEEE INTERNATIONAL SYMPOSIUM ON FRONTIERS IN AVAILABILITY, RELIABILITY AND SECURITY (FARES), IN INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY . . BARCELONA, ESPAÑA. 2007
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  FAST ALGORITHMS FOR CONSISTENCY-BASED DIAGNOSIS OF FIREWALLS RULE SETS. Comunicación en congreso. IEEE INTERNATIONAL SYMPOSIUM ON FRONTIERS IN AVAILABILITY, RELIABILITY AND SECURITY (FARES), IN INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY . . BARCELONA, ESPAÑA. 2007
• Neira-Ayuso, Pablo, Martínez-Gasca, Rafael, Lefevre-,Laurent, Maccari-,Leonardo, Fantacci-,Romano:
  FT-FW: EFFICIENT CONNECTION FAILOVER IN CLUSTER-BASED STATEFUL FIREWALLS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (15) (15.2007.NÁPOLES). NÁPOLES. 2007
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  AMPLIACIÓN DE LA SINTAXIS Y LA SEMÁNTICA DE SQL PARA EL TRATAMIENTO DE DATOS TIPO RESTRICCIÓN. Comunicación en congreso. INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Pozo-Hidalgo, Sergio:
  DISTRIBUTED MODEL-BASED DIAGNOSIS USING OBJECT-RELATIONAL CONSTRAINT DATABASES. Comunicación en congreso. IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (20) (20.2006.VIENA, AUSTRIA). VIENA, AUSTRIA. 2006
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS USING CONSTRAINT DATABASES. Comunicación en congreso. IFAC SYMPOSIUM ON FAULT DETECTION, SUPERVISION AND SAFETY OF TECHNICAL PROCESSES (SAFEPROCESS) (6) (6.2006.PEKÍN, CHINA). PEKÍN, CHINA. 2006
• Abad-Herrera, Pedro J., Suarez-Fabrega, Antonio J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  SESETE: UN ALGORITMO DE CLASIFICACIÓN PARA LA DIAGNOSIS DE SISTEMAS DINÁMICOS. Comunicación en congreso. VIII JORNADAS RAZONAMIENTO CUALITATIVO Y APLICACIONES. JARCA'06 (8) (8.2006.CASTELLÓN DE LA PLANA). CASTELLÓN DE LA PLANA. 2006
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Borrego, Diana:
  CONSTRAINT SATISFACTION TECHNIQUES FOR DIAGNOSING ERRORS IN DESIGN BY CONTRACT SOFTWARE. Comunicación en congreso. SPECIFICATION AND VERIFICATION OF COMPONENT-BASED SYSTEMS WORKSHOP. ESEC/FSE'05 () (.2005.LISBON, PORTUGAL). LISBON, PORTUGAL. 2005
• Ceballos-Guerrero, Rafael, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  THE MINIMAL DIAGNOSIS DETERMINATION BY USING AN INTEGRATION OF MODEL-BASED TECHNIQUES. Comunicación en congreso. CAEPIA 2005. XI CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
• Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Barba-Rodríguez, Irene:
  IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINTSATISFACTION PROBLEMS. Comunicación en congreso. IWANN 2005: INTERNATIONAL WORK-CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (8.2005.BARCELONA, ESPAÑA). . BARCELONA, ESPAÑA. 2005
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  A TOPOLOGICAL-BASED METHOD FOR ALLOCATING SENSORS BY USING CSP TECHNIQUES. Comunicación en congreso. CAEPIA 2005. XI CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
• Pozo-Hidalgo, Sergio, Facio-Valero,Aitor, Martínez-Gasca, Rafael:
  TECNICAS ESTRATEGICAS DE SIMULACION DE COMPORTAMIENTO EN HONEYNETS. Comunicación en congreso. CONGRESO NACIONAL DE INTERNET, TELECOMUNICACIONES Y SOCIEDAD DE LA INFORMACIÓN (10.2005.MADRID, ESPAÑA). . 2005
• Abad-Herrera, Pedro J., Suarez-Fabrega, Antonio J., Martínez-Gasca, Rafael:
  DIAGNOSIS OF A CHOPPER CONTROLLED DC MOTOR BY BOOSTING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION () (.2005.VIENA, AUSTRIA). VIENA, AUSTRIA. 2005
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael, Ceballos-Guerrero, Rafael:
  BEHAVIORAL PATTERN ANALYSIS OF SECURE MIGRATION AND COMMUNICATIONS IN ECOMMERCE USING CRYPTOGRAPHIC PROTOCOLS ON A MOBILE MAS PLATFORM. Comunicación en congreso. IEEE INTERNATIONAL WORKSHOP ON MOBILE COMMERCE AND SERVICES: WMCS 05 (2.2005.MUNICH, ALEMANIA). MUNICH, ALEMANIA. 2005
• Abad-,Pedro J., Suarez-,Antonio J., Martínez-Gasca, Rafael:
  DIAGNOSIS OF A CHOPPER CONTROLLED DC MOTOR BY BOOSTING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION () (.2005.VIENA, AUSTRIA). VIENA, AUSTRIA. 2005
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael:
  ANÁLISIS Y NUEVAS PROPUESTAS PARA HONEYNETS. Comunicación en congreso. CEDI 2005 () (1.2005.GRANADA). GRANADA. 2005
• Ceballos-Guerrero, Rafael, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  A MODEL INTEGRATION OF DX AND FDI TECHNIQUES FOR AUTOMATIC DETERMINATION OF MINIMAL DIAGNOSIS. Comunicación en congreso. IJCAI-05, 2ND MONET WORKSHOP ON MODEL-BASED SYSTEMS () (.2005.EDIMBURGO, ESCOCIA). EDIMBURGO, ESCOCIA. 2005
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Cejudo-,Víctor:
  ORCDB: ARQUITECTURA PARALA EXTENSIÓN DE LA SEMÁNTICA DE SQL EN BASES DE DATOS RESTRICTIVAS ORIENTADAS A OBJETOS CON RESTRICCIONES POLINÓMICAS DE IGUAL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 2005 (10.2005.GRANADA, ESPAÑA). . 2005
• Gómez-López, Mª Teresa, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS. Comunicación en congreso. DX-05 (16) (16.2005.MONTEREY, CALIFORNIA, USA). MONTEREY, CALIFORNIA, USA. 2005
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  DIAGNOSIS EN MODELOS INTERVALARES USANDO TÉCNICAS MAX-CSP. Comunicación en congreso. IV JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (JARCA) () (.2005.BENALMADENA, SPAIN). BENALMADENA, SPAIN. 2005
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Borrego, Diana:
  DIAGNOSING ERRORS IN DBC PROGRAMS USING CONSTRAINT PROGRAMMING. Comunicación en congreso. CAEPIA 2005. XI CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
• De La Rosa-Troyano, Fco Fernando, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael:
  ANALYSIS AND VISUALIZATION OF THE DX COMMUNITY WITH INFORMATION EXTRACTED FROM THE WEB. Comunicación en congreso. DX-05 (16) (16.2005.MONTEREY, CALIFORNIA, USA). MONTEREY, CALIFORNIA, USA. 2005
• 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
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa:
  SECURE TUNNELS FOR MOBILE MULTI-AGENT SYSTEMS. Comunicación en congreso. IBEROAMERICAN WORKSHOP ON MULTI-AGENT SYSTEMS (5) (5.2004.PUEBLA, MEXICO). PUEBLA, MEXICO. 2004
• Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael, Gómez-López, Mª Teresa:
  SECURING MOBILE AGENT BASED TELE-ASSISTANCE SYSTEMS. Comunicación en congreso. WORKSHOP ON TELE-CARE AND COLLABORATIVE VIRTUAL COMMUNITIES IN ELDERLY CARE (TELECARE) (1) (1.2004.OPORTO, PORTUGAL). . 2004
• Ceballos-Guerrero, Rafael, Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio:
  DETERMINATION OF POSSIBLE MINIMAL CONFLICT SETS USING COMPONENTS CLUSTERS AND GRÖBNER BASES. Comunicación en congreso. DX-04 (15) (15.2004.CARCASSONNE, FRANCIA). CARCASSONNE, FRANCIA. 2004
• Gómez-López, Mª Teresa, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del:
  CONSTRAINT DATABASES TECHNOLOGY FOR POLYNOMIAL MODELS DIAGNOSIS. Comunicación en congreso. DX-04 (15) (15.2004.CARCASSONNE, FRANCIA). CARCASSONNE, FRANCIA. 2004
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Pozo-Hidalgo, Sergio, Ortega-Ramírez, Juan A.:
  HERRAMIENTA WEB PARA EL RAZONAMIENTO SEMICUALITATIVO A PARTIR DE BASES DE DATOS. Comunicación en congreso. ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. CONFERENCIA (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
• Pozo-Hidalgo, Sergio, Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael:
  ALTAS PRESTACIONES EN SISTEAMAS DE COMERCIO ELECTRONICO CONCURRENTES BASADOS EN JAVA: SISTEMA CEAP. Comunicación en congreso. JAVA HISPANO (1) (1.2003.MADRID, ESPAÑA). . 2003
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Márquez-Hernández, Antonio Ángel:
  MODELO DE CSP PARA CONSULTA A BASES DE DATOS RESTRICTIVAS. Comunicación en congreso. ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. CONFERENCIA (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
• Gómez-López, Mª Teresa, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Ceballos-Guerrero, Rafael:
  ARQUITECTURA PARA LA CONSULTA A BASES DE DATOS RESTRICTIVAS. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 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
• 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
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, De La Rosa-Troyano, Fco Fernando:
  A CONSTRAINT PROGRAMMING APPROACH FOR SOFTWARE DIAGNOSIS. Comunicación en congreso. AADEBUG 2003, FIFTH INTERNATIONAL WORKSHOP ON AUTOMATED DEBUGGING (5.2003.GHENT (BÉLGICA)). GHENT (BÉLGICA). 2003
• 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
• 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
• Abad-,Pedro J., Suarez-,Antonio J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  USING SUPERVISED LEARNING TECHNIQUES FOR DIAGNOSIS OF DYNAMIC SYSTEMS. Comunicación en congreso. THIRTEEN INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS () (.2002.SEMMERING, AUSTRIA). SEMMERING, AUSTRIA. 2002
• Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Aguilar-,Jesús:
  UN MODELO DE OPTIMIZACIÓN CSP PARA LA SUSTITUCIÓN DE PIEZAS DEFECTUOSAS DIAGNOSTICADAS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 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
• Ortega-Ramírez, Juan A., Escalona-Cuaresma, María José, Torres-Valderrama, Jesús, Martínez-Gasca, Rafael, Márquez-Vázquez, José Manuel:
  REPRESENTACIÓN CUALITATIVA DEL CONOCIMIENTO: APLICACIÓN A LA GENERACIÓN AUTOMÁTICA DE ITINERARIOS CULTURALES. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
• Valle-Sevillano, Carmelo Del, Martínez-Gasca, Rafael, Márquez-Hernández, Antonio Ángel, Gómez-López, Mª Teresa:
  UN MODELO CSP PARA LA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS. Comunicación en congreso. WORKSHOP DE PLANIFICACIÓN, SCHEDULING Y RAZONAMIENTO TEMPORAL (1.2002.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2002
• Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel:
  DIAGNOSIS BASADA EN MODELOS PARA LA DEPURACIÓN DE SOFTWARE MEDIANTE TÉCNICAS SIMBÓLICAS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Abad-Herrera, Pedro J., Suarez-Fabrega, Antonio J.:
  QUALITATIVE SIMULATION OF HUMAN RESOURCES SUBSYSTEM IN SOFTWARE DEVELOPMENT PROJECTS. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
• Suarez-,Antonio J., Abad-,Pedro J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  DIAGNOSIS PROGRESIVA EN EL TIEMPO DE SISTEMAS DIÁMICOS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
• González-Abril, Luis, Velasco-Morente, Francisco, Martínez-Gasca, Rafael, De La Rosa-,Fernando:
  METODOLOGÍA PARA LA REPRESENTACIÓN GRÁFICA DE RELACIONES CUALITATIVAS ENTRE CENTROS DE INTERÉS. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 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
• Abad-Herrera, Pedro J., Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Suarez-Fabrega, Antonio J.:
  DIAGNOSIS DE SISTEMAS DINÁMICOS BASADA EN APRENDIZAJE SUPERVISADO OFF-LINE. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
• Ortega-Ramírez, Juan A., Torres-Valderrama, Jesús, Martínez-Gasca, Rafael:
  A NEW METHODOLOGY FOR ANALYSIS OF SEMIQUALITATIVE DYNAMIC MODELS WITH CONSTRAINTS. Comunicación en congreso. WORKSHOP ON METHODOLOGIES AND TOOLS FOR COMPLEX SYSTEMS (15.2001.LAXENBURG (AUSTRIA)). LAXENBURG (AUSTRIA). 2001
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, De La Rosa-Troyano, Fco Fernando, Cuberos-, Francisco J.:
  QSI: INDICE CUALITATIVO DE SIMILITUD. APLICACION A UN MODELO SEMICUALITATIVO DE CRECIMIENTO LOGISTICO. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (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
• Neira-Ayuso, Pablo, Pozo-Hidalgo, Sergio, Martínez-Gasca, Rafael:
  ESTRATEGIAS EFICIENTES EN EL NIVEL DE APLICACIÓN PARA EL FILTRADO Y BALANCEO DE CARGA DE PAQUETES. Comunicación en congreso. CONGRESO IBEROAMERICANO DE AUDITORIA Y CONTROL DE SISTEMAS DE INFORMACION, CIASI 2001 (3.2001.MADRID- ESPAÑA). MADRID- ESPAÑA. 2001
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel:
  AN APPROACH FOR REASONING ABOUT SEMIQUALITATIVE MODELS WITH EXPLICIT CONSTRAINTS. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (15.2001.SAN ANTONIO (ESTADOS UNIDOS)). SAN ANTONIO (ESTADOS UNIDOS). 2001
• Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, 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
• De La Rosa-Troyano, Fco Fernando, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  METODOLOGIA PARA EL ANALISIS VISUAL DE LA EVOLUCION DE CONCEPTOS EN BASES DE DATOS TEXTUALES. Comunicación en congreso. JORNADAS DE BIBLIOTECAS DIGITALES (2.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
• Chamizo-Guerra, Cristóbal, Velasco-Morente, Francisco, Martínez-Gasca, Rafael:
  RESOLUCION DE PROBLEMAS DE LOCALIZACION-PRODUCCION CON ALGORITMOS DE RAMIFICACION Y PODA. Comunicación en congreso. REUNIÓN DE ESTUDIOS REGIONALES (27.2001.MADRID, ESPAÑA). . 2001
• González-Romano, José Mariano, Mejías-Risoto, Manuel, Escalona-Cuaresma, María José, Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  INTERACCIÓN CON LOS USUARIOS EN BIBLIOTECAS DIGITALES. Comunicación en congreso. I JORNADAS de trabajo DOLMEN (2001). SEVILLA. ESPAÑA. 2001
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A., Toro-Bonilla, Miguel, De La Rosa-Troyano, Fco Fernando:
  DIAGNOSIS DIRIGIDA POR RESTRICCIONES SIMBOLICAS PARA MODELOS POLINOMICOS. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
• Martínez-Gasca, Rafael, Escalona-Cuaresma, María José, Ortega-Ramírez, Juan A., Mejías-Risoto, Manuel, Torres-Valderrama, Jesús:
  APLICACION DE LA PROGRAMACION CON RESTRICCIONES A LA ELABORACION AUTOMATICA DE ITINERARIOS CULTURALES EN ANDALUCÍA. Comunicación en congreso. CONGRESO NACIONAL TURISMO Y TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACIONES (3.2001). MADRID, ESPAÑA). 2001
• 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
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael, Toro-Bonilla, Miguel, Torres-Valderrama, Jesús, González-Romano, José Mariano:
  ESTUDIO DE SISTEMAS SEMICUALITATIVOS CON RESTRICCIONES. APLICACIÓN A UN MODELO LOGÍSTICO CON RESTRASO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
• Ortega-Ramírez, Juan A., Martínez-Gasca, Rafael:
  PATRONES TEMPORALES DE MODELOS SEMICUALITATIVOS CON RESTRICCIONES. 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
• Juan M. Cordero, Escalona-Cuaresma, María José, Torres-Valderrama, Jesús, Mejías-Risoto, Manuel, Martínez-Gasca, Rafael:
  APLICACION DE LOS SISTEMAS DE TRATAMIENTO DE BIBLIOTECAS DIGITALES A LA GESTION DEL PATRIMONIO HISTORICO. Comunicación en congreso. Congresos de Tecnologías de la Información y las Comunicaciones en Turismo. MALAGA, ESPAÑA. 2000
• Chamizo-Guerra, Cristóbal, Martínez-Gasca, Rafael:
  RESOLUCIÓN DE PROBLEMAS DE LOCALIZACIÓN-PRODUCCIÓN CON ARITMÉTICA INTERVALAR. Ponencia 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
• Martínez-Gasca, Rafael, Ortega-Ramírez, Juan A.:
  APLICACIONES DE LA PROGRAMACIÓN CON RESTRICCIONES EN EL RAZONAMIENTO SEMICUALITATIVO. 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
• 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:
  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
• Chamizo-Guerra, Cristóbal, Martínez-Gasca, Rafael:
  RESOLUCIÓN DE PROBLEMAS DE LOCALIZACIÓN-PRODUCCIÓN CON ILOG. Ponencia en Congreso. I CONGRESO INTERNACIONAL DE MÉTODOS NUMÉRICOS EN CIENCIAS SOCIALES (MENCIS 2000) (1) (1.2000.BARCELONA). . 2000
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

Tesis dirigidas y co-dirigidas:

• Suarez-Fabrega, Antonio J.:
  Detección de Fallos en Sistemas Dinámicos Mediante Técnicas de Error Acotado. Tesis Doctoral. 2014
• Parody-Núñez, Maria Luisa:
  Combi-BP: Automating the Data-Oriented Optimization in Business Processes. From declarative to executable models. Tesis Doctoral. 2014
• Varela-Vaca, Ángel Jesús:
  OPBUS: A framework for improving the dependability of risk-aware business processes. Tesis Doctoral. 2013
• Borrego, Diana:
  Diagnostic Reasoning with Structural Analysis and Constraint Programming for Quality Improvement of Business Process Management Systems. Tesis Doctoral. 2012
• De La Rosa-Troyano, Fco Fernando:
  Sistemas de Inteligencia Web: Análisis de Redes Sociales. Tesis Doctoral. 2012
• :
  TECNICAS AUTOMÁTICAS PARA LA DIAGNOSIS DE ERRORES EN SOFTWARE DISEÑADO POR CONTRATO.. Tesis Doctoral. 2011
• Ceballos-Guerrero, Rafael:
  Técnicas Automáticas para la Diagnosis de Errores en Software Diseñado por Contrato. Tesis Doctoral. 2011
• Neira-Ayuso, Pablo:
  ARCHITECTURES FOR THE HIGH AVAILABILITY OF STATEFUL FIREWALLS. Tesis Doctoral. 2010
• Pozo-Hidalgo, Sergio:
  AUTOMÁTICAS PARA LA DIAGNOSIS DE INCONSISTENCIAS EN LISTAS DE CONTROL DE ACCESO DE FIREWALLS. Tesis Doctoral. 2010
• Gómez-López, Mª Teresa:
  LORCDB: GESTOR DE BASES DE DATOS OBJETO-RELACIONALES DE RESTRICCIONES. Tesis Doctoral. 2007
• Abad-Herrera, Pedro J.:
  DIAGNOSIS DE SISTEMAS DINÁMICOS MEDIANTE EL APRENDIZAJE DE MODELOS PROPOSICIONALES. Tesis Doctoral. 2007
• Cuberos-, Francisco J.:
  INDICE PARA LA COMPARACIÓN CUALITATIVA DE SERIES TEMPORALES. Tesis Doctoral. 2005
• Chamizo-Guerra, Cristóbal:
  LOCALIZACIÓN DE CENTROS DE SERVICIOS ATRACTIVOS Y/Ó REPULSIVOS CON ALGORITMOS DE RAMIFICACIÓN Y PODA. Tesis Doctoral. 2004