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

Perez Villar, Victor victor.perez.villar@upm.es

TECNOLOGÍA DE LA EDIFICACIÓN / Universidad Politécnica de Madrid

Actividades

VeriFly: On-the-fly Assertion Checking via Incrementality

  • Sanchez-Ordaz, Miguel A.
  • Garcia-Contreras, Isabel
  • Perez, Victor
  • Morales, Jose F.
  • Lopez-Garcia, Pedro
  • Hermenegildo, Manuel V.;

Theory And Practice Of Logic Programming (p. 768-784) - 1/1/2021

10.1017/s1471068421000430 Ver en origen

  • ISSN 14710684

Este/a investigador/a no tiene libros.

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

Cost Analysis of Smart Contracts via Parametric Resource Analysis

  • Perez, Victor
  • Klemen, Maximiliano
  • Lopez-Garcia, Pedro
  • Francisco Morales, Jose
  • Hermenegildo, Manuel;

27th International Static Analysis Symposium -- Sas 2020 (p. 7-31) - 18/11/2020

10.1007/978-3-030-65474-0_2 Ver en origen

  • ISSN 03029743

Anisotropía inducida en piezas superficiales de hormigones reforzadas con fibras de acero

  • PEREZ VILLAR, VICTOR
  • ANAYA DIAZ, JESUS

Cite 2017 (p. 45-52) - 9/3/2017

  • iMarina

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

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

Este/a investigador/a no tiene proyectos de investigación.

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: 1/12/24 11:17