![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Raúl Gutiérrez
Person information
Refine list
![note](https://dblp.uni-trier.de./img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i3]Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
Proving Confluence in the Confluence Framework with CONFident. CoRR abs/2306.16330 (2023) - 2022
- [j10]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: 102-137 (2022) - [j9]Salvador Lucas
, Miguel Vítores, Raúl Gutiérrez:
Proving and disproving confluence of context-sensitive rewriting. J. Log. Algebraic Methods Program. 126: 100749 (2022) - [c19]Raúl Gutiérrez
, Miguel Vítores, Salvador Lucas
:
Confluence Framework: Proving Confluence with CONFident. LOPSTR 2022: 24-43 - 2021
- [c18]Raúl Gutiérrez, Karla Guerra:
Work Accident Investigation Software According to the Legal Requirements for Ecuadorian Companies. AHFE (13) 2021: 403-410 - [c17]Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
Confluence of Conditional Rewriting in Logic Form. FSTTCS 2021: 44:1-44:18 - 2020
- [j8]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): 1611-1662 (2020) - [j7]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): 310-357 (2020) - [c16]Raúl Gutiérrez
, Salvador Lucas
:
Automatically Proving and Disproving Feasibility Conditions. IJCAR (2) 2020: 416-435 - [c15]Raúl Gutiérrez
, Salvador Lucas
:
mu-term: Verify Termination Properties Automatically (System Description). IJCAR (2) 2020: 436-447 - [c14]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: 230-250
2010 – 2019
- 2019
- [c13]Raúl Gutiérrez
, Salvador Lucas
:
Automatic Generation of Logical Models with AGES. CADE 2019: 287-299 - [i2]Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. CoRR abs/1908.02078 (2019) - 2018
- [j6]Salvador Lucas
, Raúl Gutiérrez
:
Use of logical models for proving infeasibility in term rewriting. Inf. Process. Lett. 136: 90-95 (2018) - [j5]Salvador Lucas
, Raúl Gutiérrez
:
Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. J. Autom. Reason. 60(4): 465-501 (2018) - [j4]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: 74-106 (2018) - 2017
- [c12]Raúl Gutiérrez
, José Meseguer:
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. LOPSTR 2017: 306-322 - [i1]Raúl Gutiérrez, José Meseguer:
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. CoRR abs/1709.05203 (2017) - 2015
- [j3]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-sorted equality enrichments modulo axioms. Sci. Comput. Program. 99: 235-261 (2015) - [c11]Raúl Gutiérrez
, Salvador Lucas
:
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. Logic, Rewriting, and Concurrency 2015: 311-330 - 2014
- [c10]Salvador Lucas
, José Meseguer, Raúl Gutiérrez
:
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. LOPSTR 2014: 113-130 - 2013
- [c9]Elvira Albert, Samir Genaim
, Raúl Gutiérrez
:
A Transformational Approach to Resource Analysis with Typed-Norms. LOPSTR 2013: 38-53 - 2012
- [c8]Raúl Gutiérrez
, José Meseguer, Camilo Rocha
:
Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181 - 2010
- [j2]Beatriz Alarcón, Raúl Gutiérrez
, Salvador Lucas
:
Context-sensitive dependency pairs. Inf. Comput. 208(8): 922-968 (2010) - [c7]Beatriz Alarcón, Raúl Gutiérrez
, Salvador Lucas
, Rafael Navarro-Marset:
Proving Termination Properties with mu-term. AMAST 2010: 201-208 - [c6]Raúl Gutiérrez
, Salvador Lucas
:
Proving Termination in the Context-Sensitive Dependency Pair Framework. WRLA 2010: 18-34
2000 – 2009
- 2008
- [c5]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: 636-651 - [c4]Raúl Gutiérrez
, Salvador Lucas
, Xavier Urbain:
Usable Rules for Context-Sensitive Rewrite Systems. RTA 2008: 126-141 - 2006
- [c3]Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas
:
Context-Sensitive Dependency Pairs. FSTTCS 2006: 297-308 - [c2]Beatriz Alarcón, Raúl Gutiérrez
, Salvador Lucas
:
Improving the Context-sensitive Dependency Graph. PROLE 2006: 91-103 - [c1]Beatriz Alarcón, Raúl Gutiérrez
, José Iborra, Salvador Lucas
:
Proving Termination of Context-Sensitive Rewriting with MU-TERM. PROLE 2006: 105-115
1990 – 1999
- 1995
- [j1]Raúl Gutiérrez, Jørgen Nørgaard, Kjell Randsted:
IN and beyond: two approaches to the evolution of INs. Comput. Commun. 18(11): 816-824 (1995)
Coauthor Index
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint