Rafael Martinez Gasca
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
52 | 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 | ||
51 | EE | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236 |
50 | EE | Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca: Towards a Dependable Architecture for Highly Available Internet Services. ARES 2008: 422-427 |
49 | EE | 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 |
48 | EE | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483 |
47 | EE | Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca: hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS 2008: 525-532 |
46 | EE | Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre: FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP 2008: 573-580 |
45 | 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 |
44 | 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 |
43 | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144 | |
42 | EE | Fernando De la Rosa T., Rafael M. Gasca: Automatic extraction of social networks by topics of interest. IJCAT 33(4): 292-299 (2008) |
2007 | ||
41 | EE | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729 |
40 | 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 |
39 | EE | Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca: Mesh Network Firewalling with Bloom Filters. ICC 2007: 1546-1551 |
38 | 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 | ||
37 | EE | 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 |
36 | EE | Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca: High Availability support for the design of stateful networking equipments. ARES 2006: 254-261 |
35 | 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 | |
34 | 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 | ||
33 | EE | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210 |
32 | EE | Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, I. Barba: Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. CAEPIA 2005: 269-279 |
31 | 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 |
30 | 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 | |
29 | EE | F. 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 |
28 | EE | Marí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 |
27 | 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 | |
26 | 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 | ||
25 | 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 |
24 | 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 |
23 | Sergio Pozo, Rafael M. Gasca, María Teresa Gómez López: Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72 | |
2003 | ||
22 | EE | Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho: A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344 |
21 | 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 | |
20 | EE | 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 |
19 | 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) |
18 | 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 | ||
17 | EE | Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87 |
16 | EE | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181 |
15 | EE | Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312 |
14 | 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 | |
13 | R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426 | |
12 | EE | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002) |
11 | EE | 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 Artificial, Revista Iberoamericana de Inteligencia Artificial 17: 83-92 (2002) |
2001 | ||
10 | EE | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599 |
9 | Antonio 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 | |
8 | Fco. 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 | |
7 | EE | 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) |
6 | EE | Rafael 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 | ||
5 | EE | Miguel 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) |
4 | EE | Juan 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) |
3 | EE | Rafael 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 | ||
2 | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. IEA/AIE (Vol. 1) 1998: 321-328 | |
1 | Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. IEA/AIE (Vol. 1) 1998: 329-335 |