Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
2015
Ángel Jesús Varela-Vaca, David Jiménez Vargas, María
Teresa Gómez-López, Rafael M. Gasca, Antonio J. Suárez Fábrega,
and Pedro J. Abad Herrera, "An Open-Source Proactive Security
Infrastructure for Business Process Management" 26th IBIMA Conference (CORE B) (to be appear)
Angel Jesus Varela-Vaca, Rafael Martínez Gasca, "Towards Automatic Integration of Information Security Governance and Management using a BPMS approach", I Jornadas Nacionales de Investigación en Cyberseguridad 2015 (to appear).
Jose Antonio Alvarez Bermejo, Angel Jesus Varela Vaca, Francisco G. Montoya, Juan Antonio López Ramosy Consolación Gil Montoya, "Embedded Kernel customization to optimize performance and power management. An application to IoT", VI Jornadas de Computación Empotrada (to appear)
María Teresa Gómez-López, Rafael M. Gasca and José Miguel Pérez-Álvarez, "Compliance Validation and Diagnosis of Business Data Constraints in Business Processes at Runtime", Journal of Information Systems, 48:26-43 (2015). Elsevier (http://dx.doi.org/10.1016/j.is.2014.07.007).
2014
María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca and Stefanie Rinderle-Ma, "Prognosing the Compliance of Declarative Business Processes using Event Trace Robustness", Coopis 2014 (To appear).
Angel Jesus Varela-Vaca, Rafael M. Gasca, "Formalization of Security Patterns as a Means to Infer Security Controls in Business Processes", Logic Journal of the IGPL, Oxford Journals, DOI: 10.1093/jigpal/jzu042. In press
Ismael Caballero, Isabel Bermejo, Luis Parody, María Teresa Gómez-López, Rafael M. Gasca y Mario Piattini. "SERVICE LEVEL AGREEMENT FOR DATA QUALITY GOVERNED BY ISO 8000-1X0", 19th International Conference on Information Quality (ICIQ), 2014
Ismael Caballero, Isabel Bermejo, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca y Mario Piattini. "SLA4DQ-I8K: Acuerdos a Nivel de Servicio para Calidad de Datos en Intercambios de Datos Maestros regulados por ISO 8000-1x0", X Jornadas de Ciencia e Ingeniería de Servicios (JCIS), 2014
María Teresa Gómez-López and Rafael M. Gasca. "Using Constraint Programming in Selection Operators for Constraint Databases", Expert Systems With Applications, In press. DOI: http://dx.doi.org/10.1016/j.eswa.2014.04.047
María Teresa Gómez-López, Rafael M. Gasca and José Miguel Pérez-Álvarez, "Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes", International Journal of Cooperative Information Systems, Vol. 23, No. 2 (2014). DOI: 10.1142/S0218843014500038.
Diana Borrego, Irene Barba, “Conformance
Checking and Diagnosis for Declarative Business Process Models in Data-Aware
Scenarios”, Expert Systems With Applications, In press.
María Teresa Gómez-López, Diana Borrego and Rafael M. Gasca, " Data State Description for the Migration to Activity-centric Business Process Model Maintaining Legacy Databases", 17th International Conference on Business Information Systems (BIS 2014), In press.
Angel Jesus Varela-Vaca, "OPBUS: A framework for improving the dependability of risk-aware business processes", AI Communications, IOS Press, ISBN 1875-8452, DOI: 10.3233/AIC-140651. In press
Andrés Jiménez-Ramírez, Irene Barba, Barbara Weber, Carmelo Del Valle,
"Automatic
Generation of Questionnaires for Supporting Users during the Execution
of Declarative Business Process Models". 17th International Conference
on Business Information Systems (BIS 2014), In press.
Andrés Jiménez-Ramírez, Barbara Weber, Irene Barba, Carmelo Del Valle, "Automatic Generation of Questionnaires for Managing Configurable BP Models". 6th International Conference on Agents and Artificial Intelligence (ICAART 2014), In press.
2013
Luisa Parody, María Teresa Gómez-López and Rafael M. Gasca, "Data-Oriented Declarative Language for Optimizing Business Processes", 22nd International Conference on Information System Development (ISD 2013). To appear.
Diana Borrego, "Diagnostic Reasoning with Structural Analysis and Constraint Programming for Quality Improvement of Business Process Management Systems". AI Communications, 2013. DOI: 10.3233/AIC-130568
Diana Borrego, Irene Barba and Pedro J. Abad, "Data-Aware Conformance Checking for Declarative Business Process Models", 22nd International Conference on Information System Development (ISD 2013). To appear.
María Teresa Gómez-López, Stefanie Rinderle-ma and Rafael M. Gasca, "Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis", 17th IEEE International EDOC Conference (EDOCW 2013)". Vancouver, Canada. Pages: 163-172. DOI: 10.1109/EDOCW.2013.25
Carlos Arévalo Maldonado, M. Teresa Gómez-López, Antonia M. Reina Quintero, Isabel Ramos, "An Architecture to infer Business Rules from Event Condition Action Rules implemented in the Persistence Layer", Book Chapter in "Uncovering Essential Software Artifacts through Business Process Archaeology" IGI Global. Pages: 201-221. 2014. ISBN 9781466646674
Luisa Parody, María Teresa Gómez-López and Rafael M. Gasca, "Decision-Making Sub-Process to Obtain the Optimal Combination of Input Data in Business Processes", IX Jormadas de Ciencia e Ingeniería de Servicios (JCIS 2013). Madrid, España. (To appear)
Isabel Bermejo, Luisa Parody, Ismael Caballero, María Teresa Gómez-López and Rafael M. Gasca, "Gestion de Calidad de Datos en la Combinacion de Actividades dentro del Marco de los Procesos de Negocio", XVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2013). Madrid, España. (To appear)
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca and Angel Jesus Varela-Vaca, "CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling", 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013), Paris, France, 2013. Pag. 663-664. ISBN 978-1-4673-2914-9.(CORE B)
Andrés Jiménez-Ramírez, Irene Barba, Carmelo Del Valle, Barbara Weber, "Generating Multi-objective Optimized Business Process Enactment Plans". 25th International Conference on Advanced Information Systems Engineering (Caise 2013), LNCS 7908, pp. 99-115, Valencia, Spain, 2013.
Irene Barba, Barbara Weber, Carmelo Del Valle, Andrés Jiménez-Ramírez, "User Recommendations for the Optimized Management of Business Processes". Data & Knowledge Engineering, DOI: 10.1016/J.DATAK.2013.01.004, vol. 86, pp. 61-84 (2013).
Irene Barba, Carmelo Del Valle, Barbara Weber, Andrés Jiménez-Ramírez, "Automatic Generation of Optimized Business Process Models from Constraint-based Specifications",
International Journal of Cooperative Information Systems, DOI: 10.1142/S0218843013500093, vol. 22 (02), (2013).
Irene Barba, "Constraint-based planning and scheduling techniques for the optimized management of business processes". AI Communications, vol. 26, pp. 251-253, DOI: 10.3233/AIC-130554 (2013).
2012
A.J. Varela-Vaca, and Rafael M. Gasca, "Propuesta para la generación y
selección adaptable de configuraciones de seguridad para sistemas de
gestión de procesos de negocio". 1st Workshop de Investigación en Tecnologías de Seguridad TIC. León, Spain, 2012. (to appear)
A. Jiménez-Ramírez, I. Barba, C. Del Valle, B. Weber. "Generating Multi-objective Optimized Configurable Business Process Models". 6th International Conference on Research Challenges in Information Science (RCIS'12). Valencia (Spain), 2012. Accepted for publication.
I. Barba, A. Lanz, B. Weber, M. Reichert, C. Del Valle. "Optimized Time Management for Declarative Workflows". 13th Business Process Modeling, Development, and Support (BPMDS'12). Gdansk (Poland), 2012. LNBIP vol. 113, pp. 195-210.
A. Jiménez-Ramírez, I. Barba, C. Del Valle, B. Weber, "OPTBPPLANNER: Automatic Generation of Optimized Business Process Enactment Plans". 21th International Conference on Information Systems Development (ISD 2012), 2012. (to appear)
2011
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca and Angel Jesus Varela-Vaca. "An Approach for Optimization Agreements in Business Process based on Web Services". 17th IBIMA Conference on Creating Competitive Economies: A 360-degree Approach (IBIMA'11). Milan (Italy),2011. pp 183-194. ISBN: 978-0-9821489-6-6.
A. J. Varela-Vaca,
Rafael M. Gasca, Diana Borrego, Sergio Pozo. "Fault Tolerance Framework
using Model-Based Diagnosis: Towards
Dependable Business Processes", International Journal on Advances in
Security, ISSN: 1942-2636, Vol. 4, Nº 1 & , 2011.
Irene Barba, Barbara Weber and Carmelo Del Valle. "Supporting the Optimized Execution of Business Processes through Recommendations". International Workshop on Business Process Intelligence (BPI 2011), pp. 65-70.
Irene Barba and Carmelo Del Valle. "A Constraint-based Approach for Planning and Scheduling Repeated Activities". Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2011), pp. 55-62.
María Teresa Gómez López, Antonia Reina-Quintero, Rafael Martínez Gasca. "Model-Driven Engineering for Constraint Database Query Evaluation". Workshop Model-Driven Engineering, Logic and Optimization: friends or foes? (MELO 2011).
A.J. Varela-Vaca, Rafael M. Gasca and Sergio Pozo. "OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes". International Conference on Security and Cryptography (SECRYPT 2011).
A.J. Varela-Vaca, Rafael M. Gasca and A. Jimenez-Ramirez. "A Model-Driven Engineering approach with Diagnosis of Non-Conformance of Security Objectives in Business Process Models". 5th IEEE International Conference on Research Challenges in Information Science (RCIS 2011).
A. Jimenez-Ramirez, Rafael M. Gasca and A.J. Varela-Vaca. "Contract-based test generation for data flow of business process using constraint programming". 5th IEEE International Conference on Research Challenges in Information Science (RCIS 2011).
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca and Diana Borrego. "Using Distributed CSPs to Model Business Process Agreement in Software Multiprocess". 3rd International Conference on Agents and Artificial Intelligence (ICAART'11). Roma (Italy),2011. Vol.2 pp 434-438. ISBN: 978-989-8425-41-6.
Irene Barba and Carmelo Del Valle. "A planning and scheduling perspective for designing business process from declarative specifications". 3rd International Conference on Agents and Artificial Intelligence (ICAART'11). Roma (Italy),2011.
2010
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca and Diana Borrego. "Resolución de Acuerdos en Procesos de Negocio para Multiprocesos Software usando Programación con Restricciones Distribuidas". Apoyo a la Decisión en Ingeniería del Software, Vol. 4, No. 1, pp. 53-64. Valencia (Spain), 2010.
Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López and Luisa Parody. "Contract-based Diagnosis for Business Process Instances using Business Compliance Rules" 21th International Workshop in Principles of Diagnosis (DX'10). Portland, Oregon, USA.
Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca and Luisa Parody. "Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones". Apoyo a la Decisión en Ingeniería del Software, Vol. 4, No. 1, pp. 23-34. Valencia (Spain), 2010.
María Teresa Gómez-López and Rafael M. Gasca. "Fault diagnosis in databases for business processes" 21th International Workshop in Principles of Diagnosis (DX'10). Portland, Oregon, USA.
A. J. Varela- Vaca, Rafael M. Gasca, L. Parody: "OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes". 21th International Workshop in Principles of Diagnosis (DX'10). Portland, Oregon, USA.
A.J. Varela-Vaca, Rafael M. Gasca."OPBUS: Fault Tolerance against integrity attacks in business processes". 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS'10). Leon, Spain. Advances in Soft Computing, Volume 85/2010, 213-222. ISBN: 978-3-642-16625-9, 2010.
María Teresa Gómez-López and Rafael M. Gasca. Run-time Monitoring and Auditing for Business Processes Data using Contraints. International Workshop on Business Process Intelligence 2010.
D. Borrego, M. T. Gómez-López, R. M. Gasca, R. Ceballos, "Improving the Diagnosability of Business Process Management Systems Using Test Points", 6th Workshop on Business Process Intelligence (BPI 2010), New Jersey, USA, 2010.
I. Barba, C. Del Valle. "Planning and Scheduling of Business Processes in Run-Time: A Repair Planning Example". 19 th International Conference on Information Systems Development. Prague (Czech Republic), 2010. To appear.
I. Barba, C. Del Valle. "A Job-Shop Scheduling Model of Software Development Planning for Constraint-based Local Search". International Journal of Software Engineering and Its Applications, 2010. To appear.
María Teresa Gómez-López, Rafael M. Gasca and Carlos Arévalo. A survey using constrains to decision making for fault tolerance in Business processes. International Journal Of Software Engineering and Its Applications, 2010. Vol.4, No. 4, Octubre 2010.
D. Borrego, M. T. Gómez-López, R. M. Gasca, R. Ceballos, "Determination of an Optimal Test Points Allocation for Business Process Analysis", 2010 IEEE/IFIP Network Operations and Management Symposium Workshops (BDIM 2010), Osaka, Japan, 2010.
2009
María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca and Carmelo del VAlle. Developing a labelled object-relational Constraint Database Architecture for the Prohection Operator. Data & Knowledge Engineering. Elsevier. Vol 68. Pages: 146-172. 2009.
I. Barba, C. Del Valle, D. Borrego. "A Constraint-based Job-Shop Scheduling Model for Software Development Planning". Apoyo a la decisión e Ingeniería del Software, Vol. 3, No. 1, Sec. 1, pp. 1-12. San Sebastián (Spain), 2009.
I. Barba, C. Del Valle, D. Borrego. "PDDL Specification for Multi-objective Repair Planning". Caepia 2009 - Workshop on Planning, Scheduling and Constraint Satisfaction, pp. 21-33, Sevilla (Spain), 2009.
I. Barba, C. Del Valle, D. Borrego. "A Constraint-based Model for Multi-objective Repair Planning". 14 th IEEE International Conference on Emerging Technologies and Factory Automation. Palma de Mallorca (Spain), 2009.
I. Barba, C. Del Valle, D. Borrego. "A multiobjective constraint optimization model for multimode repair plans". VI International Conference on Informatics in Control, Automation and Robotics 1, 355-358. Milan (Italy), 2009.
D. Borrego, R. M. Gasca, M. T. Gómez-López, I. Barba, "Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration", 20th International Workshop on Principles of Diagnosis (DX 2009). Stockholm, Sweden, 2009.
M. T. Gómez-López, R. M. Gasca, D. Borrego. "Una propuesta usando restricciones para la toma de decisiones en la tolerancia a fallos en procesos de negocio". Apoyo a la decisión e Ingeniería del Software, Vol. 3, No. 1, Sec. 1, pp. 62-72. San Sebastián (Spain), 2009.
S. Pozo, R. Ceballos, R.M. Gasca, A.J. Varela-Vaca. "Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates". 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (DEPEND). Cap Esterel, Agay, France. IEEE Computer Society Press, 2008. This is an extended version of IADIS AC'08 paper.
S. Pozo, R. Ceballos, R.M. Gasca. "AFPL, An Abstract Language Model for Firewall ACLs". 8th International Conference on Computational Science and Its Applications (ICCSA). Perugia, Italy. Springer-Verlag, Lecture Notes in Computer Science (LNCS) Volume 5073, Part 2, 2008. Acceptance rate: 29%
S. Pozo, R. Ceballos, R.M. Gasca. "Firewall Rule Set Inconsistency Characterization by Clustering". 6th International Workshop on Security in Information Systems (WOSIS), in 10th International Conference on Enterprise Information Systems (ICEIS). Barcelona, Spain. INSTICC Press, 2008.
Romano Fantacci, Pablo Neira Ayuso, Leonardo Maccari, Rafael Martínez Gasca: Efficient Packet Filtering in Wireless Ad-Hoc Networks. IEEE Communications Magazine. 2008. Pag. 26-32
C. Del Valle, A. Márquez, I. Barba. "A CSP Model for Simple Non-reversible and Parallel Repair Plans". Journal of Intelligent Manufacturing, JCR 0.598. 2008. Vol. 21(1), pp. 165-174. Springer-Verlag, Holanda, 2010.
D. Borrego, M. T. Gómez-López, R. M. Gasca. "Diagnosing Distributed Systems using only Structural and Qualitative Information". International Transactions on Systems Science and Applications Journal. 2008. To appear.
I. Barba, C. Del Valle, D. Borrego. "A Job-Shop Scheduling Model for Constraint-Based Local Search". Iberamia 2008 Workshop on Planning, Scheduling and Constraint Satisfaction, Lisboa (Portugal). Pag. 7-18.
2007
S. Pozo, R. Ceballos, R. M. Gasca. "CSP-based Rule Set Diagnosis using Security Policies". International Symposium on Frontiers in Availability, Reliability and Security (FARES), in 2nd International Conference on Availability, Reliability and Security (ARES). Vienna, Austria. IEEE Computer Society Press, 2007 Acceptance rate: 28%
Rafael Ceballos Guerrero, Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano: A Compiled Model for Faults Diagnosis Based on Different Techniques. Ai Communications. Vol. 20. Núm. 1. 2007. Pag. 7-16
Fernando de la Rosa Troyano, Rafael Martínez Gasca: Extracción Automática de Redes Sociales Dirigida Mediante Tópicos de Interés a Través de la Web. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). Vol. 1. Núm. 3. 2007. Pag. 1-10
Rafael Martínez Gasca, Mª Teresa Gómez López, Carmelo del Valle Sevillano, Rafael Ceballos Guerrero: Nmus: Structural Analysis for Improving Thederivation of All Muses in Overconstrained Numeric Csps. Lecture Notes in Artificial Intelligence. 2007. Pag. 160-169
Fernando de la Rosa Troyano, Rafael Martínez Gasca: Sistemas de Inteligencia Web Basados en Redes Sociales. Redes. Revista Hispana para el Análisis de Redes Sociales. Vol. 12. Núm. 9. 2007. Pag. 1-30
Irene Barba Rodríguez, Diana Borrego Núñez, Carmelo del Valle Sevillano, Rafael Martínez Gasca: Inferencia de Crónicas Temporales con Programación Lógica Inductiva para Predicción de Evoluciones. XII Conferencia de la Asociación Española para la Inteligencia Artificial (XII CAEPIA). Vol. 2. 2007. Pag. 347-356.
Diana Borrego Núñez, María Teresa Gómez López, Rafael Martínez Gasca: Supervised and Distributed Model-Based Diagnosis. II Workshop on Industrial Applications of Distributed Intelligent Systems (INADIS 2007). Vol. 1. 2007. Pag. 23-32.
2006
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: A Topological-Based Method for Allocating Sensors By Using CSP Techniques. Lecture Notes in Computer Science. Vol. 4177. 2006. Pag. 62-68
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Diana Borrego Núñez: Constraint Satisfaction Techniques for Diagnosing Errors in Design By Contract Software. ACM Software Engineering Notes. 2006. Pag. 41-52
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Diana Borrego Núñez: Diagnosing Errors in Dbc Programs Using Constraint Programming. Lecture Notes in Computer Science. Vol. 4177. 2006. Pag. 200-210
Rafael Martínez Gasca, Carmelo del Valle Sevillano, Irene Barba Rodríguez: Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. Lecture Notes in Computer Science. Vol. 4177. 2006. Pag. 269-279
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Mª Teresa Gómez López: Integración de Técnicas Basadas en Modelos para la Determinación de la Diagnosis Mínima de un Sistema. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Vol. 10. Núm. 31. 2006. Pag. 41-51
Mª Teresa Gómez López, Rafael Martínez Gasca: Ampliación de la Sintaxis y la Semántica de Sql para el Tratamiento de Datos Tipo Restricción. Jornadas de Ingeniería del Software y Bases de Datos. Jornadas de Ingeniería del Software y Bases de Datos (11). Num. 11. Sitges, Barcelona. Acta de Congreso. 2006. Pag. 471-476
Pedro J. Abad, Antonio J. Suarez, Rafael Martínez Gasca: Diagnosis of a Chopper Controlled DC Motor By Boosting. Proceedings. International Conference on Computational Intelligence for Modelling, Control & Automation. Cimca 2005. International Conference on Computational Intelligence for Modelling, Control & Automation (). Viena, Austria. IEEE. 2006. Pag. 568-575. ISBN: 0-7695-2504-0
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Sergio Pozo Hidalgo: Distributed Model-Based Diagnosis Using Object-Relational Constraint Databases. 20th International Conference on Advanced Information Networking and Applications. IEEE International Conference on Advanced Information Networking and Applications (20). Num. 20. Viena, Austria. IEEE Computer Society. 2006. Pag. 866-870. ISBN: 0-7695-2466-4
Pablo Neira Ayuso, Sergio Pozo Hidalgo, Rafael Martínez Gasca: Estrategias Eficientes en el Nivel de Aplicación para el Filtrado y Balanceo de Carga de Paquetes. Ciasi: Congreso Iberoamericano de Auditoría y Control de Sistemas de Información. Congreso Iberoamericano de Auditoria y Control de Sistemas de Informacion, Ciasi 2001. Num. 3. Madrid- España. -. 2006. Pag. 80-88
Pablo Neira Ayuso, Rafael Martínez Gasca, Laurent Lefevre: High Availability Support for the Design of Stateful Networking Equipments. IEEE International Conference on Availability, Reliability and Security (Ares). IEEE International Symposium on Frontiers in Availability, Reliability and Security (Fares), in International Conference on Availability, Reliability and Security (Ares) (2). Num. 2. Viena, Austria. IEEE Computer Society. 2006. Pag. 230-239
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano: Improving the Determination of Minimal Hitting Sets in Model-Based Diagnosis Using Constraint Databases. Symposium on Fault Detection, Supervision and Safety of Technical Processes. IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (Safeprocess) (6). Num. 6. Pekín, China. IFAC. 2006. Pag. 301-306
Pedro J. Abad Herrera, Antonio J. Suarez Fabrega, Rafael Martínez Gasca, Juan Antonio Ortega Ramirez: Sesete: un Algoritmo de Clasificación para la Diagnosis de Sistemas Dinámicos. Razonamiento Cualitativo y Aplicaciones. VIII Jornadas Razonamiento Cualitativo y Aplicaciones. Jarca'06 (8). Num. 8. Castellón de la Plana. M. Teresa Escrig, Lledó Museros, Juan A. Ortega Editores. 2006. Pag. 43-50. ISBN: 84-611-1401-9
2005
Rafael Martínez Gasca, Francisco Velasco Morente, Miguel Toro Bonilla: Análisis de un Sistema Biometalúrgico con Conocimiento Intervalar y Cuantitativo. El Análisis de Intervalos en España: Desarrollos, Herramientas y Aplicaciones. Gerona, España. Documenta Universitaria. Vol. 1. 2005. Pag. 191-208. ISBN: 84-934349-1-4
Pedro J. Abad, Antonio J. Suarez, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Diagnosis of a Chopper Controlled DC Motor By Boosting. Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (Cimca-Iawtic'06). Washington DC, Estados Unidos. IEEE Computer Society Press. 2005. Pag. 568-575
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca, Luis González Abril: Localización de Centros Atractivos y/o Repulsivos con Análisis Intervalar. El Análisis de Intervalos en España: Desarrollos, Herramientas y Aplicaciones. Gerona, España. Documenta Universitaria. Vol. 1. 2005. Pag. 257-266. ISBN: 84-934349-1-4
Antonio Ángel Márquez Hernández, Carmelo del Valle Sevillano, Rafael Martínez Gasca, Miguel Toro Bonilla: A Constraint-Based Algorithm for Planning the Substitution of Faulty Parts. Frontiers in Artificial Intelligence and Applications. Núm. 117. 2005. Pag. 79-88
Luis González Abril, Francisco Velasco Morente, Rafael Martínez Gasca: A Study of the Similarities Between Topics. Computational Statistics . Vol. 20. Núm. 3. 2005. Pag. 465-479
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Sergio Pozo Hidalgo: An Integration of Fdi and Dx Techniques for Determining the Minimal Diagnosis in an Automatic Way. Lecture Notes in Computer Science. Vol. 3789. 2005. Pag. 1082-1092
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Luis González Abril, Francisco Velasco Morente: Análisis de Redes Sociales Mediante Diagramas Estratégicos y Estructurales. Redes. Revista Hispana para el Análisis de Redes Sociales. Vol. 8. 2005
Fernando de la Rosa Troyano, Sergio Pozo Hidalgo, Rafael Martínez Gasca: Análisis y Visualizacion de Comunidades Científicas con Información Extraída de la Web. Revista IEEE América Latina. Vol. 3. Núm. 1. 2005
Fernando de la Rosa Troyano, Mª Teresa Gómez López, Rafael Martínez Gasca: Analysis and Visualization of the Dx Community With Information Extracted From the Web. Lecture Notes in Computer Science. Vol. 3588. 2005. Pag. 726-735
Carmelo del Valle Sevillano, Miguel Toro Bonilla, Eduardo Fernández Camacho, Rafael Martínez Gasca: Combining Heuristics in Assembly Sequence Planning. Frontiers in Artificial Intelligence and Applications. Vol. 117. 2005. Pag. 99-108
Luis González Abril, Francisco Velasco Morente, Rafael Martínez Gasca, Fernando de la Rosa Troyano: Estudio de Similitudes Entre Áreas Temáticas. Revista Española de Documentación Científica. Vol. 28. Núm. 2. 2005. Pag. 155-169
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Jesús Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, Cecilio Angulo: Metodología Semicualitativa para Razonar Sobre Sistemas Dinámicos. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 8. Núm. 3. 2005. Pag. 231-251
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Fernando de la Rosa Troyano: Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. Lecture Notes in Computer Science. Vol. 3588. 2005. Pag. 848-857
Rafael Ceballos Guerrero, Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano: A Model Integration of Dx and Fdi Techniques for Automatic Determination of Minimal Diagnosis. Ijcai-05, 2nd Monet Workshop on Model-Based Systems. Ijcai-05, 2nd Monet Workshop on Model-Based Systems (). Edimburgo, Escocia. 2005. Pag. 11-16
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: A Topological-Based Method for Allocating Sensors By Using CSP Techniques. XI Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA). XI Conferencia de la Asociación Española para la Inteligencia Artificial (11). Num. 11. Santiago de Compostela (España). Reprografia Noroeste, S.L. 2005. Pag. 211-214. ISBN: 84-96474-13-5
Sergio Pozo Hidalgo, Rafael Martínez Gasca: Análisis y Nuevas Propuestas para Honeynets. Simposio Sobre Seguridad Informática. Cedi 2005 (). Num. 1. Granada. Thomson-Paraninfo. 2005. Pag. 109-116. ISBN: 84-9732-447-1
Fernando de la Rosa Troyano, Mª Teresa Gómez López, Rafael Martínez Gasca: Analysis and Visualization of the Dx Community With Information extracted From the Web. 16th International Workshop on Principles on Diagnosis. Dx-05 (16). Num. 16. Monterey, California, USA. NASA. 2005. Pag. 151-156
Sergio Pozo Hidalgo, Rafael Martínez Gasca, Rafael Ceballos Guerrero: Behavioral Pattern Analysis of Secure Migration and Communications in Ecommerce Using Cryptographic Protocols on a Mobile Mas Platform. The Second IEEE International Workshop on Mobile Commerce and Services, 2005: Wmcs 05. IEEE International Workshop on Mobile Commerce and Services: Wmcs 05. Num. 2. Munich, Alemania. IEEE Computer Society Press. 2005. Pag. 60-69. ISBN: 0-7695-2391-9
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Diana Borrego Núñez: Constraint Satisfaction Techniques for Diagnosing Errors in Design By Contract Software. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05 (). Lisbon, Portugal. 2005. Pag. 79-82
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Diana Borrego Núñez: Diagnosing Errors in Dbc Programs Using Constraint Programming. XI Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA). XI Conferencia de la Asociación Española para la Inteligencia Artificial (11). Num. 11. Santiago de Compostela (España). Reprografia Noroeste, S.L. 2005. Pag. 201-211. ISBN: 84-96474-13-5
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: Diagnosis en Modelos Intervalares Usando Técnicas Max-CSP. VII Jornadas de Arca Sistemas Cualitativos y Diagnosis (Jarca). IV Jornadas Arca Sistemas Cualitativos y Diagnosis (Jarca) (). Benalmadena, Spain. Edición Digital @ Tres. 2005. Pag. 61-68. ISBN: 84-689-3357-0
Rafael Martínez Gasca, Carmelo del Valle Sevillano, Irene Barba Rodríguez: Improving the Computational Efficiency in Symmetrical Numeric Constraint satisfaction Problems. Lecture Notes in Computer Science 3512. International Work-Conference on Artificial Neural Networks, Iwann'05 (). Vilanova I la Geltrú, Barcelona, España. Springer-Verlag. 2005. Pag. 269-279
Mª Teresa Gómez López, Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: Improving the Determination of Minimal Hitting Sets in Model-Based Diagnosis. 16th International Workshop on Principles on Diagnosis. Dx-05 (16). Num. 16. Monterey, California, USA. NASA. 2005. Pag. 61-66
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Víctor Cejudo: Orcdb: Arquitectura Parala Extensión de la Semántica de Sql en Bases de Datos Restrictivas Orientadas a Objetos con Restricciones Polinómicas de Igualdad. X Jornadas de Ingeniería del Software y Bases de Datos. Cedi 2005 (). Num. 1. Granada. Thomson. 2005. Pag. 221-229. ISBN: 84-9732-434-X
Sergio Pozo Hidalgo, Aitor Facio Valero, Rafael Martínez Gasca: Tecnicas Estrategicas de Simulacion de Comportamiento en Honeynets. Mundo Internet 2005: Libro de Ponencias. Congreso Nacional de Internet, Telecomunicaciones y Sociedad de la Información. Num. 10. Madrid, España. Asociación de Usuarios de Internet. 2005. Pag. 686-695
Rafael Ceballos Guerrero, Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano: The Minimal Diagnosis Determination By Using an Integration of Model-Based Techniques. XI Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA). XI Conferencia de la Asociación Española para la Inteligencia Artificial (11). Num. 11. Santiago de Compostela (España). Reprografia Noroeste, S.L. 2005. Pag. 11-20. ISBN: 84-96474-13-5
2004
Fernando de la Rosa Troyano, Sergio Pozo Hidalgo, P. J. Casanova, Rafael Martínez Gasca: Análisis y Visualización de Comunidades Científicas con Información Extraida de la Web. IX Jornadas de Ingeniería del Software y Bases de Datos. Malaga. 2004. Pag. 291-301
Mª Teresa Gómez López, Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis. Lecture Notes in Computer Science. Vol. 3074. 2004. Pag. 74-87
Mª Teresa Gómez López, Rafael Ceballos Guerrero, Rafael Martínez Gasca, Sergio Pozo Hidalgo: Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. Lecture Notes in Computer Science. Vol. 3315. 2004. Pag. 942-952
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Sergio Pozo Hidalgo, Rafael Ceballos Guerrero: Gestión de Proyectos Software Mediante Mapas Conceptuales. Proceedings of the V Adis 2004 Workshop on Decision Support in Software Engineering. 2004. Pag. 1-10
Mª Teresa Gómez López, Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano: Constraint Databases Technology for Polynomial Models Diagnosis. 15th International Workshop on Principles of Diagnosis. Dx-04 (15). Num. 15. Carcassonne, Francia. Laas-Cnrs. 2004. Pag. 215-220
Rafael Ceballos Guerrero, Mª Teresa Gómez López, Rafael Martínez Gasca, Sergio Pozo Hidalgo: Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases. 15th International Workshop on Principles of Diagnosis. Dx-04 (15). Num. 15. Carcassonne, Francia. Laas-Cnrs. 2004. Pag. 21-26
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Miguel Toro Bonilla: Interval Model-Based Diagnosis Using Constraint Programming. World Automation Congress. Wac (World Automation Congress) (). Sevilla, España. Wac. 2004. Pag. 710-721
Sergio Pozo Hidalgo, Rafael Martínez Gasca, Mª Teresa Gómez López: Secure Tunnels for Mobile Multi-Agent Systems. Iberoamerican Workshop on Multi-Agent Systems (Iberagents). Iberoamerican Workshop on Multi-Agent Systems (5). Num. 5. Puebla, Mexico. AEPIA. 2004. Pag. 1-10
Sergio Pozo Hidalgo, Rafael Martínez Gasca, Mª Teresa Gómez López: Securing Mobile Agent Based Tele-Assistance Systems. Tele-Care and Collaborative Virtual Communities in Elderly Care (Telecare). Workshop on Tele-Care and Collaborative Virtual Communities in Elderly Care (Telecare) (1). Num. 1. Oporto, Portugal. Insticc (Institute for Systems and Technologies of Information, Control and Communication). 2004. Pag. 63-72. ISBN: 972-8865-10-4
2003
Carmelo del Valle Sevillano, Rafael Martínez Gasca, Miguel Toro Bonilla, Eduardo Fernández Camacho: A Genetic Algorithm for Assembly Sequence Planning. Lecture Notes in Computer Science. Vol. 2687. 2003. Pag. 337-344
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama: A Methodology for Reasoning About Semiquantitative Dynamic Systems. Journal of Applied Systems Studies. Vol. 4. Núm. 1. 2003. Pag. 115-129
Rafael Ceballos Guerrero, Carmelo del Valle Sevillano, Mª Teresa Gómez López, Rafael Martínez Gasca: CSP Aplicados a la Diagnosis Basada en Modelos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Núm. 20. 2003. Pag. 137-150
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Rafael Ceballos Guerrero: CSP y Bases de Datos Restrictivas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Núm. 20. 2003. Pag. 151-163
Carmelo del Valle Sevillano, Antonio Ángel Márquez Hernández, Rafael Martínez Gasca, Miguel Toro Bonilla: On Selecting and Scheduling Assembly Plans Using Constraint Programming. Lecture Notes in Computer Science. Vol. 2774. 2003. Pag. 1329-1336
María José Escalona Cuaresma, Juan A. Ortega Ramírez, Jesús Torres Valderrama, Manuel Mejías Risoto, Rafael Martínez Gasca, Juan Antonio Álvarez García: Utilización de Ndt y de las Técnicas de Satisfacción de Restricciones para la Generación de Itinerarios Culturales. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 7. Núm. 2. 2003. Pag. 76-91
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Fernando de la Rosa Troyano: A Constraint Programming Approach for Software Diagnosis. Proceedings of the Fifth International Workshop on Automated Debugging (Aadebug 2003). Aadebug 2003, Fifth International Workshop on Automated Debugging. Num. 5. Ghent (Bélgica). Gent Universiteit. 2003. Pag. 187-196
Carmelo del Valle Sevillano, Miguel Toro Bonilla, Eduardo Fernández Camacho, Rafael Martínez Gasca: A Scheduling Approach to Assembly Sequence Planning. Proceedings of the 2003 IEEE International Symposium on Assembly and Task Planning (ISATP2003). 2003 IEEE International Symposium on Assembly and Task Planning. Besançon, Francia. IEEE Robotics and Automation Society. 2003. Pag. 103-108. ISBN: 0-7803-7770-2
Sergio Pozo Hidalgo, Rafael Ceballos Guerrero, Rafael Martínez Gasca: Altas Prestaciones en Sisteamas de Comercio Electronico Concurrentes Basados en JAVA: Sistema Ceap. JAVA Hispano 2003. JAVA Hispano (1). Num. 1. Madrid, España. Universidad Carlos III. 2003. Pag. 238-248
Rafael Martínez Gasca, Carmelo del Valle Sevillano, Rafael Ceballos Guerrero, Miguel Toro Bonilla: An Integration of Fdi and Dx Approaches to Polynomial Models. Dx-03 Fourteenth International Worksop on Principles of Diagnosis. Fourteenth International Worksop on Principles of Diagnosis. Washington D.C., USA. P. Mosterman, M. Sampath, M. Tatar. 2003. Pag. 153-158
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Rafael Ceballos Guerrero: Arquitectura para la Consulta a Bases de Datos Restrictivas. Actas: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 03). Jornadas de Ingeniería del Software y Bases de Datos. Num. 8. Alicante. Universidad de Alicante. 2003. Pag. 593-602. ISBN: 84-688-3836-5
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Sergio Pozo Hidalgo, Juan A. Ortega Ramírez: Herramienta Web para el Razonamiento Semicualitativo a Partir de Bases de Datos. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. Asociación Española para la Inteligencia Artificial. Conferencia. Num. 10. San Sebastián. Universidad del País Vasco, Servicio Editorial. 2003. Pag. 441-445. ISBN: 84-8373-564-4
Mª Teresa Gómez López, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Antonio Ángel Márquez Hernández: Modelo de CSP para Consulta a Bases de Datos Restrictivas. CAEPIA-TTIA 2003. X Conferencia de la Asocicación Española para la Inteligenciia Artificial. Asociación Española para la Inteligencia Artificial. Conferencia. Num. 10. San Sebastián. Universidad del País Vasco, Servicio Editorial. 2003. Pag. 469-472. ISBN: 84-8373-564-4
José Cristóbal Riquelme Santos, Jesús Salvador Aguilar Ruiz, Carmelo del Valle Sevillano: Supervised Learning By Means of Accuracy-Aware Evolutionary Algorithms*1. Information Sciences . Vol. 156. Núm. 3-4. 2003. Pag. 173-188
2002
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Rafael Ceballos Guerrero: Arquitectura de un Crawler para Extraer las Estructuras y Contenidos de Recursos Electrónicos. VII Jornadas de Ingeniería del Software y Bases de Datos. El Escorial, España. Universidad Politécnica de Madrid. 2002. Pag. 259-268. ISBN: 84-688-0206-9
Juan A. Ortega Ramírez, Rafael Martínez Gasca: Diagnosis Progresiva en el Tiempo de Sistemas Dinámicos. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 111-120. ISBN: 84-95499-62-2
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca: Localización de Centros Públicos Atractivos y/Ó Repulsivos. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 33-40. ISBN: 84-95499-62-2
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Luis González Abril, Francisco Velasco Morente: Metodología para la Representación Gráfica de Relaciones Cualitativas Entre Centros de Interés. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 33-40. ISBN: 84-95499-62-2
Fernando de la Rosa Troyano, Rafael Martínez Gasca: Metodología para la Representación Gráfica de Relaciones Cualitativas Entre Tópicos de Interés. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 41-48. ISBN: 84-95499-62-2
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: QSI - Qualitative Similarity Index. Qr2002 Sixteenth International Workshop on Qualitative Reasoning. Sevilla. Qr. 2002. Pag. 45-52. ISBN: 84-95499-60-6
Juan A. Ortega Ramírez, Francisco J. Cuberos, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama: Qualitative Comparison of Temporal Series. QSI. Topics in Artificial Intelligence. Lnai 2504. Saarbrücken, Alemania. Springer-Verlag. 2002. Pag. 75-87
Antonio J. Suarez, Pedro J. Abad Herrera, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Antonio J. Suarez Fabrega: Qualitative Reasoning for Software Development Project By Constraint Programming. Enterprise Information Systems III. Dordrecht, Holanda. Kluwer Academic. 2002. Pag. 153-161. ISBN: 1-4020-0563-6
Rafael Martínez Gasca, Juan A. Ortega Ramírez: Qualitative Simulation of Human Resources Subsystem in Software Development Projects. Qr2002 Sixteenth International Workshop on Qualitative Reasoning. Sevilla. Qr. 2002. Pag. 169-176. ISBN: 84-95499-60-6
Juan A. Ortega Ramírez, Jesús Torres Valderrama, Rafael Martínez Gasca, Manuel Mejías Risoto: Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 73-79. ISBN: 84-95499-62-2
Carmelo del Valle Sevillano, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Jesús Salvador Aguilar Ruiz: Un Modelo de Optimización CSP para la Sustitución de Piezas Defectuosas Diagnosticadas. Sistemas Cualitativos y Diagnosis. Sevilla,. Eds. J.A. Ortega, X. Parra y B. Pulido. 2002. Pag. 49-58. ISBN: 84-95499-62-2
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence: an International Journal. Vol. 16. Núm. 3. 2002. Pag. 173-197
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama: A Semiquantitative Approach to Study Semiqualitative Systems. Lecture Notes in Computer Science. Vol. 2527. 2002. Pag. 303-312
Pedro J. Abad Herrera, Antonio J. Suarez Fabrega, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 5. Núm. 3. 2002. Pag. 180-191
Pedro J. Abad, Antonio J. Suarez, Juan A. Ortega Ramírez, Rafael Martínez Gasca, Pedro J. Abad Herrera, Antonio J. Suarez Fabrega: Diagnosis en Fases Tempranas de Sistemas Dinámicos. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 6. Núm. 2. 2002. Pag. 116-129
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca: Localización de Centros Públicos Atractivos y o Repulsivos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Núm. 17. 2002. Pag. 52-52
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Miguel Toro Bonilla: Max-CSP Approach for Software Diagnosis. Lecture Notes in Computer Science. Vol. 2527. 2002. Pag. 172-181
Fernando de la Rosa Troyano, Luis González Abril, Rafael Martínez Gasca, Francisco Velasco Morente: Metodología para la Representación Gráfica de Relaciones Cualitativas Entre Centros Deinterés. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Núm. 17. 2002. Pag. 52-52
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama: Qualitative Comparison of Temporal Series. QSI. Lecture Notes in Computer Science. Vol. 2504. 2002. Pag. 75-87
Juan A. Ortega Ramírez, F.J. Cuberos, Rafael Martínez Gasca, Miguel Toro Bonilla, J. Torres: Qualitative Comparison of Temporal Series. QSI. Boletín de la Asociación Catalana de Inteligencia Artificial. 2002. Pag. 121-128
Carmelo del Valle Sevillano, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Mª 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. Vol. VI/02. Núm. 17. 2002. Pag. 83-92
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Miguel Toro Bonilla: A Constraint-Based Methodology for Software Diagnosis. Constraints in Formal Verification Wokshop. CP 2002, 8th International Conference on Principles and Practice of Constraint Programming. Ithaca. Constraints in Formal Verification Wokshop. 2002. Pag. 30-38
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama: A Semiquantitative Approach to Study Semiqualitative Systems. Advances in Artificial Intelligence. Iberamia 2002. Congreso Internacional IV Centenario del Nacimiento de Calderón. Num. 1. Navarra, España. Springer-Verlag. 2002. Pag. 303-312. ISBN: 3-540-00131-X
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Miguel Toro Bonilla: Diagnosis Basada en Modelos para la Depuración de Software Mediante Técnicas Simbólicas. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Jornadas Arca Sistemas Cualitativos y Diagnosis. Num. 4. Vilanova I la Geltru, Barcelona. Edición Digital @ Tres. 2002. Pag. 23-32
Antonio J. Suarez, Pedro J. Abad, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Diagnosis Progresiva en el Tiempo de Sistemas Diámicos. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Jornadas Arca Sistemas Cualitativos y Diagnosis. Num. 4. Vilanova I la Geltru, Barcelona. Edición Digital @ Tres. 2002. Pag. 111-120
Rafael Ceballos Guerrero, Rafael Martínez Gasca, Carmelo del Valle Sevillano, Miguel Toro Bonilla: Diagnosis Software Usando Técnicas Max-CSP. VII Jornadas de Ingeniería del Software y Bases de Datos. JISBD-2002. Jornadas de Ingeniería del Software y Bases de Datos. Num. 7. Madrid (España). Actas de las JISBD-2002. 2002. Pag. 425-426. ISBN: 84-688-0206-9
Luis González Abril, Francisco Velasco Morente, Rafael Martínez Gasca, Fernando de la Rosa: Metodología para la Representación Gráfica de Relaciones Cualitativas Entre Centros de Interés. Jornadas Arca. Jornadas Arca. Num. 4. Vilanova y la Geltru- Barcelona. Arca. 2002. Pag. 41-48. ISBN: 84-95499-62-2
Francisco J. Cuberos, Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: QSI - Qualitative Similarity Index. The Sixteenth International Workshop on Qualitative Reasoning - Qr 2002. The Sixteenth International Workshop on Qualitative Reasoning (). Sitges, Barcelona. Eds. N. Agell y J.A. Ortega. 2002. Pag. 45-51. ISBN: 84-95499-62-2
Antonio J. Suarez, Pedro J. Abad, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Pedro J. Abad Herrera, Antonio J. Suarez Fabrega: Qualitative Simulation of Human Resources Subsystem in Software Development Projects. The Sixteenth International Workshop on Qualitative Reasoning - Qr 2002. The Sixteenth International Workshop on Qualitative Reasoning (). Sitges, Barcelona. Eds. N. Agell y J.A. Ortega. 2002. Pag. 169-176. ISBN: 84-95499-62-2
Juan A. Ortega Ramírez, María José Escalona Cuaresma, Jesús Torres Valderrama, Rafael Martínez Gasca, Manuel Mejías Risoto: Representación Cualitativa del Conociemiento: Aplicación a la Generación Automática de Itinerarios Culturales. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Jornadas Arca Sistemas Cualitativos y Diagnosis. Num. 4. Vilanova I la Geltru, Barcelona. Edición Digital @ Tres. 2002. Pag. 73-80
Carmelo del Valle Sevillano, Rafael Martínez Gasca, Antonio Ángel Márquez Hernández, Mª Teresa Gómez López: Un Modelo CSP para la Planificación de la Sustitución Óptima de Piezas. I Workshop de Planificación, Scheduling y Razonamiento Temporal. Workshop de Planificación, Scheduling y Razonamiento Temporal. Num. 1. Sevilla, España. L. Castillo, J. Fdez-Olivares, R.M. Gasca, C. del Valle. 2002. Pag. 81-90. ISBN: 84-95499-89-4
Carmelo del Valle Sevillano, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Jesús Aguilar: Un Modelo de Optimización CSP para la Sustitución de Piezas Defectuosas Diagnosticadas. IV Jornadas Arca Sistemas Cualitativos y Diagnosis. Jornadas Arca Sistemas Cualitativos y Diagnosis. Num. 4. Vilanova I la Geltru, Barcelona. Edición Digital @ Tres. 2002. Pag. 49-58
Pedro J. Abad, Antonio J. Suarez, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Using Supervised Learning Techniques for Diagnosis of Dynamic Systems. 13th International Workshop on Principles of Diagnosis. Thirteen International Workshop on Principles of Diagnosis (). Semmering, Austria. Dx06. 2002
Carmelo del Valle Sevillano, Miguel Toro Bonilla, Rafael Ceballos Guerrero, Jesús Salvador Aguilar Ruiz: A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. Lecture Notes in Computer Science. Vol. 2527. 2002. Pag. 835-844
Jesús Salvador Aguilar Ruiz, José Cristóbal Riquelme Santos, Carmelo del Valle Sevillano: Improving the Evolutionary Coding for Machine Learning Tasks. Frontiers in Artificial Intelligence and Applications. Vol. 77. 2002. Pag. 173-177
Carmelo del Valle Sevillano, Eduardo Fernández Camacho, Miguel Toro Bonilla: A Clp Approach for Assembly Sequence Planning. Third International Naiso Symposium on Engineering of Intelligent Systems - EIS 2002. Third International Naiso Symposium on Engineering of Intelligent Systems. EIS¿2002. Num. 3. Malaga (España). Ics-Naiso AC. 2002. ISBN: 3-906454-32-0
Carmelo del Valle Sevillano, Eduardo Fernández Camacho, Miguel Toro Bonilla: A Model for Assembly Sequence Planning in a Multirobot Environment. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control (B' 02). International Federation of Automatic Control. World Congress. Num. 15. Barcelona. Elsevier Science. 2002. ISBN: 0-0-8044184-X
Carmelo del Valle Sevillano: Presentacion de la Mesa Plataformas Tecnologicas para el Desarrollo de Teleformacion. Tecnología de la Informacion en la Educación Superior. Reunión Técnica Internacional Sobre el Uso de Tecnologías de Información en el Nivel de Formación Superior Avanzada. Sevilla, España. Asociación Universitaria Iberoamericana de Postgrado. 2002. Pag. 1-3. ISBN: 84-923742-2-5
2001
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Metodología para el Análisis Visual de la Evaluación de Conceptos en Base de Datos Textuales. II Jornadas de Bibliotecas Digitales. Almagro, España. Univ. Castilla la Mancha: Grupo Alarcos. 2001. Pag. 207-221. ISBN: 84-699-6276-0
Antonio J. Suarez, Pedro J. Abad, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Qualitative Reasoning for Software Development Project By Constraint Programming. Proceedings de Iceis2001 Third International Conference on Enterprise Information Systems. Setúbal, Portugal. Iceis Press. Vol. 2. 2001. Pag. 481-488. ISBN: 972-98050-2-4
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca: Resolución de Problemas de Localización-Producción con Algoritmos de Ramificación y Poda. XXVII Reunión de Estudios Regionales. Cambios Regionales en la UE y Nuevos Retos Territoriales. Madrid, España. Asociacion Española de Ciencia Regional. 2001. Pag. 1-11. ISBN: 84-607-3322-X
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: An Object-Oriented Approach for Learning of Algorithm Design With Sequential Devices and Schemas. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 4. Núm. 3. 2001. Pag. 230-241
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Comparacion Cualitativa de Series Temporales. Indice Cualitativo de Similitud QSI. Computación y Sistemas. Revista Iberoamericana de Computación. Vol. 5. Núm. 2. 2001. Pag. 96-108
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Diagnosis Basada en Modelos Polinomicos Usando Técnicas Simbolicas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Vol. 11. Núm. 14. 2001. Pag. 68-77
Juan A. Ortega Ramírez, Jesús Torres Valderrama, Rafael Martínez Gasca: A New Methodology for Analysis of Semiqualitative Dynamic Models With Constraints. Proceedings of the 15th Workshop on Methodologies and Tools for Complex Systems. Workshop on Methodologies and Tools for Complex Systems. Num. 15. Laxenburg (Austria). Ninguna. 2001. Pag. 39-40
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: An Approach for Reasoning About Semiqualitative Models With Explicit Constraints. Proceedings of the 15th International Workshop on Qualitative Reasoning- Qr2001. International Workshop on Qualitative Reasoning. Num. 15. San Antonio (Estados Unidos). Aiii. 2001. Pag. 113-120. ISBN: 970-703-012-7
Rafael Martínez Gasca, María José Escalona Cuaresma, Juan A. Ortega Ramírez, Manuel Mejías Risoto, Jesús Torres Valderrama: Aplicacion de la Programacion con Restricciones a la Elaboracion Automatica de Itinerarios Culturales en Andalucía. Actas de Turitec 2001. Congreso Nacional de Turismo y Nuevas Tecnologias de la Comunicacion. Num. 3. Madrid (España). Editorial de la Universidad Complutense. 2001. Pag. 407-421. ISBN: 84-8138-468-2
Antonio Ruiz Cortés, Rafael Corchuelo Gil, Rafael Martínez Gasca, Miguel Toro Bonilla: Aplicación de Técnicas de Satisfacción de Restricciones al Desarrollo de Aplicaciones Web Sensibles a la Calidad. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Num. 9. Gijón, España. Asociación Española para la Inteligencia Artificial. 2001. Pag. 531-540. ISBN: 84-932297-1-7
Pedro J. Abad Herrera, Rafael Martínez Gasca, Juan A. Ortega Ramírez, Antonio J. Suarez, Antonio J. Suarez Fabrega: Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Num. 1. Sevilla (España). Arca. 2001. Pag. 7-16. ISBN: 84-95499-35-5
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla, Fernando de la Rosa Troyano: Diagnosis Dirigida Por Restricciones Simbolicas para Modelos Polinomicos. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Num. 1. Sevilla (España). Arca. 2001. Pag. 71-78. ISBN: 84-95499-35-5
José Mariano González Romano, Manuel Mejías Risoto, María José Escalona Cuaresma, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Interaccion con los Usuarios en Bibliotecas Digitales. I Jornadas de Trabajo Dolmen. Jornadas Dolmen. Num. 2. Valencia. España. Ninguna. 2001. Pag. 113-120
Fernando de la Rosa Troyano, Rafael Martínez Gasca, Juan A. Ortega Ramírez: Metodologia para el Analisis Visual de la Evolucion de Conceptos en Bases de Datos Textuales. II Jornadas de Bibliotecas Digitales. Jornadas de Bibliotecas Digitales. Num. 2. Almagro, Ciudad Real, España. Universidad Castilla la Mancha. 2001. Pag. 207-221. ISBN: 84-699-6276-0
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Fernando de la Rosa Troyano, Francisco J. Cuberos: QSI: Indice Cualitativo de Similitud. Aplicacion a un Modelo Semicualitativo de Crecimiento Logistico. Actas de las I Jornadas de Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos. Num. 1. Sevilla (España). Arca. 2001. Pag. 51-60. ISBN: 84-95499-35-5
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca: Resolucion de Problemas de Localizacion-Produccion con Algoritmos de Ramificacion y Poda. XXVII Reunión de Estudios Regionales. Reunión de Estudios Regionales. Num. 27. Madrid, España. Asociacion Española de Ciencia Regional. 2001. Pag. 1-11. ISBN: 84-607-3322-X
Carmelo del Valle Sevillano, Miguel Toro Bonilla, Rafael Martínez Gasca: Un Modelo CSP para la Seleccion de Secuencias Optimas de Ensamblaje. Actas del V Taller de Razonamiento Temporal, Espacial y Planificacion (Tarrat 2001). Taller de Razonamiento Temporal, Espacial y Planificacion. Num. 5. Gijon (España). Ninguna. 2001
Carmelo del Valle Sevillano, Eduardo Fernández Camacho, Miguel Toro Bonilla: Combinacion de Heuristicas para la Seleccion Optima de Secuencias de Ensamblaje. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Num. 9. Gijón, España. Asociación Española para la Inteligencia Artificial. 2001. Pag. 795-804. ISBN: 84-932297-1-7
2000
Francisco Velasco Morente, Cristóbal Chamizo Guerra, Rafael Martínez Gasca: Resolucion de Problemas de Localizacion-Produccion con Aritmetica Intervalar. Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Sevilla. Edición Digital @ Tres. 2000. Pag. 151-163. ISBN: 84-699-2729-9
Cristóbal Chamizo Guerra, Francisco Velasco Morente, Rafael Martínez Gasca: Resolucion de Problemas de Localizacion-Produccion con Ilog. Métodos Numéricos en Ciencias Sociales. Barcelona. Eugenio Oñate, Francisca García-Sicilia, Luis Ramallo. 2000. Pag. 402-409. ISBN: 84-89925-71-2
Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama, Juan Manuel Cordero Valle: Using Constraint Programming Framework for Semiqualitative Reasoning. Current Trends in Qualitative Reasoning and Applications. Sevilla. Edición Digital @ Tres. 2000. Pag. 75-85. ISBN: 84-699-2786-8
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: A New Methodology for Reasoning About Semiqualitative Dynamic Systems. Software and Hardware Engineering for the 21th Century. EE.UU. 1999. Pag. 33-38
Rafael Martínez Gasca, Miguel Toro Bonilla: A New Methodology for Reasoning About Semiqualitative Synamic Systems. Software and Hardware Engineering for the 21th Century. EE.UU. 1999. Pag. 33-38
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. Lecture Notes in Artificial Intelligence. Methodology and Tools in Knowledge-Based Systems. Alemania. 1998. Pag. 321-329. ISBN: 3-540-64582-9
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. Lecture Notes in Artificial Intelligence. Methodology and Tools in Knowledge-Based Systems. Alemania. 1998. Pag. 329-335. ISBN: 3-540-64582-9
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Semi-Quantitative Simulation of Dynamic Systems With Uncertain Initial Conditions. Modelling and Simulation. Turquia. The Society for Modeling and Simulation International. 1995. Pag. 266-270
Luisa María Romero Moreno, Juan Jose Arrabal Parrilla, Miguel Toro Bonilla, Rafael Martínez Gasca: Automatic Piecewise - Linear Analysis of Qualitative Models With Delays. Qualitative Reasoning and Decision Technologies. Barcelona. Piera & Singh. 1993. Pag. 123-134
Juan Manuel Cordero Valle, María José Escalona Cuaresma, Jesús Torres Valderrama, Manuel Mejías Risoto, Rafael Martínez Gasca: Aplicación de lo Sistemas de Tratamiento de Bibliotecas Digitales a la Gestión del Patrimonio Histórico. Alestudios Turísticos. Vol. 146. 2000. Pag. 37-46
Juan Manuel Cordero Valle, María José Escalona Cuaresma, Jesús Torres Valderrama, Manuel Mejías Risoto, Rafael Martínez Gasca: Aplicación de los Sistemas de Tratamiento de Bibliotecas Digitales al Sistema de Información del Patrimonio Histórico Andaluz. Ph. Boletín del Instituto Andaluz del Patrimonio Histórico. Vol. 8. Núm. 32. 2000. Pag. 205-209
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Aplicación del Razonamiento Semicualitativo al Modelado y Análisis de Sistemas Económicos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. 2000. Pag. 85-97
Miguel Toro Bonilla, Juan A. Ortega Ramírez, Rafael Martínez Gasca: Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Núm. 9. 2000. Pag. 45-57
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Obtención de Patrones de Comportamiento de Modelos Semicualitativos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. Vol. 9 II/00. 2000. Pag. 66-75
Juan Manuel Cordero Valle, María José Escalona Cuaresma, Jesús Torres Valderrama, Manuel Mejías Risoto, Rafael Martínez Gasca: Aplicacion de los Sistemas de Tratamiento de Bibliotecas Digitales a la Gestion del Patrimonio Historico. Turitec 2000. Turismo y Tecnologias de la Informacion y las Comunicaciones: Nuevas Tecnologias y Patrimonio. Turitec. Num. 1. Malaga, España. 2000. Pag. 153-166
Rafael Martínez Gasca, Juan A. Ortega Ramírez: Aplicaciones de la Programación con Restricciones en el Razonamiento Semicualitativo. II Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Jornadas de Trabajo Sobre Metodologias Cualitativas Aplicadas a los Sistemas Socioeconómicos. Num. 2. Facultad de Ciencias Económicas y Empresariales de Sevilla. Universidad de Sevilla. 2000
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Jesús Torres Valderrama, José Mariano González Romano: Estudio de Sistemas Semicualitativos con Restricciones. Aplicación a un Modelo Logístico con Restraso. Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Congreso de Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Num. 1. Sevilla, España. Edición Digital @ Tres. 2000. Pag. 165-180. ISBN: 84-699-2729-9
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla, Francisco José Galán Morillo, José Miguel Cañete Valdeón: Optimización en Modelos que Integran Conocimiento Cualitativo y Cuantitativo. Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Congreso de Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Num. 1. Sevilla, España. Edición Digital @ Tres. 2000. Pag. 1-9. ISBN: 84-699-2729-9
Juan A. Ortega Ramírez, Rafael Martínez Gasca: Patrones Temporales de Modelos Semicualitativos con Restricciones. II Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Jornadas de Trabajo Sobre Metodologias Cualitativas Aplicadas a los Sistemas Socioeconómicos. Num. 2. Facultad de Ciencias Económicas y Empresariales de Sevilla. Universidad de Sevilla. 2000
Cristóbal Chamizo Guerra, Rafael Martínez Gasca: Resolución de Problemas de Localización-Producción con Aritmética Intervalar. Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Congreso de Metodos Cualitativos Aplicados a los Sistemas Socioeconomicos. Num. 1. Sevilla, España. Edición Digital @ Tres. 2000. Pag. 151-163. ISBN: 84-699-2729-9
Cristóbal Chamizo Guerra, Rafael Martínez Gasca: Resolución de Problemas de Localización-Producción con Ilog. I Congreso Internacional de Métodos Numéricos en Ciencias Sociales (Mencis 2000). I Congreso Internacional de Métodos Numéricos en Ciencias Sociales (Mencis 2000) (1). Num. 1. Barcelona. Eugenio Oñate, Francisca García-Sicilia, Luis Ramallo. 2000. Pag. 402-409. ISBN: 84-89925-71-2
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Searching for Similar Semiqualitative Temporal Patterns in Time-Series Databases. Proceedings of the 14th International Workshop on Qualitative Reasoning. International Workshop on Qualitative Reasoning. Num. 14. Michocan (Mexico). Qr. 2000. Pag. 111-122
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla, Francisco José Galán Morillo, José Miguel Cañete Valdeón: Semiqualitative Temporal Patterns in Time-Series Databases. Current Trends in Qualitative Reasoning and Applications. 2000 Edition. Current Trends in Qualitative Reasoning and Aplications (). Sevilla. Arca. 2000. Pag. 11-20. ISBN: 84-699-2786-8
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla, Jesús Torres Valderrama: Using Constraint Programming Framework for Semicualitative Reasoning. Current Trends in Qualitative Reasoning and Applications. 2000 Edition. Current Trends in Qualitative Reasoning and Aplications (). Sevilla. Arca. 2000. Pag. 75-86. ISBN: 84-699-2786-8
1999
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: A Semicualitative Methodology for Reasoning About Dynamic Systems. The Thirteenth International Workshop on Qualitative Reasoning Qr-99. International Workshop on Qualitative Reasoning (13). Num. 13. Loch Awe, Escocia. Intelligent Applications Limited. 1999. Pag. 169-177. ISBN: 0-903878-60-7
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Behaviours Patterns of Semiqualitative Dynamic Systems By Means of Qualitative Simulatins. XVI International Joint Conference on Artificial Intelligence - Workshop Qualitative and Model Based Reasoning for Complex Systems and Their Control. International Joint Conference on Artificial Intelligence - Workshop Qualitative and Model Based Reasoning for Complex Systems and Their Control. Num. 16. Estocolmo (Suecia). Ninguna. 1999. Pag. 115-124
Juan A. Ortega Ramírez, Rafael Martínez Gasca: Metodología Semicualitativa para Razonar Sobre Sistemas Dinámicos. I Jornadas de Trabajo Sobre Razonamiento con Intervalo. Jornadas de Trabajo Sobre Razonamiento con Intervalos (1). Num. 1. Sevilla. Universidad de Sevilla. 1999
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Metodologia Semicualitativa para Razonar Sobre Sistemas Dinamicos con Conocimiento Cualitativo. Actas de la VIII Conferencia de la Asociación Española para la Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial. III Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Num. 8. Murcia, España. Comité Organizador CAEPIA-Ttia'99. 1999. Pag. 115-124
Rafael Martínez Gasca, Juan A. Ortega Ramírez: Utilización de Información Intervalar en la Simulación Semicualitativa. I Jornadas de Trabajo Sobre Razonamiento con Intervalo. Jornadas de Trabajo Sobre Razonamiento con Intervalos (1). Num. 1. Sevilla. Universidad de Sevilla. 1999
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Binary VS Symbolic Chromosomal Encoding in GA-Based Selection of Assembly Talks. Advances in Intelligent Systems and Computer Science. Atenas, Grecia. Wses. Vol. 1. 1999. Pag. 145-150. ISBN: 960-8052-39-4
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Binary VS Symbolic Chromosomal Encoding in GA-Based Selection of Assembly Talks. III Imacs/IEEE Cscc'99. Imacs/IEEE Cscc 99. Num. 3. Atenas (Grecia). Ninguna. 1999. Pag. 7341-7346
Carmelo del Valle Sevillano, Eduardo Fernández Camacho, Miguel Toro Bonilla: Busqueda de Secuencias Optimas de Montaje Mediante Programacion Logica con Restricciones. Actas Tarrat'99. Tarrat. Num. 1. Murcia (España). Ninguna. 1999. Pag. 31-39
1998
Juan A. Ortega Ramírez, Rafael Martínez Gasca: Análisis de Modelos Semicualitativos Mediante Simulaciones Cuantitativas. Aplicación a Sistemas Socioeconómicos. I Jorandas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos (1). Num. 1. Sevilla. Universidad de Sevilla. 1998
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Automatic Semiqualitative Analysis and Simulation: Industrial Applications. Proceedings of the Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Num. 1. Gerona. Ninguna. 1998. Pag. 43-48. ISBN: 84-95138-08-5
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Extracting Behaviors of Semiqualitative Dynamical System From Quantitative Simulations. Proceedings of the Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Workshop on European Scientific and Industrial Collaboration on Promoting. Advanced Technologies in Manufacturing. Num. 1. Gerona. Ninguna. 1998. Pag. 85-90. ISBN: 84-95138-08-5
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. Lecture Notes on Artificial Intelligence. Iasted International Conference on Power and Energy Systems. Marbella, España. 1998
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Obtaining Semi-Qualitative Behaviors of Dynamical Systems By Means of Quantitative Simulations. Proceedings of the XIII Biennial European Conference on Artificial Intelligence. Biennial European Conference on Artificial Intelligence. Num. 13. Brighton (UK). Ninguna. 1998. Pag. 21-26
Rafael Martínez Gasca, Juan A. Ortega Ramírez: Sistemas Lineales Cualitativos en Sistemas Socioeconómicos. I Jorandas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos. Jornadas de Trabajo Sobre Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos (1). Num. 1. Sevilla. Universidad de Sevilla. 1998
Carmelo del Valle Sevillano, Pedro Luis Perejón, Eduardo Fernández Camacho: Selection of Optimal Assembly Sequences Using Genetic Algorithms. Proceedings of the International Icsc Symposium on Engineering of Intelligent Systems. International Icsc Symposium on Engineering of Inteligent Systems. Num. 1. Tenerife (España). Icsc Academic Press. 1998. Pag. 303-309. ISBN: 3-906454-12-6
1997
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Automatización del Análisis y Simulación de Modelos Cualitativos Mediante Restricciones. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). Conferencia de la Asociación Española para la Inteligencia Artificial. Num. 7. Malaga, España. Aepa. 1997. Pag. 85-94
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Representación y Simulación de Modelos Integrando Conocimiento Cualitativo y Cuantitativo. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). Conferencia de la Asociación Española para la Inteligencia Artificial. Num. 7. Malaga, España. Aepa. 1997. Pag. 755-764
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Simulación Semicualitativa Mediante Matriz de Transformación. Técnicas Cualitativas. Conferencia de la Asociación Española para la Inteligencia Artificial. Num. 7. Malaga, España. Arca. 1997. Pag. 22-32
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Optimizacion de Secuencias de Ensamblaje Mediante Algoritmos Geneticos con Codificacion Binaria. Actas de la VII Conferencia de la Asociacion Española de Inteligencia Artificial (CAEPIA 97). Conferencia de la Asociación Española para la Inteligencia Artificial. Num. 7. Malaga, España. Aepa. 1997. Pag. 115-124
1996
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Propagación de Restricciones Integrando Conocimiento Cualitativo y Cuantitativo. Boletín de la Asociación Española para la Inteligencia Artificial. Vol. 6. 1996. Pag. 23-30
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Simulación Semicualitativa. Jornadas Hispano-Francesas Sobre Sistemas Inteligentes y Control Avanzado. Jornadas Hispano-Francesas Sobre Sistemas Inteligentes y Control Avanzado (). Barcelona. Laboratoire Europeen Associé SICA, Cnrs, Upc. 1996. ISBN: 84-8498-765-5
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Automatic Assembly Task Assignment for a Multirobot Environment. Control Engineering Practice. Vol. 4. Núm. 7. 1996. Pag. 915-921
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Algoritmo A* para la Determinación de Secuencias Óptimas de Ensamblaje. Actas de las II Jornadas de Informatica. Jornadas de Informatica. Num. 2. Aluñecar, Granada, España. II Jornadas de Informática. 1996. Pag. 285-294
1995
Juan A. Ortega Ramírez, Rafael Martínez Gasca, Miguel Toro Bonilla: Razonamiento en Orden de Magnitud Usando Conocimiento Cualitativo y Cuantitativo. VI Conferencia de la Asociación Española para la Inteligencia Artificial, CAEPIA 95. Conferencia de la Asociación Epañola para la Inteligencia Artificial CAEPIA 95 (6). Num. 6. Alicante. AEPIA. 1995. Pag. 115-124. ISBN: 84-920982-0-1
Rafael Martínez Gasca, Juan A. Ortega Ramírez, Miguel Toro Bonilla: Semi-Quantitative Simulation of Dynamic Systems With Uncertain Initial Conditions. Society for Computer Simulation International. Modelling and Simulation Esm'95 (). Turquía. Society for Comuter Simulation International. 1995. Pag. 266-270. ISBN: 1-56555-080-3
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Automatic Assembly Task Assignment for a Multirobot Environment. Integrated Systems Engineering: a Postprint Volume From the IFAC Conference, Baden-Baden, Germany, 27-29 September 1994. Oxford, Gran Bretaña. Elsevier Science. 1995. Pag. 293-298. ISBN: 0-08-042361-2
1994
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Automatic Assembly Task Assignment for a Multirobot Environment. Preprints of the IFAC Coference on Integrated Systems Engineering. IFAC Conference on Integrated Systems Engineering. Baden-Baden, Alemania. Elsevier Science. 1994. Pag. 317-322
1991
Carmelo del Valle Sevillano, Eduardo Fernández Camacho: Optimización Heurística de Sistemas de Transporte Multifluidos. Jornadas de Control Inteligente. Jornadas de Control Inteligente. Sevilla, España. Departamento de Ingeniería Electrónica, de Sistemas y Automática (Universidad de Sevilla). 1991. Pag. 81-90
