Manuel Bravo

Publications

228

Citations

H-Index

2015

Active since

Affiliations

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(Current)

UCLouvain

University of Lisbon

IMDEA Software Institute

Manuel Bravo is an author at Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento specializing in engineering, data management, and computer science.

ORCID

Top concepts

EngineeringData ManagementCloud ComputingComputer ScienceFormal MethodsParallel ComputingDistributed SystemsFormal VerificationAvailabilityVerification

Publications per year

2015–2022

Publications

Cure: Strong Semantics Meets High Availability and Low Latency

Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo et al. · 2016 · 113 citations · Full text

Cluster Computing, Availability, Engineering +19

Saturn

Manuel Bravo, Peter Van Roy · 2017 · 49 citations

Metadata Interoperability, Metadata Service, Data Consistency +10

On the use of Clocks to Enforce Consistency in the Cloud.

Manuel Bravo, Nuno Diegues, Jingna Zeng et al. · IEEE Data(base) Engineering Bulletin · 2015 · 17 citations

Availability, Timestamp Events, Engineering +23

Hourglass

Pedro Joaquim, Manuel Bravo, Miguel Matos · 2019 · 13 citations

Job Scheduler, Cluster Computing, Provisioning (Technology) +13

Making Byzantine Consensus Live

Manuel Bravo, Gregory Chockler, Alexey Gotsman · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 13 citations · Full text

Hardware Security, Blockchain Consensus Protocol, Engineering +15

Rows per page

1–5 of 7