Ver Investigador - - Prisma - Unidad de Bibliometría

Artículo: 63

Capítulo: 18

Ponencia: 88

Editorial: 1

TOTAL: 170

Tipo	Año	Título	Fuente
Artículo	2024	Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case	Internet of Things (Netherlands)
Capítulo	2023	Ciberseguridad cognitiva aplicada al phishing	Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023
Artículo	2023	Feature models to boost the vulnerability management process	JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo	2022	Automatizando RGPD 2016/679 mediante Procesos de Negocio: El caso del Artículo 32	Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao)
Artículo	2022	Reasoning on the Usage Control Security policies over Data Artifact Business Process Models	COMPUTER SCIENCE AND INFORMATION SYSTEMS
Ponencia	2021	AMADEUS: Towards the AutoMAteD secUrity teSting	Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Artículo	2021	CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems	COMPUTERS IN INDUSTRY
Artículo	2021	Decision-making support for input data in business processes according to former instances	COMPUTER SCIENCE AND INFORMATION SYSTEMS
Artículo	2021	Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules	EXPERT SYSTEMS WITH APPLICATIONS
Artículo	2021	Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing	IEEE ACCESS
Ponencia	2020	AMADEUS: Towards the AutoMAteD secUrity teSting	ACM International Conference Proceeding Series
Ponencia	2020	Definition and verification of security configurations of cyber-physical systems	Lecture Notes in Computer Science
Artículo	2020	Prognosis of multiple instances in time-aware declarative business process models	COMPUTERS IN INDUSTRY
Artículo	2020	Verifying the manipulation of data objects according to business process and data models	KNOWLEDGE AND INFORMATION SYSTEMS
Artículo	2019	Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models	IEEE ACCESS
Capítulo	2019	Constraint-Driven Fault Diagnosis	Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Artículo	2019	CyberSPL: A framework for the verification of cybersecurity policy compliance of system configurations using software product lines	APPLIED SCIENCES-BASEL
Ponencia	2019	CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de características	Actas de las V Jornadas Nacionales de Ciberseguridad Junio 5-7, 2019, Cáceres
Capítulo	2019	Model-Based Software Debugging	Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Artículo	2018	Business Process Configuration According to Data Dependency Specification	APPLIED SCIENCES-BASEL
Capítulo	2018	FABIOLA: Towards the resolution of constraint optimization problems in big data environment	Lecture Notes in Information Systems and Organisation
Ponencia	2017	FABIOLA: Defining the components for constraint optimization problems in big data environment	Information Systems Development: Advances in Methods, Tools and Management - Proceedings of the 26th International Conference on Information Systems Development, ISD 2017
Ponencia	2017	FABIOLA: herramienta para la optimización de problemas en entornos de Big Data	Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017
Ponencia	2017	Governance knowledge management and decision support using fuzzy governance maps	Lecture Notes in Business Information Processing
Ponencia	2017	Guiding the creation of choreographed processes with multiple instances based on data models	Lecture Notes in Business Information Processing
Ponencia	2016	A usage control model extension for the verification of security policies in artifact-centric business process models	BUSINESS INFORMATION SYSTEMS (BIS 2016)
Ponencia	2016	Computing alignments with constraint programming: The acyclic case	CEUR workshop proceedings
Artículo	2016	Hybrid business process modeling for the optimization of outcome data	INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia	2016	Hybrid diagnosis applied to multiple instances in business processes	ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016
Ponencia	2016	PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle	2016 IEEE TENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia	2016	Process Instance Query Language to Include Process Performance Indicators in DMN	2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW)
Ponencia	2015	An open-source proactive security infrastructure for Business Process Management	Proceedings of the 26th International Business Information Management Association Conference - Innovation Management and Sustainable Economic Competitive Advantage: From Regional Development to Global Growth, IBIMA 2015
Artículo	2015	Automating correctness verification of artifact-centric business process models	INFORMATION AND SOFTWARE TECHNOLOGY
Artículo	2015	Compliance validation and diagnosis of business data constraints in business processes at runtime	INFORMATION SYSTEMS
Artículo	2015	Formalization of security patterns as a means to infer security controls in business processes	Logic Journal of the IGPL
Ponencia	2015	Towards Automatic Integration of Information Security Governance and Management using a BPMS approach	Actas de las primeras Jornadas Nacionales de Investigación en Ciberseguridad: León, 14, 15, 16 de septiembre de 2015: I JNIC2015
Ponencia	2014	Automatic generation of questionnaires for supporting users during the execution of declarative business process models	Lecture Notes in Business Information Processing
Ponencia	2014	Data state description for the migration to activity-centric business process model maintaining legacy databases	Lecture Notes in Business Information Processing
Artículo	2014	Data-driven bounded-error fault detection	INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING
Artículo	2014	Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes	INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Ponencia	2014	Prognosing the compliance of declarative business processes using event trace robustness	ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia	2014	Service level agreement for data quality governed by Iso 8000-1X0	Proceedings of the 19th International Conference on Information Quality, ICIQ 2014
Artículo	2014	Using Constraint Programming in Selection Operators for Constraint Databases	EXPERT SYSTEMS WITH APPLICATIONS
Ponencia	2013	A security pattern-driven approach toward the automation of risk treatment in business processes	INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS
Ponencia	2013	CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling	2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia	2013	CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper	2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Artículo	2013	Diagnosing correctness of semantic workflow models	DATA & KNOWLEDGE ENGINEERING
Ponencia	2013	Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis	17TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2013)
Ponencia	2013	I8K: An implementation of ISO 8000-1X0	Proceedings of the 18th International Conference on Information Quality, ICIQ 2013
Artículo	2013	Minimizing test-point allocation to improve diagnosability in business process models	JOURNAL OF SYSTEMS AND SOFTWARE
Artículo	2013	Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach	INFORMATION AND SOFTWARE TECHNOLOGY
Artículo	2012	CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework	JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia	2012	Extending BPMN 2.0 for modelling the combination of activities that involve data constraints	BUSINESS PROCESS MODEL AND NOTATION, BPMN 2012
Artículo	2012	FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls	COMPUTERS & SECURITY
Artículo	2012	Improvement of Optimization Agreements in Business Processes involving Web Services	IBIMA Communications
Ponencia	2011	A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models	2011 fifth international conference on research challenges in information science
Ponencia	2011	An Approach For Optimization Agreements In Business Processes Based On Web Services	CREATING GLOBAL COMPETITIVE ECONOMIES: A 360-DEGREE APPROACH, VOLS 1-4
Ponencia	2011	Contract-based test generation for data flow of business processes using constraint programming	2011 fifth international conference on research challenges in information science
Artículo	2011	Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática	Revista de Enseñanza Universitaria
Ponencia	2011	Improving the diagnosability of business process management systems using test points	BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia	2011	OPBUS: RISK-AWARE FRAMEWORK FOR THE CONFORMANCE OF SECURITY-QUALITY REQUIREMENTS IN BUSINESS PROCESSES	SECRYPT 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia	2011	Run-Time Auditing for Business Processes Data Using Constraints	BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia	2011	USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS	ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2
Ponencia	2010	A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs	2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA)
Artículo	2010	A survey using constraints to decision-making for fault tolerance in Business processes	International Journal of Software Engineering and Its Applications
Artículo	2010	Communicating between the kernel and user-space in Linux using Netlink sockets	SOFTWARE-PRACTICE & EXPERIENCE
Ponencia	2010	Determination of an optimal test points allocation for business process analysis	2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010
Editorial	2010	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface	Lecture Notes in Computer Science
Ponencia	2010	OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes	COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Ponencia	2010	Towards dependable business processes with fault-tolerance approach	Proceedings - 3rd International Conference on Dependability, DEPEND 2010
Artículo	2009	A heuristic process for local inconsistency diagnosis in firewall rule sets	Journal Of Networks
Ponencia	2009	AFPL2, An Abstract Language for Firewall ACLs with NAT support	DEPEND: 2009 SECOND INTERNATIONAL CONFERENCE ON DEPENDABILITY
Ponencia	2009	Competitive intelligence based on social networks for decision making	ADIS 2009 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 14th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2009
Artículo	2009	Demystifying Cluster-Based Fault-Tolerant Firewalls	IEEE INTERNET COMPUTING
Artículo	2009	Developing a labelled object-relational constraint database architecture for the projection operator	DATA & KNOWLEDGE ENGINEERING
Ponencia	2009	EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS	SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia	2009	Efficient data structures for local inconsistency detection in firewall ACL updates	ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Ponencia	2009	MDA-based framework for automatic generation of consistent firewall ACLs with NAT	COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II
Artículo	2009	Model-Based Development of firewall rule sets: Diagnosing model inconsistencies	INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia	2008	A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets	SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia	2008	AFPL, an abstract language model for firewall ACLs	COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS
Artículo	2008	Automatic extraction of social networks by topics of interest	INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY
Ponencia	2008	Diagnosing business processes execution using choreography analysis	ADIS 2008 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 13th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2008
Artículo	2008	Efficient packet filtering in wireless ad hoc networks	IEEE COMMUNICATIONS MAGAZINE
Ponencia	2008	Fast algorithms for consistency-based diagnosis of firewall rule sets	ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Ponencia	2008	Fast algorithms for local inconsistency detection in firewall ACL updates	Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia	2008	Firewall rule set inconsistency characterization by clustering	WOSIS 2008: SECURITY IN INFORMATION SYSTEMS, PROCEEDINGS
Ponencia	2008	hFT-FW: hybrid fault-tolerance for cluster-based Stateful Firewalls	PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS
Ponencia	2008	Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW	COMPUTER SECURITY - ESORIC 2008, PROCEEDINGS
Ponencia	2008	Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets	Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia	2008	Stateful firewalling for wireless mesh networks	Proceedings of New Technologies, Mobility and Security Conference and Workshops, NTMS 2008
Ponencia	2008	Towards a dependable architecture for highly available Internet services	ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Artículo	2007	A compiled model for faults diagnosis based on different techniques	AI COMMUNICATIONS
Ponencia	2007	CSP-Based firewall rule set diagnosis using security policies	ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Capítulo	2007	Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases	Fault Detection, Supervision and Safety of Technical Processes 2006
Ponencia	2007	Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones	CAEPIA-TTIA 2007: actas
Ponencia	2007	NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs	CAEPIA-TTIA 2007: actas
Artículo	2007	SISTEMAS DE INTELIGENCIA WEB BASADOS EN REDES SOCIALES	Redes
Artículo	2006	A topological-based method for allocating sensors by using CSP techniques	CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo	2006	Diagnosing errors in DbC programs using Constraint Programming	CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia	2006	Diagnosis of a chopper controlled DC motor by boosting	INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 2, PROCEEDINGS
Ponencia	2006	Distributed model-based diagnosis using object-relational constraint databases	20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS
Ponencia	2006	High Availability support for the design of stateful networking equipments	FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Artículo	2006	Improving the computational efficiency in symmetrical numeric constraint satisfaction problems	CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia	2006	Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases	IFAC Proceedings Volumes (IFAC-PapersOnline)
Artículo	2006	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
Ponencia	2006	SESETE: Un algoritmo de clasificación para la diagnosis de sistemas dinámicos	VIII Jornadas razonamiento cualitativo y aplicaciones. JARCA '06: Razonamiento cualitativo y aplicaciones. Robótica, economía, diagnosis y clasificación
Ponencia	2005	A constraint-based algorithm for planning the substitution of faulty parts	PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Artículo	2005	A study of the similarities between topics	COMPUTATIONAL STATISTICS
Artículo	2005	An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way	MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Artículo	2005	Análisis de Redes Sociales mediante Diagramas Estratégicos y Diagramas Estructurales	Redes: Revista hispana para el análisis de redes sociales
Capítulo	2005	Análisis de un sistema biometalúrgico con conocimiento intervalar y cuantitativo	El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Ponencia	2005	Analysis and visualization of scientific communities with information extracted from the web	IEEE LATIN AMERICA TRANSACTIONS
Artículo	2005	Analysis and visualization of the DX community with information extracted from the web	DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia	2005	Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform	Second IEEE International Workshop on Mobile Commerce and Services, Proceedings
Ponencia	2005	Combining heuristics in assembly sequence planning	PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Ponencia	2005	Constraint satisfaction techniques for diagnosing errors in Design by Contract software	Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005
Ponencia	2005	Diagnosis con variables intervalares usando técnicas Max-CSP	VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Ponencia	2005	Diagnosis of a chopper controlled DC motor by boosting	Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet
Ponencia	2005	Estrategias eficientes en el nivel de aplicación para el filtrado y balanceo de carga de paquetes	Actas IV Congreso Internacional de Auditoria y Seguridad de la Información: CIASI 2005
Artículo	2005	Estudio de similitudes entre áreas temáticas	REVISTA ESPANOLA DE DOCUMENTACION CIENTIFICA
Capítulo	2005	Localización de centros atractivos y/ó repulsivos con análisis intervalar	El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Artículo	2005	Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos	Computación y Sistemas
Ponencia	2005	Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor	VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Capítulo	2005	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	Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
Capítulo	2005	Planificación de secuencias óptimas de ensamblaje mediante programación con restricciones intervalares	El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Capítulo	2005	Programación con restricciones intervalares	El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Artículo	2005	Querying a polynomial object-relational constraint database in model-based diagnosis	DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo	2005	Semiqualitative Methodology to Reasoning about Dynamic Systems	Computación y Sistemas
Artículo	2004	Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis	Lecture Notes in Computer Science
Artículo	2004	Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis	CONSTRAINT DATABASES, PROCEEDINGS
Artículo	2004	Determination of possible minimal conflict sets using constraint databases technology and clustering	ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Ponencia	2004	Interval model-based diagnosis using constraint programming	SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17
Artículo	2003	A genetic algorithm for assembly sequence planning	ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Ponencia	2003	A scheduling approach to assembly sequence planning	PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003)
Ponencia	2003	Arquitectura para la consulta a bases de datos restrictivas	VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Artículo	2003	CSP aplicados a la diagnosis basada en modelos	Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo	2003	CSP y Bases de Datos Restrictivas	Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo	2003	On selecting and scheduling assembly plans using constraint programming	KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo	2003	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
Artículo	2002	A framework for semiqualitative reasoning in engineering applications	APPLIED ARTIFICIAL INTELLIGENCE
Artículo	2002	A semiquantitative approach to study semiqualitative systems	Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Capítulo	2002	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 (JISBD 2002)
Ponencia	2002	Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo	2002	Diagnosis de Software usando técnicas Max-CSP	VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia	2002	Diagnosis progresiva en el tiempo de sistemas dinámicos	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Ponencia	2002	Localización de centros públicos atractivos y /o repulsivos	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo	2002	Max-CSP approach for software diagnosis	Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Ponencia	2002	Metodología para la representación gráfica de relaciones cualitativas entre tópicos de interés	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo	2002	Qualitative comparison of temporal series. QSI	TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Ponencia	2002	Qualitative reasonig for software development project by constraint programming	ENTERPRISE INFORMATION SYSTEMS III
Ponencia	2002	Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo	2002	UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS	Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia	2002	Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas	IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Ponencia	2001	Aplicación de la programación con restricciones a la elaboración automática de itinerarios culturales en Andalucía	TuriTec 2001: turismo y tecnologías de la información y las comunicaciones
Ponencia	2001	Metodología para el análisis visual de la evolución de conceptos en bases de datos textuales	JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real)
Ponencia	2001	Qualitative reasonig for software development project by constraint programming	ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems
Ponencia	2001	Structural constraint-based modeling and reasoning with basic configuration cells	Lecture Notes in Computer Science
Artículo	2000	Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico	Estudios Turísticos
Artículo	2000	Aprendizaje de la Similitud entre Casos con Valores Discretos y Numericos (Premio Accésit Jose Cuena)	Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Capítulo	2000	Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo	Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo	2000	Optimización en modelos que integran conocimiento cualitativo y cuantitativo	Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo	2000	Resolución de problemas de localización-producción con aritmética intervalar	Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo	2000	Semiqualitative Temporal Patterns in Time-Series Databases	Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Capítulo	2000	Using constraint programming framework for Semiqualitative Reasoning	Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Ponencia	1998	Automatic semiqualitative analysis: Application to a biometallurgical system	Lecture Notes in Computer Science
Ponencia	1998	Including qualitative knowledge in semiqualitative dynamical systems	Lecture Notes in Computer Science
Ponencia	1997	Automatización del análisis y simulación de modelos cualitativos mediante restricciones	CAEPIA'97: actas
Ponencia	1995	Razonamiento en orden de magnitud usando conocimiento cualitativo y cuantitativo	VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95 : actas : Alicante, 15, 16 y 17 de Noviembre de 1995
Ponencia	1984	Aplicación de estrategias innovadoras en un sistema de investigación científica	II Jornadas de estudio sobre la investigación en la escuela (1984)

Fecha lectura	Título	Rol
21/07/2014	COMBI-BP: AUTOMATING THE DATA-ORIENTED OPTIMIZATION IN BUSINESS PROCESSES. FROM DECLARATIVE TO EXECUTABLE MODELS	Director/a
06/03/2014	DETECCIÓN DE FALLOS EN SISTEMAS DINÁMICOS MEDIANTE TÉCNICAS DE ERROR ACOTADO	Director/a
23/07/2013	OPBUS: A FRAMEWORK FOR IMPROVING THE DEPENDABILITY OF RISK-AWARE BUSINESS PROCESSES	Director/a
19/12/2012	DIAGNOSTIC REASONING WITH STRUCTURAL ANALYSIS AND CONSTRAINT PROGRAMMING FOR QUALITY IMPROVEMENT OF BUSINESS PROCESS MANAGEMENT SYSTEMS	Tutor/a, Director/a
08/06/2012	SISTEMAS DE INTELIGENCIA WEB: ANÁLISIS DE REDES SOCIALES	Director/a
21/12/2011	TÉCNICAS AUTOMÁTICAS PARA LA DIAGNOSIS DE ERRORES EN SOFTWARE DISEÑADO POR CONTRATO	Director/a
22/07/2010	ARCHITECTURES FOR THE HIGH AVAILABILITY OF STATEFUL FIREWALLS	Director/a
16/07/2010	Técnicas automáticas para la diagnosis de inconsistencias en listas de control de acceso de firewalls	Director/a
17/12/2007	LORDCDB: GESTOR DE BASES DE DATOS OBJETO-RELACIONALES DE RESTRICCIONES	Director/a
29/11/2007	DIAGNOSIS DE SISTEMAS DINÁMICOS MEDIANTE EL APRENDIZAJE DE MODELOS PROPOSICIONALES	Director/a
17/06/2005	ÍNDICE PARA LA COMPARACIÓN CUALITATIVA DE SERIES TEMPORALES	Director/a
25/03/2004	Localización de centros de servicios atractivos y/o repulsivos con algoritmos de ramificación y poda	Director/a

Proyectos de Investigación: 12

Contratos: 9

Ayudas: 3

Sobre los datos de Financiación (proyectos de investigación, contratos, ayudas, etc.):

Solo recogemos de SICA los datos anteriores al año 2000 y no habrá más actualizaciones por el momento desde esta plataforma.
Recogemos de SISIUS los proyectos estatales, autonómicos e internacionales gestionados por la US, siempre a partir del año 2000. Ver política de inclusión en SISIUS para más información.
Proyectos externos: se está creando un procedimiento dentro de la US para recoger de forma ordenada y exhaustiva la documentación relativa a estos proyectos, que se comunicará próximamente. Esto posibilitará que se incluyan convenientemente en SISIUS y después en Prisma. Hasta entonces, no se incluyen en Prisma los proyectos externos, aunque haya alguna referencia en SISIUS.
Ayudas procedentes del Plan Propio: se va a crear un apartado específico para esta financiación. Hasta entonces, no se incluyen las ayudas del Plan Propio en Prisma.

Fecha de la última carga desde SISIUS: 22/04/2024
Cualquier duda sobre este apartado, escríbanos al correo bibliometria@us.es

Proyectos de Investigación

Fecha de inicio	Fecha de fin	Rol	Denominación	Agencia financiadora
01/12/2022	30/11/2024	Investigador/a	Mejora de la ciberseguridAd y su sostenibiLidad en Beneficio de la sociedad y de las personAs (TED2021-130355B-C32)	Ministerio de Ciencia e Innovación (Nacional)
01/01/2022	31/05/2023	Investigador/a	METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375)	Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
05/10/2021	31/12/2022	Investigador/a	COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224)	Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
01/01/2021	31/12/2024	Investigador/a	Aether-US:Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44)	Ministerio de Ciencia e Innovación (Nacional)
01/01/2019	30/06/2021	Investigador/a	Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33)	Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/01/2016	31/12/2018	Investigador/a	Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R)	Ministerio de Economía y Competitividad (Nacional)
01/01/2010	31/12/2014	Investigador/a	Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714)	Ministerio de Ciencia e Innovación (Nacional)
13/01/2009	31/07/2011	Responsable	Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095)	Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/10/2006	30/09/2009	Responsable	Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01)	Ministerio de Educación y Ciencia (Nacional)
15/11/2003	15/11/2006	Responsable	Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01)	Ministerio de Ciencia y Tecnología (Nacional)
28/12/2000	27/12/2003	Responsable	Desarrollo de herramientas basadas en modelos semicualitativos para el análisis de sistemas dinámicos. Aplicación a la supervisión, control y predicción de comportamientos (DPI2000-0666-C02-02)	Ministerio de Ciencia y Tecnología (Nacional)
28/12/2000	27/12/2003	Investigador/a	Metodologías y arquitecturas para la difusión electrónica de información en la red (TIC2000-1673-C06-03)	Ministerio de Ciencia y Tecnología (Nacional)

Contratos

Fecha de inicio	Fecha de fin	Rol	Denominación	Agencia financiadora
07/03/2018	31/12/2018	Investigador/a	Clean Sky 2: A-24 ONE STEP BEYOND ON AUTOMATED TESTING TECHNOLOGIES (P011-18/E08)	Airbus Defence and Space S.A. (Desconocido)
01/10/2016	31/12/2016	Investigador/a	Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08)	Airbus Defence and Space S.A. (Desconocido)
02/01/2015	30/07/2015	Investigador/a	WONDER: Diseño y Desarrollo de Plataforma ciega intermodal de reposición de incidencias y reasignación de envíos para el sector logístico. (P001-15/E08)	On Time Transporte Y Logistica, S.L. (Desconocido)
04/07/2014	04/09/2014	Investigador/a	Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08)	Clever Tecnología S.L. (Desconocido)
01/06/2011	30/08/2014	Investigador/a	Archivo Interoperable Mediante Datos en Abierto Enlazados (P036-11/E08)	Emergya Ingeniería, S.L. (Desconocido)
20/11/2009	19/03/2010	Investigador/a	AGECTA III Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P051-09/E08)	Instituto Andaluz de Tecnología (Desconocido)
21/07/2008	13/10/2008	Investigador/a	AGECTA Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P021-08/E08)	Corporación Tecnológica de Andalucía (Desconocido)
18/02/2008	16/02/2009	Responsable	AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08)	Sadiel, S.A. (Desconocido)
05/01/2008	05/01/2009	Investigador/a	Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08)	EADS - Construcciones Aeronáuticas, S.A. (Desconocido)

Ayudas

Fecha de inicio	Fecha de fin	Rol	Denominación	Agencia financiadora
09/11/2009	13/11/2009	Responsable	XIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA) Jornadas de Transferencia Tecnológica Artificial (TTIA) (PP2009-01-053)	Universidad de Sevilla (Local)
01/09/2009	01/09/2010	Responsable	XIII Conferencia de la asociación española para la inteligencia artificial (TIN2009-06766-E)	Ministerio de Ciencia e Innovación (Nacional)
19/06/2002	18/06/2003	Investigador/a	Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E)	Ministerio de Ciencia y Tecnología (Nacional)

Utilizamos cookies

Rafael Martínez Gasca

Proyectos de Investigación

Contratos

Ayudas