BibTeX records: Rafael Ceballos

download as .bib file

@article{DBLP:journals/access/Ramos-Gutierrez21,
  author       = {Bel{\'{e}}n Ramos{-}Guti{\'{e}}rrez and
                  Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez and
                  Diana Borrego and
                  Rafael Ceballos and
                  Rafael M. Gasca and
                  Antonio Barea},
  title        = {Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions
                  in Aircraft Manufacturing},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {42707--42723},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3066253},
  doi          = {10.1109/ACCESS.2021.3066253},
  timestamp    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/Ramos-Gutierrez21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/CeballosBLG21,
  author       = {Rafael Ceballos and
                  Diana Borrego and
                  Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez and
                  Rafael M. Gasca},
  title        = {Multi-criteria decision analysis for non-conformance diagnosis: {A}
                  priority-based strategy combining data and business rules},
  journal      = {Expert Syst. Appl.},
  volume       = {183},
  pages        = {115212},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.eswa.2021.115212},
  doi          = {10.1016/J.ESWA.2021.115212},
  timestamp    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/CeballosBLG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/CeballosBLG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/BorregoGGC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dke/LopezCGV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/HidalgoCG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/securware/HidalgoCGV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/securware/HidalgoCGV08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/CeballosGGV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/PozoCG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caepia/GascaVLC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aepia/CeballosLGV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/sigsoft/CeballosGB05,
  author       = {Rafael Ceballos and
                  Rafael Martinez Gasca and
                  Diana Borrego},
  editor       = {Gary T. Leavens},
  title        = {Constraint satisfaction techniques for diagnosing errors in design
                  by contract software},
  booktitle    = {Proceedings of the 2005 Conference on Specification and Verification
                  of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {11},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1123058.1123070},
  doi          = {10.1145/1123058.1123070},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CeballosGB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdb/GomezCGV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iberamia/Gomez-LopezCGP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aepia/CeballosVGG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aepia/GomezGVC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jisbd/GomezGVC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics