Varela-Vaca, Ángel Jesús;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Carmona-fombella, José Antonio:
AMADEUS: towards the AutoMAteD secUrity teSting. Comunicación en congreso. 24th ACM Conference on Systems and Software Product Line. Montreal, Canada. 2020
Varela-Vaca, Ángel Jesús;Garcia-Rosado, David;Enrique-sanchez, Luis;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Fernández-medina, Eduardo:
4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Comunicación en congreso. 4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Surrey, Inglaterra. 2020
Varela-Vaca, Ángel Jesús;Parody-Núñez, Maria Luisa;Martínez-Gasca, Rafael;Gómez-López, Mª Teresa:
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models (Summary). Comunicación en congreso. XV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios. - Cáceres, España. 2019
Parody-Núñez, Maria Luisa;Varela-Vaca, Ángel Jesús;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. Comunicación en congreso. 26th International Conference on Information Systems Development. Lanarca, Chipre. 2017
Pérez, José Miguel;Gómez-López, Mª Teresa;Varela-Vaca, Ángel Jesús;De La Rosa-Troyano, Fco Fernando;Martínez-Gasca, Rafael:
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Comunicación en congreso. Business Process Management Workshops. . 2016
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
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
Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Bermejo-manzaneque, Isabel;Caballero-múñoz-reja, Ismael;Martínez-Gasca, Rafael;Piattini, Mario:
PAIS-DQ: EXTENDING PROCESS-AWARE INFORMATION SYSTEMS TO SUPPORT DATA QUALITY IN PAIS LIFE-CYCLE. Ponencia en Congreso. 10TH IEEE INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE. Grenoble, Francia. 2016
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
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.;Abad-Herrera, Pedro J.:
An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th international business information management association conference. . 2015
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
Gómez-López, Mª Teresa;Parody-Núñez, Maria Luisa;Martínez-Gasca, Rafael;Rinderle-ma, Stefanie:
Prognosing the Compliance of Declarative Business Processes using Event Trace Robustness. Ponencia en Congreso. International Conference on Cooperative Information Systems. Amantea, Italy. 2014
Caballero, Ismael;Bermejo, Isabel;Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Piattini-Velthuis, Mario:
SLA4DQ-I8K: Acuerdos a Nivel de Servicio para Calidad de Datos en Intercambios de Datos Maestros regulados por ISO 8000-1x0. Comunicación en congreso. X Jornadas de Ciencia e Ingeniería de Servicios. - CÁDIZ, - CÁDIZ, ESPAÑA. 2014
Caballero-Muñoz-Reja, Ismael;Bermejo, Isabel;Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Piattini-Velthuis, Mario:
SERVICE LEVEL AGREEMENT FOR DATA QUALITY GOVERNED BY ISO 8000-1X0. Comunicación en congreso. 19th International Conference on Information Quality. XIAN (CHINA). 2014
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
Caballero, Ismael;Bermejo-manzaneque, Isabel;Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Piattini, Mario:
I8K: AN IMPLEMENTATION OF ISO 8000-1X0. Comunicación en congreso. 10th International Conference on Information Quality. Little Rock, ARKANSAS, EE.UU. 2013
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
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
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;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;Warschofsky, Robert;Martínez-Gasca, Rafael;Pozo-Hidalgo, Sergio;Meinel, Christoph :
A Security Pattern-Driven Approach Toward the Automation of Risk Treatment in Business Processeses. Comunicación en congreso. CISIS'12. Comité de Programa en 5th International Conference on Computational Intelligence in Security for Information Systems . OSTRAVA, CZECH REPUBLIC. 2012
Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
Extending BPMN 2.0 for Modelling the Combination of Activities that involves Data Constraints. Ponencia en Congreso. 4th International Workshop on the Business Process Model and Notation. WU Viena, Austria. 2012
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
Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael;Jiménez-Ramírez, Andrés:
A MODEL-DRIVEN ENGINEERING APPROACH WITH DIAGNOSIS OF NON-CONFORMANCE OF SECURITY OBJECTIVES IN BUSINESS PROCESS MODELS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
UTILIZACIÓN DE INFORMACIÓN INTERVALAR EN LA SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael;Pozo-Hidalgo, Sergio:
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. Comunicación en congreso. International on Security and Cryptography (SECRYPT). . 2011
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
ANÁLISIS DE MODELOS SEMICUALITATIVOS MEDIANTE SIMULACIONES CUANTITATIVAS. APLICACIÓN A SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
UTILIZACIÓN DE INFORMACIÓN INTERVALAR EN LA SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
ANÁLISIS DE MODELOS SEMICUALITATIVOS MEDIANTE SIMULACIONES CUANTITATIVAS. APLICACIÓN A SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
SISTEMAS LINEALES CUALITATIVOS EN SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
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
Jiménez-Ramírez, Andrés;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
CONTRACT-BASED TEST GENERATION FOR DATA FLOW OF BUSINESS PROCESSES USING CONSTRAINT PROGRAMMING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
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
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. Comunicación en congreso. AT THE HEART OF THE GENOME FRONTIERS IN CARDIOVASCULAR GENOMICS () (.2011.MADRID). . 2011
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
SISTEMAS LINEALES CUALITATIVOS EN SISTEMAS SOCIOECONÓMICOS. Comunicación en congreso. 2º CONGRESO INTERNACIONAL DE USO Y BUENAS PRÁCTICAS CON TIC (2) (2.2011.SEVILLA). . 2011
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
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
FAULT DIAGNOSIS IN DATABASES FOR BUSINESS PROCESSES. Comunicación en congreso. (DX-10) 21ST INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (21) (21.2010.PORTLAND, USA). PORTLAND, USA. 2010
Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
OPBUS: FAULT TOLERANCE AGAINST INTEGRITY ATTACKS IN BUSINESS PROCESSES. Comunicación en congreso. INTERNATIONAL CONFERENCE COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS (3) (3.2010.LEÓN, ESPAÑA). LEÓN, ESPAÑA. 2010
Parody-Núñez, Maria Luisa;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Borrego, Diana:
RESOLUCIÓN DE ACUERDOS EN PROCESOS DE NEGOCIO PARA MULTIPROCESO SOFTWARE USANDO PROGRAMACIÓN CON RESTRICCIONES DISTRIBUIDAS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13) (13.2010.VALENCIA). . 2010
Pozo-Hidalgo, Sergio;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
A QUADRATIC, COMPLETE, AND MINIMAL CONSISTENCY DIAGNOSIS PROCESS FOR FIREWALL ACLS. Comunicación en congreso. ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA 2010) (24) (24.2010.PERTH, AUSTRALIA). PERTH, AUSTRALIA. 2010
Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael;Borrego, Diana;Pozo-Hidalgo, Sergio:
TOWARDS DEPENDABLE BUSINESS PROCESSES WITH FAULT-TOLERANCE APPROACH. Comunicación en congreso. THIRD INTERNATIONAL CONFERENCE ON DEPENDABILITY (3) (3.2010.VENICE, ITALY). VENICE, ITALY. 2010
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
Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael;Parody-Núñez, Maria Luisa:
OPBUS: AUTOMATING STRUCTURAL FAULT DIAGNOSIS FOR GRAPHICAL MODELS IN THE DESIGN OF BUSINESS PROCESSES. Comunicación en congreso. (DX-10) 21ST INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (21) (21.2010.PORTLAND, USA). PORTLAND, USA. 2010
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
RUN-TIME MONITORING AND AUDITING FOR BUSINESS PROCESSES DATA USING CONTRAINTS. Comunicación en congreso. 6TH WORKSHOP ON BUSINESS PROCESS INTELLIGENCE (BPI 2010) () (.2010.NEW JERSEY (USA)). NEW JERSEY (USA). 2010
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
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Borrego, Diana:
UNA PROPUESTA USANDO RESTRICCIONES PARA LA TOMA DE DECISIONES EN LA TOLERANCIA A FALLOS EN PROCESOS DE NEGOCIO. Comunicación en congreso. ADIS'09 IX TALLER DE APOYO A LA DECISIÓN EN INGENIERÍA DEL SOFTWARE () (.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Borrego, Diana;Martínez-Gasca, Rafael;Gómez-López, Mª Teresa;Barba-Rodríguez, Irene:
CHOREOGRAPHY ANALYSIS FOR DIAGNOSING FAULTY ACTIVITIES IN BUSINESS-TO-BUSINESS COLLABORATION. Poster en Congreso. DX-09 () (.2009.STOCKHOLM, SUECIA). STOCKHOLM, SUECIA. 2009
Pozo-Hidalgo, Sergio;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
MDA-BASED FRAMEWORK FOR AUTOMATIC GENERATION OF CONSISTENT FIREWALL ACLS WITH NAT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (8) (8.2009.SOWON, KOREA). SOWON, KOREA. 2009
Pozo-Hidalgo, Sergio;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
AFPL2, AN ABSTRACT LANGUAGE FOR FIREWALL ACLS WITH NAT SUPPORT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON DEPENDABILITY (2) (2.2009.GREECE). GREECE. 2009
Pozo-Hidalgo, Sergio;Varela-Vaca, Ángel Jesús;Martínez-Gasca, Rafael:
EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT) (4) (4.2009.MILA, ITALIA). MILA, ITALIA. 2009
Pozo-Hidalgo, Sergio;Martínez-Gasca, Rafael;De La Rosa-Troyano, Fco Fernando:
EFFICIENT DATA STRUCTURES FOR LOCAL INCONSISTENCY DETECTION IN FIREWALL ACL UPDATES. Comunicación en congreso. INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (11) (11.2009.MILAN, ITALY). MILAN, ITALY. 2009
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;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:
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
Neira-Ayuso, Pablo;Maccari-,Leonardo;Martínez-Gasca, Rafael;Lefevre-,Laurent:
STATEFUL FIREWALLING FOR WIRELESS MESH NETWORKS. Comunicación en congreso. NTMS: NEW TECHNOLOGIES, MOBILITY AND SECURITY (2) (2.2008.TANGER, MARRUECOS). TANGER, MARRUECOS. 2008
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:
A HEURISTIC POLYNOMIAL ALGORITHM FOR LOCAL INCONSISTECY DIAGNOSIS IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS () (.2008.OPORTO, PORTUGAL). . 2008
Neira-Ayuso, Pablo;Lefevre-,Laurent;Martínez-Gasca, Rafael:
MULTIPRIMARY SUPPORT FOR THE AVAILABILITY OF CLUSTER-BASED STATEFUL FIREWALLS USING FT-FW. Comunicación en congreso. EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (13) (13.2008.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2008
Martínez-Gasca, Rafael:
A HEURISTIC POLYNOMIAL ALGORITHM FOR LOCAL INCONSISTECY DIAGNOSIS IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS () (.2008.OPORTO, PORTUGAL). . 2008
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Varela-Vaca, Ángel Jesús:
POLYNOMIAL HEURISTIC ALGORITHMS FOR INCONSISTENCY CHARACTERIZATION IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON EMERGING SECURITY INFORMATION, SYSTEMS AND TECHNOLOGIES (2) (2.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
Borrego, Diana;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Barba-Rodríguez, Irene:
DIAGNOSING BUSINESS PROCESSES EXECUTION USING CHOREOGRAPHY ANALYSIS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
Pozo-Hidalgo, Sergio;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Varela-Vaca, Ángel Jesús:
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
Neira-Ayuso, Pablo;Lefevre-,Laurent;Martínez-Gasca, Rafael:
HFT-FW : HYBRID FAULT-TOLERANCE FOR CLUSTER-BASED STATEFUL FIREWALLS. Comunicación en congreso. ICPADS: IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, (14) (14.2008.MELBOURNE, AUSTRALIA). MELBOURNE, AUSTRALIA. 2008
Neira-Ayuso, Pablo;Martínez-Gasca, Rafael;Lefevre-,Laurent:
HIGH AVAILABILITY SUPPORT FOR THE DESIGN OF STATEFUL NETWORKING EQUIPMENTS. Comunicación en congreso. IEEE INTERNATIONAL SYMPOSIUM ON FRONTIERS IN AVAILABILITY, RELIABILITY AND SECURITY (FARES), IN INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY . . BARCELONA, ESPAÑA. 2007
Neira-Ayuso, Pablo;Lefevre-,Laurent;Barbaron-,Denis;Martínez-Gasca, Rafael:
TOWARDS A DEPENDABLE ARCHITECTURE FOR HIGHLY AVAILABLE INTERNET SERVICES. Comunicación en congreso. IEEE INTERNATIONAL SYMPOSIUM ON FRONTIERS IN AVAILABILITY, RELIABILITY AND SECURITY (FARES), IN INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY . . BARCELONA, ESPAÑA. 2007
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
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
BASES DE DATOS DE RESTRICCIONES PARA EL TRATAMIENTO DE CSP. Comunicación en congreso. WORKSHOP ESPAÑOL SOBRE EXTRACCIÓN Y VALIDACIÓN DE CONOCIMIENTO EN BASES DE DATOS BIOMÉDICAS: EVABIO 07 (1.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
Maccari-,Leonardo;Neira-Ayuso, Pablo;Fantacci-,Romano;Martínez-Gasca, Rafael:
MESH NETWORK FIREWALLING WITH BLOOM FILTERS. Comunicación en congreso. IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS () (.2007.GLASGOW, ESCOCIA,). GLASGOW, ESCOCIA,. 2007
Borrego, Diana;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
SUPERVISED AND DISTRIBUTED MODEL-BASED DIAGNOSIS. Comunicación en congreso. II WORKSHOP ON INDUSTRIAL APPLICATIONS OF DISTRIBUTED SYSTEMS (INADIS 2007) () (.2007.SALAMANCA (ESPAÑA)). SALAMANCA (ESPAÑA). 2007
Neira-Ayuso, Pablo;Martínez-Gasca, Rafael;Lefevre-,Laurent;Maccari-,Leonardo;Fantacci-,Romano:
FT-FW: EFFICIENT CONNECTION FAILOVER IN CLUSTER-BASED STATEFUL FIREWALLS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (15) (15.2007.NÁPOLES). NÁPOLES. 2007
Barba-Rodríguez, Irene;Borrego, Diana;Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael:
INFERENCIA DE CRÓNICAS TEMPORALES CON PROGRAMACIÓN LÓGICA INDUCTIVA PARA PREDICCIÓN DE EVOLUCIONES. Ponencia en Congreso. CONGRESO DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (12.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
AMPLIACIÓN DE LA SINTAXIS Y LA SEMÁNTICA DE SQL PARA EL TRATAMIENTO DE DATOS TIPO RESTRICCIÓN. Comunicación en congreso. INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Pozo-Hidalgo, Sergio:
DISTRIBUTED MODEL-BASED DIAGNOSIS USING OBJECT-RELATIONAL CONSTRAINT DATABASES. Comunicación en congreso. IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (20) (20.2006.VIENA, AUSTRIA). VIENA, AUSTRIA. 2006
Abad-Herrera, Pedro J.;Suarez-Fabrega, Antonio J.;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
SESETE: UN ALGORITMO DE CLASIFICACIÓN PARA LA DIAGNOSIS DE SISTEMAS DINÁMICOS. Comunicación en congreso. VIII JORNADAS RAZONAMIENTO CUALITATIVO Y APLICACIONES. JARCA'06 (8) (8.2006.CASTELLÓN DE LA PLANA). CASTELLÓN DE LA PLANA. 2006
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS USING CONSTRAINT DATABASES. Comunicación en congreso. IFAC SYMPOSIUM ON FAULT DETECTION, SUPERVISION AND SAFETY OF TECHNICAL PROCESSES (SAFEPROCESS) (6) (6.2006.PEKÍN, CHINA). PEKÍN, CHINA. 2006
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
Pozo-Hidalgo, Sergio;Facio-Valero,Aitor;Martínez-Gasca, Rafael:
TECNICAS ESTRATEGICAS DE SIMULACION DE COMPORTAMIENTO EN HONEYNETS. Comunicación en congreso. CONGRESO NACIONAL DE INTERNET, TELECOMUNICACIONES Y SOCIEDAD DE LA INFORMACIÓN (10.2005.MADRID, ESPAÑA). . 2005
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;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
Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Barba-Rodríguez, Irene:
IMPROVING THE COMPUTATIONAL EFFICIENCY IN SYMMETRICAL NUMERIC CONSTRAINTSATISFACTION PROBLEMS. Comunicación en congreso. IWANN 2005: INTERNATIONAL WORK-CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (8.2005.BARCELONA, ESPAÑA). . BARCELONA, ESPAÑA. 2005
Abad-,Pedro J.;Suarez-,Antonio J.;Martínez-Gasca, Rafael:
DIAGNOSIS OF A CHOPPER CONTROLLED DC MOTOR BY BOOSTING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION () (.2005.VIENA, AUSTRIA). VIENA, AUSTRIA. 2005
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Cejudo-,Víctor:
ORCDB: ARQUITECTURA PARALA EXTENSIÓN DE LA SEMÁNTICA DE SQL EN BASES DE DATOS RESTRICTIVAS ORIENTADAS A OBJETOS CON RESTRICCIONES POLINÓMICAS DE IGUAL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 2005 (10.2005.GRANADA, ESPAÑA). . 2005
De La Rosa-Troyano, Fco Fernando;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
ANALYSIS AND VISUALIZATION OF THE DX COMMUNITY WITH INFORMATION EXTRACTED FROM THE WEB. Comunicación en congreso. DX-05 (16) (16.2005.MONTEREY, CALIFORNIA, USA). MONTEREY, CALIFORNIA, USA. 2005
Abad-Herrera, Pedro J.;Suarez-Fabrega, Antonio J.;Martínez-Gasca, Rafael:
DIAGNOSIS OF A CHOPPER CONTROLLED DC MOTOR BY BOOSTING. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION () (.2005.VIENA, AUSTRIA). VIENA, AUSTRIA. 2005
Pozo-Hidalgo, Sergio;Martínez-Gasca, Rafael:
ANÁLISIS Y NUEVAS PROPUESTAS PARA HONEYNETS. Comunicación en congreso. CEDI 2005 () (1.2005.GRANADA). GRANADA. 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
Gómez-López, Mª Teresa;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS. Comunicación en congreso. DX-05 (16) (16.2005.MONTEREY, CALIFORNIA, USA). MONTEREY, CALIFORNIA, USA. 2005
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del:
A TOPOLOGICAL-BASED METHOD FOR ALLOCATING SENSORS BY USING CSP TECHNIQUES. Comunicación en congreso. CAEPIA 2005. XI CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
Pozo-Hidalgo, Sergio;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;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
Pozo-Hidalgo, Sergio;Martínez-Gasca, Rafael;Gómez-López, Mª Teresa:
SECURE TUNNELS FOR MOBILE MULTI-AGENT SYSTEMS. Comunicación en congreso. IBEROAMERICAN WORKSHOP ON MULTI-AGENT SYSTEMS (5) (5.2004.PUEBLA, MEXICO). PUEBLA, MEXICO. 2004
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
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
INTERVAL MODEL-BASED DIAGNOSIS USING CONSTRAINT PROGRAMMING. Comunicación en congreso. WAC (WORLD AUTOMATION CONGRESS) () (.2004.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2004
Pozo-Hidalgo, Sergio;Martínez-Gasca, Rafael;Gómez-López, Mª Teresa:
SECURING MOBILE AGENT BASED TELE-ASSISTANCE SYSTEMS. Comunicación en congreso. WORKSHOP ON TELE-CARE AND COLLABORATIVE VIRTUAL COMMUNITIES IN ELDERLY CARE (TELECARE) (1) (1.2004.OPORTO, PORTUGAL). . 2004
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
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
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
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
Gómez-López, Mª Teresa;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Márquez-Hernández, Antonio Ángel:
MODELO DE CSP PARA CONSULTA A BASES DE DATOS RESTRICTIVAS. Comunicación en congreso. ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. CONFERENCIA (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
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;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
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
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Aguilar-,Jesús:
UN MODELO DE OPTIMIZACIÓN CSP PARA LA SUSTITUCIÓN DE PIEZAS DEFECTUOSAS DIAGNOSTICADAS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
Suarez-,Antonio J.;Abad-,Pedro J.;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
DIAGNOSIS PROGRESIVA EN EL TIEMPO DE SISTEMAS DIÁMICOS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
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
Ortega-Ramírez, Juan A.;Escalona-Cuaresma, María José;Torres-Valderrama, Jesús;Martínez-Gasca, Rafael;Márquez-Vázquez, José Manuel:
REPRESENTACIÓN CUALITATIVA DEL CONOCIMIENTO: APLICACIÓN A LA GENERACIÓN AUTOMÁTICA DE ITINERARIOS CULTURALES. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Márquez-Hernández, Antonio Ángel;Gómez-López, Mª Teresa:
UN MODELO CSP PARA LA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS. Comunicación en congreso. WORKSHOP DE PLANIFICACIÓN, SCHEDULING Y RAZONAMIENTO TEMPORAL (1.2002.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2002
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
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 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
Abad-,Pedro J.;Suarez-,Antonio J.;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
USING SUPERVISED LEARNING TECHNIQUES FOR DIAGNOSIS OF DYNAMIC SYSTEMS. Comunicación en congreso. THIRTEEN INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS () (.2002.SEMMERING, AUSTRIA). SEMMERING, AUSTRIA. 2002
Cuberos-, Francisco J.;Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
QSI - QUALITATIVE SIMILARITY INDEX. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
González-Abril, Luis;Velasco-Morente, Francisco;Martínez-Gasca, Rafael;De La Rosa-,Fernando:
METODOLOGÍA PARA LA REPRESENTACIÓN GRÁFICA DE RELACIONES CUALITATIVAS ENTRE CENTROS DE INTERÉS. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Abad-Herrera, Pedro J.;Suarez-Fabrega, Antonio J.:
QUALITATIVE SIMULATION OF HUMAN RESOURCES SUBSYSTEM IN SOFTWARE DEVELOPMENT PROJECTS. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
A SEMIQUANTITATIVE APPROACH TO STUDY SEMIQUALITATIVE SYSTEMS. Conferencia Congreso no publicada. IBERAMIA (8.2002.SEVILLA). . 2002
Neira-Ayuso, Pablo;Pozo-Hidalgo, Sergio;Martínez-Gasca, Rafael:
ESTRATEGIAS EFICIENTES EN EL NIVEL DE APLICACIÓN PARA EL FILTRADO Y BALANCEO DE CARGA DE PAQUETES. Comunicación en congreso. CONGRESO IBEROAMERICANO DE AUDITORIA Y CONTROL DE SISTEMAS DE INFORMACION, CIASI 2001 (3.2001.MADRID- ESPAÑA). MADRID- ESPAÑA. 2001
Chamizo-Guerra, Cristóbal;Velasco-Morente, Francisco;Martínez-Gasca, Rafael:
RESOLUCION DE PROBLEMAS DE LOCALIZACION-PRODUCCION CON ALGORITMOS DE RAMIFICACION Y PODA. Comunicación en congreso. REUNIÓN DE ESTUDIOS REGIONALES (27.2001.MADRID, ESPAÑA). . 2001
De La Rosa-Troyano, Fco Fernando;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
METODOLOGIA PARA EL ANALISIS VISUAL DE LA EVOLUCION DE CONCEPTOS EN BASES DE DATOS TEXTUALES. Comunicación en congreso. JORNADAS DE BIBLIOTECAS DIGITALES (2.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
APLICACIÓN DE TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES AL DESARROLLO DE APLICACIONES WEB SENSIBLES A LA CALIDAD. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. IV JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
Martínez-Gasca, Rafael;Escalona-Cuaresma, María José;Ortega-Ramírez, Juan A.;Mejías-Risoto, Manuel;Torres-Valderrama, Jesús:
APLICACION DE LA PROGRAMACION CON RESTRICCIONES A LA ELABORACION AUTOMATICA DE ITINERARIOS CULTURALES EN ANDALUCÍA. Comunicación en congreso. CONGRESO NACIONAL TURISMO Y TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACIONES (3.2001). MADRID, ESPAÑA). 2001
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
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;De La Rosa-Troyano, Fco Fernando;Cuberos-, Francisco J.:
QSI: INDICE CUALITATIVO DE SIMILITUD. APLICACION A UN MODELO SEMICUALITATIVO DE CRECIMIENTO LOGISTICO. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
AN APPROACH FOR REASONING ABOUT SEMIQUALITATIVE MODELS WITH EXPLICIT CONSTRAINTS. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (15.2001.SAN ANTONIO (ESTADOS UNIDOS)). SAN ANTONIO (ESTADOS UNIDOS). 2001
Abad-Herrera, Pedro J.;Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Suarez-Fabrega, Antonio J.:
DIAGNOSIS DE SISTEMAS DINÁMICOS BASADA EN APRENDIZAJE SUPERVISADO OFF-LINE. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Martínez-Gasca, Rafael:
UN MODELO CSP PARA LA SELECCION DE SECUENCIAS OPTIMAS DE ENSAMBLAJE. Comunicación en congreso. TALLER DE RAZONAMIENTO TEMPORAL, ESPACIAL Y PLANIFICACION (5.2001.GIJON (ESPAÑA)). GIJON (ESPAÑA). 2001
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;De La Rosa-Troyano, Fco Fernando:
DIAGNOSIS DIRIGIDA POR RESTRICCIONES SIMBOLICAS PARA MODELOS POLINOMICOS. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
Ortega-Ramírez, Juan A.;Torres-Valderrama, Jesús;Martínez-Gasca, Rafael:
A NEW METHODOLOGY FOR ANALYSIS OF SEMIQUALITATIVE DYNAMIC MODELS WITH CONSTRAINTS. Comunicación en congreso. WORKSHOP ON METHODOLOGIES AND TOOLS FOR COMPLEX SYSTEMS (15.2001.LAXENBURG (AUSTRIA)). LAXENBURG (AUSTRIA). 2001
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
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.:
APLICACIONES DE LA PROGRAMACIÓN CON RESTRICCIONES EN EL RAZONAMIENTO SEMICUALITATIVO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Chamizo-Guerra, Cristóbal;Martínez-Gasca, Rafael:
RESOLUCIÓN DE PROBLEMAS DE LOCALIZACIÓN-PRODUCCIÓN CON ARITMÉTICA INTERVALAR. Ponencia en Congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
PATRONES TEMPORALES DE MODELOS SEMICUALITATIVOS CON RESTRICCIONES. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús;González-Romano, José Mariano:
ESTUDIO DE SISTEMAS SEMICUALITATIVOS CON RESTRICCIONES. APLICACIÓN A UN MODELO LOGÍSTICO CON RESTRASO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
OPTIMIZACIÓN EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
USING CONSTRAINT PROGRAMMING FRAMEWORK FOR SEMICUALITATIVE REASONING. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
SEARCHING FOR SIMILAR SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Ponencia en Congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (14.2000.MICHOCAN (MEXICO)). MICHOCAN (MEXICO). 2000
Chamizo-Guerra, Cristóbal;Martínez-Gasca, Rafael:
RESOLUCIÓN DE PROBLEMAS DE LOCALIZACIÓN-PRODUCCIÓN CON ILOG. Ponencia en Congreso. I CONGRESO INTERNACIONAL DE MÉTODOS NUMÉRICOS EN CIENCIAS SOCIALES (MENCIS 2000) (1) (1.2000.BARCELONA). . 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
METODOLOGIA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINAMICOS CON CONOCIMIENTO CUALITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. III JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (8.1999.MU. MURCIA, ESPAÑA. 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
BEHAVIOURS PATTERNS OF SEMIQUALITATIVE DYNAMIC SYSTEMS BY MEANS OF QUALITATIVE SIMULATINS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE - WORKSHOP QUALITATIVE AND MODEL BASED REASONING FOR COMPLEX SYSTEMS AND THEIR CONTROL (16.1. ESTOCOLMO (SUECIA). 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A SEMICUALITATIVE METHODOLOGY FOR REASONING ABOUT DYNAMIC SYSTEMS. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (13) (13.1999.LOCH AWE, ESCOCIA). LOCH AWE, ESCOCIA. 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
EXTRACTING BEHAVIORS OF SEMIQUALITATIVE DYNAMICAL SYSTEM FROM QUANTITATIVE SIMULATIONS. Ponencia en Congreso. WORKSHOP ON EUROPEAN SCIENTIFIC AND INDUSTRIAL COLLABORATION ON PROMOTING. ADVANCED TECHNOLOGIES IN MANUFACTURING (1.1998.GERONA). GERONA. 1998
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
AUTOMATIC SEMIQUALITATIVE ANALYSIS AND SIMULATION: INDUSTRIAL APPLICATIONS. Comunicación en congreso. WORKSHOP ON EUROPEAN SCIENTIFIC AND INDUSTRIAL COLLABORATION ON PROMOTING. ADVANCED TECHNOLOGIES IN MANUFACTURING (1.1998.GERONA). GERONA. 1998
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
OBTAINING SEMI-QUALITATIVE BEHAVIORS OF DYNAMICAL SYSTEMS BY MEANS OF QUANTITATIVE SIMULATIONS. Ponencia en Congreso. BIENNIAL EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (13.1998.BRIGHTON (UK)). BRIGHTON (UK). 1998
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
REPRESENTACIÓN Y SIMULACIÓN DE MODELOS INTEGRANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SIMULACIÓN SEMICUALITATIVA MEDIANTE MATRIZ DE TRANSFORMACIÓN. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
AUTOMATIZACIÓN DEL ANÁLISIS Y SIMULACIÓN DE MODELOS CUALITATIVOS MEDIANTE RESTRICCIONES. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
RAZONAMIENTO EN ORDEN DE MAGNITUD USANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (6) (6.1995.ALICANTE). ALICANTE. 1995
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SEMI-QUANTITATIVE SIMULATION OF DYNAMIC SYSTEMS WITH UNCERTAIN INITIAL CONDITIONS. Comunicación en congreso. MODELLING AND SIMULATION ESM'95 () (.1995.TURQUÍA). TURQUÍA. 1995