/
User Settings
J

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

47

Papers

267

Citations

11

h-index

12

i10-index

Jesús Correas is an academic researcher from Universidad Complutense de Madrid. The author has contributed to research in topics: Distributed systems and fault tolerance & Parallel Computing and Optimization Techniques & Logic, programming, and type systems. The author has an h-index of 11, co-authored 40 publications.

ORCID: 0000-0002-3219-0799

Research Topics

Distributed systems and fault toleranceParallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in VerificationBlockchain Technology Applications and Security

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat