Concepedia

Álvaro García-Pérez

ÁG

2

Publications

33

Citations

2

H-Index

2013

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Álvaro García-Pérez is an author at Universidad Politécnica de Madrid specializing in computer science, engineering, and formal verification.

ORCID

Top concepts

Publications per year

2013–2019

2

Publications

2

Federated Byzantine Quorum Systems

Álvaro García-Pérez, Alexey Gotsman · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 17 citations · Full text

, , +17

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro · 2013 · 16 citations

, , +21

Rows per page

1–2 of 2