default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRafael M. Gasca
Rafael Martinez Gasca
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Ángel Jesús Varela-Vaca
, Rafael M. Gasca, David Iglesias, J. M. Gónzalez-Gutiérrez:
Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case. Internet Things 25: 101106 (2024)- [j45]David Garcia Rosado, Luis Enrique Sánchez, Ángel Jesús Varela-Vaca, Antonio Santos-Olmo, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina:
Enabling security risk assessment and management for business process models. J. Inf. Secur. Appl. 84: 103829 (2024) - 2023
- [j44]Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, A. Germán Márquez:
Feature models to boost the vulnerability management process. J. Syst. Softw. 195: 111541 (2023) - 2022
- [j43]Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Ernest Teniente, Rafael M. Gasca:
Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. 19(2): 547-572 (2022) - 2021
- [j42]Belén Ramos-Gutiérrez, María Teresa Gómez-López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, Antonio Barea:
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. IEEE Access 9: 42707-42723 (2021) - [j41]Ángel Jesús Varela-Vaca, David Garcia Rosado, Luis Enrique Sánchez, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina:
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Comput. Ind. 132: 103524 (2021) - [j40]José Miguel Pérez-Álvarez, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Paolo Ceravolo:
Decision-making support for input data in business processes according to former instances. Comput. Sci. Inf. Syst. 18(3): 835-865 (2021) - [j39]Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. Expert Syst. Appl. 183: 115212 (2021) - 2020
- [j38]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Prognosis of multiple instances in time-aware declarative business process models. Comput. Ind. 120: 103243 (2020) - [j37]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, Rafael M. Gasca:
Verifying the manipulation of data objects according to business process and data models. Knowl. Inf. Syst. 62(7): 2653-2683 (2020) - [c73]Ángel Jesús Varela-Vaca, David Garcia Rosado, Luis Enrique Sánchez, María Teresa Gómez-López, Rafael M. Gasca, Eduardo Fernández-Medina:
Definition and Verification of Security Configurations of Cyber-Physical Systems. CyberICPS/SECPRE/ADIoT@ESORICS 2020: 135-155 - [c72]Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, María Teresa Gómez-López:
AMADEUS: towards the AutoMAteD secUrity teSting. SPLC (A) 2020: 11:1-11:12
2010 – 2019
- 2019
- [j36]Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez-López:
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models. IEEE Access 7: 26448-26465 (2019) - 2017
- [c71]Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Rafael M. Gasca:
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. ISD 2017 - [r1]María Teresa Gómez-López, Rafael M. Gasca:
Object Relational Constraint Databases for GIS. Encyclopedia of GIS 2017: 1449-1457 - 2016
- [j35]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Hybrid business process modeling for the optimization of outcome data. Inf. Softw. Technol. 70: 140-154 (2016) - [c70]María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca:
Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD 2016: 96-110 - [c69]Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. BIS 2016: 289-301 - [c68]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Angel Jesus Varela-Vaca, Fco. Fernando de la Rosa Troyano, Rafael M. Gasca:
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Business Process Management Workshops 2016: 208-219 - [c67]María Teresa Gómez-López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, Rafael M. Gasca:
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. Business Process Management Workshops 2016: 239-251 - [c66]Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. BMMDS/EMMSAD 2016: 212-227 - [c65]José Miguel Pérez-Álvarez, María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca:
Process Instance Query Language to Include Process Performance Indicators in DMN. EDOC Workshops 2016: 1-8 - [c64]Luisa Parody, María Teresa Gómez-López, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, Mario Piattini:
PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle. RCIS 2016: 1-12 - 2015
- [j34]Angel Jesus Varela-Vaca, Rafael M. Gasca:
Formalization of security patterns as a means to infer security controls in business processes. Log. J. IGPL 23(1): 57-72 (2015) - [j33]Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López:
Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62: 187-197 (2015) - [j32]María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez:
Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. Syst. 48: 26-43 (2015) - 2014
- [j31]María Teresa Gómez-López, Rafael M. Gasca:
Using Constraint Programming in Selection Operators for Constraint Databases. Expert Syst. Appl. 41(15): 6773-6785 (2014) - [j30]María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez:
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes. Int. J. Cooperative Inf. Syst. 23(4) (2014) - [c63]María Teresa Gómez-López, Diana Borrego, Rafael M. Gasca:
Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. BIS 2014: 86-97 - [c62]Ismael Caballero, Luisa Parody, Isabel Bermejo, María Teresa Gómez-López, Rafael M. Gasca, Mario Piattini:
Service Level Agreement for Data Quality Governed By ISO 8000-1X0. ICIQ 2014 - [c61]María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca, Stefanie Rinderle-Ma:
Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness. OTM Conferences 2014: 327-344 - 2013
- [j29]Diana Borrego, Rik Eshuis, María Teresa Gómez-López, Rafael M. Gasca:
Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87: 167-184 (2013) - [j28]Angel Jesus Varela-Vaca, Rafael M. Gasca:
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. Inf. Softw. Technol. 55(11): 1948-1973 (2013) - [j27]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca:
Minimizing test-point allocation to improve diagnosability in business process models. J. Syst. Softw. 86(11): 2725-2741 (2013) - [c60]María Teresa Gómez-López, Rafael M. Gasca, Stefanie Rinderle-Ma:
Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis. EDOC Workshops 2013: 163-172 - [c59]Ismael Caballero, Isabel Bermejo, Rafael M. Gasca, Luisa Parody, Mario Piattini, María Teresa Gómez-López:
18K: An implementation of the ISO 8000-1×0. ICIQ 2013 - [c58]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Data-Oriented Declarative Language for Optimizing Business Processes. ISD 2013: 59-72 - [c57]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Angel Jesus Varela-Vaca:
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. RCIS 2013: 1-2 - 2012
- [j26]Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre:
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls. Comput. Secur. 31(4): 524-539 (2012) - [j25]Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca:
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. J. Syst. Softw. 85(2): 425-457 (2012) - [c56]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca:
Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints. BPMN 2012: 68-82 - [c55]Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel:
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. CISIS/ICEUTE/SOCO Special Sessions 2012: 13-23 - 2011
- [c54]Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Diana Borrego:
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. ICAART (2) 2011: 434-438 - [c53]María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, Diana Borrego:
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. ISD 2011: 457-469 - [c52]Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca:
Contract-based test generation for data flow of business processes using constraint programming. RCIS 2011: 1-12 - [c51]Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez:
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. RCIS 2011: 1-6 - [c50]Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo:
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. SECRYPT 2011: 370-374 - 2010
- [j24]Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre:
Communicating between the kernel and user-space in Linux using Netlink sockets. Softw. Pract. Exp. 40(9): 797-810 (2010) - [c49]Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca:
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA 2010: 1037-1046 - [c48]María Teresa Gómez-López, Rafael M. Gasca:
Run-Time Auditing for Business Processes Data Using Constraints. Business Process Management Workshops 2010: 146-157 - [c47]Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, Rafael Ceballos:
Improving the Diagnosability of Business Process Management Systems Using Test Points. Business Process Management Workshops 2010: 194-200 - [c46]Angel Jesus Varela-Vaca, Rafael Martinez Gasca:
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS 2010: 213-222 - [e1]Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca:
Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers. Lecture Notes in Computer Science 5988, Springer 2010, ISBN 978-3-642-14263-5 [contents]
2000 – 2009
- 2009
- [j23]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle:
Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng. 68(1): 146-172 (2009) - [j22]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca:
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Inf. Softw. Technol. 51(5): 894-915 (2009) - [j21]Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre:
Demystifying Cluster-Based Fault-Tolerant Firewalls. IEEE Internet Comput. 13(6): 31-38 (2009) - [j20]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca:
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. J. Networks 4(8): 698-710 (2009) - [c45]Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca:
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) 2009: 130-144 - [c44]Sergio Pozo Hidalgo, Rafael M. Gasca, Fernando de la Rosa Troyano:
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. ICEIS (3) 2009: 176-181 - [c43]Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT 2009: 42-53 - 2008
- [j19]Romano Fantacci, Leonardo Maccari, Pablo Neira Ayuso, Rafael M. Gasca:
Efficient packet filtering in wireless ad hoc networks. IEEE Commun. Mag. 46(2): 104-110 (2008) - [j18]Fernando De la Rosa T., Rafael M. Gasca:
Automatic extraction of social networks by topics of interest. Int. J. Comput. Appl. Technol. 33(4): 292-299 (2008) - [c42]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca:
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236 - [c41]Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca:
Towards a Dependable Architecture for Highly Available Internet Services. ARES 2008: 422-427 - [c40]Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre:
Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW. ESORICS 2008: 1-17 - [c39]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca:
AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483 - [c38]Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca:
hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS 2008: 525-532 - [c37]Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre:
Stateful Firewalling for Wireless Mesh Networks. NTMS 2008: 1-5 - [c36]Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre:
FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP 2008: 573-580 - [c35]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca:
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441 - [c34]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE 2008: 53-61 - [c33]Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE 2008: 381-390 - [c32]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca:
Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144 - 2007
- [j17]Rafael Ceballos, María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle:
A compiled model for faults diagnosis based on different techniques. AI Commun. 20(1): 7-16 (2007) - [c31]Sergio Pozo, Rafael Ceballos, Rafael M. Gasca:
CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729 - [c30]Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, Rafael Ceballos:
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. CAEPIA 2007: 160-169 - [c29]Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca:
Mesh Network Firewalling with Bloom Filters. ICC 2007: 1546-1551 - 2006
- [j16]Rafael Ceballos, María Teresa Gómez-López, Rafael Martinez Gasca, Carmelo Del Valle:
An integration of model-based techniques for determining the minimal diagnosis. Inteligencia Artif. 10(31): 41-52 (2006) - [j15]Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c28]Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca:
High Availability support for the design of stateful networking equipments. ARES 2006: 254-261 - [c27]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo:
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. AINA (2) 2006: 866-870 - [c26]María Teresa Gómez-López, Rafael M. Gasca:
Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. JISBD 2006: 471-476 - 2005
- [j14]Luis González Abril, Francisco Velasco Morente, Rafael M. Gasca:
A study of the similarities between topics. Comput. Stat. 20(3): 465-479 (2005) - [j13]Juan Antonio Ortega-Ramírez, Rafael Martinez Gasca, Jesús Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, Cecilio Angulo Bahón:
Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos. Computación y Sistemas 8(3) (2005) - [c25]Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle:
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. CAEPIA 2005: 62-68 - [c24]Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego:
Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210 - [c23]Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba:
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. CAEPIA 2005: 269-279 - [c22]Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega:
Diagnosis of a Chopper Controlled DC Motor by Boosting. CIMCA/IAWTIC 2005: 568-575 - [c21]Fernando de la Rosa Troyano, María Teresa Gómez-López, Rafael M. Gasca:
Analysis and Visualization of the DX Community with Information Extracted from the Web. DEXA 2005: 726-735 - [c20]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Fernando de la Rosa Troyano:
Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. DEXA 2005: 848-857 - [c19]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo:
ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad. JISBD 2005: 221-230 - [c18]Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca:
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. MICAI 2005: 1082-1092 - [c17]Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE 2005: 11 - 2004
- [c16]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle:
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. CDB 2004: 75-89 - [c15]María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo:
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. IBERAMIA 2004: 942-952 - [c14]Sergio Pozo, Rafael M. Gasca, María Teresa Gómez-López:
Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72 - 2003
- [j12]Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez-López, Rafael M. Gasca:
CSP aplicados a la diagnosis basada en modelos. Inteligencia Artif. 7(20): 137-150 (2003) - [j11]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos:
CSP y Bases de Datos Restrictivas. Inteligencia Artif. 7(20): 151-163 (2003) - [c13]Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho:
A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344 - [c12]María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos:
Arquitectura para la Consulta a Bases de Datos Restrictivas. JISBD 2003: 593-602 - [c11]Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro:
On Selecting and Scheduling Assembly Plans Using Constraint Programming. KES 2003: 1329-1336 - 2002
- [j10]Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro:
A Framework for Semiqualitative Reasoning in Engineering Applications. Appl. Artif. Intell. 16(3): 173-197 (2002) - [j9]Carmelo Del Valle, Rafael M. Gasca, Juan Antonio Ortega, María Teresa Gómez-López:
Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas. Inteligencia Artif. 6(17): 83-92 (2002) - [j8]Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega:
Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line. Computación y Sistemas 5(3) (2002) - [j7]Pedro J. Abad, Antonio J. Suárez, Juan Antonio Ortega, Rafael M. Gasca:
Diagnosis en Fases Tempranas de Sistemas Dinámicos. Computación y Sistemas 6(2) (2002) - [c10]Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres:
Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87 - [c9]Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro:
Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181 - [c8]Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres:
A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312 - [c7]Fco. Fernando de la Rosa Troyano, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos:
Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos. JISBD 2002: 259-269 - [c6]R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro:
Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426 - 2001
- [j6]Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro:
Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia Artif. 5(14): 68-77 (2001) - [j5]Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro:
An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas. Computación y Sistemas 4(3): 230-241 (2001) - [j4]