On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges.

Raúl Gutiérrez

Raúl Gutiérrez Víctor Rampérez Horacio Paggi Juan Alfonso Lara Javier Soriano 0001 On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges. 2025 October abs/2510.23230 CoRR https://doi.org/10.48550/arXiv.2510.23230 db/journals/corr/corr2510.html#abs-2510-23230 streams/journals/corr

Raúl Gutiérrez Salvador Lucas Miguel Vítores Proving Confluence in the Confluence Framework with CONFident. 167-217 2024 192 Fundam. Informaticae 2 https://fi.episciences.org/14128 https://doi.org/10.3233/FI-242192 db/journals/fuin/fuin192.html#GutierrezLV24 streams/journals/fuin

Raúl Gutiérrez Salvador Lucas Miguel Vítores Proving Confluence in the Confluence Framework with CONFident. 2023 abs/2306.16330 CoRR https://doi.org/10.48550/arXiv.2306.16330 db/journals/corr/corr2306.html#abs-2306-16330

Raúl Gutiérrez Víctor Rampérez Horacio Paggi Juan Alfonso Lara Javier Soriano 0001 On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges. 102-137 2022 78 Inf. Fusion https://doi.org/10.1016/j.inffus.2021.09.017 db/journals/inffus/inffus78.html#GutierrezRPLS22

Salvador Lucas Miguel Vítores Raúl Gutiérrez Proving and disproving confluence of context-sensitive rewriting. 100749 2022 126 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2022.100749 db/journals/jlap/jlap126.html#LucasVG22

Raúl Gutiérrez Miguel Vítores Salvador Lucas Confluence Framework: Proving Confluence with CONFident. 24-43 2022 LOPSTR https://doi.org/10.1007/978-3-031-16767-6_2 conf/lopstr/2022 db/conf/lopstr/lopstr2022.html#GutierrezVL22 Raúl Gutiérrez Karla Guerra Work Accident Investigation Software According to the Legal Requirements for Ecuadorian Companies. 403-410 2021 AHFE (13) https://doi.org/10.1007/978-3-030-80624-8_50 conf/ahfe/2021-13 db/conf/ahfe/ahfe2021-13.html#GutierrezG21 Raúl Gutiérrez Salvador Lucas Miguel Vítores Confluence of Conditional Rewriting in Logic Form. 44:1-44:18 2021 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2021.44 conf/fsttcs/2021 db/conf/fsttcs/fsttcs2021.html#GutierrezLV21

Salvador Lucas José Meseguer 0001 Raúl Gutiérrez The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques. 1611-1662 2020 64 J. Autom. Reason. 8 https://doi.org/10.1007/s10817-020-09542-3 https://www.wikidata.org/entity/Q126346956 db/journals/jar/jar64.html#LucasMG20

Elvira Albert Samir Genaim Raúl Gutiérrez Enrique Martin-Martin A Transformational Approach to Resource Analysis with Typed-norms Inference. 310-357 2020 20 Theory Pract. Log. Program. 3 https://doi.org/10.1017/S1471068419000401 https://www.wikidata.org/entity/Q127320625 db/journals/tplp/tplp20.html#AlbertGGM20

Raúl Gutiérrez Salvador Lucas Automatically Proving and Disproving Feasibility Conditions. 416-435 2020 IJCAR (2) https://doi.org/10.1007/978-3-030-51054-1_27 conf/cade/2020-2 db/conf/cade/ijcar2020-2.html#GutierrezL20 Raúl Gutiérrez Salvador Lucas mu-term: Verify Termination Properties Automatically (System Description). 436-447 2020 IJCAR (2) https://doi.org/10.1007/978-3-030-51054-1_28 conf/cade/2020-2 db/conf/cade/ijcar2020-2.html#GutierrezL20a Damián Aparicio-Sánchez Santiago Escobar 0001 Raúl Gutiérrez Julia Sapiña An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. 230-250 2020 ESORICS (2) https://doi.org/10.1007/978-3-030-59013-0_12 conf/esorics/2020-2 db/conf/esorics/esorics2020-2.html#Aparicio-Sanchez20 Raúl Gutiérrez Salvador Lucas Automatic Generation of Logical Models with AGES. 287-299 2019 CADE https://doi.org/10.1007/978-3-030-29436-6_17 conf/cade/2019 db/conf/cade/cade2019.html#GutierrezL19

Elvira Albert Samir Genaim Raúl Gutiérrez Enrique Martin-Martin A Transformational Approach to Resource Analysis with Typed-norms Inference. 2019 abs/1908.02078 CoRR http://arxiv.org/abs/1908.02078 db/journals/corr/corr1908.html#abs-1908-02078

Salvador Lucas Raúl Gutiérrez Use of logical models for proving infeasibility in term rewriting. 90-95 2018 136 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2018.04.002 db/journals/ipl/ipl136.html#LucasG18

Salvador Lucas Raúl Gutiérrez Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. 465-501 2018 60 J. Autom. Reason. 4 https://doi.org/10.1007/s10817-017-9419-3 db/journals/jar/jar60.html#LucasG18

Salvador Lucas José Meseguer 0001 Raúl Gutiérrez The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors. 74-106 2018 96 J. Comput. Syst. Sci. https://doi.org/10.1016/j.jcss.2018.04.002 https://www.wikidata.org/entity/Q129912577 db/journals/jcss/jcss96.html#LucasMG18

Raúl Gutiérrez José Meseguer 0001 Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. 306-322 2017 LOPSTR https://doi.org/10.1007/978-3-319-94460-9_18 conf/lopstr/2017 db/conf/lopstr/lopstr2017.html#GutierrezM17

Raúl Gutiérrez José Meseguer 0001 Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. 2017 abs/1709.05203 CoRR http://arxiv.org/abs/1709.05203 db/journals/corr/corr1709.html#abs-1709-05203

Raúl Gutiérrez José Meseguer 0001 Camilo Rocha Order-sorted equality enrichments modulo axioms. 235-261 2015 99 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.07.003 db/journals/scp/scp99.html#GutierrezMR15

Raúl Gutiérrez Salvador Lucas Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. 311-330 2015 Logic, Rewriting, and Concurrency https://doi.org/10.1007/978-3-319-23165-5_15 conf/birthday/2015meseguer db/conf/birthday/meseguer2015.html#GutierrezL15 Salvador Lucas José Meseguer 0001 Raúl Gutiérrez Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. 113-130 2014 LOPSTR https://doi.org/10.1007/978-3-319-17822-6_7 conf/lopstr/2014 db/conf/lopstr/lopstr2014.html#LucasMG14 Elvira Albert Samir Genaim Raúl Gutiérrez A Transformational Approach to Resource Analysis with Typed-Norms. 38-53 2013 LOPSTR https://doi.org/10.1007/978-3-319-14125-1_3 conf/lopstr/2013 db/conf/lopstr/lopstr2013.html#AlbertGG13 Raúl Gutiérrez José Meseguer 0001 Camilo Rocha Order-Sorted Equality Enrichments Modulo Axioms. 162-181 2012 WRLA https://doi.org/10.1007/978-3-642-34005-5_9 conf/wrla/2012 db/conf/wrla/wrla2012.html#GutierrezMR12

Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Context-sensitive dependency pairs. 922-968 2010 208 Inf. Comput. 8 https://doi.org/10.1016/j.ic.2010.03.003 db/journals/iandc/iandc208.html#AlarconGL10

Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Rafael Navarro-Marset Proving Termination Properties with mu-term. 201-208 2010 AMAST https://doi.org/10.1007/978-3-642-17796-5_12 conf/amast/2010 db/conf/amast/amast2010.html#AlarconGLN10 Raúl Gutiérrez Salvador Lucas Proving Termination in the Context-Sensitive Dependency Pair Framework. 18-34 2010 WRLA https://doi.org/10.1007/978-3-642-16310-4_3 conf/wrla/2010 db/conf/wrla/wrla2010.html#GutierrezL10 Beatriz Alarcón Fabian Emmes Carsten Fuhs Jürgen Giesl Raúl Gutiérrez Salvador Lucas Peter Schneider-Kamp René Thiemann Improving Context-Sensitive Dependency Pairs. 636-651 2008 LPAR https://doi.org/10.1007/978-3-540-89439-1_44 conf/lpar/2008 db/conf/lpar/lpar2008.html#AlarconEFGGLST08 Raúl Gutiérrez Salvador Lucas Xavier Urbain Usable Rules for Context-Sensitive Rewrite Systems. 126-141 2008 RTA https://doi.org/10.1007/978-3-540-70590-1_9 conf/rta/2008 db/conf/rta/rta2008.html#GutierrezLU08 Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Context-Sensitive Dependency Pairs. 297-308 2006 conf/fsttcs/2006 FSTTCS https://doi.org/10.1007/11944836_28 db/conf/fsttcs/fsttcs2006.html#AlarconGL06 Beatriz Alarcón Raúl Gutiérrez Salvador Lucas Improving the Context-sensitive Dependency Graph. 91-103 2006 conf/prole/2006 PROLE https://doi.org/10.1016/j.entcs.2007.05.040 db/journals/entcs/entcs188.html#AlarconGL07 Beatriz Alarcón Raúl Gutiérrez José Iborra Salvador Lucas Proving Termination of Context-Sensitive Rewriting with MU-TERM. 105-115 2006 conf/prole/2006 PROLE https://doi.org/10.1016/j.entcs.2007.05.041 db/journals/entcs/entcs188.html#AlarconGIL07

Raúl Gutiérrez Jørgen Nørgaard Kjell Randsted IN and beyond: two approaches to the evolution of INs. 816-824 1995 18 Comput. Commun. 11 https://doi.org/10.1016/0140-3664(96)83801-1 db/journals/comcom/comcom18.html#GutierrezNR95

Beatriz Alarcón Elvira Albert Damián Aparicio-Sánchez Fabian Emmes Santiago Escobar 0001 Carsten Fuhs Samir Genaim Jürgen Giesl Karla Guerra José Iborra Juan Alfonso Lara Salvador Lucas Enrique Martin-Martin José Meseguer 0001 Rafael Navarro-Marset Jørgen Nørgaard Horacio Paggi Víctor Rampérez Kjell Randsted Camilo Rocha Julia Sapiña Peter Schneider-Kamp Javier Soriano 0001 René Thiemann Xavier Urbain Miguel Vítores