Search the dblp DataBase

Publications of Author

1. Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, D. Borrego
   Diagnosing Errors in DbC Programs Using Constraint Programming. [Citation Graph (0, 0)][DBLP]
   CAEPIA, 2005, pp:200-210 [Conf]
   
2. Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle
   A Topological-Based Method for Allocating Sensors by Using CSP Techniques. [Citation Graph (0, 0)][DBLP]
   CAEPIA, 2005, pp:62-68 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   CDB, 2004, pp:75-89 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2004, pp:942-952 [Conf]
   
5. Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro
   Max-CSP Approach for Software Diagnosis. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2002, pp:172-181 [Conf]
   
6. Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz
   A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2002, pp:835-844 [Conf]
   
7. María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
   Arquitectura para la Consulta a Bases de Datos Restrictivas. [Citation Graph (0, 0)][DBLP]
   JISBD, 2003, pp:593-602 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   JISBD, 2002, pp:259-269 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   MICAI, 2005, pp:1082-1092 [Conf]
   
10. María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos
    CSP y Bases de Datos Restrictivas. [Citation Graph (0, 0)][DBLP]
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2003, v:20, n:, pp:151-163 [Journal]
    
11. Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez López, Rafael M. Gasca
    CSP aplicados a la diagnosis basada en modelos. [Citation Graph (0, 0)][DBLP]
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2003, v:20, n:, pp:137-150 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2007, v:20, n:1, pp:7-16 [Journal]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2007, pp:160-169 [Conf]
    
14. 
    CSP-Based Firewall Rule Set Diagnosis using Security Policies. [Citation Graph (, )][DBLP]
    
    
15. 
    Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. [Citation Graph (, )][DBLP]
    
    
16. 
    On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. [Citation Graph (, )][DBLP]
    
    
17. 
    AFPL, an Abstract Language Model for Firewall ACLs. [Citation Graph (, )][DBLP]
    
    
18. 
    A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. [Citation Graph (, )][DBLP]
    
    
19. 
    Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. [Citation Graph (, )][DBLP]
    
    
20. 
    Firewall Rule Set Inconsistency Characterization by Clustering. [Citation Graph (, )][DBLP]
    
    
21. 
    Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. [Citation Graph (, )][DBLP]
    
    
22. 
    Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. [Citation Graph (, )][DBLP]
    
    
23. 
    Developing a labelled object-relational constraint database architecture for the projection operator. [Citation Graph (, )][DBLP]