Rafael Ceballos Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca, Rafael Ceballos: Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT 2009: 42-53
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Information & Software Technology 51(5): 894-915 (2009)
2008
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144
2007
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle: A Topological-Based Method for Allocating Sensors by Using CSP Techniques. CAEPIA 2005: 62-68
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmelo 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFco. 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

Coauthor Index

1Jesús S. Aguilar-Ruiz [2]
2Diana Borrego [11] [12]
3Victor Cejudo [10]
4Rafael M. Gasca (Rafael Martinez Gasca) [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
5Sergio Pozo Hidalgo (Sergio Pozo) [7] [9] [15] [16] [17] [18] [19] [20] [21] [22] [24]
6María Teresa Gómez López [4] [5] [6] [7] [8] [13] [14] [23]
7Miguel Toro [2] [3]
8Fco. Fernando de la Rosa Troyano [1]
9Carmelo Del Valle [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [23]
10A. J. Varela-Vaca [17] [18] [24]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)