Rafael Martínez Gasca
Telefono: 95.455.27.67
Perfil en ORCID: 0000-0003-2348-7424
Perfil en WOS: F-5857-2015
Perfil en Scopus: 8889556900
Perfil en Dialnet: 1316144
Otro enlace a Web de investigación: http://www.scopus.com/authid/detail.url?authorId=8889556900

Grupo de Investigación: Data-Centric Computing Research Hub
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Emérito

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095)
  • 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)
  • Desarrollo de herramientas basadas en modelos semicualitativos para el análisis de sistemas dinámicos. Aplicación a la supervisión, control y predicción de comportamientos (DPI2000-0666-C02-02)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08)
  
  
• Ayuda a la investigación:
  • XIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA) Jornadas de Transferencia Tecnológica Artificial (TTIA) (PP2009-01-053)
  • XIII Conferencia de la asociación española para la inteligencia artificial (TIN2009-06766-E)
  • Acciones coordinadas del grupo TIC-134 (ACC-265-TIC-2001)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Mejora de la ciberseguridAd y su sostenibiLidad en Beneficio de la sociedad y de las personAs (TED2021-130355B-C32 - Equipo de Investigación)
  • COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224 - Equipo de Investigación)
  • Aether-US: Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44 - Equipo de Investigación)
  • METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375 - Equipo de Investigación)
  • Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33 - Equipo de Investigación)
  • Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Equipo de Investigación)
  • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714 - Investigador)
  • Metodologías y arquitecturas para la difusión electrónica de información en la red (TIC2000-1673-C06-03 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • Clean Sky 2: A-24 ONE STEP BEYOND ON AUTOMATED TESTING TECHNOLOGIES (P011-18/E08 - Investigador)
  • Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08 - Investigador)
  • 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)
  • Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08 - Investigador)
  • Archivo Interoperable Mediante Datos en Abierto Enlazados (P036-11/E08 - Investigador)
  • AGECTA III Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P051-09/E08 - Investigador)
  • AGECTA Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P021-08/E08 - Investigador)
  • Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
  • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2006/TIC-134 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)
  • Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E - Investigador)
  
  

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

Publicaciones:

Libros

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

Del Valle Sevillano, Carmelo, Gómez López, Mª Teresa, García Vallejo, Carlos A., Barba Rodríguez, Irene, Ortega Rodríguez, Francisco Javier, et. al.:
Análisis y Diseño de Algoritmos. Ed. 1. 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ítulos en Libros

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

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

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 Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (Cimca-Iawtic'06). Washington DC, Estados Unidos. IEEE Computer Society Press. 2005

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

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. Gerona, España. 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. Malaga. 2004

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. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. ISBN 84-95499-62-2

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

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. Sevilla,. 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

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

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. Sevilla,. 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. Sevilla,. 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. Dordrecht, Holanda. Kluwer Academic. 2002. ISBN 1-4020-0563-6

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. Sevilla,. 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, 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. El Escorial, España. Universidad Politécnica de Madrid. 2002. ISBN 84-688-0206-9

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. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. ISBN 84-95499-62-2

Suarez, Antonio J., Abad, Pedro J., Martínez Gasca, Rafael:
Qualitative Reasoning for Software Development Project by Constraint Programming. Vol. 1. Pag. 481-488. En: Third International Conference on Enterprise Information Systems. Setubal (Portugal). Iceis Press. 2001. ISBN 972-98050-2-4

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

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. Almagro, España. Univ. Castilla la Mancha: Grupo Alarcos. 2001. ISBN 84-699-6276-0

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. Vol. 1. 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

Velasco Morente, Francisco, Chamizo Guerra, Cristóbal, Martínez Gasca, Rafael:
Resolucion de Problemas de Localizacion-Produccion con Aritmetica Intervalar. Vol. 1. 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:
A New Methodology for Reasoning About Semiqualitative Synamic Systems. Pag. 33-38. En: Software and Hardware Engineering for the 21th Century. EE.UU. 1999

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

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

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

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

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

Martínez Gasca, Rafael:
Opbus: Fault Tolerance Against Integrity Attacks in Business Processes. Pag. 213-222. En: .. Spain. Sinónimo Desconocido. 1967

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. 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, et. al.:
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. Pag. 1-14. 10.1016/j.compind.2021.103524

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. 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. 10.1016/j.compind.2020.103243

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. https://doi.org/10.1007/s10115-019-01431-5

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. 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. 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. 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. Pag. 26-43. http://dx.doi.org/10.1016/j.is.2014.07.007

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. 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

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

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Minimizing test-point allocation to improve diagnosability in business process models. 2013. Vol. 86. Núm. 11. Pag. 2725-2741. 10.1016/j.jss.2013.05.105

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. 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. http://dx.doi.org/10.1016/j.infsof.2013.05.007

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

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. Pag. 1-15. 10.5171/2012/959796

Martínez Gasca, Rafael, Álvarez de la Concepción, Miguel Ángel, Soria Morillo, Luis Miguel, Parody Núñez, Maria Luisa, M. Martínez Ballesteros, et. al.:
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. 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. Pag. 797-810

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

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

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

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

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

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. Pag. 130-144

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

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

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

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. Pag. 270-276

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

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. Pag. 160-169

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

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. 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. Pag. 200-210

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. Pag. 62-68

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. Pag. 269-279

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

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

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

De la Rosa Troyano, Fco Fernando, Pozo Hidalgo, Sergio, Martínez Gasca, Rafael:
Meeting-Abstract: 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

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. Pag. 1082-1092

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. 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. 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, et. al.:
Analysis and Visualization of the Dx Community With Information Extracted from the Web. En: Lecture Notes in Computer Science. 2005. Vol. 3588. Pag. 726-735

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

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

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. Pag. 942-952

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. Pag. 74-87

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. Pag. 1-10

Escalona Cuaresma, María José, Ortega Ramírez, Juan A., Torres Valderrama, Jesús, Mejías Risoto, Manuel, Martínez Gasca, Rafael, et. al.:
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

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. Pag. 1329-1336

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

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. Núm. 20. Pag. 137-150

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. Núm. 20. Pag. 151-163

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

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

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

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

De la Rosa Troyano, Fco Fernando, González Abril, Luis, Martínez Gasca, Rafael, Velasco Morente, Francisco:
Nota: Metodología para la Representación Gráfica de Relaciones Cualitativas Entre Centros Deinterés. En: Inteligencia Artificial. 2002. Núm. 17. Pag. 52-52

Chamizo Guerra, Cristóbal, Velasco Morente, Francisco, Martínez Gasca, Rafael:
Nota: Localización de Centros Públicos Atractivos y o Repulsivos. En: Inteligencia Artificial. 2002. Núm. 17. Pag. 52-52

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

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

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

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

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

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

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

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

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

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

Meseguer, Pedro (Editor/a), Mandow Andaluz, Lorenzo (Editor/a), Martínez Gasca, Rafael (Editor/a):
CAEPIA-TTIA 2009. 2009. ISBN 978-84-692-6424-9. 702. AEPIA. Santander (ESPAÑA)

Martínez Gasca, Rafael (Editor/a), Meseguer, Pedro (Editor/a):
Current Topics in Artificial Intelligence - Lnai 5988. 2009. ISBN 978-3-642-14263-5. 302. Springer Verlag. Berlín, Alemania

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, et. al.:
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

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Bermejo Manzaneque, Isabel, Caballero Múñoz Reja, Ismael, Martínez Gasca, Rafael, et. al.:
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

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

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

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, 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

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

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, Gómez López, Mª Teresa, Jiménez Vargas, David, Martínez Gasca, Rafael, Suarez Fabrega, Antonio J., et. al.:
An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th international business information management association conference. 2015

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

Caballero, Ismael, Bermejo, Isabel, Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, et. al.:
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

Caballero Muñoz Reja, Ismael, Bermejo, Isabel, Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, et. al.:
Service Level Agreement for Data Quality Governed by ISO 8000-1x0. Comunicación en congreso. 19th International Conference on Information Quality. Xian (China). 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

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. Lecture Notes on Artificial Intelligence. 0. 0

Caballero, Ismael, Bermejo Manzaneque, Isabel, Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, et. al.:
I8k: an Implementation of ISO 8000-1x0. Comunicación en congreso. 10th International Conference on Information Quality. Little Rock, ARKANSAS, EE.UU. 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

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

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

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, 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

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Propuesta para la generación y selección adaptable de configuraciones de seguridad para sistemas de gestión de procesos de negocio. Ponencia en Taller de trabajo. Primer workshop Investigación en Tecnologías de Seguridad TIC. León, España. 2012

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 System. 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

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

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

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

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

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. 2011. I Jorandas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Nsc. Nsc

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. 2011. I Jorandas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Nsc. Nsc

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. I Jornadas de Trabajo Sobre Razonamiento con Intervalo. Nsc. Nsc

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. I Jornadas de Trabajo Sobre Razonamiento con Intervalo. Nsc. Nsc

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. Gosier, Guadaloupe, France. 2011. Fifth International Conference on Research Challenges in Information Science (Rcis), 2011. 1. 6

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. Gosier, Guadaloupe, France. 2011. Fifth International Conference on Research Challenges in Information Science (Rcis), 2011. 1. 12

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. Perth, Australia. 2010. The 24th IEEE International Conference on Advanced Information Networking and Applications (Aina 2010) to Be Held in Perth, Western Australia, 20-23 April 2010. 1. 8

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. Osaka, Japón. 2010. 2010 IEEE/Ifip Network Operations and Management Symposium Workshops. 159. 160

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. Venice, Italy. 2010. 2010 Third International Conference on Dependability (Depend 2010). 104. 111

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. 2010. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. 53. 64

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. Proceedings of the 21st International Workshop on Principles of Diagnosis. 337. 344

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. León, España. 2010. Computational Intelligence in Security for Information Systems 2010. 213. 222

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. Proceedings of the 21st International Workshop on Principles of Diagnosis. 169. 176

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Parody Núñez, Maria Luisa:
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones. Ponencia en Taller de trabajo. Jornadas de Ingeniería del Software y Bases de Datos. 2010. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. 23. 34

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. New Jersey (USA). 2010. 6th International Workshop on Business Process Intelligence. 00. 00

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. Proceedings of the 21st International Workshop on Principles of Diagnosis. 201. 208

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. New Jersey (USA). 2010. 6th International Workshop on Business Process Intelligence. 20. 32

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. Stockholm, Suecia. 2009. Dx-09 20th International Workshop on Principles of Diagnosis. 171. 178

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. San Sebastián, España. 2009. Actas de la IX Taller de Apoyo a la Decisión en Ingeniería del Software (Adis). 62. 72

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. Greece. 2009. Second International Conference on Dependability. Depend2009. June18-23, 2009. Athens/Glyfada, Greece. 52. 59

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. Sowon, Korea. 2009. International Conference on Computational Science and Its Applications Proceedings. 130. 144

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. Mila, Italia. 2009. Secrypt 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-10, 2009, Secrypt is Part of Icete - the International Joint Conference on e-Business and Telecommunications 2009. 43. 52

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. Milan, Italy. 2009. Proceedings of the 11th International Conference on Enterprise Information Systems, Volume Isas. 176. 181

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. Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial. 1. 11

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. Algarve, Portugal. 2008. Iadis International Conference on Applied Computing. 117. 124

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. . Barcelona, España. 2008. 6th International Workshop on Security in Information Systems (Wosis). 1. 6

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. Salamanca, España. 2008. Actas de la X Reunión Española de Criptología y Seguridad de la Información. 1. 10

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. Proceedings of the International Conference on Security and Cryptography. 1. 12

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. Proceedings of the International Conference on Security and Cryptography. 1. 12

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. Cap Esterel, Agay, Francia. 2008. Proceedings of the 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (Depend). 1. 10

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. Cap Esterel, Agay, Francia. 2008. Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies. 1. 9

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. , Málaga, España. 2008. 13th Esorics: European Symposium on Research in Computer Security. 1. 17

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. Tanger, Marruecos. 2008. Ntms 2008: the Second Ifip International Conference on New Technologies, Mobility and Security. 120. 128

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,. Melbourne, Australia. 2008. Icpads 2008: the 14th IEEE International Conference on Parallel and Distributed Systems,. 208. 215

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. Gijon, España. 2008. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos, Vol. 2, No. 3, 2008. 13. 24

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 and Security (Ares) (2008). . Barcelona, España. 2007. IEEE International Conference on Availability, Reliability and Security (Ares). 230. 239

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. Salamanca (España). 2007. II Workshop on Industrial Applications of Distributed Intelligent Systems - Inadis 2007. 23. 32

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. Salamanca, España. 2007. Planning, Scheduling and Constraint Satisfaction. 176. 180

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. Salamanca, España. 2007. XII Congreso de la Asociación Española para la Inteligencia Artificial: CAEPIA 2007. 347. 356

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. Nápoles. 2007. Euromicro International Conference on Parallel, Distributed and Network-Based Processing. 573. 580

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. Glasgow, Escocia,. 2007. IEEE International Conference on Communications (Icc) 2007. 1546. 1551

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 and Security (Ares) (2008). . Barcelona, España. 2007. The Third International Conference on Availability, Reliability and Security. 1024. 1030

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 and Security (Ares) (2008). . Barcelona, España. 2007. IEEE International Conference on Availability, Reliability and Security (Ares). 229. 236

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. Castellón de la Plana. 2006. Razonamiento Cualitativo y Aplicaciones. 43. 50

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. Viena, Austria. 2006. 20th International Conference on Advanced Information Networking and Applications. 866. 870

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. Pekín, China. 2006. Symposium on Fault Detection, Supervision and Safety of Technical Processes. 301. 306

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. Sitges, Barcelona, España. 2006

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. Monterey, California, USA. 2005. 16th International Workshop on Principles on Diagnosis. 61. 66

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. Monterey, California, USA. 2005. 16th International Workshop on Principles on Diagnosis. 151. 156

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. 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. Munich, Alemania. 2005. The Second IEEE International Workshop on Mobile Commerce and Services, 2005: Wmcs 05. 60. 69

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael:
Análisis y Nuevas Propuestas para Honeynets. Comunicación en congreso. Cedi 2005. Granada. 2005. Simposio Sobre Seguridad Informática. 109. 116

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 Igualdad. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2005. 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. Edimburgo, Escocia. 2005. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. 11. 16

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. Santiago de Compostela. 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. Santiago de Compostela. 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. Santiago de Compostela. 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. Benalmadena, Spain. 2005. VII Jornadas de Arca Sistemas Cualitativos y Diagnosis (Jarca). 61. 68

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. Lisbon, Portugal. 2005. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. 79. 82

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. Viena, Austria. 2005. Proceedings. International Conference on Computational Intelligence for Modelling, Control & Automation. Cimca 2005. 568. 575

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. Viena, Austria. 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. . Barcelona, España. 2005. Computational Intelligence and Bioinspired Systems, Proceedings: Lecture Notes in Computer Science. 269. 279

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. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 215. 220

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. Carcassonne, Francia. 2004. 15th International Workshop on Principles of Diagnosis. 21. 26

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

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. 2004. Tele-Care and Collaborative Virtual Communities in Elderly Care (Telecare). 63. 72

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. Puebla, Mexico. 2004. Iberoamerican Workshop on Multi-Agent Systems (Iberagents). 1. 10

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

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

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. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 469. 472

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 . Alicante. 2003

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. San Sebastián. 2003. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. 441. 445

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 . Ghent (Bélgica). 2003. Proceedings of the Fifth International Workshop on Automated Debugging (Aadebug 2003). 187. 196

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. 2003. JAVA Hispano 2003. 238. 248

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

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

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

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. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 73. 80

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. Vilanova y la Geltru- Barcelona. 2002. Jornadas Arca. 41. 48

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. Santander (ESPAÑA). 2002. I Workshop de Planificación, Scheduling y Razonamiento Temporal. 81. 90

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

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. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 49. 58

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. Vilanova I la Geltru, Barcelona. 2002. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. 111. 120

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

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. Vilanova y la Geltru- Barcelona. 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. Semmering, Austria. 2002. 13th International Workshop on Principles of Diagnosis. 0. 0

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. Sevilla (España). 2001. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. 51. 60

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. Almagro, Ciudad Real, España. 2001. II Jornadas de Bibliotecas Digitales. 207. 221

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. I Jornadas de Trabajo Dolmen. 113. 120

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

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

Martínez Gasca, Rafael, 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. Madrid, 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. Sevilla (España). 2001. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. 71. 78

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. Laxenburg (Austria). 2001. Proceedings of the 15th Workshop on Methodologies and Tools for Complex Systems. 39. 40

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. Sevilla (España). 2001. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. 7. 16

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. 2001. XXVII Reunión de Estudios Regionales. 1. 11

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

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. Madrid- España. 2001. Ciasi: Congreso Iberoamericano de Auditoría y Control de Sistemas de Información. 80. 88

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

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. Facultad de Ciencias Económicas y Empresariales de Sevilla. 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. 2000. I Congreso Internacional de Métodos Numéricos en Ciencias Sociales (Mencis 2000). 402. 409

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. Facultad de Ciencias Económicas y Empresariales de Sevilla. 2000. II Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Nsc. Nsc

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. Facultad de Ciencias Económicas y Empresariales de Sevilla. 2000. II Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Nsc. Nsc

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

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

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

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

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. Turitec 2000. Turismo y Tecnologias de la Informacion y las Comunicaciones: Nuevas Tecnologias y Patrimonio. 153. 166

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

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

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

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

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

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

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

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

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

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

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

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

Otras Publicaciones

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. Otras Publicaciones. 2016. Inglés

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. Otras Publicaciones. 2016. Inglés

Patentes:

Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CombiS-BP Editor. Otra modalidad de propiedad intelectual. Solicitud: 2013-07-20

Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CombiS-BP Editor. Otra modalidad de propiedad intelectual. Solicitud: 2013-07-20

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
Tredar Vtic, Hyro y Twitternets: Sistemas de Vigilancia Tecnológica e Inteligencia Competitiva Basados en Procesos de Negocios Wiki. Derechos de autor. Solicitud: 2013-01-25

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
Tredar: Plataforma Web para el Desarrollo de Aplicaciones Wiki. Derechos de autor. Solicitud: 2013-01-25

De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Tredar Bpm: Gestión de Procesos de Negocios y Servicios Web. Derechos de autor. Solicitud: 2013-01-25

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

De la Rosa Troyano, Fco Fernando:
Sistemas de Inteligencia Web: Análisis de Redes Sociales. Tesis Doctoral. 2012

Borrego, Diana:
Diagnostic Reasoning with Structural Analysis and Constraint Programming for Quality Improvement of Business Process Management Systems. Tesis Doctoral. 2012

Ceballos Guerrero, Rafael:
Técnicas Automáticas para la Diagnosis de Errores en Software Diseñado por Contrato. Tesis Doctoral. 2011

(Doctorando no grabado)
Tecnicas Automáticas para la Diagnosis de Errores en Software Diseñado Por Contrato. Tesis Doctoral. 2011

Pozo Hidalgo, Sergio:
Automáticas para la Diagnosis de Inconsistencias en Listas de Control de Acceso de Firewalls. Tesis Doctoral. 2010

Neira Ayuso, Pablo:
Architectures for the High Availability of Stateful Firewalls. Tesis Doctoral. 2010

Abad Herrera, Pedro J.:
Diagnosis de Sistemas Dinámicos Mediante el Aprendizaje de Modelos Proposicionales. Tesis Doctoral. 2007

Gómez López, Mª Teresa:
Lorcdb: Gestor de Bases de Datos Objeto-Relacionales de Restricciones. 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