| 2009 |
|---|
| 21 | EE | 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) |
| 2008 |
|---|
| 20 | EE | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
ARES 2008: 229-236 |
| 19 | EE | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
AFPL, an Abstract Language Model for Firewall ACLs.
ICCSA (2) 2008: 468-483 |
| 18 | EE | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE 2008: 381-390 |
| 17 | EE | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE 2008: 53-61 |
| 16 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
Firewall Rule Set Inconsistency Characterization by Clustering.
WOSIS 2008: 138-144 |
| 2007 |
|---|
| 15 | EE | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
CSP-Based Firewall Rule Set Diagnosis using Security Policies.
ARES 2007: 723-729 |
| 14 | EE | 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 |
| 13 | EE | 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) |
| 2006 |
|---|
| 12 | EE | Rafael Ceballos,
Rafael Martinez Gasca,
Diana Borrego:
Constraint satisfaction techniques for diagnosing errors in design by contract software.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 |
|---|
| 11 | EE | Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle,
Diana Borrego:
Diagnosing Errors in DbC Programs Using Constraint Programming.
CAEPIA 2005: 200-210 |
| 10 | EE | 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 |
| 9 | EE | 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 |
| 2004 |
|---|
| 8 | EE | 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 |
| 7 | EE | 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 |
| 2003 |
|---|
| 6 | | 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 |
| 5 | EE | Rafael Ceballos,
Carmelo Del Valle,
María Teresa Gómez López,
Rafael M. Gasca:
CSP aplicados a la diagnosis basada en modelos.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 137-150 (2003) |
| 4 | EE | María Teresa Gómez López,
Rafael M. Gasca,
Carmelo Del Valle,
Rafael Ceballos:
CSP y Bases de Datos Restrictivas.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 151-163 (2003) |
| 2002 |
|---|
| 3 | EE | Rafael Ceballos,
Rafael M. Gasca,
Carmelo Del Valle,
Miguel Toro:
Max-CSP Approach for Software Diagnosis.
IBERAMIA 2002: 172-181 |
| 2 | EE | Carmelo Del Valle,
Miguel Toro,
Rafael Ceballos,
Jesús S. Aguilar-Ruiz:
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.
IBERAMIA 2002: 835-844 |
| 1 | | 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 |
