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

Publications

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 View at source

  • ISSN 14710684

This researcher has no books.

This researcher has no book chapters.

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 View at source

  • 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

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

  • This researcher does not have any profiles.
Last data update: 12/1/24 11:17 AM