Logotipo de la Universidad de Sevilla LA US ESTUDIAR INVESTIGAR VIVIR LA US EMPRESAS INTERNACIONAL TRABAJA EN LA US
 
 
Incio  >  
 
 

CEBALLOS GUERRERO, RAFAEL

Perfil en ORCID: 0000-0001-7144-8011

Perfil en ResearcherID: L-3444-2014

Perfil en Scopus: 12345229500\

Perfil en Dialnet: 2012021

Responsable de los siguientes proyectos/ayudas en la US

Contratos:

  • Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo ( P020-14/E08 ).
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).
  • AUTOMATIZACIÓN DE LA DETECCIÓN, DIAGNOSIS Y TOLERANCIA A FALLOS EN SISTEMAS CON INCERTIDUMBRE Y EN SISTEMAS DISTRIBUIDOS ( DPI2006-15476-C02-01 - Investigador/a).
  • AUTOMATIZACIÓN DE LA DETECCIÓN Y DIAGNOSIS DE FALLOS DE SISTEMAS ESTÁTICOS Y DINÁMICOS USANDO CONOCIMIENTO SEMICUALITATIVO ( DPI2003-07146-C02-01 - Investigador/a).
  • RED TEMÁTICA NACIONAL SOBRE PLANIFICACIÓN, SECUENCIACIÓN (SCHEDULING) Y RAZONAMIENTO TEMPORAL ( TIN2004-20168-E - Investigador/a).
  • DESARROLLO DE HERRAMIENTAS BASADAS EN MODELOS SEMICUALITATIVOS PARA EL ANÁLISIS DE SISTEMAS DINÁMICOS. APLICACIÓN A LA SUPERVISIÓN, CONTROL Y PREDICCI ( DPI2000-0666-C02-02 - Investigador/a).
  • OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS ( P08-TIC-4095 - Investigador/a).

Contratos:

  • Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies ( P095-16/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 ).
Publicaciones

Libros:

  • Álvarez-De La Concepción, Miguel Ángel, Álvarez-García, Juan Antonio, Ceballos-Guerrero, Rafael, García-Vallejo, Carlos A., Gutiérrez-Rodríguez, Javier Jesús, M. Martínez-Ballesteros, Pozo-Hidalgo, Sergio, De La Rosa-Troyano, Fco Fernando, Parody-Núñez, Maria Luisa:
    ESTRUCTURAS DE DATOS Y ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2010. ISBN 978-84-693-8230-1
  • García-Vallejo, Carlos A., Fuentes-Brenes, Daniel, Gómez-López, Mª Teresa, Varela-Vaca, Ángel Jesús, Álvarez-García, Juan Antonio, De La Rosa-Troyano, Fco Fernando, Gutiérrez-Rodríguez, Javier Jesús, Ceballos-Guerrero, Rafael, Barba-Rodríguez, Irene, Pozo-Hidalgo, Sergio, Del Valle-Sevillano, Carmelo:
    ESTRUCTURAS DE DATOS Y ALGORTIMOS. UNIVERSIDAD DE SEVILLA.. 2009. ISBN 978-84-692-5205-5

Capítulo de 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
  • Bernárdez-Jiménez, Beatriz, Ceballos-Guerrero, Rafael, De La Rosa-Troyano, Fco Fernando, Díaz-Madrigal, Víctor Jesús, Gómez-López, Mª Teresa, Reina-Quintero, Antonia María, Troncoso-Lora, Alicia:
    ACERCANDO ESTRATEGIAS DOCENTES ENTRE TEORÍA Y PRÁCTICA EN LAS ASIGNATURAS DE INGENIERÍA INFORMÁTICA. Pag. 107 - 126. En: LA FORMACIÓN DEL PROFESORADO UNIVERSITARIO : PROGRAMA DE EQUIPOS DOCENTES DE LA UNIVERSIDAD DE SEVILLA CURSO 2003-2004. INSTITUTO DE CIENCIAS DE LA EDUCACION DE LA UNIVERSIDAD DE SEVILLA. 2005. ISBN 84-86849-37-3
  • 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

Publicaciones en Revistas:

  • WOTAWA-,FRANZ, Weber-,J, NICA-,MIHAIL, Ceballos-Guerrero, Rafael:
    ON THE COMPLEXITY OF PROGRAM DEBUGGING USING CONSTRAINTS FOR MODELING THE PROGRAMS SYNTAX AND SEMANTICS. En: Lecture Notes in Computer Science. 2010. Vol. 5988. Núm. . Pag. 22-31
  • 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
  • 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
  • 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, 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
  • 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
  • Ceballos-Guerrero, Rafael, De La Rosa-Troyano, Fco Fernando, Pozo-Hidalgo, Sergio:
    DIAGNOSIS DE INCONSISTENCIA EN CONTRATOS USANDO EL DISEÑO POR CONTRATO. En: Revista IEEE America Latina. 2005. Vol. . Núm. . Pag. 120-125
  • 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
  • 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
  • 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, 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
  • 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
  • Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel, Ceballos-Guerrero, Rafael, Aguilar-Ruiz, Jesus Salvador:
    A POMSET-BASED MODEL FOR ESTIMATING WORKCELLS' SETUPS IN ASSEMBLY SEQUENCE PLANNING. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Núm. . Pag. 835-844
  • 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
  • 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

Aportaciones a Congresos:

  • 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
  • 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, 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
  • 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
  • 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
  • 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 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
  • 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
  • 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:
    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
  • Troncoso-Lora, Alicia, Troncoso-Lora, Alicia, Reina-Quintero, Antonia María, Martín-Díaz, Octavio, Gómez-López, Mª Teresa, Díaz-Madrigal, Víctor Jesús, Ceballos-Guerrero, Rafael, Bernárdez-Jiménez, Beatriz:
    LA INFLUENCIA DE LA EVALUACIÓN ALTERNATIVA PROPUESTA EN LOS NUEVOS ESTATUTOS DE LA UNIVERSIDAD DE SEVILLA EN LA ENSEÑANZA UNIVERSITARIA DE INGENIERÍA . Comunicación en congreso. III JORNADA ANDALUZA DE PROFESORES NOVELES (3) (3.2006.SEVILLA). . 2006
  • 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
  • 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, 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
  • 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
  • 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
  • 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, 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
  • 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, 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, De La Rosa-Troyano, Fco Fernando, Pozo-Hidalgo, Sergio:
    DIAGNOSIS DE INCONSITENCIA EN CONTRATOS USANDO EL DISEÑO BAJO CONTRATO. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (9) (9.2004.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 2004
  • Ceballos-Guerrero, Rafael, Martínez-Gasca, Rafael, Valle-Sevillano, Carmelo Del, Toro-Bonilla, Miguel:
    INTERVAL MODEL-BASED DIAGNOSIS USING CONSTRAINT PROGRAMMING. Comunicación en congreso. WAC (WORLD AUTOMATION CONGRESS) () (.2004.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2004
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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