Raúl Gutiérrez - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2022

2021

Work Accident Investigation Software According to the Legal Requirements for Ecuadorian CompaniesRaúl Gutiérrez, Karla Guerra. ahfe 2021: 403-410 [doi]

Confluence of Conditional Rewriting in Logic FormRaúl Gutiérrez, Salvador Lucas, Miguel Vítores. fsttcs 2021: [doi]

2020

2019

Automatic Generation of Logical Models with AGESRaúl Gutiérrez, Salvador Lucas. cade 2019: 287-299 [doi]

2018

Use of logical models for proving infeasibility in term rewritingSalvador Lucas, Raúl Gutiérrez. ipl, 136:90-95, 2018. [doi]

Automatic Synthesis of Logical Models for Order-Sorted First-Order TheoriesSalvador Lucas, Raúl Gutiérrez. JAR, 60(4):465-501, 2018. [doi]

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processorsSalvador Lucas, José Meseguer, Raúl Gutiérrez. jcss, 96:74-106, 2018. [doi]

2017

Variant-Based Decidable Satisfiability in Initial Algebras with PredicatesRaúl Gutiérrez, José Meseguer. LOPSTR 2018: 306-322 [doi]

2015

Function Calls at Frozen Positions in Termination of Context-Sensitive RewritingRaúl Gutiérrez, Salvador Lucas. BIRTHDAY 2015: 311-330 [doi]

Order-sorted equality enrichments modulo axiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. SCP, 99:235-261, 2015. [doi]

2014

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting SystemsSalvador Lucas, José Meseguer, Raúl Gutiérrez. LOPSTR 2015: 113-130 [doi]

2013

A Transformational Approach to Resource Analysis with Typed-NormsElvira Albert, Samir Genaim, Raúl Gutiérrez. LOPSTR 2014: 38-53 [doi]

2012

Order-Sorted Equality Enrichments Modulo AxiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. WRLA 2012: 162-181 [doi]

2010

Proving Termination Properties with mu-termBeatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset. amast 2011: 201-208 [doi]

Context-sensitive dependency pairsBeatriz Alarcón, Raúl Gutiérrez, Salvador Lucas. iandc, 208(8):922-968, 2010. [doi]

Proving Termination in the Context-Sensitive Dependency Pair FrameworkRaúl Gutiérrez, Salvador Lucas. WRLA 2010: 18-34 [doi]

2008

Improving Context-Sensitive Dependency PairsBeatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann. lpar 2008: 636-651 [doi]

Usable Rules for Context-Sensitive Rewrite SystemsRaúl Gutiérrez, Salvador Lucas, Xavier Urbain. RTA 2008: 126-141 [doi]

2007

Proving Termination of Context-Sensitive Rewriting with MU-TERMBeatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas. ENTCS, 188:105-115, 2007. [doi]

Improving the Context-sensitive Dependency GraphBeatriz Alarcón, Raúl Gutiérrez, Salvador Lucas. ENTCS, 188:91-103, 2007. [doi]

2006

Context-Sensitive Dependency PairsBeatriz Alarcón, Raúl Gutiérrez, Salvador Lucas. fsttcs 2006: 297-308 [doi]

1995

IN and beyond: two approaches to the evolution of INsRaúl Gutiérrez, Jørgen Nørgaard, Kjell Randsted. comcom, 18(11):816-824, 1995. [doi]

Sign in or sign up to see more results.

runs on WebDSL