Rafael M. Gasca Coauthor index DBLP Vis pubzone.org

Rafael Martinez Gasca

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

DBLP keys2009
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca: MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) 2009: 130-144
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo Hidalgo, Rafael M. Gasca, F. T. de la Rosa: Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. ICEIS (3) 2009: 176-181
57no 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
56Electronic 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)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: Demystifying Cluster-Based Fault-Tolerant Firewalls. IEEE Internet Computing 13(6): 31-38 (2009)
54Electronic 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
53Electronic 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca: Towards a Dependable Architecture for Highly Available Internet Services. ARES 2008: 422-427
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
50Electronic 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca: hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS 2008: 525-532
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre: Stateful Firewalling for Wireless Mesh Networks. NTMS 2008: 1-5
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre: FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP 2008: 573-580
46no 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
45Electronic 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
44Electronic 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
43no 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando De la Rosa T., Rafael M. Gasca: Automatic extraction of social networks by topics of interest. IJCAT 33(4): 292-299 (2008)
2007
41Electronic 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
40Electronic 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca: Mesh Network Firewalling with Bloom Filters. ICC 2007: 1546-1551
38Electronic 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca: High Availability support for the design of stateful networking equipments. ARES 2006: 254-261
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
34Electronic 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
33Electronic 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Carmelo Del Valle, Victor Cejudo, I. Barba: Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. CAEPIA 2005: 269-279
31Electronic 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLF. T. de la Rosa, 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, F. T. de la Rosa: Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. DEXA 2005: 848-857
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarí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
26Electronic 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
25Electronic 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
24Electronic 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
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozo, Rafael M. Gasca, María Teresa Gómez López: Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72
2003
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho: A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344
21no 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro: On Selecting and Scheduling Assembly Plans Using Constraint Programming. KES 2003: 1329-1336
19Electronic 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)
18Electronic 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87
16Electronic 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312
14no 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmelo 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 Artificial, Revista Iberoamericana de Inteligencia Artificial 17: 83-92 (2002)
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, Juan Antonio Ortega: Qualitative Reasoning for Software Development Project by Constraint Programming. ICEIS (1) 2001: 481-488
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFco. Fernando de la Rosa Troyano, Rafael M. Gasca, Juan Antonio Ortega: Metodología para el Análisis Visual de la Evolución de Conceptos en Bases de Datos Textuales. JBIDI 2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14: 68-77 (2001)
2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Toro, Juan Antonio Ortega, Rafael M. Gasca: Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 45-57 (2000)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Obtención de patrones de Comportamiento de Modelos Semicualitativos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 66-75 (2000)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9: 85-97 (2000)
1998
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. IEA/AIE (Vol. 1) 1998: 321-328
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. IEA/AIE (Vol. 1) 1998: 329-335

Coauthor Index

1Pedro J. Abad [9] [30]
2Pablo Neira Ayuso [36] [39] [47] [48] [49] [51] [52] [55]
3I. Barba [32]
4Denis Barbaron [52]
5Diana Borrego [33] [34]
6Eduardo F. Camacho [22]
7Rafael Ceballos [14] [16] [18] [19] [21] [24] [25] [26] [31] [33] [34] [38] [40] [41] [43] [44] [45] [46] [50] [53] [54] [56] [57]
8Victor Cejudo [27] [31] [32]
9R. Cevallos [13]
10Francisco Javier Cuberos [17]
11Romano Fantacci [39]
12Sergio Pozo Hidalgo (Sergio Pozo) [23] [24] [26] [37] [41] [43] [44] [45] [46] [50] [53] [54] [57] [58] [59]
13Laurent Lefèvre [36] [47] [48] [49] [51] [52] [55]
14María Teresa Gómez López [11] [18] [19] [21] [23] [24] [25] [27] [28] [29] [35] [37] [38] [40] [56]
15Leonardo Maccari [39] [48]
16Antonio A. Márquez [20]
17Antonio Ortega [15]
18Juan Antonio Ortega [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [17] [30]
19F. T. de la Rosa [28] [29] [58]
20Antonio J. Suárez [9] [30]
21Fernando De la Rosa T. [42]
22Miguel Toro [1] [2] [3] [4] [5] [6] [7] [10] [12] [13] [15] [16] [17] [20] [22]
23Fco. Fernando de la Rosa Troyano [8] [14]
24Jesus Torres Valderrama (Jesús Torres) [15] [17]
25Carmelo Del Valle [11] [13] [14] [16] [18] [19] [20] [21] [22] [25] [26] [27] [28] [31] [32] [33] [37] [38] [40] [56]
26A. J. Varela-Vaca [44] [45] [57] [59]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)