Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 56265072000
Loop profile: 1033853
Scopus Author ID: 57327263300

Activities

Collapse all

Employment (1)

Universidad Politécnica de Madrid: Alcoy, Alicante, ES

2023-11-22 to present | Assistant Professor (Ayudante Doctor) (DSIC)
Employment
Source: Self-asserted source
Raúl Gutiérrez

Education and qualifications (1)

Universitat Politècnica de València: Valencia, Valenciana, ES

2006-10-19 to 2010-10-15 | PhD (DSIC)
Education
Source: Self-asserted source
Raúl Gutiérrez

Works (41)

Proving Confluence in the Confluence Framework with CONFident

Fundamenta Informaticae
2024-09-12 | Journal article
DOI: 10.3233/fi-242192
Part of ISSN: 0169-2968
Part of ISSN: 1875-8681
Contributors: Raúl Gutiérrez; Salvador Lucas; Miguel Vítores
Source: Self-asserted source
Raúl Gutiérrez

Confluence Framework: Proving Confluence with CONFident

2022 | Book chapter
DOI: 10.1007/978-3-031-16767-6_2
Contributors: Raúl Gutiérrez; Miguel Vítores; Salvador Lucas
Source: check_circle
Crossref

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

Information Fusion
2022 | Journal article
DOI: 10.1016/j.inffus.2021.09.017
EID:

2-s2.0-85118750648

Part of ISSN: 15662535
Contributors: Gutiérrez, R.; Rampérez, V.; Paggi, H.; Lara, J.A.; Soriano, J.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

A distributed soft sensors model for managing vague and uncertain multimedia communications using information fusion techniques

Alexandria Engineering Journal
2021 | Journal article
DOI: 10.1016/j.aej.2021.10.060
EID:

2-s2.0-85119175867

Part of ISSN: 11100168
Contributors: Paggi, H.; Soriano, J.; Rampérez, V.; Gutiérrez, R.; Lara, J.A.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

An optimizing protocol transformation for constructor finite variant theories in maude-npa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-59013-0_12
EID:

2-s2.0-85091555929

Part of ISSN: 16113349 03029743
Contributors: Aparicio-Sánchez, D.; Escobar, S.; Gutiérrez, R.; Sapiña, J.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Automatically Proving and Disproving Feasibility Conditions

2020 | Book chapter
DOI: 10.1007/978-3-030-51054-1_27
Contributors: Raúl Gutiérrez; Salvador Lucas
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

mu-term: Verify Termination Properties Automatically (System Description)

2020 | Book chapter
DOI: 10.1007/978-3-030-51054-1_28
Contributors: Raúl Gutiérrez; Salvador Lucas
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Journal of Automated Reasoning
2020 | Journal article
DOI: 10.1007/s10817-020-09542-3
EID:

2-s2.0-85078600750

Part of ISSN: 15730670 01687433
Contributors: Lucas, S.; Meseguer, J.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

A transformational approach to resource analysis with typed-norms inference

arXiv
2019 | Other
EID:

2-s2.0-85094687614

Part of ISSN: 23318422
Contributors: Albert, E.; Genaim, S.; Gutiérrez, R.; Martin-Martin, E.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Automatic Generation of Logical Models with AGES

2019 | Book chapter
DOI: 10.1007/978-3-030-29436-6_17
Contributors: Raúl Gutiérrez; Salvador Lucas
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A Transformational Approach to Resource Analysis with Typed-norms Inference

Theory and Practice of Logic Programming
2019-09-05 | Journal article
DOI: 10.1017/s1471068419000401
Part of ISSN: 1471-0684
Part of ISSN: 1475-3081
Source: Self-asserted source
Raúl Gutiérrez
grade
Preferred source (of 2)‎

Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories

Journal of Automated Reasoning
2018 | Journal article
DOI: 10.1007/s10817-017-9419-3
EID:

2-s2.0-85023160889
Contributors: Lucas, S.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Mid- infrared uncooled sensor for the identification of pure fuel, additives and adulterants in gasoline

Fuel Processing Technology
2018 | Journal article
DOI: 10.1016/j.fuproc.2017.09.018
EID:

2-s2.0-85037352859

Part of ISSN: 03783820
Contributors: Maldonado, M.; Barreiro, P.; Gutiérrez, R.; Vergara, G.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Journal of Computer and System Sciences
2018 | Journal article
DOI: 10.1016/j.jcss.2018.04.002
EID:

2-s2.0-85046169934

Part of ISSN: 10902724 00220000
Contributors: Lucas, S.; Meseguer, J.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Use of logical models for proving infeasibility in term rewriting

Information Processing Letters
2018 | Journal article
DOI: 10.1016/j.ipl.2018.04.002
EID:

2-s2.0-85045730074

Part of ISSN: 00200190
Contributors: Lucas, S.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

2018 | Book chapter
DOI: 10.1007/978-3-319-94460-9_18
Contributors: Raúl Gutiérrez; José Meseguer
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Variant-based decidable satisfiability in initial algebras with predicates

arXiv
2017 | Other
EID:

2-s2.0-85095049789

Part of ISSN: 23318422
Contributors: Gutiérrez, R.; Meseguer, J.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Extending the 2D dependency pair framework for conditional term rewriting systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-17822-6_7
EID:

2-s2.0-84942540621
Contributors: Lucas, S.; Meseguer, J.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Function calls at frozen positions in termination of context-sensitive rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-23165-5_15
EID:

2-s2.0-84960420277
Contributors: Gutièrrez, R.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Gas and flame detection and identification using uncooled MWIR imaging sensors

Proceedings of SPIE - The International Society for Optical Engineering
2015 | Conference paper
DOI: 10.1117/12.2177016
EID:

2-s2.0-84946074391

Part of ISSN: 1996756X 0277786X
Contributors: Linares, R.; Vergara, G.; Gutiérrez, R.; Fernández, C.; Villamayor, V.; Gómez, L.; González-Camino, M.; Baldasano, A.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Laser beam welding quality monitoring system based in high-speed (10 kHz) uncooled MWIR imaging sensors

Proceedings of SPIE - The International Society for Optical Engineering
2015 | Conference paper
DOI: 10.1117/12.2176964
EID:

2-s2.0-84946022593

Part of ISSN: 1996756X 0277786X
Contributors: Linares, R.; Vergara, G.; Gutiérrez, R.; Fernández, C.; Villamayor, V.; Gómez, L.; González-Camino, M.; Baldasano, A.; Castro, G.; Arias, R. et al.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Order-sorted equality enrichments modulo axioms

Science of Computer Programming
2015 | Journal article
DOI: 10.1016/j.scico.2014.07.003
EID:

2-s2.0-84919875540
Contributors: Gutiérrez, R.; Meseguer, J.; Rocha, C.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

A transformational approach to resource analysis with typed-norms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-14125-1_3
EID:

2-s2.0-84927658706
Contributors: Albert, E.; Genaim, S.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Monitoring of industrial welding processes using high-speed uncooled MWIR imaging sensors

Proceedings of SPIE - The International Society for Optical Engineering
2014 | Conference paper
DOI: 10.1117/12.2053259
EID:

2-s2.0-84907328427

Part of ISSN: 1996756X 0277786X
Contributors: Linares, R.; Vergara, G.; Gutiérrez, R.; Fernández, C.; Montojo, M.T.; Villamayor, V.; Gómez, L.; González, M.; Baldasano, A.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Technology of uncooled fast polycrystalline PbSe focal plane arrays in systems for muzzle flash detection

Proceedings of SPIE - The International Society for Optical Engineering
2014 | Conference paper
DOI: 10.1117/12.2053284
EID:

2-s2.0-84904178253

Part of ISSN: 1996756X 0277786X
Contributors: Kastek, M.; PiÄtkowski, T.; Polakowski, H.; Barela, J.; Firmanty, K.; Trzaskawka, P.; Vergara, G.; Linares, R.; Gutierrez, R.; Fernandez, C. et al.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Order-sorted equality enrichments modulo axioms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-34005-5_9
EID:

2-s2.0-84868330084
Contributors: Gutiérrez, R.; Meseguer, J.; Rocha, C.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Proving termination properties with mu-term

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-17796-5_12
EID:

2-s2.0-79551524337
Contributors: Alarcón, B.; Gutiérrez, R.; Lucas, S.; Navarro-Marset, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Context-sensitive dependency pairs

Information and Computation
2010 | Journal article
DOI: 10.1016/j.ic.2010.03.003
EID:

2-s2.0-78349242223
Contributors: Alarcón, B.; Gutiérrez, R.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Proving termination in the context-sensitive dependency pair framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-16310-4_3
EID:

2-s2.0-78349235779
Contributors: Gutiérrez, R.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Fast uncooled low density FPA of VPD PbSe

Proceedings of SPIE - The International Society for Optical Engineering
2009 | Conference paper
DOI: 10.1117/12.819092
EID:

2-s2.0-69949182458

Part of ISSN: 0277786X
Contributors: Vergara, G.; Gutiérrez, R.; Gómez, L.J.; Villamayor, V.; Álvarez, M.; Torquemada, M.C.; Rodrigo, M.T.; Verdú, M.; Sánchez, F.J.; Almazán, R.M. et al.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Design of an intelligent front-end signal conditioning circuit for IR sensors

IEEE Transactions on Nuclear Science
2008 | Journal article
DOI: 10.1109/TNS.2007.913468
EID:

2-s2.0-39049090067

Part of ISSN: 00189499
Contributors: De Arcas, G.; Ruiz, M.; López, J.M.; Gutierrez, R.; Villamayor, V.; Gómez, L.; Montojo, Ma.T.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Generalized methodology for the analysis and design of multiphase converters with integrated magnetics

PESC Record - IEEE Annual Power Electronics Specialists Conference
2008 | Conference paper
DOI: 10.1109/PESC.2008.4592347
EID:

2-s2.0-52349099122

Part of ISSN: 02759306
Contributors: Laguna, L.; Prieto, R.; Garcia, O.; Gutierrez, R.; Cobos, J.A.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Improving context-sensitive dependency Pairs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-89439-1_44
EID:

2-s2.0-58049125849
Contributors: Alarcón, B.; Emmes, F.; Fuhs, C.; Giesl, J.; Gutiérrez, R.; Lucas, S.; Schneider-Kamp, P.; Thiemann, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Usable rules for context-sensitive rewrite systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-70590-1_9
EID:

2-s2.0-48949091565
Contributors: Gutiérrez, R.; Lucas, S.; Urbain, X.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Design of an intelligent front-end signal conditioning circuit for IR sensors

2007 15th IEEE-NPSS Real-Time Conference, RT
2007 | Conference paper
DOI: 10.1109/RTC.2007.4382789
EID:

2-s2.0-50249140031
Contributors: De Arcas, G.; Ruiz, M.; López, J.M.; Gutierrez, R.; Villamayor, V.; Gómez, L.; Montojo, M.T.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Improving the Context-sensitive Dependency Graph

Electronic Notes in Theoretical Computer Science
2007 | Journal article
DOI: 10.1016/j.entcs.2007.05.040
EID:

2-s2.0-34447255427
Contributors: Alarcón, B.; Gutiérrez, R.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Monolithic uncooled IR detectors of polycrystalline PbSe. A real alternative

Proceedings of SPIE - The International Society for Optical Engineering
2007 | Conference paper
DOI: 10.1117/12.719189
EID:

2-s2.0-35649020300

Part of ISSN: 0277786X
Contributors: Vergara, G.; Gómez, L.J.; Villamayor, V.; Álvarez, M.; Torquemada, M.C.; Rodrigo, M.T.; Verdú, M.; Sánchez, F.J.; Almazán, R.M.; Plaza, J. et al.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Proving Termination of Context-Sensitive Rewriting with MU-TERM

Electronic Notes in Theoretical Computer Science
2007 | Journal article
DOI: 10.1016/j.entcs.2007.05.041
EID:

2-s2.0-34447275698
Contributors: Alarcón, B.; Gutiérrez, R.; Iborra, J.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Context-sensitive dependency pairs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-85025820092
Contributors: Alarcón, B.; Gutiérrez, R.; Lucas, S.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

Genetic algorithms using parallelism and FPGAs: The TSP as case study

Proceedings of the International Conference on Parallel Processing Workshops
2005 | Conference paper
DOI: 10.1109/ICPPW.2005.36
EID:

2-s2.0-33745215833
Contributors: Vega-Rodríguez, M.A.; Gutiérrez-Gil, R.; Ávila-Román, J.M.; Sánchez-Pérez, J.M.; Gómez-Pulido, J.A.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier

RoboTenis: Design, dynamic modeling and preliminary control

IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM
2005 | Conference paper
EID:

2-s2.0-27644523290
Contributors: Ángel, L.; Sebastián, J.M.; Saltaren, R.; Aracil, R.; Gutiérrez, R.
Source: Self-asserted source
Raúl Gutiérrez via Scopus - Elsevier
How many people are using ORCID?