Raúl Gutiérrez

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 20

Top Topics

Rewrite Systems

Top Venues

J. Autom. Reason.

Publications

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