IDEA Research Group - Publications
University of Seville

Publications

Authors: Type:

2021

  • [DOI] Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, Javier F. Ortega, María Teresa Gómez-López, and Moe Thandar Wynn. A nlp-oriented methodology to enhance event log quality. In Enterprise, business-process and information systems modeling – 22nd international conference, BPMDS 2021, and 26th international conference, EMMSAD 2021, held at caise 2021, melbourne, vic, australia, june 28-29, 2021, proceedings, volume 421 of Lecture Notes in Business Information Processing, pages 19-35. Springer, 2021.
    [Bibtex]
    @inproceedings{DBLP:conf/caise/Ramos-Gutierrez21,
    author = {Bel{\'{e}}n Ramos-Guti{\'{e}}rrez and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    F. Javier Ortega and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Moe Thandar Wynn},
    title = {A NLP-Oriented Methodology to Enhance Event Log Quality},
    booktitle = {Enterprise, Business-Process and Information Systems Modeling - 22nd
    International Conference, {BPMDS} 2021, and 26th International Conference,
    {EMMSAD} 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June
    28-29, 2021, Proceedings},
    series = {Lecture Notes in Business Information Processing},
    volume = {421},
    pages = {19--35},
    publisher = {Springer},
    year = {2021},
    doi = {10.1007/978-3-030-79186-5\_2},
    }
  • [DOI] Belén Ramos-Gutiérrez, María Teresa Gómez-López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, and Antonio Barea. Self-adaptative troubleshooting for to guide resolution of malfunctions in aircraft manufacturing. Ieee access, 9:42707-42723, 2021.
    [Bibtex]
    @ARTICLE{9380188,
    author={Ramos-Gutiérrez, Belén and Gómez-López, María Teresa and Borrego, Diana and Ceballos, Rafael and Gasca, Rafael M. and Barea, Antonio},
    journal={IEEE Access},
    title={Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing},
    year={2021},
    volume={9},
    number={},
    pages={42707-42723},
    doi={10.1109/ACCESS.2021.3066253}}
  • Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez-López, and David Benavides. Discovering configuration workflows from existing logs using process mining. Empirical software engineering, 26(1):1-41, 2021.
    [Bibtex]
    @article{ramos2021discovering,
    title={Discovering configuration workflows from existing logs using process mining},
    author={Ramos-Guti{\'e}rrez, Bel{\'e}n and Varela-Vaca, {\'A}ngel Jes{\'u}s and Galindo, Jos{\'e} A and G{\'o}mez-L{\'o}pez, Mar{\'i}a Teresa and Benavides, David},
    journal={Empirical Software Engineering},
    volume={26},
    number={1},
    pages={1--41},
    year={2021},
    publisher={Springer US}
    }
  • [DOI] Francisco José de Haro-Olmo, Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, and José Antonio Alvárez-Bermejo. Data curation in the internet of things: a decision model approach. Computational and mathematical methods, n/a(e1191):-, 2021.
    [Bibtex]
    @article{https://doi.org/10.1002/cmm4.1191,
    author = {de Haro-Olmo, Francisco José and Valencia-Parra, Álvaro and Varela-Vaca, Ángel Jesús and Alvárez-Bermejo, José Antonio},
    title = {Data Curation in the Internet of Things: a Decision Model approach},
    journal = {Computational and Mathematical Methods},
    volume = {n/a},
    number = {e1191},
    pages = {-},
    year={2021},
    keywords = {Data Curation, Data Quality, Big Data Pipeline, Internet of Things, Sensors},
    doi = {https://doi.org/10.1002/cmm4.1191},
    url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cmm4.1191},
    eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/cmm4.1191},
    abstract = {Abstract Current IoT scenarios have to deal with many challenges especially when a large amount of heterogeneous data sources are integrated, i.e., data curation. In this respect, the use of poor-quality data (i.e., data with problems) can produce terrible consequence from incorrect decision-making to damaging the performance in the operations. Therefore, using data with an acceptable level of usability has become essential to achieve success. In this paper, we propose an IoT-Big Data Pipeline architecture that enables data acquisition and data curation in any IoT context. We have customised the pipeline by including the DMN4DQ approach to enable us the measuring and evaluating data quality in the data produced by IoT sensors. Further, we have chosen a real dataset from sensors in an agricultural IoT context and we have defined a decision model to enable us the automatic measuring and assessing of the data quality with regard to the usability of the data in the context.}
    }
  • [DOI] Ángel Jesús Varela-Vaca, David G. Rosado, Luis E. Sánchez, María Teresa Gómez-López, Rafael M. Gasca, and Eduardo Fernández-Medina. CARMEN: a framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Computers in industry, 132:103524, 2021.
    [Bibtex]
    @article{VARELAVACA2021103524,
    title = {{CARMEN}: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems},
    journal = {Computers in Industry},
    volume = {132},
    pages = {103524},
    year = {2021},
    issn = {0166-3615},
    doi = {https://doi.org/10.1016/j.compind.2021.103524},
    url = {https://www.sciencedirect.com/science/article/pii/S0166361521001317},
    author = {Ángel Jesús Varela-Vaca and David G. Rosado and Luis E. Sánchez and María Teresa Gómez-López and Rafael M. Gasca and Eduardo Fernández-Medina},
    keywords = {Cyber-physical system, Cybersecurity, Security, Configuration models, Security requirements, Security verification, Diagnosis},
    abstract = {In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a complex system that includes hardware and software components, with different suppliers and connection protocols, forcing complex data management and storage. For this reason, the construction, verification and diagnosis of security CPS become a major challenge, which involves a correct specification of security requirements, the verification of the correct system configurations, and if necessary, the diagnosis to detect the features to be modified to obtain a security configuration. In this paper, we propose a framework for the verification and diagnosis of security requirements, according to the possible correct configurations of the CPS. The framework is based on the specification of the security requirements and their analysis supported by Model-Driven Engineering and Software Product Line Engineering (SPLE) approaches. To illustrate the usefulness, the proposal has been applied to the security requirements in an Agriculture 4.0 scenario based on automated hydroponic cultivation.}
    }
  • [DOI] Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Josep Carmona, and Robin Bergenthum. Empowering conformance checking using big data through horizontal decomposition. Information systems, 99:101731, 2021.
    [Bibtex]
    @article{VALENCIAPARRA2021101731,
    title = {Empowering conformance checking using Big Data through horizontal decomposition},
    journal = {Information Systems},
    volume = {99},
    pages = {101731},
    year = {2021},
    issn = {0306-4379},
    doi = {https://doi.org/10.1016/j.is.2021.101731},
    url = {https://www.sciencedirect.com/science/article/pii/S0306437921000077},
    author = {Álvaro Valencia-Parra and Ángel Jesús Varela-Vaca and María Teresa Gómez-López and Josep Carmona and Robin Bergenthum},
    keywords = {Conformance checking, Decompositional techniques, Big Data, MapReduce},
    abstract = {Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of the quality of a process model through the discovery of event data, the identification of potential deviations, and the projection of real traces onto process models. In this way, the insights gained from the available event data can be transferred to a richer conceptual level, amenable for human interpretation. Unfortunately, most of the aforementioned functionalities are grounded in an extremely difficult fundamental problem: given an observed trace and a process model, find the model trace that most closely resembles to the trace observed. This paper presents an architecture that supports the creation and distribution of alignment subproblems based on an innovative horizontal acyclic model decomposition, disengaged from the conformance checking algorithm applied for their solution. This is supported by a Big Data infrastructure that facilitates the customised distribution of a gross amount of data. Experiments are provided that testify to the enormous potential of the architecture proposed, thereby opening the door to further research in several directions.}
    }
  • Ángel Jesús Varela-Vaca and Antonia Reina M. Quintero. Smart contract languages: a multivocal mapping study. Acm computing surveys (csur), 54(1):1-38, 2021.
    [Bibtex]
    @article{varela2021smart,
    title={Smart Contract Languages: A Multivocal Mapping Study},
    author={Varela-Vaca, {\'A}ngel Jes{\'u}s and Quintero, Antonia M. Reina},
    journal={ACM Computing Surveys (CSUR)},
    volume={54},
    number={1},
    pages={1--38},
    year={2021},
    publisher={ACM New York, NY, USA}
    }
  • Francisco J. Haro-Olmo, José Antonio Alvarez-Bermejo, Ángel Jesús Varela-Vaca, and JA López-Ramos. Blockchain-based federation of wireless sensor nodes. The journal of supercomputing, pages 1-13, 2021.
    [Bibtex]
    @article{haro2021blockchain,
    title={Blockchain-based federation of wireless sensor nodes},
    author={Haro-Olmo, Francisco J. and Alvarez-Bermejo, Jos{\'e} Antonio and Varela-Vaca, {\'A}ngel Jes{\'u}s and L{\'o}pez-Ramos, JA},
    journal={The Journal of Supercomputing},
    pages={1--13},
    year={2021},
    publisher={Springer US}
    }
  • [DOI] Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, and María Teresa Gómez-López. DMN4DQ: when data quality meets DMN. Decis. support syst., 141:113450, 2021.
    [Bibtex]
    @article{DBLP:journals/dss/Valencia-ParraP21,
    author = {{\'{A}}lvaro Valencia-Parra and
    Luisa Parody and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Ismael Caballero and
    Mar{\'{i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {{DMN4DQ:} When data quality meets {DMN}},
    journal = {Decis. Support Syst.},
    volume = {141},
    pages = {113450},
    year = {2021},
    url = {https://doi.org/10.1016/j.dss.2020.113450},
    doi = {10.1016/j.dss.2020.113450},
    timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/dss/Valencia-ParraP21.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2020

  • [DOI] Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, and David Benavides. Empirical evidence of the usage of programming languages in the educational process. Ieee transactions on education, pages 1-10, 2020.
    [Bibtex]
    @ARTICLE{9249431,
    author={Vinueza-Morales, Mariuxi and Borrego, Diana and Galindo, José A. and Benavides, David},
    journal={IEEE Transactions on Education},
    title={Empirical Evidence of the Usage of Programming Languages in the Educational Process},
    year={2020},
    volume={},
    number={},
    pages={1-10},
    doi={10.1109/TE.2020.3030588}}
  • [DOI] Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Prognosis of multiple instances in time-aware declarative business process models. Comput. ind., 120:103243, 2020.
    [Bibtex]
    @article{DBLP:journals/cii/BorregoLG20,
    author = {Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Prognosis of multiple instances in time-aware declarative business
    process models},
    journal = {Comput. Ind.},
    volume = {120},
    pages = {103243},
    year = {2020},
    url = {https://doi.org/10.1016/j.compind.2020.103243},
    doi = {10.1016/j.compind.2020.103243},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cii/BorregoLG20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, and Rafael M. Gasca. Verifying the manipulation of data objects according to business process and data models. Knowl. inf. syst., 62(7):2653-2683, 2020.
    [Bibtex]
    @article{DBLP:journals/kais/Perez-AlvarezLE20,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rik Eshuis and
    Marco Montali and
    Rafael M. Gasca},
    title = {Verifying the manipulation of data objects according to business process
    and data models},
    journal = {Knowl. Inf. Syst.},
    volume = {62},
    number = {7},
    pages = {2653--2683},
    year = {2020},
    url = {https://doi.org/10.1007/s10115-019-01431-5},
    doi = {10.1007/s10115-019-01431-5},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/kais/Perez-AlvarezLE20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Belén Ramos-Gutiérrez, Luisa Parody, and María Teresa Gómez-López. Towards the detection of promising processes by analysing the relational data. In Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark M. Hall, Tanja Mercun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, and Maja Zumer, editors, Adbis, TPDL and EDA 2020 common workshops and doctoral consortium – international workshops: doing, madeisd, skg, bbigap, simpda, aiminscience 2020 and doctoral consortium, lyon, france, august 25-27, 2020, proceedings, volume 1260 of Communications in Computer and Information Science, pages 283-295. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/adbis/Ramos-Gutierrez20,
    author = {Bel{\'{e}}n Ramos-Guti{\'{e}}rrez and
    Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Ladjel Bellatreche and
    M{\'{a}}ria Bielikov{\'{a}} and
    Omar Boussa{\"{\i}}d and
    Barbara Catania and
    J{\'{e}}r{\^{o}}me Darmont and
    Elena Demidova and
    Fabien Duchateau and
    Mark M. Hall and
    Tanja Mercun and
    Boris Novikov and
    Christos Papatheodorou and
    Thomas Risse and
    Oscar Romero and
    Lucile Sautot and
    Guilaine Talens and
    Robert Wrembel and
    Maja Zumer},
    title = {Towards the Detection of Promising Processes by Analysing the Relational
    Data},
    booktitle = {ADBIS, {TPDL} and {EDA} 2020 Common Workshops and Doctoral Consortium
    - International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience
    2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020, Proceedings},
    series = {Communications in Computer and Information Science},
    volume = {1260},
    pages = {283--295},
    publisher = {Springer},
    year = {2020},
    url = {https://doi.org/10.1007/978-3-030-55814-7\_24},
    doi = {10.1007/978-3-030-55814-7\_24},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/adbis/Ramos-Gutierrez20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, Luisa Parody, and María Teresa Gómez-López. Unleashing constraint optimisation problem solving in big data environments. J. comput. sci., 45:101180, 2020.
    [Bibtex]
    @article{DBLP:journals/jocs/Valencia-ParraV20,
    author = {{\'{A}}lvaro Valencia-Parra and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Unleashing Constraint Optimisation Problem solving in Big Data environments},
    journal = {J. Comput. Sci.},
    volume = {45},
    pages = {101180},
    year = {2020},
    url = {https://doi.org/10.1016/j.jocs.2020.101180},
    doi = {10.1016/j.jocs.2020.101180},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/jocs/Valencia-ParraV20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Francisco José de Haro-Olmo, Ángel Jesús Varela-Vaca, and José Antonio Álvarez-Bermejo. Blockchain from the perspective of privacy and anonymisation: A systematic literature review. Sensors, 20(24):7171, 2020.
    [Bibtex]
    @article{DBLP:journals/sensors/Haro-OlmoVA20,
    author = {Francisco Jos{\'{e}} de Haro-Olmo and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Jos{\'{e}} Antonio {\'{A}}lvarez-Bermejo},
    title = {Blockchain from the Perspective of Privacy and Anonymisation: {A}
    Systematic Literature Review},
    journal = {Sensors},
    volume = {20},
    number = {24},
    pages = {7171},
    year = {2020},
    url = {https://doi.org/10.3390/s20247171},
    doi = {10.3390/s20247171},
    timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/sensors/Haro-OlmoVA20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Damián Fernández-Cerero, Ángel Jesús Varela-Vaca, Alejandro Fernández-Montes, María Teresa Gómez-López, and José Antonio Álvarez-Bermejo. Measuring data-centre workflows complexity through process mining: the google cluster case. J. supercomput., 76(4):2449-2478, 2020.
    [Bibtex]
    @article{DBLP:journals/tjs/Fernandez-Cerero20,
    author = {Dami{\'{a}}n Fern{\'{a}}ndez-Cerero and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Alejandro Fern{\'{a}}ndez-Montes and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Jos{\'{e}} Antonio {\'{A}}lvarez-Bermejo},
    title = {Measuring data-centre workflows complexity through process mining:
    the Google cluster case},
    journal = {J. Supercomput.},
    volume = {76},
    number = {4},
    pages = {2449--2478},
    year = {2020},
    url = {https://doi.org/10.1007/s11227-019-02996-2},
    doi = {10.1007/s11227-019-02996-2},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/tjs/Fernandez-Cerero20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, David G. Rosado, Luís Enrique Sanchez, María Teresa Gómez-López, Rafael M. Gasca, and Eduardo Fernández-Medina. Definition and verification of security configurations of cyber-physical systems. In Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Weizhi Meng, and Steven Furnell, editors, Computer security – ESORICS 2020 international workshops, cybericps, secpre, and adiot, guildford, uk, september 14-18, 2020, revised selected papers, volume 12501 of Lecture Notes in Computer Science, pages 135-155. Springer, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/esorics/Varela-VacaRSLG20,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    David G. Rosado and
    Lu{\'{\i}}s Enrique Sanchez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Eduardo Fern{\'{a}}ndez-Medina},
    editor = {Sokratis K. Katsikas and
    Fr{\'{e}}d{\'{e}}ric Cuppens and
    Nora Cuppens and
    Costas Lambrinoudakis and
    Christos Kalloniatis and
    John Mylopoulos and
    Annie I. Ant{\'{o}}n and
    Stefanos Gritzalis and
    Weizhi Meng and
    Steven Furnell},
    title = {Definition and Verification of Security Configurations of Cyber-Physical
    Systems},
    booktitle = {Computer Security - {ESORICS} 2020 International Workshops, CyberICPS,
    SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected
    Papers},
    series = {Lecture Notes in Computer Science},
    volume = {12501},
    pages = {135--155},
    publisher = {Springer},
    year = {2020},
    url = {https://doi.org/10.1007/978-3-030-64330-0\_9},
    doi = {10.1007/978-3-030-64330-0\_9},
    timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/esorics/Varela-VacaRSLG20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, and María Teresa Gómez-López. AMADEUS: towards the automated security testing. In Roberto Erick Lopez-Herrejon, editor, SPLC ’20: 24th ACM international systems and software product line conference, montreal, quebec, canada, october 19-23, 2020, volume A, pages 11:1–11:12. {ACM}, 2020.
    [Bibtex]
    @inproceedings{DBLP:conf/splc/Varela-VacaGCL20,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca and
    Jose Antonio Carmona-Fombella and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Roberto Erick Lopez-Herrejon},
    title = {{AMADEUS:} towards the AutoMAteD secUrity teSting},
    booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
    Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
    {A}},
    pages = {11:1--11:12},
    publisher = {{ACM}},
    year = {2020},
    url = {https://doi.org/10.1145/3382025.3414952},
    doi = {10.1145/3382025.3414952},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/splc/Varela-VacaGCL20.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2019

  • [DOI] Antonio Cancela, Antonia Reina M. Quintero, María Teresa Gómez-López, and Alejandro García-García. Standardizing process-data exploitation by means of a process-instance metamodel. In Paolo Ceravolo, Maurice van Keulen, and María Teresa Gómez-López, editors, Data-driven process discovery and analysis – 8th IFIP WG 2.6 international symposium, SIMPDA 2018, seville, spain, december 13-14, 2018, and 9th international symposium, SIMPDA 2019, bled, slovenia, september 8, 2019, revised selected papers, volume 379 of Lecture Notes in Business Information Processing, pages 52-66. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/simpda/CancelaQLG19,
    author = {Antonio Cancela and
    Antonia M. Reina Quintero and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Alejandro Garc{\'{\i}}a-Garc{\'{\i}}a},
    editor = {Paolo Ceravolo and
    Maurice van Keulen and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Standardizing Process-Data Exploitation by Means of a Process-Instance
    Metamodel},
    booktitle = {Data-Driven Process Discovery and Analysis - 8th {IFIP} {WG} 2.6 International
    Symposium, {SIMPDA} 2018, Seville, Spain, December 13-14, 2018, and
    9th International Symposium, {SIMPDA} 2019, Bled, Slovenia, September
    8, 2019, Revised Selected Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {379},
    pages = {52--66},
    publisher = {Springer},
    year = {2019},
    url = {https://doi.org/10.1007/978-3-030-46633-6\_3},
    doi = {10.1007/978-3-030-46633-6\_3},
    timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/simpda/CancelaQLG19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, and María Teresa Gómez-López. Automatic verification and diagnosis of security risk assessments in business process models. IEEE access, 7:26448-26465, 2019.
    [Bibtex]
    @article{DBLP:journals/access/Varela-VacaPGL19,
    author = {Angel Jesus Varela-Vaca and
    Luisa Parody and
    Rafael M. Gasca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Automatic Verification and Diagnosis of Security Risk Assessments
    in Business Process Models},
    journal = {{IEEE} Access},
    volume = {7},
    pages = {26448--26465},
    year = {2019},
    url = {https://doi.org/10.1109/ACCESS.2019.2901408},
    doi = {10.1109/ACCESS.2019.2901408},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/access/Varela-VacaPGL19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Francisco José Ramírez-López, Ángel Jesús Varela-Vaca, Jorge Ropero, Joaquín Luque, and Alejandro Carrasco. A framework to secure the development and auditing of SSL pinning in mobile applications: the case of android devices. Entropy, 21(12):1136, 2019.
    [Bibtex]
    @article{DBLP:journals/entropy/Ramirez-LopezVR19,
    author = {Francisco Jos{\'{e}} Ram{\'{\i}}rez-L{\'{o}}pez and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Jorge Ropero and
    Joaqu{\'{\i}}n Luque and
    Alejandro Carrasco},
    title = {A Framework to Secure the Development and Auditing of {SSL} Pinning
    in Mobile Applications: The Case of Android Devices},
    journal = {Entropy},
    volume = {21},
    number = {12},
    pages = {1136},
    year = {2019},
    url = {https://doi.org/10.3390/e21121136},
    doi = {10.3390/e21121136},
    timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/entropy/Ramirez-LopezVR19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Álvaro Valencia-Parra, Belén Ramos-Gutiérrez, Angel Jesus Varela-Vaca, María Teresa Gómez-López, and Antonio Garcia Bernal. Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data. In Jan vom Brocke, Jan Mendling, and Michael Rosemann, editors, Proceedings of the industry forum at BPM 2019 co-located with 17th international conference on business process management (BPM 2019), vienna, austria, september 1-6, 2019, volume 2428 of {CEUR} Workshop Proceedings, pages 166-177. CEUR-WS.org, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Valencia-ParraR19,
    author = {{\'{A}}lvaro Valencia-Parra and
    Bel{\'{e}}n Ramos-Guti{\'{e}}rrez and
    Angel Jesus Varela-Vaca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Antonio Garcia Bernal},
    editor = {Jan vom Brocke and
    Jan Mendling and
    Michael Rosemann},
    title = {Enabling process mining in aircraft manufactures: extracting event
    logs and discovering processes from complex data},
    booktitle = {Proceedings of the Industry Forum at {BPM} 2019 co-located with 17th
    International Conference on Business Process Management {(BPM} 2019),
    Vienna, Austria, September 1-6, 2019},
    series = {{CEUR} Workshop Proceedings},
    volume = {2428},
    pages = {166--177},
    publisher = {CEUR-WS.org},
    year = {2019},
    url = {http://ceur-ws.org/Vol-2428/paper15.pdf},
    timestamp = {Wed, 12 Feb 2020 16:44:57 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/Valencia-ParraR19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, and María Teresa Gómez-López. DMN for data quality measurement and assessment. In Chiara Di Francescomarino, Remco M. Dijkman, and Uwe Zdun, editors, Business process management workshops – BPM 2019 international workshops, vienna, austria, september 1-6, 2019, revised selected papers, volume 362 of Lecture Notes in Business Information Processing, pages 362-374. Springer, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Valencia-ParraP19,
    author = {{\'{A}}lvaro Valencia-Parra and
    Luisa Parody and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Ismael Caballero and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Chiara Di Francescomarino and
    Remco M. Dijkman and
    Uwe Zdun},
    title = {{DMN} for Data Quality Measurement and Assessment},
    booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
    Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {362},
    pages = {362--374},
    publisher = {Springer},
    year = {2019},
    url = {https://doi.org/10.1007/978-3-030-37453-2\_30},
    doi = {10.1007/978-3-030-37453-2\_30},
    timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/Valencia-ParraP19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, and Paolo Ceravolo. CHAMALEON: framework to improve data wrangling with complex data. In Helmut Krcmar, Jane Fedorowicz, Wai Fong Boh, Jan Marco Leimeister, and Sunil Wattal, editors, Proceedings of the 40th international conference on information systems, ICIS 2019, munich, germany, december 15-18, 2019. Association for Information Systems, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/icis/Valencia-ParraV19,
    author = {{\'{A}}lvaro Valencia-Parra and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Paolo Ceravolo},
    editor = {Helmut Krcmar and
    Jane Fedorowicz and
    Wai Fong Boh and
    Jan Marco Leimeister and
    Sunil Wattal},
    title = {{CHAMALEON:} Framework to improve Data Wrangling with Complex Data},
    booktitle = {Proceedings of the 40th International Conference on Information Systems,
    {ICIS} 2019, Munich, Germany, December 15-18, 2019},
    publisher = {Association for Information Systems},
    year = {2019},
    url = {https://aisel.aisnet.org/icis2019/data\_science/data\_science/16},
    timestamp = {Tue, 10 Dec 2019 12:03:30 +0100},
    biburl = {https://dblp.org/rec/conf/icis/Valencia-ParraV19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, José Angel Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez-López, and David Benavides. Process mining to unleash variability management: discovering configuration workflows using logs. In Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, and Tewfik Ziadi, editors, Proceedings of the 23rd international systems and software product line conference, SPLC 2019, volume a, paris, france, september 9-13, 2019, pages 37:1–37:12. {ACM}, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/splc/Varela-VacaGRLB19,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Jos{\'{e}} Angel Galindo and
    Bel{\'{e}}n Ramos-Guti{\'{e}}rrez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    David Benavides},
    editor = {Thorsten Berger and
    Philippe Collet and
    Laurence Duchien and
    Thomas Fogdal and
    Patrick Heymans and
    Timo Kehrer and
    Jabier Martinez and
    Ra{\'{u}}l Mazo and
    Leticia Montalvillo and
    Camille Salinesi and
    Xhevahire T{\"{e}}rnava and
    Thomas Th{\"{u}}m and
    Tewfik Ziadi},
    title = {Process mining to unleash variability management: discovering configuration
    workflows using logs},
    booktitle = {Proceedings of the 23rd International Systems and Software Product
    Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
    2019},
    pages = {37:1--37:12},
    publisher = {{ACM}},
    year = {2019},
    url = {https://doi.org/10.1145/3336294.3336303},
    doi = {10.1145/3336294.3336303},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/splc/Varela-VacaGRLB19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2018

  • [DOI] José Miguel Pérez-Álvarez, Alejandro Maté, María Teresa Gómez-López, and Juan Trujillo. Tactical business-process-decision support based on kpis monitoring and validation. Comput. ind., 102:23-39, 2018.
    [Bibtex]
    @article{DBLP:journals/cii/Perez-AlvarezML18,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Alejandro Mat{\'{e}} and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Juan Trujillo},
    title = {Tactical Business-Process-Decision Support based on KPIs Monitoring
    and Validation},
    journal = {Comput. Ind.},
    volume = {102},
    pages = {23--39},
    year = {2018},
    url = {https://doi.org/10.1016/j.compind.2018.08.001},
    doi = {10.1016/j.compind.2018.08.001},
    timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cii/Perez-AlvarezML18.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Antonio Cancela, Antonia Reina M. Quintero, Alejandro García-García, and María Teresa Gómez-López. Standardizing process data exploitation by means of a process instance metamodel. In Paolo Ceravolo, María Teresa Gómez-López, and Maurice van Keulen, editors, Proceedings of the 8th international symposium on data-driven process discovery and analysis (SIMPDA 2018), seville, spain, december 13-14, 2018, volume 2270 of {CEUR} Workshop Proceedings, pages 55-59. CEUR-WS.org, 2018.
    [Bibtex]
    @inproceedings{DBLP:conf/simpda/CancelaQGL18,
    author = {Antonio Cancela and
    Antonia M. Reina Quintero and
    Alejandro Garc{\'{\i}}a-Garc{\'{\i}}a and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Paolo Ceravolo and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Maurice van Keulen},
    title = {Standardizing Process Data Exploitation by means of a Process Instance
    Metamodel},
    booktitle = {Proceedings of the 8th International Symposium on Data-driven Process
    Discovery and Analysis {(SIMPDA} 2018), Seville, Spain, December 13-14,
    2018},
    series = {{CEUR} Workshop Proceedings},
    volume = {2270},
    pages = {55--59},
    publisher = {CEUR-WS.org},
    year = {2018},
    url = {http://ceur-ws.org/Vol-2270/short2.pdf},
    timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
    biburl = {https://dblp.org/rec/conf/simpda/CancelaQGL18.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2017

  • [DOI] María Teresa Gómez-López, Antonia Reina M. Quintero, Luisa Parody, José Miguel Pérez-Álvarez, and Manfred Reichert. An architecture for querying business process, business process instances, and business data models. In Ernest Teniente and Matthias Weidlich, editors, Business process management workshops – BPM 2017 international workshops, barcelona, spain, september 10-11, 2017, revised papers, volume 308 of Lecture Notes in Business Information Processing, pages 757-769. Springer, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/LopezQPAR17,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Antonia M. Reina Quintero and
    Luisa Parody and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Manfred Reichert},
    editor = {Ernest Teniente and
    Matthias Weidlich},
    title = {An Architecture for Querying Business Process, Business Process Instances,
    and Business Data Models},
    booktitle = {Business Process Management Workshops - {BPM} 2017 International Workshops,
    Barcelona, Spain, September 10-11, 2017, Revised Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {308},
    pages = {757--769},
    publisher = {Springer},
    year = {2017},
    url = {https://doi.org/10.1007/978-3-319-74030-0\_60},
    doi = {10.1007/978-3-319-74030-0\_60},
    timestamp = {Sun, 28 Jan 2018 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/LopezQPAR17.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Adrian Mos, Mario Cortes Cornax, José Miguel Pérez-Álvarez, and María Teresa Gómez-López. A model-driven framework for domain specific process design and governance. In Robert Clarisó, Henrik Leopold, Jan Mendling, Wil M. P. van der Aalst, Akhil Kumar, Brian T. Pentland, and Mathias Weske, editors, Proceedings of the BPM demo track and BPM dissertation award co-located with 15th international conference on business process modeling (BPM 2017), barcelona, spain, september 13, 2017, volume 1920 of {CEUR} Workshop Proceedings. CEUR-WS.org, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/MosCPL17,
    author = {Adrian Mos and
    Mario Cortes Cornax and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Robert Claris{\'{o}} and
    Henrik Leopold and
    Jan Mendling and
    Wil M. P. van der Aalst and
    Akhil Kumar and
    Brian T. Pentland and
    Mathias Weske},
    title = {A Model-Driven Framework for Domain Specific Process Design and Governance},
    booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
    with 15th International Conference on Business Process Modeling {(BPM}
    2017), Barcelona, Spain, September 13, 2017},
    series = {{CEUR} Workshop Proceedings},
    volume = {1920},
    publisher = {CEUR-WS.org},
    year = {2017},
    url = {http://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_183.pdf},
    timestamp = {Wed, 12 Feb 2020 16:44:57 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/MosCPL17.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Mario Cortes Cornax, José Miguel Pérez-Álvarez, Adrian Mos, and María Teresa Gómez-López. Domain-specific data management for platform-independent process governance. In Cristina Cabanillas, Sergio España, and Siamak Farshidi, editors, Proceedings of the ER forum 2017 and the ER 2017 demo track co-located with the 36th international conference on conceptual modelling (ER 2017), valencia, spain, – november 6-9, 2017, volume 1979 of {CEUR} Workshop Proceedings, pages 165-178. CEUR-WS.org, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/er/CornaxPML17,
    author = {Mario Cortes Cornax and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Adrian Mos and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Cristina Cabanillas and
    Sergio Espa{\~{n}}a and
    Siamak Farshidi},
    title = {Domain-Specific Data Management for Platform-Independent Process Governance},
    booktitle = {Proceedings of the {ER} Forum 2017 and the {ER} 2017 Demo Track co-located
    with the 36th International Conference on Conceptual Modelling {(ER}
    2017), Valencia, Spain, - November 6-9, 2017},
    series = {{CEUR} Workshop Proceedings},
    volume = {1979},
    pages = {165--178},
    publisher = {CEUR-WS.org},
    year = {2017},
    url = {http://ceur-ws.org/Vol-1979/paper-06.pdf},
    timestamp = {Wed, 12 Feb 2020 16:44:53 +0100},
    biburl = {https://dblp.org/rec/conf/er/CornaxPML17.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López and Rafael M. Gasca. Object relational constraint databases for GIS. In Shashi Shekhar, Hui Xiong, and Xun Zhou, editors, Encyclopedia of GIS, pages 1449-1457. Springer, 2017.
    [Bibtex]
    @incollection{DBLP:reference/gis/LopezG17,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Shashi Shekhar and
    Hui Xiong and
    Xun Zhou},
    title = {Object Relational Constraint Databases for {GIS}},
    booktitle = {Encyclopedia of {GIS}},
    pages = {1449--1457},
    publisher = {Springer},
    year = {2017},
    url = {https://doi.org/10.1007/978-3-319-17885-1\_1598},
    doi = {10.1007/978-3-319-17885-1\_1598},
    timestamp = {Fri, 03 Apr 2020 17:07:19 +0200},
    biburl = {https://dblp.org/rec/reference/gis/LopezG17.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, and Rafael M. Gasca. FABIOLA: defining the components for constraint optimization problems in big data environment. In Nearchos Paspallis, Marios Raspopoulos, Chris Barry, Michael Lang, Henry Linger, and Christoph Schneider, editors, Information systems development: advances in methods, tools and management – proceedings of the 26th international conference on information systems development, ISD 2017, larnaca, cyprus, university of central lancashire cyprus, september 6-8, 2017. Association for Information Systems, 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/ParodyVLG17,
    author = {Luisa Parody and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Nearchos Paspallis and
    Marios Raspopoulos and
    Chris Barry and
    Michael Lang and
    Henry Linger and
    Christoph Schneider},
    title = {{FABIOLA:} Defining the Components for Constraint Optimization Problems
    in Big Data Environment},
    booktitle = {Information Systems Development: Advances in Methods, Tools and Management
    - Proceedings of the 26th International Conference on Information
    Systems Development, {ISD} 2017, Larnaca, Cyprus, University of Central
    Lancashire Cyprus, September 6-8, 2017},
    publisher = {Association for Information Systems},
    year = {2017},
    url = {http://aisel.aisnet.org/isd2014/proceedings2017/CogScience/3},
    timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/isdevel/ParodyVLG17.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2016

  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Hybrid business process modeling for the optimization of outcome data. Inf. softw. technol., 70:140-154, 2016.
    [Bibtex]
    @article{DBLP:journals/infsof/ParodyLG16,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Hybrid business process modeling for the optimization of outcome data},
    journal = {Inf. Softw. Technol.},
    volume = {70},
    pages = {140--154},
    year = {2016},
    url = {https://doi.org/10.1016/j.infsof.2015.10.007},
    doi = {10.1016/j.infsof.2015.10.007},
    timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/infsof/ParodyLG16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • María Teresa Gómez-López, Diana Borrego, Josep Carmona, and Rafael M. Gasca. Computing alignments with constraint programming: the acyclic case. In Wil M. P. van der Aalst, Robin Bergenthum, and Josep Carmona, editors, Proceedings of the international workshop on algorithms & theories for the analysis of event data 2016 satellite event of the conferences: 37th international conference on application and theory of petri nets and concurrency petri nets 2016 and 16th international conference on application of concurrency to system design ACSD 2016, torun, poland, june 20-21, 2016, volume 1592 of {CEUR} Workshop Proceedings, pages 96-110. CEUR-WS.org, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/apn/LopezBCG16,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Diana Borrego and
    Josep Carmona and
    Rafael M. Gasca},
    editor = {Wil M. P. van der Aalst and
    Robin Bergenthum and
    Josep Carmona},
    title = {Computing Alignments with Constraint Programming: The Acyclic Case},
    booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
    for the Analysis of Event Data 2016 Satellite event of the conferences:
    37th International Conference on Application and Theory of Petri Nets
    and Concurrency Petri Nets 2016 and 16th International Conference
    on Application of Concurrency to System Design {ACSD} 2016, Torun,
    Poland, June 20-21, 2016},
    series = {{CEUR} Workshop Proceedings},
    volume = {1592},
    pages = {96--110},
    publisher = {CEUR-WS.org},
    year = {2016},
    url = {http://ceur-ws.org/Vol-1592/paper07.pdf},
    timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
    biburl = {https://dblp.org/rec/conf/apn/LopezBCG16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Hybrid diagnosis applied to multiple instances in business processes. In Rainer Schmidt, Wided Guédria, Ilia Bider, and Sérgio Guerreiro, editors, Enterprise, business-process and information systems modeling – 17th international conference, BPMDS 2016, 21st international conference, EMMSAD 2016, held at caise 2016, ljubljana, slovenia, june 13-14, 2016, proceedings, volume 248 of Lecture Notes in Business Information Processing, pages 212-227. Springer, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/caise/CeballosBLG16,
    author = {Rafael Ceballos and
    Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Rainer Schmidt and
    Wided Gu{\'{e}}dria and
    Ilia Bider and
    S{\'{e}}rgio Guerreiro},
    title = {Hybrid Diagnosis Applied to Multiple Instances in Business Processes},
    booktitle = {Enterprise, Business-Process and Information Systems Modeling - 17th
    International Conference, {BPMDS} 2016, 21st International Conference,
    {EMMSAD} 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,
    2016, Proceedings},
    series = {Lecture Notes in Business Information Processing},
    volume = {248},
    pages = {212--227},
    publisher = {Springer},
    year = {2016},
    url = {https://doi.org/10.1007/978-3-319-39429-9\_14},
    doi = {10.1007/978-3-319-39429-9\_14},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/caise/CeballosBLG16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez-López, Luisa Parody, and Rafael M. Gasca. Process instance query language to include process performance indicators in DMN. In Remco M. Dijkman, Luís Ferreira Pires, and Stefanie Rinderle-Ma, editors, 20th IEEE international enterprise distributed object computing workshop, EDOC workshops 2016, vienna, austria, september 5-9, 2016, pages 1-8. {IEEE} Computer Society, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/edoc/Perez-AlvarezLP16,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Luisa Parody and
    Rafael M. Gasca},
    editor = {Remco M. Dijkman and
    Lu{\'{\i}}s Ferreira Pires and
    Stefanie Rinderle-Ma},
    title = {Process Instance Query Language to Include Process Performance Indicators
    in {DMN}},
    booktitle = {20th {IEEE} International Enterprise Distributed Object Computing
    Workshop, {EDOC} Workshops 2016, Vienna, Austria, September 5-9, 2016},
    pages = {1--8},
    publisher = {{IEEE} Computer Society},
    year = {2016},
    url = {https://doi.org/10.1109/EDOCW.2016.7584381},
    doi = {10.1109/EDOCW.2016.7584381},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/edoc/Perez-AlvarezLP16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, and Mario Piattini. PAIS-DQ: extending process-aware information systems to support data quality in PAIS life-cycle. In Tenth IEEE international conference on research challenges in information science, RCIS 2016, grenoble, france, june 1-3, 2016, pages 1-12. {IEEE}, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/ParodyLBCGP16,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Isabel Bermejo and
    Ismael Caballero and
    Rafael M. Gasca and
    Mario Piattini},
    title = {{PAIS-DQ:} Extending process-aware information systems to support
    data quality in {PAIS} life-cycle},
    booktitle = {Tenth {IEEE} International Conference on Research Challenges in Information
    Science, {RCIS} 2016, Grenoble, France, June 1-3, 2016},
    pages = {1--12},
    publisher = {{IEEE}},
    year = {2016},
    url = {https://doi.org/10.1109/RCIS.2016.7549342},
    doi = {10.1109/RCIS.2016.7549342},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/rcis/ParodyLBCGP16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca. OPBUS: A framework for improving the dependability of risk-aware business processes. AI commun., 29(1):233-235, 2016.
    [Bibtex]
    @article{DBLP:journals/aicom/Varela-Vaca15,
    author = {Angel Jesus Varela-Vaca},
    title = {{OPBUS:} {A} framework for improving the dependability of risk-aware
    business processes},
    journal = {{AI} Commun.},
    volume = {29},
    number = {1},
    pages = {233--235},
    year = {2016},
    url = {https://doi.org/10.3233/AIC-140651},
    doi = {10.3233/AIC-140651},
    timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aicom/Varela-Vaca15.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. A usage control model extension for the verification of security policies in artifact-centric business process models. In Witold Abramowicz, Rainer Alt, and Bogdan Franczyk, editors, Business information systems – 19th international conference, BIS 2016, leipzig, germany, july, 6-8, 2016, proceedings, volume 255 of Lecture Notes in Business Information Processing, pages 289-301. Springer, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bis/Varela-VacaBLG16,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Witold Abramowicz and
    Rainer Alt and
    Bogdan Franczyk},
    title = {A Usage Control Model Extension for the Verification of Security Policies
    in Artifact-Centric Business Process Models},
    booktitle = {Business Information Systems - 19th International Conference, {BIS}
    2016, Leipzig, Germany, July, 6-8, 2016, Proceedings},
    series = {Lecture Notes in Business Information Processing},
    volume = {255},
    pages = {289--301},
    publisher = {Springer},
    year = {2016},
    url = {https://doi.org/10.1007/978-3-319-39426-8\_23},
    doi = {10.1007/978-3-319-39426-8\_23},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bis/Varela-VacaBLG16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez-López, Angel Jesus Varela-Vaca, Fco. Fernando Rosa de la Troyano, and Rafael M. Gasca. Governance knowledge management and decision support using fuzzy governance maps. In Marlon Dumas and Marcelo Fantinato, editors, Business process management workshops – BPM 2016 international workshops, rio de janeiro, brazil, september 19, 2016, revised papers, volume 281 of Lecture Notes in Business Information Processing, pages 208-219, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Perez-AlvarezLV16,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Angel Jesus Varela-Vaca and
    Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca},
    editor = {Marlon Dumas and
    Marcelo Fantinato},
    title = {Governance Knowledge Management and Decision Support Using Fuzzy Governance
    Maps},
    booktitle = {Business Process Management Workshops - {BPM} 2016 International Workshops,
    Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {281},
    pages = {208--219},
    year = {2016},
    url = {https://doi.org/10.1007/978-3-319-58457-7\_16},
    doi = {10.1007/978-3-319-58457-7\_16},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/Perez-AlvarezLV16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. Guiding the creation of choreographed processes with multiple instances based on data models. In Marlon Dumas and Marcelo Fantinato, editors, Business process management workshops – BPM 2016 international workshops, rio de janeiro, brazil, september 19, 2016, revised papers, volume 281 of Lecture Notes in Business Information Processing, pages 239-251, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/LopezPVG16,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    editor = {Marlon Dumas and
    Marcelo Fantinato},
    title = {Guiding the Creation of Choreographed Processes with Multiple Instances
    Based on Data Models},
    booktitle = {Business Process Management Workshops - {BPM} 2016 International Workshops,
    Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {281},
    pages = {239--251},
    year = {2016},
    url = {https://doi.org/10.1007/978-3-319-58457-7\_18},
    doi = {10.1007/978-3-319-58457-7\_18},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/LopezPVG16.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2015

  • [DOI] Diana Borrego, Rafael M. Gasca, and María Teresa Gómez-López. Automating correctness verification of artifact-centric business process models. Inf. softw. technol., 62:187-197, 2015.
    [Bibtex]
    @article{DBLP:journals/infsof/BorregoGL15,
    author = {Diana Borrego and
    Rafael M. Gasca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Automating correctness verification of artifact-centric business process
    models},
    journal = {Inf. Softw. Technol.},
    volume = {62},
    pages = {187--197},
    year = {2015},
    url = {https://doi.org/10.1016/j.infsof.2015.02.010},
    doi = {10.1016/j.infsof.2015.02.010},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/infsof/BorregoGL15.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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. Inf. syst., 48:26-43, 2015.
    [Bibtex]
    @article{DBLP:journals/is/LopezGP15,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez},
    title = {Compliance validation and diagnosis of business data constraints in
    business processes at runtime},
    journal = {Inf. Syst.},
    volume = {48},
    pages = {26--43},
    year = {2015},
    url = {https://doi.org/10.1016/j.is.2014.07.007},
    doi = {10.1016/j.is.2014.07.007},
    timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/is/LopezGP15.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López. Validation, diagnosis and decision-making support of data in business processes. In Manfred Reichert and Hajo A. Reijers, editors, Business process management workshops – BPM 2015, 13th international workshops, innsbruck, austria, august 31 – september 3, 2015, revised papers, volume 256 of Lecture Notes in Business Information Processing, pages 339-351. Springer, 2015.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Lopez15,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Manfred Reichert and
    Hajo A. Reijers},
    title = {Validation, Diagnosis and Decision-Making Support of Data in Business
    Processes},
    booktitle = {Business Process Management Workshops - {BPM} 2015, 13th International
    Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
    Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {256},
    pages = {339--351},
    publisher = {Springer},
    year = {2015},
    url = {https://doi.org/10.1007/978-3-319-42887-1\_28},
    doi = {10.1007/978-3-319-42887-1\_28},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/Lopez15.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca and Rafael M. Gasca. Formalization of security patterns as a means to infer security controls in business processes. Log. j. IGPL, 23(1):57-72, 2015.
    [Bibtex]
    @article{DBLP:journals/igpl/Varela-VacaG15,
    author = {Angel Jesus Varela-Vaca and
    Rafael M. Gasca},
    title = {Formalization of security patterns as a means to infer security controls
    in business processes},
    journal = {Log. J. {IGPL}},
    volume = {23},
    number = {1},
    pages = {57--72},
    year = {2015},
    url = {https://doi.org/10.1093/jigpal/jzu042},
    doi = {10.1093/jigpal/jzu042},
    timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/igpl/Varela-VacaG15.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2014

  • [DOI] Diana Borrego and Irene Barba. Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert syst. appl., 41(11):5340-5352, 2014.
    [Bibtex]
    @article{DBLP:journals/eswa/Borrego014,
    author = {Diana Borrego and
    Irene Barba},
    title = {Conformance checking and diagnosis for declarative business process
    models in data-aware scenarios},
    journal = {Expert Syst. Appl.},
    volume = {41},
    number = {11},
    pages = {5340--5352},
    year = {2014},
    url = {https://doi.org/10.1016/j.eswa.2014.03.010},
    doi = {10.1016/j.eswa.2014.03.010},
    timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/eswa/Borrego014.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López and Rafael M. Gasca. Using constraint programming in selection operators for constraint databases. Expert syst. appl., 41(15):6773-6785, 2014.
    [Bibtex]
    @article{DBLP:journals/eswa/LopezG14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Using Constraint Programming in Selection Operators for Constraint
    Databases},
    journal = {Expert Syst. Appl.},
    volume = {41},
    number = {15},
    pages = {6773--6785},
    year = {2014},
    url = {https://doi.org/10.1016/j.eswa.2014.04.047},
    doi = {10.1016/j.eswa.2014.04.047},
    timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/eswa/LopezG14.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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. Int. j. cooperative inf. syst., 23(4), 2014.
    [Bibtex]
    @article{DBLP:journals/ijcis/LopezGP14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez},
    title = {Decision-Making Support for the Correctness of Input Data at Runtime
    in Business Processes},
    journal = {Int. J. Cooperative Inf. Syst.},
    volume = {23},
    number = {4},
    year = {2014},
    url = {https://doi.org/10.1142/S0218843014500038},
    doi = {10.1142/S0218843014500038},
    timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/ijcis/LopezGP14.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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. In Witold Abramowicz and Angelika I. Kokkinaki, editors, Business information systems – 17th international conference, BIS 2014, larnaca, cyprus, may 22-23, 2014. proceedings, volume 176 of Lecture Notes in Business Information Processing, pages 86-97. Springer, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/bis/LopezBG14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Diana Borrego and
    Rafael M. Gasca},
    editor = {Witold Abramowicz and
    Angelika I. Kokkinaki},
    title = {Data State Description for the Migration to Activity-Centric Business
    Process Model Maintaining Legacy Databases},
    booktitle = {Business Information Systems - 17th International Conference, {BIS}
    2014, Larnaca, Cyprus, May 22-23, 2014. Proceedings},
    series = {Lecture Notes in Business Information Processing},
    volume = {176},
    pages = {86--97},
    publisher = {Springer},
    year = {2014},
    url = {https://doi.org/10.1007/978-3-319-06695-0\_8},
    doi = {10.1007/978-3-319-06695-0\_8},
    timestamp = {Sat, 19 Oct 2019 20:06:47 +0200},
    biburl = {https://dblp.org/rec/conf/bis/LopezBG14.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Ismael Caballero, Luisa Parody, Isabel Bermejo, María Teresa Gómez-López, Rafael M. Gasca, and Mario Piattini. Service level agreement for data quality governed by ISO 8000-1×0. In Proceedings of the 19th international conference on information quality, ICIQ 2014, xi’an, china, august 1-3, 2014. {MIT} Information Quality Program, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/iq/CaballeroPBLGP14,
    author = {Ismael Caballero and
    Luisa Parody and
    Isabel Bermejo and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Mario Piattini},
    title = {Service Level Agreement for Data Quality Governed By {ISO} 8000-1X0},
    booktitle = {Proceedings of the 19th International Conference on Information Quality,
    {ICIQ} 2014, Xi'an, China, August 1-3, 2014},
    publisher = {{MIT} Information Quality Program},
    year = {2014},
    timestamp = {Wed, 23 Aug 2017 14:27:23 +0200},
    biburl = {https://dblp.org/rec/conf/iq/CaballeroPBLGP14.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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. In Robert Meersman, Hervé Panetto, Tharam S. Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, and Timos K. Sellis, editors, On the move to meaningful internet systems: OTM 2014 conferences – confederated international conferences: coopis, and ODBASE 2014, amantea, italy, october 27-31, 2014, proceedings, volume 8841 of Lecture Notes in Computer Science, pages 327-344. Springer, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/otm/LopezPGR14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Luisa Parody and
    Rafael M. Gasca and
    Stefanie Rinderle-Ma},
    editor = {Robert Meersman and
    Herv{\'{e}} Panetto and
    Tharam S. Dillon and
    Michele Missikoff and
    Lin Liu and
    Oscar Pastor and
    Alfredo Cuzzocrea and
    Timos K. Sellis},
    title = {Prognosing the Compliance of Declarative Business Processes Using
    Event Trace Robustness},
    booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences
    - Confederated International Conferences: CoopIS, and {ODBASE} 2014,
    Amantea, Italy, October 27-31, 2014, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {8841},
    pages = {327--344},
    publisher = {Springer},
    year = {2014},
    url = {https://doi.org/10.1007/978-3-662-45563-0\_19},
    doi = {10.1007/978-3-662-45563-0\_19},
    timestamp = {Mon, 18 Jan 2021 08:56:44 +0100},
    biburl = {https://dblp.org/rec/conf/otm/LopezPGR14.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2013

  • [DOI] Diana Borrego. Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems. AI commun., 26(4):409-411, 2013.
    [Bibtex]
    @article{DBLP:journals/aicom/Borrego13,
    author = {Diana Borrego},
    title = {Diagnostic reasoning with structural analysis and constraint programming
    for quality improvement of business process management systems},
    journal = {{AI} Commun.},
    volume = {26},
    number = {4},
    pages = {409--411},
    year = {2013},
    url = {https://doi.org/10.3233/AIC-130568},
    doi = {10.3233/AIC-130568},
    timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/aicom/Borrego13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Diana Borrego, Irene Barba, and Pedro Abad. Data-aware conformance checking for declarative business process models. In María José Escalona, Gustavo Aragón, Henry Linger, Michael Lang, Chris Barry, and Christoph Schneider, editors, Information system development – improving enterprise communication, [proceedings of the 22nd international conference on information systems development, ISD 2013, seville, spain], pages 269-282. Springer, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/Borrego0A13,
    author = {Diana Borrego and
    Irene Barba and
    Pedro Abad},
    editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
    Gustavo Arag{\'{o}}n and
    Henry Linger and
    Michael Lang and
    Chris Barry and
    Christoph Schneider},
    title = {Data-Aware Conformance Checking for Declarative Business Process Models},
    booktitle = {Information System Development - Improving Enterprise Communication,
    [Proceedings of the 22nd International Conference on Information Systems
    Development, {ISD} 2013, Seville, Spain]},
    pages = {269--282},
    publisher = {Springer},
    year = {2013},
    url = {https://doi.org/10.1007/978-3-319-07215-9\_22},
    doi = {10.1007/978-3-319-07215-9\_22},
    timestamp = {Mon, 28 Aug 2017 15:34:49 +0200},
    biburl = {https://dblp.org/rec/conf/isdevel/Borrego0A13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Diana Borrego, Rik Eshuis, María Teresa Gómez-López, and Rafael M. Gasca. Diagnosing correctness of semantic workflow models. Data knowl. eng., 87:167-184, 2013.
    [Bibtex]
    @article{DBLP:journals/dke/BorregoELG13,
    author = {Diana Borrego and
    Rik Eshuis and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Diagnosing correctness of semantic workflow models},
    journal = {Data Knowl. Eng.},
    volume = {87},
    pages = {167--184},
    year = {2013},
    url = {https://doi.org/10.1016/j.datak.2013.04.008},
    doi = {10.1016/j.datak.2013.04.008},
    timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/dke/BorregoELG13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Minimizing test-point allocation to improve diagnosability in business process models. J. syst. softw., 86(11):2725-2741, 2013.
    [Bibtex]
    @article{DBLP:journals/jss/BorregoLG13,
    author = {Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Minimizing test-point allocation to improve diagnosability in business
    process models},
    journal = {J. Syst. Softw.},
    volume = {86},
    number = {11},
    pages = {2725--2741},
    year = {2013},
    url = {https://doi.org/10.1016/j.jss.2013.05.105},
    doi = {10.1016/j.jss.2013.05.105},
    timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/jss/BorregoLG13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, and Stefanie Rinderle-Ma. Explaining the incorrect temporal events during business process monitoring by means of compliance rules and model-based diagnosis. In Ebrahim Bagheri, Dragan Gasevic, Sylvain Hallé, Marek Hatala, Hamid Motahari R. Nezhad, and Manfred Reichert, editors, 17th IEEE international enterprise distributed object computing conference workshops, EDOC workshops, vancouver, bc, canada, september 9-13, 2013, pages 163-172. {IEEE} Computer Society, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/edoc/LopezGR13,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Stefanie Rinderle-Ma},
    editor = {Ebrahim Bagheri and
    Dragan Gasevic and
    Sylvain Hall{\'{e}} and
    Marek Hatala and
    Hamid R. Motahari Nezhad and
    Manfred Reichert},
    title = {Explaining the Incorrect Temporal Events during Business Process Monitoring
    by Means of Compliance Rules and Model-Based Diagnosis},
    booktitle = {17th {IEEE} International Enterprise Distributed Object Computing
    Conference Workshops, {EDOC} Workshops, Vancouver, BC, Canada, September
    9-13, 2013},
    pages = {163--172},
    publisher = {{IEEE} Computer Society},
    year = {2013},
    url = {https://doi.org/10.1109/EDOCW.2013.25},
    doi = {10.1109/EDOCW.2013.25},
    timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
    biburl = {https://dblp.org/rec/conf/edoc/LopezGR13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Ismael Caballero, Isabel Bermejo, Rafael M. Gasca, Luisa Parody, Mario Piattini, and María Teresa Gómez-López. 18k: an implementation of the ISO 8000-1\texttimes0. In Proceedings of the 18th international conference on information quality, ICIQ 2013, little rock, ar, usa, november 7-9, 2013. {MIT} Information Quality Program, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/iq/CaballeroBGPPL13,
    author = {Ismael Caballero and
    Isabel Bermejo and
    Rafael M. Gasca and
    Luisa Parody and
    Mario Piattini and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {18K: An implementation of the {ISO} 8000-1{\texttimes}0},
    booktitle = {Proceedings of the 18th International Conference on Information Quality,
    {ICIQ} 2013, Little Rock, AR, USA, November 7-9, 2013},
    publisher = {{MIT} Information Quality Program},
    year = {2013},
    timestamp = {Thu, 12 Mar 2020 11:30:44 +0100},
    biburl = {https://dblp.org/rec/conf/iq/CaballeroBGPPL13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Data-oriented declarative language for optimizing business processes. In María José Escalona, Gustavo Aragón, Henry Linger, Michael Lang, Chris Barry, and Christoph Schneider, editors, Information system development – improving enterprise communication, [proceedings of the 22nd international conference on information systems development, ISD 2013, seville, spain], pages 59-72. Springer, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/ParodyLG13,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
    Gustavo Arag{\'{o}}n and
    Henry Linger and
    Michael Lang and
    Chris Barry and
    Christoph Schneider},
    title = {Data-Oriented Declarative Language for Optimizing Business Processes},
    booktitle = {Information System Development - Improving Enterprise Communication,
    [Proceedings of the 22nd International Conference on Information Systems
    Development, {ISD} 2013, Seville, Spain]},
    pages = {59--72},
    publisher = {Springer},
    year = {2013},
    url = {https://doi.org/10.1007/978-3-319-07215-9\_5},
    doi = {10.1007/978-3-319-07215-9\_5},
    timestamp = {Mon, 28 Aug 2017 15:34:49 +0200},
    biburl = {https://dblp.org/rec/conf/isdevel/ParodyLG13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca and Rafael M. Gasca. Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. Inf. softw. technol., 55(11):1948-1973, 2013.
    [Bibtex]
    @article{DBLP:journals/infsof/Varela-VacaG13,
    author = {Angel Jesus Varela-Vaca and
    Rafael M. Gasca},
    title = {Towards the automatic and optimal selection of risk treatments for
    business processes using a constraint programming approach},
    journal = {Inf. Softw. Technol.},
    volume = {55},
    number = {11},
    pages = {1948--1973},
    year = {2013},
    url = {https://doi.org/10.1016/j.infsof.2013.05.007},
    doi = {10.1016/j.infsof.2013.05.007},
    timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/infsof/Varela-VacaG13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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: demonstration paper. In Roel J. Wieringa, Selmin Nurcan, Colette Rolland, and Jean-Louis Cavarero, editors, IEEE 7th international conference on research challenges in information science, RCIS 2013, paris, france, may 29-31, 2013, pages 1-2. {IEEE}, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/ParodyLGV13,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Angel Jesus Varela-Vaca},
    editor = {Roel J. Wieringa and
    Selmin Nurcan and
    Colette Rolland and
    Jean-Louis Cavarero},
    title = {CombiS-BP editor: Combining declarative and imperative languages in
    {BP} modelling: Demonstration paper},
    booktitle = {{IEEE} 7th International Conference on Research Challenges in Information
    Science, {RCIS} 2013, Paris, France, May 29-31, 2013},
    pages = {1--2},
    publisher = {{IEEE}},
    year = {2013},
    url = {https://doi.org/10.1109/RCIS.2013.6577745},
    doi = {10.1109/RCIS.2013.6577745},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/rcis/ParodyLGV13.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2012

  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls. Comput. secur., 31(4):524-539, 2012.
    [Bibtex]
    @article{DBLP:journals/compsec/AyusoGL12,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {{FT-FW:} {A} cluster-based fault-tolerant architecture for stateful
    firewalls},
    journal = {Comput. Secur.},
    volume = {31},
    number = {4},
    pages = {524--539},
    year = {2012},
    url = {https://doi.org/10.1016/j.cose.2012.01.011},
    doi = {10.1016/j.cose.2012.01.011},
    timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/compsec/AyusoGL12.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Extending BPMN 2.0 for modelling the combination of activities that involve data constraints. In Jan Mendling and Matthias Weidlich, editors, Business process model and notation – 4th international workshop, BPMN 2012, vienna, austria, september 12-13, 2012. proceedings, volume 125 of Lecture Notes in Business Information Processing, pages 68-82. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/bpmn/ParodyLG12,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Jan Mendling and
    Matthias Weidlich},
    title = {Extending {BPMN} 2.0 for Modelling the Combination of Activities That
    Involve Data Constraints},
    booktitle = {Business Process Model and Notation - 4th International Workshop,
    {BPMN} 2012, Vienna, Austria, September 12-13, 2012. Proceedings},
    series = {Lecture Notes in Business Information Processing},
    volume = {125},
    pages = {68--82},
    publisher = {Springer},
    year = {2012},
    url = {https://doi.org/10.1007/978-3-642-33155-8\_6},
    doi = {10.1007/978-3-642-33155-8\_6},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpmn/ParodyLG12.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael M. Gasca, Antonia Reina M. Quintero, and Angel Jesus Varela-Vaca. CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. J. syst. softw., 85(2):425-457, 2012.
    [Bibtex]
    @article{DBLP:journals/jss/PozoGRV12,
    author = {Sergio Pozo and
    Rafael M. Gasca and
    Antonia M. Reina Quintero and
    Angel Jesus Varela-Vaca},
    title = {{CONFIDDENT:} {A} model-driven consistent and non-redundant layer-3
    firewall {ACL} design, development and maintenance framework},
    journal = {J. Syst. Softw.},
    volume = {85},
    number = {2},
    pages = {425--457},
    year = {2012},
    url = {https://doi.org/10.1016/j.jss.2011.09.008},
    doi = {10.1016/j.jss.2011.09.008},
    timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/jss/PozoGRV12.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, and Christoph Meinel. A security pattern-driven approach toward the automation of risk treatment in business processes. In Álvaro Herrero, Václav Snásel, Ajith Abraham, Ivan Zelinka, Bruno Baruque, Héctor Quintián-Pardo, José Luís Calvo-Rolle, Javier Sedano, and Emilio Corchado, editors, International joint conference cisis’12-iceute’12-soco’12 special sessions, ostrava, czech republic, september 5th-7th, 2012, volume 189 of Advances in Intelligent Systems and Computing, pages 13-23. Springer, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/softcomp/Varela-VacaWGPM12,
    author = {Angel Jesus Varela-Vaca and
    Robert Warschofsky and
    Rafael M. Gasca and
    Sergio Pozo and
    Christoph Meinel},
    editor = {{\'{A}}lvaro Herrero and
    V{\'{a}}clav Sn{\'{a}}sel and
    Ajith Abraham and
    Ivan Zelinka and
    Bruno Baruque and
    H{\'{e}}ctor Quinti{\'{a}}n-Pardo and
    Jos{\'{e}} Lu{\'{\i}}s Calvo-Rolle and
    Javier Sedano and
    Emilio Corchado},
    title = {A Security Pattern-Driven Approach toward the Automation of Risk Treatment
    in Business Processes},
    booktitle = {International Joint Conference CISIS'12-ICEUTE'12-SOCO'12 Special
    Sessions, Ostrava, Czech Republic, September 5th-7th, 2012},
    series = {Advances in Intelligent Systems and Computing},
    volume = {189},
    pages = {13--23},
    publisher = {Springer},
    year = {2012},
    url = {https://doi.org/10.1007/978-3-642-33018-6\_2},
    doi = {10.1007/978-3-642-33018-6\_2},
    timestamp = {Mon, 05 Jun 2017 12:39:35 +0200},
    biburl = {https://dblp.org/rec/conf/softcomp/Varela-VacaWGPM12.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2011

  • Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Diana Borrego. Using distributed csps to model business processes agreement in software multiprocess. In Joaquim Filipe and Ana L. N. Fred, editors, ICAART 2011 – proceedings of the 3rd international conference on agents and artificial intelligence, volume 2 – agents, rome, italy, january 28-30, 2011, pages 434-438. SciTePress, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/icaart/ParodyLGB11,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Diana Borrego},
    editor = {Joaquim Filipe and
    Ana L. N. Fred},
    title = {Using Distributed CSPs to Model Business Processes Agreement in Software
    Multiprocess},
    booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
    Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy,
    January 28-30, 2011},
    pages = {434--438},
    publisher = {SciTePress},
    year = {2011},
    timestamp = {Fri, 08 Jul 2011 08:36:50 +0200},
    biburl = {https://dblp.org/rec/conf/icaart/ParodyLGB11.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, and Diana Borrego. Constraint-driven approach to support input data decision-making in business process management systems. In Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, and Michael Lang, editors, Information systems development, reflections, challenges and new directions [proceedings of ISD 2011, heriot-watt university, edinburgh, scotland, uk, august 24 – 26, 2011], pages 457-469. Springer, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/LopezGPB11,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Luisa Parody and
    Diana Borrego},
    editor = {Rob Pooley and
    Jennifer Coady and
    Christoph Schneider and
    Henry Linger and
    Chris Barry and
    Michael Lang},
    title = {Constraint-Driven Approach to Support Input Data Decision-Making in
    Business Process Management Systems},
    booktitle = {Information Systems Development, Reflections, Challenges and New Directions
    [Proceedings of {ISD} 2011, Heriot-Watt University, Edinburgh, Scotland,
    UK, August 24 - 26, 2011]},
    pages = {457--469},
    publisher = {Springer},
    year = {2011},
    url = {https://doi.org/10.1007/978-1-4614-4951-5\_37},
    doi = {10.1007/978-1-4614-4951-5\_37},
    timestamp = {Mon, 28 Aug 2017 15:34:49 +0200},
    biburl = {https://dblp.org/rec/conf/isdevel/LopezGPB11.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Andres Jimenez Ramirez, Rafael Martinez Gasca, and Angel Jesus Varela-Vaca. Contract-based test generation for data flow of business processes using constraint programming. In Proceedings of the fifth IEEE international conference on research challenges in information science, RCIS 2011, gosier, guadeloupe, france, 19-21 may, 2011, pages 1-12. {IEEE}, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/RamirezGV11,
    author = {Andres Jimenez Ramirez and
    Rafael Martinez Gasca and
    Angel Jesus Varela-Vaca},
    title = {Contract-based test generation for data flow of business processes
    using constraint programming},
    booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
    Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
    France, 19-21 May, 2011},
    pages = {1--12},
    publisher = {{IEEE}},
    year = {2011},
    url = {https://doi.org/10.1109/RCIS.2011.6006841},
    doi = {10.1109/RCIS.2011.6006841},
    timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
    biburl = {https://dblp.org/rec/conf/rcis/RamirezGV11.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca, Rafael Martinez Gasca, and Andres Jimenez Ramirez. A model-driven engineering approach with diagnosis of non-conformance of security objectives in business process models. In Proceedings of the fifth IEEE international conference on research challenges in information science, RCIS 2011, gosier, guadeloupe, france, 19-21 may, 2011, pages 1-6. {IEEE}, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/Varela-VacaGR11,
    author = {Angel Jesus Varela-Vaca and
    Rafael Martinez Gasca and
    Andres Jimenez Ramirez},
    title = {A Model-Driven engineering approach with diagnosis of non-conformance
    of security objectives in business process models},
    booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
    Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
    France, 19-21 May, 2011},
    pages = {1--6},
    publisher = {{IEEE}},
    year = {2011},
    url = {https://doi.org/10.1109/RCIS.2011.6006844},
    doi = {10.1109/RCIS.2011.6006844},
    timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/rcis/Varela-VacaGR11.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Angel Jesus Varela-Vaca, Rafael M. Gasca, and Sergio Pozo. OPBUS: risk-aware framework for the conformance of security-quality requirements in business processes. In Javier López and Pierangela Samarati, editors, SECRYPT 2011 – proceedings of the international conference on security and cryptography, seville, spain, 18 – 21 july, 2011, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 370-374. SciTePress, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/Varela-VacaGP11,
    author = {Angel Jesus Varela-Vaca and
    Rafael M. Gasca and
    Sergio Pozo},
    editor = {Javier L{\'{o}}pez and
    Pierangela Samarati},
    title = {{OPBUS:} Risk-aware Framework for the Conformance of Security-quality
    Requirements in Business Processes},
    booktitle = {{SECRYPT} 2011 - Proceedings of the International Conference on Security
    and Cryptography, Seville, Spain, 18 - 21 July, 2011, {SECRYPT} is
    part of {ICETE} - The International Joint Conference on e-Business
    and Telecommunications},
    pages = {370--374},
    publisher = {SciTePress},
    year = {2011},
    timestamp = {Thu, 29 Aug 2019 08:10:02 +0200},
    biburl = {https://dblp.org/rec/conf/secrypt/Varela-VacaGP11.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2010

  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Communicating between the kernel and user-space in linux using netlink sockets. Softw. pract. exp., 40(9):797-810, 2010.
    [Bibtex]
    @article{DBLP:journals/spe/AyusoGL10,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {Communicating between the kernel and user-space in Linux using Netlink
    sockets},
    journal = {Softw. Pract. Exp.},
    volume = {40},
    number = {9},
    pages = {797--810},
    year = {2010},
    url = {https://doi.org/10.1002/spe.981},
    doi = {10.1002/spe.981},
    timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/spe/AyusoGL10.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López and Rafael M. Gasca. Run-time auditing for business processes data using constraints. In Michael zur Muehlen and Jianwen Su, editors, Business process management workshops – BPM 2010 international workshops and education track, hoboken, nj, usa, september 13-15, 2010, revised selected papers, volume 66 of Lecture Notes in Business Information Processing, pages 146-157. Springer, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/LopezG10,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Michael zur Muehlen and
    Jianwen Su},
    title = {Run-Time Auditing for Business Processes Data Using Constraints},
    booktitle = {Business Process Management Workshops - {BPM} 2010 International Workshops
    and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised
    Selected Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {66},
    pages = {146--157},
    publisher = {Springer},
    year = {2010},
    url = {https://doi.org/10.1007/978-3-642-20511-8\_13},
    doi = {10.1007/978-3-642-20511-8\_13},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/LopezG10.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, and Rafael Ceballos. Improving the diagnosability of business process management systems using test points. In Michael zur Muehlen and Jianwen Su, editors, Business process management workshops – BPM 2010 international workshops and education track, hoboken, nj, usa, september 13-15, 2010, revised selected papers, volume 66 of Lecture Notes in Business Information Processing, pages 194-200. Springer, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/BorregoGGC10,
    author = {Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Rafael Ceballos},
    editor = {Michael zur Muehlen and
    Jianwen Su},
    title = {Improving the Diagnosability of Business Process Management Systems
    Using Test Points},
    booktitle = {Business Process Management Workshops - {BPM} 2010 International Workshops
    and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised
    Selected Papers},
    series = {Lecture Notes in Business Information Processing},
    volume = {66},
    pages = {194--200},
    publisher = {Springer},
    year = {2010},
    url = {https://doi.org/10.1007/978-3-642-20511-8\_17},
    doi = {10.1007/978-3-642-20511-8\_17},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/bpm/BorregoGGC10.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. A quadratic, complete, and minimal consistency diagnosis process for firewall acls. In 24th IEEE international conference on advanced information networking and applications, AINA 2010, perth, australia, 20-13 april 2010, pages 1037-1046. {IEEE} Computer Society, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/aina/PozoVG10,
    author = {Sergio Pozo and
    Angel Jesus Varela-Vaca and
    Rafael M. Gasca},
    title = {A Quadratic, Complete, and Minimal Consistency Diagnosis Process for
    Firewall ACLs},
    booktitle = {24th {IEEE} International Conference on Advanced Information Networking
    and Applications, {AINA} 2010, Perth, Australia, 20-13 April 2010},
    pages = {1037--1046},
    publisher = {{IEEE} Computer Society},
    year = {2010},
    url = {https://doi.org/10.1109/AINA.2010.63},
    doi = {10.1109/AINA.2010.63},
    timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
    biburl = {https://dblp.org/rec/conf/aina/PozoVG10.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Angel Jesus Varela-Vaca and Rafael Martinez Gasca. OPBUS: fault tolerance against integrity attacks in business processes. In Álvaro Herrero, Emilio Corchado, Carlos Redondo, and Ángel Alonso, editors, Computational intelligence in security for information systems 2010 – proceedings of the 3rd international conference on computational intelligence in security for information systems (cisis’10), león, spain, november 11-12, 2010, volume 85 of Advances in Intelligent and Soft Computing, pages 213-222. Springer, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/cisis-spain/Varela-VacaG10,
    author = {Angel Jesus Varela-Vaca and
    Rafael Martinez Gasca},
    editor = {{\'{A}}lvaro Herrero and
    Emilio Corchado and
    Carlos Redondo and
    {\'{A}}ngel Alonso},
    title = {{OPBUS:} Fault Tolerance Against Integrity Attacks in Business Processes},
    booktitle = {Computational Intelligence in Security for Information Systems 2010
    - Proceedings of the 3rd International Conference on Computational
    Intelligence in Security for Information Systems (CISIS'10), Le{\'{o}}n,
    Spain, November 11-12, 2010},
    series = {Advances in Intelligent and Soft Computing},
    volume = {85},
    pages = {213--222},
    publisher = {Springer},
    year = {2010},
    url = {https://doi.org/10.1007/978-3-642-16626-6\_23},
    doi = {10.1007/978-3-642-16626-6\_23},
    timestamp = {Fri, 02 Jun 2017 20:47:33 +0200},
    biburl = {https://dblp.org/rec/conf/cisis-spain/Varela-VacaG10.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2009

  • [DOI] Irene Barba, Carmelo Del Valle, and Diana Borrego. A constraint-based model for multi-objective repair planning. In Proceedings of 12th IEEE international conference on emerging technologies and factory automation, ETFA 2009, september 22-25, 2008, palma de mallorca, spain, pages 1-8. {IEEE}, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/etfa/BarbaVB09,
    author = {Irene Barba and
    Carmelo Del Valle and
    Diana Borrego},
    title = {A Constraint-based Model for Multi-objective Repair Planning},
    booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
    and Factory Automation, {ETFA} 2009, September 22-25, 2008, Palma
    de Mallorca, Spain},
    pages = {1--8},
    publisher = {{IEEE}},
    year = {2009},
    url = {https://doi.org/10.1109/ETFA.2009.5347038},
    doi = {10.1109/ETFA.2009.5347038},
    timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
    biburl = {https://dblp.org/rec/conf/etfa/BarbaVB09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Irene Barba, Carmelo Del Valle, and Diana Borrego. A multiobjective constraint optimization model for multimode repair plans. In Joaquim Filipe, Juan Andrade-Cetto, and Jean-Louis Ferrier, editors, ICINCO 2009, proceedings of the 6th international conference on informatics in control, automation and robotics, intelligent control systems and optimization, milan, italy, july 2-5, 2009, pages 355-358. {INSTICC} Press, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/icinco/BarbaVB09,
    author = {Irene Barba and
    Carmelo Del Valle and
    Diana Borrego},
    editor = {Joaquim Filipe and
    Juan Andrade-Cetto and
    Jean-Louis Ferrier},
    title = {A Multiobjective Constraint Optimization Model for Multimode Repair
    Plans},
    booktitle = {{ICINCO} 2009, Proceedings of the 6th International Conference on
    Informatics in Control, Automation and Robotics, Intelligent Control
    Systems and Optimization, Milan, Italy, July 2-5, 2009},
    pages = {355--358},
    publisher = {{INSTICC} Press},
    year = {2009},
    timestamp = {Tue, 19 Nov 2013 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/icinco/BarbaVB09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Franz Wotawa, Jörg Weber, Mihai Nica, and Rafael Ceballos. On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In Pedro Meseguer, Lawrence Mandow, and Rafael M. Gasca, editors, Current topics in artificial intelligence, 13th conference of the spanish association for artificial intelligence, CAEPIA 2009, seville, spain, november 9-13, 2009. selected papers, volume 5988 of Lecture Notes in Computer Science, pages 22-31. Springer, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/WotawaWNC09,
    author = {Franz Wotawa and
    J{\"{o}}rg Weber and
    Mihai Nica and
    Rafael Ceballos},
    editor = {Pedro Meseguer and
    Lawrence Mandow and
    Rafael M. Gasca},
    title = {On the Complexity of Program Debugging Using Constraints for Modeling
    the Program's Syntax and Semantics},
    booktitle = {Current Topics in Artificial Intelligence, 13th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2009, Seville,
    Spain, November 9-13, 2009. Selected Papers},
    series = {Lecture Notes in Computer Science},
    volume = {5988},
    pages = {22--31},
    publisher = {Springer},
    year = {2009},
    url = {https://doi.org/10.1007/978-3-642-14264-2\_3},
    doi = {10.1007/978-3-642-14264-2\_3},
    timestamp = {Tue, 14 May 2019 10:00:50 +0200},
    biburl = {https://dblp.org/rec/conf/caepia/WotawaWNC09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael Martinez Gasca. Model-based development of firewall rule sets: diagnosing model inconsistencies. Inf. softw. technol., 51(5):894-915, 2009.
    [Bibtex]
    @article{DBLP:journals/infsof/HidalgoCG09,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael Martinez Gasca},
    title = {Model-Based Development of firewall rule sets: Diagnosing model inconsistencies},
    journal = {Inf. Softw. Technol.},
    volume = {51},
    number = {5},
    pages = {894--915},
    year = {2009},
    url = {https://doi.org/10.1016/j.infsof.2008.05.001},
    doi = {10.1016/j.infsof.2008.05.001},
    timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/infsof/HidalgoCG09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Demystifying cluster-based fault-tolerant firewalls. IEEE internet comput., 13(6):31-38, 2009.
    [Bibtex]
    @article{DBLP:journals/internet/AyusoGL09,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {Demystifying Cluster-Based Fault-Tolerant Firewalls},
    journal = {{IEEE} Internet Comput.},
    volume = {13},
    number = {6},
    pages = {31--38},
    year = {2009},
    url = {https://doi.org/10.1109/MIC.2009.128},
    doi = {10.1109/MIC.2009.128},
    timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/internet/AyusoGL09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. A heuristic process for local inconsistency diagnosis in firewall rule sets. J. networks, 4(8):698-710, 2009.
    [Bibtex]
    @article{DBLP:journals/jnw/PozoCG09,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {A Heuristic Process for Local Inconsistency Diagnosis in Firewall
    Rule Sets},
    journal = {J. Networks},
    volume = {4},
    number = {8},
    pages = {698--710},
    year = {2009},
    url = {https://doi.org/10.4304/jnw.4.8.698-710},
    doi = {10.4304/jnw.4.8.698-710},
    timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/jnw/PozoCG09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sergio Pozo Hidalgo, Rafael M. Gasca, and F. T. de la Rosa. Efficient data structures for local inconsistency detection in firewall ACL updates. In José Cordeiro and Joaquim Filipe, editors, ICEIS 2009 – proceedings of the 11th international conference on enterprise information systems, volume isas, milan, italy, may 6-10, 2009, pages 176-181, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/iceis/HidalgoGT09,
    author = {Sergio Pozo Hidalgo and
    Rafael M. Gasca and
    F. T. de la Rosa},
    editor = {Jos{\'{e}} Cordeiro and
    Joaquim Filipe},
    title = {Efficient Data Structures for Local Inconsistency Detection in Firewall
    {ACL} Updates},
    booktitle = {{ICEIS} 2009 - Proceedings of the 11th International Conference on
    Enterprise Information Systems, Volume ISAS, Milan, Italy, May 6-10,
    2009},
    pages = {176--181},
    year = {2009},
    timestamp = {Thu, 10 Sep 2009 09:32:51 +0200},
    biburl = {https://dblp.org/rec/conf/iceis/HidalgoGT09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] 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 projection operator. Data knowl. eng., 68(1):146-172, 2009.
    [Bibtex]
    @article{DBLP:journals/dke/LopezCGV09,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {Developing a labelled object-relational constraint database architecture
    for the projection operator},
    journal = {Data Knowl. Eng.},
    volume = {68},
    number = {1},
    pages = {146--172},
    year = {2009},
    url = {https://doi.org/10.1016/j.datak.2008.09.002},
    doi = {10.1016/j.datak.2008.09.002},
    timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/dke/LopezCGV09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. Mda-based framework for automatic generation of consistent firewall acls with NAT. In Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà, Youngsong Mun, and Marina L. Gavrilova, editors, Computational science and its applications – ICCSA 2009, international conference, seoul, korea, june 29-july 2, 2009, proceedings, part II, volume 5593 of Lecture Notes in Computer Science, pages 130-144. Springer, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/iccsa/PozoVG09,
    author = {Sergio Pozo and
    Angel Jesus Varela-Vaca and
    Rafael M. Gasca},
    editor = {Osvaldo Gervasi and
    David Taniar and
    Beniamino Murgante and
    Antonio Lagan{\`{a}} and
    Youngsong Mun and
    Marina L. Gavrilova},
    title = {MDA-Based Framework for Automatic Generation of Consistent Firewall
    ACLs with {NAT}},
    booktitle = {Computational Science and Its Applications - {ICCSA} 2009, International
    Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part
    {II}},
    series = {Lecture Notes in Computer Science},
    volume = {5593},
    pages = {130--144},
    publisher = {Springer},
    year = {2009},
    url = {https://doi.org/10.1007/978-3-642-02457-3\_11},
    doi = {10.1007/978-3-642-02457-3\_11},
    timestamp = {Tue, 14 May 2019 10:00:43 +0200},
    biburl = {https://dblp.org/rec/conf/iccsa/PozoVG09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, and Rafael Ceballos. Efficient algorithms and abstract data types for local inconsistency isolation in firewall acls. In Eduardo Fernández-Medina, Manu Malek, and Javier Hernando, editors, SECRYPT 2009, proceedings of the international conference on security and cryptography, milan, italy, july 7-10, 2009, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 42-53. {INSTICC} Press, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/PozoVGC09,
    author = {Sergio Pozo and
    Angel Jesus Varela-Vaca and
    Rafael M. Gasca and
    Rafael Ceballos},
    editor = {Eduardo Fern{\'{a}}ndez-Medina and
    Manu Malek and
    Javier Hernando},
    title = {Efficient Algorithms and Abstract Data Types for Local Inconsistency
    Isolation in Firewall ACLs},
    booktitle = {{SECRYPT} 2009, Proceedings of the International Conference on Security
    and Cryptography, Milan, Italy, July 7-10, 2009, {SECRYPT} is part
    of {ICETE} - The International Joint Conference on e-Business and
    Telecommunications},
    pages = {42--53},
    publisher = {{INSTICC} Press},
    year = {2009},
    timestamp = {Wed, 15 Jun 2011 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/secrypt/PozoVGC09.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2008

  • [DOI] Romano Fantacci, Leonardo Maccari, Pablo Neira Ayuso, and Rafael M. Gasca. Efficient packet filtering in wireless ad hoc networks. IEEE commun. mag., 46(2):104-110, 2008.
    [Bibtex]
    @article{DBLP:journals/cm/FantacciMAG08,
    author = {Romano Fantacci and
    Leonardo Maccari and
    Pablo Neira Ayuso and
    Rafael M. Gasca},
    title = {Efficient packet filtering in wireless ad hoc networks},
    journal = {{IEEE} Commun. Mag.},
    volume = {46},
    number = {2},
    pages = {104--110},
    year = {2008},
    url = {https://doi.org/10.1109/MCOM.2008.4473091},
    doi = {10.1109/MCOM.2008.4473091},
    timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/cm/FantacciMAG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Fernando De Rosa la T. and Rafael M. Gasca. Automatic extraction of social networks by topics of interest. Int. j. comput. appl. technol., 33(4):292-299, 2008.
    [Bibtex]
    @article{DBLP:journals/ijcat/TG08,
    author = {Fernando De la Rosa T. and
    Rafael M. Gasca},
    title = {Automatic extraction of social networks by topics of interest},
    journal = {Int. J. Comput. Appl. Technol.},
    volume = {33},
    number = {4},
    pages = {292--299},
    year = {2008},
    url = {https://doi.org/10.1504/IJCAT.2008.022425},
    doi = {10.1504/IJCAT.2008.022425},
    timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/ijcat/TG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael Martinez Gasca. Fast algorithms for consistency-based diagnosis of firewall rule sets. In Proceedings of the the third international conference on availability, reliability and security, ARES 2008, march 4-7, 2008, technical university of catalonia, barcelona , spain, pages 229-236. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/HidalgoCG08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael Martinez Gasca},
    title = {Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets},
    booktitle = {Proceedings of the The Third International Conference on Availability,
    Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
    University of Catalonia, Barcelona , Spain},
    pages = {229--236},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/ARES.2008.42},
    doi = {10.1109/ARES.2008.42},
    timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
    biburl = {https://dblp.org/rec/conf/IEEEares/HidalgoCG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, and Rafael M. Gasca. Towards a dependable architecture for highly available internet services. In Proceedings of the the third international conference on availability, reliability and security, ARES 2008, march 4-7, 2008, technical university of catalonia, barcelona , spain, pages 422-427. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/AyusoLBG08,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Denis Barbaron and
    Rafael M. Gasca},
    title = {Towards a Dependable Architecture for Highly Available Internet Services},
    booktitle = {Proceedings of the The Third International Conference on Availability,
    Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
    University of Catalonia, Barcelona , Spain},
    pages = {422--427},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/ARES.2008.166},
    doi = {10.1109/ARES.2008.166},
    timestamp = {Mon, 29 May 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/IEEEares/AyusoLBG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW. In Sushil Jajodia and Javier López, editors, Computer security – ESORICS 2008, 13th european symposium on research in computer security, málaga, spain, october 6-8, 2008. proceedings, volume 5283 of Lecture Notes in Computer Science, pages 1-17. Springer, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/esorics/NeiraGL08,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    editor = {Sushil Jajodia and
    Javier L{\'{o}}pez},
    title = {Multiprimary Support for the Availability of Cluster-Based Stateful
    Firewalls Using {FT-FW}},
    booktitle = {Computer Security - {ESORICS} 2008, 13th European Symposium on Research
    in Computer Security, M{\'{a}}laga, Spain, October 6-8, 2008. Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {5283},
    pages = {1--17},
    publisher = {Springer},
    year = {2008},
    url = {https://doi.org/10.1007/978-3-540-88313-5\_1},
    doi = {10.1007/978-3-540-88313-5\_1},
    timestamp = {Thu, 29 Aug 2019 08:09:59 +0200},
    biburl = {https://dblp.org/rec/conf/esorics/NeiraGL08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Afpl, an abstract language model for firewall acls. In Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, and Marina L. Gavrilova, editors, Computational science and its applications – ICCSA 2008, international conference, perugia, italy, june 30 – july 3, 2008, proceedings, part II, volume 5073 of Lecture Notes in Computer Science, pages 468-483. Springer, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/iccsa/PozoCG08,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    editor = {Osvaldo Gervasi and
    Beniamino Murgante and
    Antonio Lagan{\`{a}} and
    David Taniar and
    Youngsong Mun and
    Marina L. Gavrilova},
    title = {AFPL, an Abstract Language Model for Firewall ACLs},
    booktitle = {Computational Science and Its Applications - {ICCSA} 2008, International
    Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part
    {II}},
    series = {Lecture Notes in Computer Science},
    volume = {5073},
    pages = {468--483},
    publisher = {Springer},
    year = {2008},
    url = {https://doi.org/10.1007/978-3-540-69848-7\_39},
    doi = {10.1007/978-3-540-69848-7\_39},
    timestamp = {Tue, 14 May 2019 10:00:43 +0200},
    biburl = {https://dblp.org/rec/conf/iccsa/PozoCG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, and Rafael Martinez Gasca. Hft-fw: hybrid fault-tolerance for cluster-based stateful firewalls. In 14th international conference on parallel and distributed systems, ICPADS 2008, melbourne, victoria, australia, december 8-10, 2008, pages 525-532. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/icpads/AyusoLG08,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Rafael Martinez Gasca},
    title = {hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls},
    booktitle = {14th International Conference on Parallel and Distributed Systems,
    {ICPADS} 2008, Melbourne, Victoria, Australia, December 8-10, 2008},
    pages = {525--532},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/ICPADS.2008.124},
    doi = {10.1109/ICPADS.2008.124},
    timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
    biburl = {https://dblp.org/rec/conf/icpads/AyusoLG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, and Laurent Lefèvre. Stateful firewalling for wireless mesh networks. In Akshai Aggarwal, Mohamad Badra, and Fabio Massacci, editors, NTMS 2008, 2nd international conference on new technologies, mobility and security, november 5-7, 2008, tangier, morocco, pages 1-5. {IEEE}, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/ntms/AyusoGML08,
    author = {Pablo Neira Ayuso and
    Rafael Martinez Gasca and
    Leonardo Maccari and
    Laurent Lef{\`{e}}vre},
    editor = {Akshai Aggarwal and
    Mohamad Badra and
    Fabio Massacci},
    title = {Stateful Firewalling for Wireless Mesh Networks},
    booktitle = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
    and Security, November 5-7, 2008, Tangier, Morocco},
    pages = {1--5},
    publisher = {{IEEE}},
    year = {2008},
    url = {https://doi.org/10.1109/NTMS.2008.ECP.92},
    doi = {10.1109/NTMS.2008.ECP.92},
    timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
    biburl = {https://dblp.org/rec/conf/ntms/AyusoGML08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael Martinez Gasca, and Laurent Lefèvre. FT-FW: efficient connection failover in cluster-based stateful firewalls. In 16th euromicro international conference on parallel, distributed and network-based processing (PDP 2008), 13-15 february 2008, toulouse, france, pages 573-580. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/pdp/AyusoGL08,
    author = {Pablo Neira Ayuso and
    Rafael Martinez Gasca and
    Laurent Lef{\`{e}}vre},
    title = {{FT-FW:} Efficient Connection Failover in Cluster-based Stateful Firewalls},
    booktitle = {16th Euromicro International Conference on Parallel, Distributed and
    Network-Based Processing {(PDP} 2008), 13-15 February 2008, Toulouse,
    France},
    pages = {573--580},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/PDP.2008.87},
    doi = {10.1109/PDP.2008.87},
    timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
    biburl = {https://dblp.org/rec/conf/pdp/AyusoGL08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael Martinez Gasca. A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets. In Eduardo Fernández-Medina, Manu Malek, and Javier Hernando, editors, SECRYPT 2008, proceedings of the international conference on security and cryptography, porto, portugal, july 26-29, 2008, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 430-441. {INSTICC} Press, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/HidalgoCG08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael Martinez Gasca},
    editor = {Eduardo Fern{\'{a}}ndez-Medina and
    Manu Malek and
    Javier Hernando},
    title = {A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis
    in Firewall Rule Sets},
    booktitle = {{SECRYPT} 2008, Proceedings of the International Conference on Security
    and Cryptography, Porto, Portugal, July 26-29, 2008, {SECRYPT} is
    part of {ICETE} - The International Joint Conference on e-Business
    and Telecommunications},
    pages = {430--441},
    publisher = {{INSTICC} Press},
    year = {2008},
    timestamp = {Fri, 04 Sep 2009 13:20:36 +0200},
    biburl = {https://dblp.org/rec/conf/secrypt/HidalgoCG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Firewall rule set inconsistency characterization by clustering. In Alfonso Rodríguez, Mariemma Inmaculada Yagüe del Valle, and Eduardo Fernández-Medina, editors, Security in information systems, proceedings of the 6th international workshop on security in information systems, WOSIS 2008, in conjunction with ICEIS 2008, barcelona, spain, june 2008, pages 138-144. {INSTICC} Press, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/sis/PozoCG08,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    editor = {Alfonso Rodr{\'{\i}}guez and
    Mariemma Inmaculada Yag{\"{u}}e del Valle and
    Eduardo Fern{\'{a}}ndez-Medina},
    title = {Firewall Rule Set Inconsistency Characterization by Clustering},
    booktitle = {Security in Information Systems, Proceedings of the 6th International
    Workshop on Security in Information Systems, {WOSIS} 2008, In conjunction
    with {ICEIS} 2008, Barcelona, Spain, June 2008},
    pages = {138--144},
    publisher = {{INSTICC} Press},
    year = {2008},
    timestamp = {Tue, 03 Dec 2019 11:56:05 +0100},
    biburl = {https://dblp.org/rec/conf/sis/PozoCG08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, and Angel Jesus Varela-Vaca. Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets. In André Cotton, Oana Dini, Antonio Fernandez Gómez-Skarmeta, Mihaela Ion, Manuela Popescu, and Masaru Takesue, editors, Proceedings of the second international conference on emerging security information, systems and technologies, SECURWARE 2008, august 25-31, 2008, cap esterel, france, pages 53-61. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/securware/HidalgoCGV08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca and
    Angel Jesus Varela-Vaca},
    editor = {Andr{\'{e}} Cotton and
    Oana Dini and
    Antonio Fernandez G{\'{o}}mez-Skarmeta and
    Mihaela Ion and
    Manuela Popescu and
    Masaru Takesue},
    title = {Polynomial Heuristic Algorithms for Inconsistency Characterization
    in Firewall Rule Sets},
    booktitle = {Proceedings of the Second International Conference on Emerging Security
    Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
    2008, Cap Esterel, France},
    pages = {53--61},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/SECURWARE.2008.39},
    doi = {10.1109/SECURWARE.2008.39},
    timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
    biburl = {https://dblp.org/rec/conf/securware/HidalgoCGV08.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, and Angel Jesus Varela-Vaca. Fast algorithms for local inconsistency detection in firewall ACL updates. In André Cotton, Oana Dini, Antonio Fernandez Gómez-Skarmeta, Mihaela Ion, Manuela Popescu, and Masaru Takesue, editors, Proceedings of the second international conference on emerging security information, systems and technologies, SECURWARE 2008, august 25-31, 2008, cap esterel, france, pages 381-390. {IEEE} Computer Society, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/securware/HidalgoCGV08a,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca and
    Angel Jesus Varela-Vaca},
    editor = {Andr{\'{e}} Cotton and
    Oana Dini and
    Antonio Fernandez G{\'{o}}mez-Skarmeta and
    Mihaela Ion and
    Manuela Popescu and
    Masaru Takesue},
    title = {Fast Algorithms for Local Inconsistency Detection in Firewall {ACL}
    Updates},
    booktitle = {Proceedings of the Second International Conference on Emerging Security
    Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
    2008, Cap Esterel, France},
    pages = {381--390},
    publisher = {{IEEE} Computer Society},
    year = {2008},
    url = {https://doi.org/10.1109/SECURWARE.2008.40},
    doi = {10.1109/SECURWARE.2008.40},
    timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/securware/HidalgoCGV08a.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2007

  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Csp-based firewall rule set diagnosis using security policies. In Proceedings of the the second international conference on availability, reliability and security, ARES 2007, the international dependability conference – bridging theory and practice, april 10-13 2007, vienna, austria, pages 723-729. {IEEE} Computer Society, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/PozoCG07,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {CSP-Based Firewall Rule Set Diagnosis using Security Policies},
    booktitle = {Proceedings of the The Second International Conference on Availability,
    Reliability and Security, {ARES} 2007, The International Dependability
    Conference - Bridging Theory and Practice, April 10-13 2007, Vienna,
    Austria},
    pages = {723--729},
    publisher = {{IEEE} Computer Society},
    year = {2007},
    url = {https://doi.org/10.1109/ARES.2007.63},
    doi = {10.1109/ARES.2007.63},
    timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
    biburl = {https://dblp.org/rec/conf/IEEEares/PozoCG07.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, and Rafael Martinez Gasca. Mesh network firewalling with bloom filters. In Proceedings of IEEE international conference on communications, ICC 2007, glasgow, scotland, uk, 24-28 june 2007, pages 1546-1551. {IEEE}, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/icc/MaccariFAG07,
    author = {Leonardo Maccari and
    Romano Fantacci and
    Pablo Neira Ayuso and
    Rafael Martinez Gasca},
    title = {Mesh Network Firewalling with Bloom Filters},
    booktitle = {Proceedings of {IEEE} International Conference on Communications,
    {ICC} 2007, Glasgow, Scotland, UK, 24-28 June 2007},
    pages = {1546--1551},
    publisher = {{IEEE}},
    year = {2007},
    url = {https://doi.org/10.1109/ICC.2007.259},
    doi = {10.1109/ICC.2007.259},
    timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/icc/MaccariFAG07.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Rafael Ceballos, María Teresa Gómez-López, Rafael M. Gasca, and Carmelo Del Valle. A compiled model for faults diagnosis based on different techniques. AI commun., 20(1):7-16, 2007.
    [Bibtex]
    @article{DBLP:journals/aicom/CeballosGGV07,
    author = {Rafael Ceballos and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {A compiled model for faults diagnosis based on different techniques},
    journal = {{AI} Commun.},
    volume = {20},
    number = {1},
    pages = {7--16},
    year = {2007},
    url = {http://content.iospress.com/articles/ai-communications/aic392},
    timestamp = {Fri, 15 May 2015 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/aicom/CeballosGGV07.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, and Rafael Ceballos. NMUS: structural analysis for improving the derivation of all muses in overconstrained numeric csps. In Daniel Borrajo, Luis A. Castillo, and Juan M. Corchado, editors, Current topics in artificial intelligence, 12th conference of the spanish association for artificial intelligence, CAEPIA 2007, salamanca, spain, november 12-16, 2007. selected papers, volume 4788 of Lecture Notes in Computer Science, pages 160-169. Springer, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/GascaVLC07,
    author = {Rafael M. Gasca and
    Carmelo Del Valle and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos},
    editor = {Daniel Borrajo and
    Luis A. Castillo and
    Juan M. Corchado},
    title = {{NMUS:} Structural Analysis for Improving the Derivation of All MUSes
    in Overconstrained Numeric CSPs},
    booktitle = {Current Topics in Artificial Intelligence, 12th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca,
    Spain, November 12-16, 2007. Selected Papers},
    series = {Lecture Notes in Computer Science},
    volume = {4788},
    pages = {160--169},
    publisher = {Springer},
    year = {2007},
    url = {https://doi.org/10.1007/978-3-540-75271-4\_17},
    doi = {10.1007/978-3-540-75271-4\_17},
    timestamp = {Tue, 14 May 2019 10:00:50 +0200},
    biburl = {https://dblp.org/rec/conf/caepia/GascaVLC07.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2006

  • [DOI] Rafael Ceballos, Rafael Martinez Gasca, and Diana Borrego. Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT softw. eng. notes, 31(2), 2006.
    [Bibtex]
    @article{DBLP:journals/sigsoft/CeballosGB06,
    author = {Rafael Ceballos and
    Rafael Martinez Gasca and
    Diana Borrego},
    title = {Constraint satisfaction techniques for diagnosing errors in design
    by contract software},
    journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
    volume = {31},
    number = {2},
    year = {2006},
    url = {https://doi.org/10.1145/1118537.1123070},
    doi = {10.1145/1118537.1123070},
    timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/sigsoft/CeballosGB06.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, and Rafael M. Gasca. High availability support for the design of stateful networking equipments. In Proceedings of the the first international conference on availability, reliability and security, ARES 2006, the international dependability conference – bridging theory and practice, april 20-22 2006, vienna university of technology, austria, pages 254-261. {IEEE} Computer Society, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/NeiraLG06,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Rafael M. Gasca},
    title = {High Availability support for the design of stateful networking equipments},
    booktitle = {Proceedings of the The First International Conference on Availability,
    Reliability and Security, {ARES} 2006, The International Dependability
    Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
    University of Technology, Austria},
    pages = {254--261},
    publisher = {{IEEE} Computer Society},
    year = {2006},
    url = {https://doi.org/10.1109/ARES.2006.71},
    doi = {10.1109/ARES.2006.71},
    timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
    biburl = {https://dblp.org/rec/conf/IEEEares/NeiraLG06.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Rafael Ceballos, María Teresa Gómez-López, Rafael Martinez Gasca, and Carmelo Del Valle. An integration of model-based techniques for determining the minimal diagnosis. Inteligencia artif., 10(31):41-52, 2006.
    [Bibtex]
    @article{DBLP:journals/aepia/CeballosLGV06,
    author = {Rafael Ceballos and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Martinez Gasca and
    Carmelo Del Valle},
    title = {An integration of model-based techniques for determining the minimal
    diagnosis},
    journal = {Inteligencia Artif.},
    volume = {10},
    number = {31},
    pages = {41--52},
    year = {2006},
    url = {http://journal.iberamia.org/index.php/ia/article/view/504/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/CeballosLGV06.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Sergio Pozo. Distributed model-based diagnosis using object-relational constraint databases. In 20th international conference on advanced information networking and applications (AINA 2006), 18-20 april 2006, vienna, austria, pages 866-870. {IEEE} Computer Society, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/aina/LopezGVP06,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Sergio Pozo},
    title = {Distributed Model-Based Diagnosis using Object-Relational Constraint
    Databases},
    booktitle = {20th International Conference on Advanced Information Networking and
    Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
    pages = {866--870},
    publisher = {{IEEE} Computer Society},
    year = {2006},
    url = {https://doi.org/10.1109/AINA.2006.148},
    doi = {10.1109/AINA.2006.148},
    timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
    biburl = {https://dblp.org/rec/conf/aina/LopezGVP06.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • María Teresa Gómez-López and Rafael M. Gasca. Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. In José Cristóbal Riquelme Santos and Pere Botella, editors, XI jornadas de ingeniería del software y bases de datos (JISBD 2006), octubre 3-6, 2006, sitges, barcelona, spain, pages 471-476, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/LopezG06,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
    Pere Botella},
    title = {Ampliaci{\'{o}}n de la sintaxis y la sem{\'{a}}ntica de {SQL} para
    el tratamiento de datos tipo restricci{\'{o}}n},
    booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos {(JISBD}
    2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
    pages = {471--476},
    year = {2006},
    timestamp = {Thu, 04 Oct 2007 15:05:39 +0200},
    biburl = {https://dblp.org/rec/conf/jisbd/LopezG06.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2005

  • [DOI] Luis González Abril, Francisco Velasco Morente, and Rafael M. Gasca. A study of the similarities between topics. Comput. stat., 20(3):465-479, 2005.
    [Bibtex]
    @article{DBLP:journals/cstat/AbrilMG05,
    author = {Luis Gonz{\'{a}}lez Abril and
    Francisco Velasco Morente and
    Rafael M. Gasca},
    title = {A study of the similarities between topics},
    journal = {Comput. Stat.},
    volume = {20},
    number = {3},
    pages = {465--479},
    year = {2005},
    url = {https://doi.org/10.1007/BF02741309},
    doi = {10.1007/BF02741309},
    timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cstat/AbrilMG05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Juan Antonio Ortega-Ramírez, Rafael Martinez Gasca, Jesús Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, and Cecilio Angulo Bahón. Metodología semicualitativa para razonar sobre sistemas dinámicos. Computación y sistemas, 8(3), 2005.
    [Bibtex]
    @article{DBLP:journals/cys/Ortega-RamirezGVBAMB05,
    author = {Juan Antonio Ortega-Ram{\'{\i}}rez and
    Rafael Martinez Gasca and
    Jes{\'{u}}s Torres Valderrama and
    Miguel Toro Bonilla and
    Luis Gonz{\'{a}}lez Abril and
    Francisco Velasco Morente and
    Cecilio Angulo Bah{\'{o}}n},
    title = {Metodolog{\'{\i}}a Semicualitativa para Razonar sobre Sistemas Din{\'{a}}micos},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {8},
    number = {3},
    year = {2005},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1091},
    timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/cys/Ortega-RamirezGVBAMB05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, and Carmelo Del Valle. A topological-based method for allocating sensors by using CSP techniques. In Roque Marín, Eva Onaindia, Alberto Bugarín, and José Santos Reyes, editors, Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, volume 4177 of Lecture Notes in Computer Science, pages 62-68. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/CeballosCGV05,
    author = {Rafael Ceballos and
    Victor Cejudo and
    Rafael M. Gasca and
    Carmelo Del Valle},
    editor = {Roque Mar{\'{\i}}n and
    Eva Onaindia and
    Alberto Bugar{\'{\i}}n and
    Jos{\'{e}} Santos Reyes},
    title = {A Topological-Based Method for Allocating Sensors by Using {CSP} Techniques},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    series = {Lecture Notes in Computer Science},
    volume = {4177},
    pages = {62--68},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11881216\_7},
    doi = {10.1007/11881216\_7},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/caepia/CeballosCGV05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Diana Borrego. Diagnosing errors in dbc programs using constraint programming. In Roque Marín, Eva Onaindia, Alberto Bugarín, and José Santos Reyes, editors, Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, volume 4177 of Lecture Notes in Computer Science, pages 200-210. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/CeballosGVB05,
    author = {Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Diana Borrego},
    editor = {Roque Mar{\'{\i}}n and
    Eva Onaindia and
    Alberto Bugar{\'{\i}}n and
    Jos{\'{e}} Santos Reyes},
    title = {Diagnosing Errors in DbC Programs Using Constraint Programming},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    series = {Lecture Notes in Computer Science},
    volume = {4177},
    pages = {200--210},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11881216\_22},
    doi = {10.1007/11881216\_22},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/caepia/CeballosGVB05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, and Irene Barba. Improving the computational efficiency in symmetrical numeric constraint satisfaction problems. In Roque Marín, Eva Onaindia, Alberto Bugarín, and José Santos Reyes, editors, Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, volume 4177 of Lecture Notes in Computer Science, pages 269-279. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/GascaVCB05,
    author = {Rafael M. Gasca and
    Carmelo Del Valle and
    Victor Cejudo and
    Irene Barba},
    editor = {Roque Mar{\'{\i}}n and
    Eva Onaindia and
    Alberto Bugar{\'{\i}}n and
    Jos{\'{e}} Santos Reyes},
    title = {Improving the Computational Efficiency in Symmetrical Numeric Constraint
    Satisfaction Problems},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    series = {Lecture Notes in Computer Science},
    volume = {4177},
    pages = {269--279},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11881216\_29},
    doi = {10.1007/11881216\_29},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/caepia/GascaVCB05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, and Juan Antonio Ortega. Diagnosis of a chopper controlled DC motor by boosting. In 2005 international conference on computational intelligence for modelling control and automation (CIMCA 2005), international conference on intelligent agents, web technologies and internet commerce (IAWTIC 2005), 28-30 november 2005, vienna, austria, pages 568-575. {IEEE} Computer Society, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/cimca/AbadSGO05,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Diagnosis of a Chopper Controlled {DC} Motor by Boosting},
    booktitle = {2005 International Conference on Computational Intelligence for Modelling
    Control and Automation {(CIMCA} 2005), International Conference on
    Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
    2005), 28-30 November 2005, Vienna, Austria},
    pages = {568--575},
    publisher = {{IEEE} Computer Society},
    year = {2005},
    url = {https://doi.org/10.1109/CIMCA.2005.1631529},
    doi = {10.1109/CIMCA.2005.1631529},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/cimca/AbadSGO05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, and Rafael M. Gasca. An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way. In Alexander F. Gelbukh, Alvaro de Albornoz, and Hugo Terashima-Marín, editors, MICAI 2005: advances in artificial intelligence, 4th mexican international conference on artificial intelligence, monterrey, mexico, november 14-18, 2005, proceedings, volume 3789 of Lecture Notes in Computer Science, pages 1082-1092. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/micai/CeballosPVG05,
    author = {Rafael Ceballos and
    Sergio Pozo and
    Carmelo Del Valle and
    Rafael M. Gasca},
    editor = {Alexander F. Gelbukh and
    Alvaro de Albornoz and
    Hugo Terashima-Mar{\'{\i}}n},
    title = {An Integration of {FDI} and {DX} Techniques for Determining the Minimal
    Diagnosis in an Automatic Way},
    booktitle = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
    Conference on Artificial Intelligence, Monterrey, Mexico, November
    14-18, 2005, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {3789},
    pages = {1082--1092},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11579427\_110},
    doi = {10.1007/11579427\_110},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/micai/CeballosPVG05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] F. T. de la Rosa, María Teresa Gómez-López, and Rafael M. Gasca. Analysis and visualization of the DX community with information extracted from the web. In Kim Viborg Andersen, John K. Debenham, and Roland R. Wagner, editors, Database and expert systems applications, 16th international conference, DEXA 2005, copenhagen, denmark, august 22-26, 2005, proceedings, volume 3588 of Lecture Notes in Computer Science, pages 726-735. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/dexa/RosaGG05,
    author = {F. T. de la Rosa and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    editor = {Kim Viborg Andersen and
    John K. Debenham and
    Roland R. Wagner},
    title = {Analysis and Visualization of the {DX} Community with Information
    Extracted from the Web},
    booktitle = {Database and Expert Systems Applications, 16th International Conference,
    {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {3588},
    pages = {726--735},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11546924\_71},
    doi = {10.1007/11546924\_71},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/dexa/RosaGG05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and F. T. de la Rosa. Querying a polynomial object-relational constraint database in model-based diagnosis. In Kim Viborg Andersen, John K. Debenham, and Roland R. Wagner, editors, Database and expert systems applications, 16th international conference, DEXA 2005, copenhagen, denmark, august 22-26, 2005, proceedings, volume 3588 of Lecture Notes in Computer Science, pages 848-857. Springer, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/dexa/Gomez-LopezGVR05,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    F. T. de la Rosa},
    editor = {Kim Viborg Andersen and
    John K. Debenham and
    Roland R. Wagner},
    title = {Querying a Polynomial Object-Relational Constraint Database in Model-Based
    Diagnosis},
    booktitle = {Database and Expert Systems Applications, 16th International Conference,
    {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {3588},
    pages = {848--857},
    publisher = {Springer},
    year = {2005},
    url = {https://doi.org/10.1007/11546924\_83},
    doi = {10.1007/11546924\_83},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/dexa/Gomez-LopezGVR05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Victor Cejudo. ORCDB: arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad. In José Ambrosio Toval Álvarez and Juan Hernández Núñez, editors, Actas de las X jornadas de ingeniería del software y bases de datos (JISBD 2005), september 14-16, 2005, granada, spain, pages 221-230. Thomson, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/LopezGVC05,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Victor Cejudo},
    editor = {Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and
    Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez},
    title = {{ORCDB:} Arquitectura para la extensi{\'{o}}n de la sem{\'{a}}ntica
    de {SQL} en bases de datos restrictivas orientadas a objetos con restricciones
    polin{\'{o}}micas de igualdad},
    booktitle = {Actas de las {X} Jornadas de Ingenier{\'{\i}}a del Software y Bases
    de Datos {(JISBD} 2005), September 14-16, 2005, Granada, Spain},
    pages = {221--230},
    publisher = {Thomson},
    year = {2005},
    timestamp = {Sun, 25 Mar 2007 17:04:04 +0200},
    biburl = {https://dblp.org/rec/conf/jisbd/LopezGVC05.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2004

  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Carmelo Del Valle. Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis. In Bart Kuijpers and Peter Z. Revesz, editors, Constraint databases, proceedings of the 1st international symposium on applications of constraint databases, cdb’04, paris, france, june 12-13, 2004, volume 3074 of Lecture Notes in Computer Science, pages 75-89. Springer, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/cdb/GomezCGV04,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle},
    editor = {Bart Kuijpers and
    Peter Z. Revesz},
    title = {Applying Constraint Databases in the Determination of Potential Minimal
    Conflicts to Polynomial Model-based Diagnosis},
    booktitle = {Constraint Databases, Proceedings of the 1st International Symposium
    on Applications of Constraint Databases, CDB'04, Paris, France, June
    12-13, 2004},
    series = {Lecture Notes in Computer Science},
    volume = {3074},
    pages = {75--89},
    publisher = {Springer},
    year = {2004},
    url = {https://doi.org/10.1007/978-3-540-25954-1\_5},
    doi = {10.1007/978-3-540-25954-1\_5},
    timestamp = {Tue, 14 May 2019 10:00:40 +0200},
    biburl = {https://dblp.org/rec/conf/cdb/GomezCGV04.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Sergio Pozo. Determination of possible minimal conflict sets using constraint databases technology and clustering. In Christian Lemaître, Carlos Reyes A. García, and Jesús A. González, editors, Advances in artificial intelligence – IBERAMIA 2004, 9th ibero-american conference on ai, puebla, mexico, november 22-26, 2004, proceedings, volume 3315 of Lecture Notes in Computer Science, pages 942-952. Springer, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/Gomez-LopezCGP04,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Sergio Pozo},
    editor = {Christian Lema{\^{\i}}tre and
    Carlos A. Reyes Garc{\'{\i}}a and
    Jes{\'{u}}s A. Gonz{\'{a}}lez},
    title = {Determination of Possible Minimal Conflict Sets Using Constraint Databases
    Technology and Clustering},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
    Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {3315},
    pages = {942--952},
    publisher = {Springer},
    year = {2004},
    url = {https://doi.org/10.1007/978-3-540-30498-2\_94},
    doi = {10.1007/978-3-540-30498-2\_94},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/iberamia/Gomez-LopezCGP04.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Sergio Pozo, Rafael M. Gasca, and María Teresa Gómez-López. Securing mobile agent based tele-assistance systems. In Luis M. Camarinha-Matos, editor, Tele-care and collaborative virtual communities in elderly care, proceedings of the 1st international workshop on tele-care and collaborative virtual communities in elderly care, TELECARE 2004, in conjunction with ICEIS 2004, porto, portugal, april 2004, pages 63-72. {INSTICC} Press, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/telecare/PozoGG04,
    author = {Sergio Pozo and
    Rafael M. Gasca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor = {Luis M. Camarinha-Matos},
    title = {Securing Mobile Agent Based Tele-Assistance Systems},
    booktitle = {Tele-Care and Collaborative Virtual Communities in Elderly Care, Proceedings
    of the 1st International Workshop on Tele-Care and Collaborative Virtual
    Communities in Elderly Care, {TELECARE} 2004, In conjunction with
    {ICEIS} 2004, Porto, Portugal, April 2004},
    pages = {63--72},
    publisher = {{INSTICC} Press},
    year = {2004},
    timestamp = {Tue, 28 Mar 2006 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/telecare/PozoGG04.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2003

  • [DOI] Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, and Eduardo F. Camacho. A genetic algorithm for assembly sequence planning. In José Mira and José R. Álvarez, editors, Artificial neural nets problem solving methods, 7th international work-conference on artificial and natural neural networks, iwann2003, maó, menorca, spain, june 3-6, 2003 proceedings, part II, volume 2687 of Lecture Notes in Computer Science, pages 337-344. Springer, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/ValleGTC03,
    author = {Carmelo Del Valle and
    Rafael M. Gasca and
    Miguel Toro and
    Eduardo F. Camacho},
    editor = {Jos{\'{e}} Mira and
    Jos{\'{e}} R. {\'{A}}lvarez},
    title = {A Genetic Algorithm for Assembly Sequence Planning},
    booktitle = {Artificial Neural Nets Problem Solving Methods, 7th International
    Work-Conference on Artificial and Natural Neural Networks, IWANN2003,
    Ma{\'{o}}, Menorca, Spain, June 3-6, 2003 Proceedings, Part {II}},
    series = {Lecture Notes in Computer Science},
    volume = {2687},
    pages = {337--344},
    publisher = {Springer},
    year = {2003},
    url = {https://doi.org/10.1007/3-540-44869-1\_43},
    doi = {10.1007/3-540-44869-1\_43},
    timestamp = {Wed, 13 Jan 2021 08:40:59 +0100},
    biburl = {https://dblp.org/rec/conf/iwann/ValleGTC03.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, and Miguel Toro. On selecting and scheduling assembly plans using constraint programming. In Vasile Palade, Robert J. Howlett, and Lakhmi C. Jain, editors, Knowledge-based intelligent information and engineering systems, 7th international conference, KES 2003, oxford, uk, september 3-5, 2003, proceedings, part II, volume 2774 of Lecture Notes in Computer Science, pages 1329-1336. Springer, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/kes/ValleMGT03,
    author = {Carmelo Del Valle and
    Antonio A. M{\'{a}}rquez and
    Rafael M. Gasca and
    Miguel Toro},
    editor = {Vasile Palade and
    Robert J. Howlett and
    Lakhmi C. Jain},
    title = {On Selecting and Scheduling Assembly Plans Using Constraint Programming},
    booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 7th
    International Conference, {KES} 2003, Oxford, UK, September 3-5, 2003,
    Proceedings, Part {II}},
    series = {Lecture Notes in Computer Science},
    volume = {2774},
    pages = {1329--1336},
    publisher = {Springer},
    year = {2003},
    url = {https://doi.org/10.1007/978-3-540-45226-3\_180},
    doi = {10.1007/978-3-540-45226-3\_180},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/kes/ValleMGT03.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez-López, and Rafael M. Gasca. CSP aplicados a la diagnosis basada en modelos. Inteligencia artif., 7(20):137-150, 2003.
    [Bibtex]
    @article{DBLP:journals/aepia/CeballosVGG03,
    author = {Rafael Ceballos and
    Carmelo Del Valle and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {{CSP} aplicados a la diagnosis basada en modelos},
    journal = {Inteligencia Artif.},
    volume = {7},
    number = {20},
    pages = {137--150},
    year = {2003},
    url = {http://journal.iberamia.org/index.php/ia/article/view/381/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/CeballosVGG03.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. CSP y bases de datos restrictivas. Inteligencia artif., 7(20):151-163, 2003.
    [Bibtex]
    @article{DBLP:journals/aepia/GomezGVC03,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    title = {{CSP} y Bases de Datos Restrictivas},
    journal = {Inteligencia Artif.},
    volume = {7},
    number = {20},
    pages = {151--163},
    year = {2003},
    url = {http://journal.iberamia.org/index.php/ia/article/view/382/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/GomezGVC03.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. Arquitectura para la consulta a bases de datos restrictivas. In Ernesto Pimentel, Nieves R. Brisaboa, and Jaime Gómez, editors, VIII jornadas ingeniería del software y bases de datos (JISBD 2003), 12-14 noviembre 2003, alicante, pages 593-602, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/GomezGVC03,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    editor = {Ernesto Pimentel and
    Nieves R. Brisaboa and
    Jaime G{\'{o}}mez},
    title = {Arquitectura para la Consulta a Bases de Datos Restrictivas},
    booktitle = {{VIII} Jornadas Ingenier{\'{\i}}a del Software y Bases de Datos {(JISBD}
    2003), 12-14 Noviembre 2003, Alicante},
    pages = {593--602},
    year = {2003},
    timestamp = {Tue, 28 Mar 2006 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/jisbd/GomezGVC03.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2002

  • [DOI] Carmelo Del Valle, Miguel Toro, Rafael Ceballos, and Jesús S. Aguilar-Ruiz. A pomset-based model for estimating workcells’ setups in assembly sequence planning. In Francisco J. Garijo, José Cristóbal Riquelme Santos, and Miguel Toro, editors, Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, volume 2527 of Lecture Notes in Computer Science, pages 835-844. Springer, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/ValleTCA02,
    author = {Carmelo Del Valle and
    Miguel Toro and
    Rafael Ceballos and
    Jes{\'{u}}s S. Aguilar-Ruiz},
    editor = {Francisco J. Garijo and
    Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
    Miguel Toro},
    title = {A Pomset-Based Model for Estimating Workcells' Setups in Assembly
    Sequence Planning},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {2527},
    pages = {835--844},
    publisher = {Springer},
    year = {2002},
    url = {https://doi.org/10.1007/3-540-36131-6\_85},
    doi = {10.1007/3-540-36131-6\_85},
    timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/iberamia/ValleTCA02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. A framework for semiqualitative reasoning in engineering applications. Appl. artif. intell., 16(3):173-197, 2002.
    [Bibtex]
    @article{DBLP:journals/aai/GascaOT02,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {A Framework for Semiqualitative Reasoning in Engineering Applications},
    journal = {Appl. Artif. Intell.},
    volume = {16},
    number = {3},
    pages = {173--197},
    year = {2002},
    url = {https://doi.org/10.1080/088395102753559262},
    doi = {10.1080/088395102753559262},
    timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
    biburl = {https://dblp.org/rec/journals/aai/GascaOT02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, and Juan Antonio Ortega. Diagnosis de sistemas dinámicos basada en aprendizaje supervisado off-line. Computación y sistemas, 5(3), 2002.
    [Bibtex]
    @article{DBLP:journals/cys/AbadSGO02,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Diagnosis de Sistemas Din{\'{a}}micos Basada en Aprendizaje Supervisado
    Off-Line},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {5},
    number = {3},
    year = {2002},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/981},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cys/AbadSGO02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Pedro J. Abad, Antonio J. Suárez, Juan Antonio Ortega, and Rafael M. Gasca. Diagnosis en fases tempranas de sistemas dinámicos. Computación y sistemas, 6(2), 2002.
    [Bibtex]
    @article{DBLP:journals/cys/AbadSOG02,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Juan Antonio Ortega and
    Rafael M. Gasca},
    title = {Diagnosis en Fases Tempranas de Sistemas Din{\'{a}}micos},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {6},
    number = {2},
    year = {2002},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1004},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cys/AbadSOG02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, and Jesús Torres. Qualitative comparison of temporal series. QSI. In Teresa M. Escrig, Francisco Toledo, and Elisabet Golobardes, editors, Topics in artificial intelligence, 5th catalonian conference on ai, CCIA 2002, castellón, spain, october 24-25, 2002, proceedings, volume 2504 of Lecture Notes in Computer Science, pages 75-87. Springer, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/ccia/OrtegaCGTT02,
    author = {Juan Antonio Ortega and
    Francisco Javier Cuberos and
    Rafael M. Gasca and
    Miguel Toro and
    Jes{\'{u}}s Torres},
    editor = {M. Teresa Escrig and
    Francisco Toledo and
    Elisabet Golobardes},
    title = {Qualitative Comparison of Temporal Series. {QSI}},
    booktitle = {Topics in Artificial Intelligence, 5th Catalonian Conference on AI,
    {CCIA} 2002, Castell{\'{o}}n, Spain, October 24-25, 2002, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {2504},
    pages = {75--87},
    publisher = {Springer},
    year = {2002},
    url = {https://doi.org/10.1007/3-540-36079-4\_7},
    doi = {10.1007/3-540-36079-4\_7},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/ccia/OrtegaCGTT02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Miguel Toro. Max-csp approach for software diagnosis. In Francisco J. Garijo, José Cristóbal Riquelme Santos, and Miguel Toro, editors, Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, volume 2527 of Lecture Notes in Computer Science, pages 172-181. Springer, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/CeballosGVT02,
    author = {Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Miguel Toro},
    editor = {Francisco J. Garijo and
    Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
    Miguel Toro},
    title = {Max-CSP Approach for Software Diagnosis},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {2527},
    pages = {172--181},
    publisher = {Springer},
    year = {2002},
    url = {https://doi.org/10.1007/3-540-36131-6\_18},
    doi = {10.1007/3-540-36131-6\_18},
    timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/iberamia/CeballosGVT02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Antonio Ortega, Rafael M. Gasca, Miguel Toro, and Jesús Torres. A semiquantitative approach to study semiqualitative systems. In Francisco J. Garijo, José Cristóbal Riquelme Santos, and Miguel Toro, editors, Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, volume 2527 of Lecture Notes in Computer Science, pages 303-312. Springer, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/OrtegaGTT02,
    author = {Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro and
    Jes{\'{u}}s Torres},
    editor = {Francisco J. Garijo and
    Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
    Miguel Toro},
    title = {A Semiquantitative Approach to Study Semiqualitative Systems},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {2527},
    pages = {303--312},
    publisher = {Springer},
    year = {2002},
    url = {https://doi.org/10.1007/3-540-36131-6\_31},
    doi = {10.1007/3-540-36131-6\_31},
    timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
    biburl = {https://dblp.org/rec/conf/iberamia/OrtegaGTT02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Fco. Fernando Rosa de la Troyano, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. Arquitectura de un crawler para extraer las estrcturas y contenidos de recursos electrónicos. In Matilde Celma, Oscar Pastor, Natalia Juristo Juzgado, and Juan José Moreno-Navarro, editors, VII jornadas de ingeniería del software y bases de datos (JISBD 2002), 19-21 noviembre 2002, el escorial (madrid), pages 259-269, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/TGVC02,
    author = {Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    editor = {Matilde Celma and
    Oscar Pastor and
    Natalia Juristo Juzgado and
    Juan Jos{\'{e}} Moreno-Navarro},
    title = {Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos
    de Recursos Electr{\'{o}}nicos},
    booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
    {(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
    pages = {259--269},
    year = {2002},
    timestamp = {Mon, 18 Jan 2021 08:56:33 +0100},
    biburl = {https://dblp.org/rec/conf/jisbd/TGVC02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, and Miguel Toro. Diagnosis de software usando técnicas max-csp. In Matilde Celma, Oscar Pastor, Natalia Juristo Juzgado, and Juan José Moreno-Navarro, editors, VII jornadas de ingeniería del software y bases de datos (JISBD 2002), 19-21 noviembre 2002, el escorial (madrid), pages 425-426, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/CevallosGVT02,
    author = {R. Cevallos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Miguel Toro},
    editor = {Matilde Celma and
    Oscar Pastor and
    Natalia Juristo Juzgado and
    Juan Jos{\'{e}} Moreno-Navarro},
    title = {Diagnosis de Software usando t{\'{e}}cnicas Max-CSP},
    booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
    {(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
    pages = {425--426},
    year = {2002},
    timestamp = {Wed, 17 Dec 2003 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/jisbd/CevallosGVT02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Carmelo Del Valle, Rafael M. Gasca, Juan Antonio Ortega, and María Teresa Gómez-López. Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas. Inteligencia artif., 6(17):83-92, 2002.
    [Bibtex]
    @article{DBLP:journals/aepia/ValleGOG02,
    author = {Carmelo Del Valle and
    Rafael M. Gasca and
    Juan Antonio Ortega and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Un modelo {CSP} para planificaci{\'{o}}n de la sustituci{\'{o}}n {\'{o}}ptima
    de piezas defectuosas},
    journal = {Inteligencia Artif.},
    volume = {6},
    number = {17},
    pages = {83--92},
    year = {2002},
    url = {http://journal.iberamia.org/index.php/ia/article/view/345/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/ValleGOG02.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2001

  • Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia artif., 5(14):68-77, 2001.
    [Bibtex]
    @article{DBLP:journals/aepia/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Diagnosis basada en modelos polinomicos usando tecnicas simbolicas},
    journal = {Inteligencia Artif.},
    volume = {5},
    number = {14},
    pages = {68--77},
    year = {2001},
    url = {http://journal.iberamia.org/index.php/ia/article/view/317/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/GascaOT01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. An object-oriented approach for learning of algorithm design with sequential devices and schemas. Computación y sistemas, 4(3):230-241, 2001.
    [Bibtex]
    @article{DBLP:journals/cys/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {An Object-Oriented Approach for Learning of Algorithm Design with
    Sequential Devices and Schemas},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {4},
    number = {3},
    pages = {230--241},
    year = {2001},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/947/1043},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cys/GascaOT01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, and Miguel Toro. Comparación cualitativa de series temporales. índice cualitativo de similitud – QSI. Computación y sistemas, 5(2), 2001.
    [Bibtex]
    @article{DBLP:journals/cys/OrtegaCGT01,
    author = {Juan Antonio Ortega and
    Francisco Javier Cuberos and
    Rafael M. Gasca and
    Miguel Toro},
    title = {Comparaci{\'{o}}n Cualitativa de Series Temporales. {\'{I}}ndice Cualitativo
    de Similitud - {QSI}},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {5},
    number = {2},
    year = {2001},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/973},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/cys/OrtegaCGT01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Structural constraint-based modeling and reasoning with basic configuration cells. In Toby Walsh, editor, Principles and practice of constraint programming – CP 2001, 7th international conference, CP 2001, paphos, cyprus, november 26 – december 1, 2001, proceedings, volume 2239 of Lecture Notes in Computer Science, pages 595-599. Springer, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/cp/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    editor = {Toby Walsh},
    title = {Structural Constraint-Based Modeling and Reasoning with Basic Configuration
    Cells},
    booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
    International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
    December 1, 2001, Proceedings},
    series = {Lecture Notes in Computer Science},
    volume = {2239},
    pages = {595--599},
    publisher = {Springer},
    year = {2001},
    url = {https://doi.org/10.1007/3-540-45578-7\_46},
    doi = {10.1007/3-540-45578-7\_46},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/cp/GascaOT01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Antonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, and Juan Antonio Ortega. Qualitative reasoning for software development project by constraint programming. In ICEIS 2001, proceedings of the 3rd international conference on enterprise information systems, setubal, portugal, july 7-10, 2001, pages 481-488, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/iceis/SuarezAGO01,
    author = {Antonio J. Su{\'{a}}rez and
    Pedro J. Abad and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Qualitative Reasoning for Software Development Project by Constraint
    Programming},
    booktitle = {{ICEIS} 2001, Proceedings of the 3rd International Conference on Enterprise
    Information Systems, Setubal, Portugal, July 7-10, 2001},
    pages = {481--488},
    year = {2001},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/iceis/SuarezAGO01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Fco. Fernando Rosa de la Troyano, Rafael M. Gasca, and Juan Antonio Ortega. Metodología para el análisis visual de la evolución de conceptos en bases de datos textuales. In Pablo de la Fuente and Adoració Pérez Alarcón, editors, II jornadas de bibliotecas digitales, JBIDI 2001, almagro, spain, 2001, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/jbidi/TGO01,
    author = {Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    editor = {Pablo de la Fuente and
    Adoraci{\'{o}} P{\'{e}}rez Alarc{\'{o}}n},
    title = {Metodolog{\'{\i}}a para el An{\'{a}}lisis Visual de la Evoluci{\'{o}}n
    de Conceptos en Bases de Datos Textuales},
    booktitle = {{II} Jornadas de Bibliotecas Digitales, {JBIDI} 2001, Almagro, Spain,
    2001},
    year = {2001},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/jbidi/TGO01.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

2000

  • Miguel Toro, Juan Antonio Ortega, and Rafael M. Gasca. Metodologias cualitativas aplicadas a los sistemas socioeconomicos y razonamiento con intervalos.presentacion. Inteligencia artif., 4(9):45-57, 2000.
    [Bibtex]
    @article{DBLP:journals/aepia/ToroOG00,
    author = {Miguel Toro and
    Juan Antonio Ortega and
    Rafael M. Gasca},
    title = {Metodologias cualitativas aplicadas a los sistemas Socioeconomicos
    y razonamiento con Intervalos.Presentacion},
    journal = {Inteligencia Artif.},
    volume = {4},
    number = {9},
    pages = {45--57},
    year = {2000},
    url = {http://journal.iberamia.org/index.php/ia/article/view/268/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/ToroOG00.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Juan Antonio Ortega, Rafael M. Gasca, and Miguel Toro. Obtención de patrones de comportamiento de modelos semicualitativos. Inteligencia artif., 4(9):66-75, 2000.
    [Bibtex]
    @article{DBLP:journals/aepia/OrtegaGT00,
    author = {Juan Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro},
    title = {Obtenci{\'{o}}n de patrones de Comportamiento de Modelos Semicualitativos},
    journal = {Inteligencia Artif.},
    volume = {4},
    number = {9},
    pages = {66--75},
    year = {2000},
    url = {http://journal.iberamia.org/index.php/ia/article/view/270/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/OrtegaGT00.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Aplicacion del razonamiento semicualitativo al modelado y analisis de sistemas económicos. Inteligencia artif., 4(9):85-97, 2000.
    [Bibtex]
    @article{DBLP:journals/aepia/GascaOT00,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis
    de Sistemas Econ{\'{o}}micos},
    journal = {Inteligencia Artif.},
    volume = {4},
    number = {9},
    pages = {85--97},
    year = {2000},
    url = {http://journal.iberamia.org/index.php/ia/article/view/272/article\%20\%281\%29.pdf},
    timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
    biburl = {https://dblp.org/rec/journals/aepia/GascaOT00.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

1998

  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Automatic semiqualitative analysis: application to a biometallurgical system. In José Mira and Angel P. del Pobil, editors, Methodology and tools in knowledge-based systems, 11th international conference on industrial and engineering applications of artificial intelligence and expert systems, iea/aie-98, castellón, spain, june 1-4, 1998, proceedings, volume I, volume 1415 of Lecture Notes in Computer Science, pages 321-328. Springer, 1998.
    [Bibtex]
    @inproceedings{DBLP:conf/ieaaie/GascaOT98,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    editor = {Jos{\'{e}} Mira and
    Angel P. del Pobil},
    title = {Automatic Semiqualitative Analysis: Application to a Biometallurgical
    System},
    booktitle = {Methodology and Tools in Knowledge-Based Systems, 11th International
    Conference on Industrial and Engineering Applications of Artificial
    Intelligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n, Spain,
    June 1-4, 1998, Proceedings, Volume {I}},
    series = {Lecture Notes in Computer Science},
    volume = {1415},
    pages = {321--328},
    publisher = {Springer},
    year = {1998},
    url = {https://doi.org/10.1007/3-540-64582-9\_762},
    doi = {10.1007/3-540-64582-9\_762},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/ieaaie/GascaOT98.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Juan Antonio Ortega, Rafael M. Gasca, and Miguel Toro. Including qualitative knowledge in semiqualitative dynamical systems. In José Mira and Angel P. del Pobil, editors, Methodology and tools in knowledge-based systems, 11th international conference on industrial and engineering applications of artificial intelligence and expert systems, iea/aie-98, castellón, spain, june 1-4, 1998, proceedings, volume I, volume 1415 of Lecture Notes in Computer Science, pages 329-335. Springer, 1998.
    [Bibtex]
    @inproceedings{DBLP:conf/ieaaie/OrtegaGT98,
    author = {Juan Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro},
    editor = {Jos{\'{e}} Mira and
    Angel P. del Pobil},
    title = {Including Qualitative Knowledge in Semiqualitative Dynamical Systems},
    booktitle = {Methodology and Tools in Knowledge-Based Systems, 11th International
    Conference on Industrial and Engineering Applications of Artificial
    Intelligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n, Spain,
    June 1-4, 1998, Proceedings, Volume {I}},
    series = {Lecture Notes in Computer Science},
    volume = {1415},
    pages = {329--335},
    publisher = {Springer},
    year = {1998},
    url = {https://doi.org/10.1007/3-540-64582-9\_763},
    doi = {10.1007/3-540-64582-9\_763},
    timestamp = {Fri, 22 Nov 2019 00:00:00 +0100},
    biburl = {https://dblp.org/rec/conf/ieaaie/OrtegaGT98.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }

IDEA Research Group | E.T.S Ingeniería Informática | Dpto. Lenguajes y Sistemas Informáticos | Avda. Reina Mercedes S/N, 41012 Sevilla (Spain)