Raúl Gutiérrez

34 papers A 1B 1C 4Journal 15Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges.
CoRR
Raúl Gutiérrez, Víctor Rampérez, Horacio Paggi, Juan Alfonso Lara, Javier Soriano
2024 J jnl
Proving Confluence in the Confluence Framework with CONFident.
Fundam. Informaticae
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
2023 J jnl
Proving Confluence in the Confluence Framework with CONFident.
CoRR
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
2022 C conf
Confluence Framework: Proving Confluence with CONFident.
LOPSTR
Raúl Gutiérrez, Miguel Vítores, Salvador Lucas
2022 J jnl
On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges.
Inf. Fusion
Raúl Gutiérrez, Víctor Rampérez, Horacio Paggi, Juan Alfonso Lara, Javier Soriano
2022 J jnl
Proving and disproving confluence of context-sensitive rewriting.
J. Log. Algebraic Methods Program.
Salvador Lucas, Miguel Vítores, Raúl Gutiérrez
2021 — conf
Confluence of Conditional Rewriting in Logic Form.
FSTTCS
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
2021 — conf
Work Accident Investigation Software According to the Legal Requirements for Ecuadorian Companies.
AHFE (13)
Raúl Gutiérrez, Karla Guerra
2020 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
Theory Pract. Log. Program.
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2020 — conf
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
ESORICS (2)
Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña
2020 — conf
Automatically Proving and Disproving Feasibility Conditions.
IJCAR (2)
Raúl Gutiérrez, Salvador Lucas
2020 J jnl
The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques.
J. Autom. Reason.
Salvador Lucas, José Meseguer, Raúl Gutiérrez
2020 — conf
mu-term: Verify Termination Properties Automatically (System Description).
IJCAR (2)
Raúl Gutiérrez, Salvador Lucas
2019 J jnl
A Transformational Approach to Resource Analysis with Typed-norms Inference.
CoRR
Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019 A conf
Automatic Generation of Logical Models with AGES.
CADE
Raúl Gutiérrez, Salvador Lucas
2018 J jnl
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.
J. Autom. Reason.
Salvador Lucas, Raúl Gutiérrez
2018 J jnl
The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors.
J. Comput. Syst. Sci.
Salvador Lucas, José Meseguer, Raúl Gutiérrez
2018 J jnl
Use of logical models for proving infeasibility in term rewriting.
Inf. Process. Lett.
Salvador Lucas, Raúl Gutiérrez
2017 C conf
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.
LOPSTR
Raúl Gutiérrez, José Meseguer
2017 J jnl
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.
CoRR
Raúl Gutiérrez, José Meseguer
2015 — conf
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting.
Logic, Rewriting, and Concurrency
Raúl Gutiérrez, Salvador Lucas
2015 J jnl
Order-sorted equality enrichments modulo axioms.
Sci. Comput. Program.
Raúl Gutiérrez, José Meseguer, Camilo Rocha
2014 C conf
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.
LOPSTR
Salvador Lucas, José Meseguer, Raúl Gutiérrez
2013 C conf
A Transformational Approach to Resource Analysis with Typed-Norms.
LOPSTR
Elvira Albert, Samir Genaim, Raúl Gutiérrez
2012 — conf
Order-Sorted Equality Enrichments Modulo Axioms.
WRLA
Raúl Gutiérrez, José Meseguer, Camilo Rocha
2010 J jnl
Context-sensitive dependency pairs.
Inf. Comput.
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
2010 — conf
Proving Termination Properties with mu-term.
AMAST
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
2010 — conf
Proving Termination in the Context-Sensitive Dependency Pair Framework.
WRLA
Raúl Gutiérrez, Salvador Lucas
2008 B conf
Improving Context-Sensitive Dependency Pairs.
LPAR
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann
2008 — conf
Usable Rules for Context-Sensitive Rewrite Systems.
RTA
Raúl Gutiérrez, Salvador Lucas, Xavier Urbain
2006 — conf
Context-Sensitive Dependency Pairs.
FSTTCS
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
2006 — conf
Improving the Context-sensitive Dependency Graph.
PROLE
Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
2006 — conf
Proving Termination of Context-Sensitive Rewriting with MU-TERM.
PROLE
Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
1995 J jnl
IN and beyond: two approaches to the evolution of INs.
Comput. Commun.
Raúl Gutiérrez, Jørgen Nørgaard, Kjell Randsted