Concepedia

Jesús Correas

JC

6

Publications

106

Citations

6

H-Index

2008

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Universidad Complutense de Madrid

Jesús Correas is an author at Universidad Politécnica de Madrid specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsParallel ComputingParallel ProgrammingSoftware EngineeringData Science

Publications per year

2008–2021

6

Publications

6

Object‐sensitive cost analysis for concurrent objects

Elvira Albert, Puri Arenas, Jesús Correas et al. · Software Testing Verification and Reliability · 2015 · 29 citations

Engineering, Software Systems, Software Engineering +18

Don’t run on fumes—Parametric gas bounds for smart contracts

Elvira Albert, Jesús Correas, Pablo Gordillo et al. · Journal of Systems and Software · 2021 · 24 citations · Full text

Optimal Contracting, Smart Contract, Fumes—parametric Gas Bounds +1

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

Jesús Correas, Pablo Gordillo, Guillermo Román‐Díez · IEEE Access · 2021 · 18 citations · Full text

Gas Consumption, Engineering, Software Engineering +23

A practical type analysis for verification of modular prolog programs

Paweł Pietrzak, Jesús Correas, Germán Puebla et al. · 2008 · 12 citations

Regular Types, Polymorphic Type Systems, Engineering +15

Parallel Cost Analysis

Elvira Albert, Jesús Correas, Einar Broch Johnsen et al. · ACM Transactions on Computational Logic · 2018 · 12 citations

Mathematical Programming, Cluster Computing, Engineering +21

Rows per page

1–5 of 6