José Francisco Morales

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Theoretical Frameworks

Computational Model

Top Venues

Publications

Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS (2020)
Pepe Vila, Boris Köpf, José Francisco Morales
Theory and Practice of Finding Eviction Sets. CoRR (2018)