RDF/XML JSON-LD N3/Turtle RDF/JSON

Gutierrez Gil, Raul r.gutierrez@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

Proving and disproving confluence of context-sensitive rewriting

  • Lucas, S
  • Vitores, M
  • Gutierrez, R

Journal Of Logical And Algebraic Methods In Programming - 1/1/2022

10.1016/j.jlamp.2022.100749 Ver en origen

  • ISSN 15678326

Confluence Framework: Proving Confluence with CONFident

  • Gutiérrez R
  • Vítores M
  • Lucas S

Lecture Notes In Computer Science (p. 24-43) - 1/1/2022

10.1007/978-3-031-16767-6_2 Ver en origen

  • ISSN 03029743

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

  • S. Lucas, J. Meseguer, R.Gutiérrez

Journal Of Automated Reasoning (p. 1611-1662) - 1/12/2020

  • ISSN 15730670
  • iMarina

A Transformational Approach to Resource Analysis with Typed-norms Inference

  • Albert E
  • Genaim SAMIR
  • Gutiérrez R
  • Martin-Martin E

Theory And Practice Of Logic Programming (p. 310-357) - 1/1/2020

10.1017/s1471068419000401 Ver en origen

  • ISSN 14710684

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Confluence of Conditional Rewriting in Logic Form

  • Gutiérrez R
  • Lucas S
  • Vítores M

Leibniz International Proceedings In Informatics, Lipics - 1/1/2021

10.4230/lipics.fsttcs.2021.44 Ver en origen

  • ISSN 18688969

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

  • Aparicio-Sánchez D
  • Escobar S
  • Gutiérrez R
  • Sapiña J

Lecture Notes In Computer Science (p. 230-250) - 1/1/2020

10.1007/978-3-030-59013-0_12 Ver en origen

  • ISSN 03029743

Automatically Proving and Disproving Feasibility Conditions

  • Gutiérrez R, Lucas S.

Lecture Notes In Computer Science (p. 416-435) - 1/1/2020

10.1007/978-3-030-51054-1_27 Ver en origen

  • ISSN 03029743

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

  • Gutiérrez R, Lucas S.

Lecture Notes In Computer Science (p. 436-447) - 1/1/2020

10.1007/978-3-030-51054-1_28 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Métodos formales escalables para aplicaciones reales

  • Gutiérrez Gil, Raúl (Miembro del equipo de trabajo)
  • JIMENEZ GAÑAN, MIGUEL (Participante)
  • SORIANO CAMINO, FRANCISCO JAVIER (Participante)
  • ROMAN DIEZ, GUILLERMO (Investigador principal (IP))
  • ZANARDINI, DAMIANO (Participante)

Ejecución: 01-09-2022 - 31-08-2025

Tipo: Nacional

  • iMarina

I+D+I EN PLATAFORMA TECNOLÓGICA ABIERTA PARA DESPLIEGUE DE SOLUCIONES SMART-X

  • Gutiérrez Gil, Raúl (Colaborador/a)
  • RAMPEREZ MARTIN, VICTOR (Colaborador/a)
  • JIMENEZ GAÑAN, MIGUEL (Colaborador/a)
  • SORIANO CAMINO, FRANCISCO JAVIER (Investigador principal (IP))

Ejecución: 01-04-2022 - 31-12-2023

Tipo: Interno

  • iMarina

EIT Digital Master - DSC Education 2022 (Marta)

  • MEZA VALDES, REBECA (Participante)
  • MARTINEZ GAMERO, ROBERTO (Participante)
  • RIOS AGUILAR, SERGIO JOSE (Participante)
  • TEJERO LOPEZ, ALBERTO (Participante)
  • HABIBI LASHKARI, ZIBA (Participante)
  • GUTIERREZ SANCHIS, RAUL (Participante)
  • SAURINA LUCINI, EBRU SUSUR (Participante)
  • SEGOVIA PEREZ, FCO.JAVIER (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-01-2022 - 31-12-2022

Tipo: Internacional

Importe financiado: 13700,00 Euros.

  • iMarina

RESEARCH AND DEVELOPMENT OF INFORMATION TECHNOLOGIES FOR EMERGENCY SERVICES

  • MORA CARRERO, ADRIAN (Colaborador/a)
  • JIMENEZ GAÑAN, MIGUEL (Colaborador/a)
  • Gutiérrez Gil, Raúl (Colaborador/a)
  • RAMPEREZ MARTIN, VICTOR (Colaborador/a)
  • SORIANO CAMINO, FRANCISCO JAVIER (Investigador principal (IP))

Ejecución: 01-01-2022 - 31-12-2023

Tipo: Interno

  • iMarina

Master on AI for public services (AI4Gov)

  • FERRE GRAU, XAVIER (Participante)
  • ROMERO MUÑOZ, SARA (Participante)
  • HERNANDEZ DIEGO, JOSEFA ZULEIDE (Participante)
  • ATIENZA RIERA, JOSE MIGUEL (Participante)
  • LUQUE FERNANDEZ, MARIA DE LAS GRACIAS (Participante)
  • Gutiérrez Gil, Raúl (Participante)
  • GOMEZ PEREZ, ASUNCION DE MARIA (Participante)
  • GARCIA CUESTA, ESTEBAN (Participante)
  • BAJO PEREZ, JAVIER (Participante)
  • Corcho García, Oscar (Investigador principal (IP))
  • FEIJOO GONZALEZ, CLAUDIO ANTONIO (Investigador principal (IP))
... Ver más Contraer

Ejecución: 01-04-2021 - 01-06-2024

Tipo: Internacional

Importe financiado: 859203,85 Euros.

  • iMarina

Técnicas avanzadas de verificación de aplicaciones concurrentes

  • Gutiérrez Gil, Raúl (Miembro del equipo de trabajo)
  • King ., Andy (Otros)
  • GIACOBAZZI ., ROBERTO (Otros)
  • Codish ., Michael (Otros)
  • DOMENECH ARELLANO, JESUS JAVIER (Miembro del equipo de trabajo)
  • ZANARDINI, DAMIANO (Investigador principal (IP))
  • ROMAN DIEZ, GUILLERMO (Participante)
  • PUEBLA SANCHEZ, Alvaro Germán (Participante)
... Ver más Contraer

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 114660,00 Euros.

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

  • El/la investigador/a no tiene perfiles.
Última actualización de los datos: 8/04/24 9:10