Concepedia

Mikel Larrea

ML

22

Publications

708

Citations

13

H-Index

2000

Active since

Affiliations

University of the Basque Country(Current)

Universidad Rey Juan Carlos

Universidad Publica de Navarra

Institut de Recherche en Informatique et Systèmes Aléatoires

École Polytechnique Fédérale de Lausanne

Mikel Larrea is an author at University of the Basque Country specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceSystems EngineeringFault ToleranceFormal VerificationReliability EngineeringFormal MethodsDistributed SystemsVerificationReliability

Publications per year

2000–2018

22

Publications

22

DBFT: Efficient Leaderless Byzantine Consensus and its Application to Blockchains

Tyler Crain, Vincent Gramoli, Mikel Larrea et al. · 2018 · 148 citations

Optimal implementation of the weakest failure detector for solving consensus

Mikel Larrea, Sergio Arévalo · 2002 · 115 citations

Cluster Computing, Engineering, Verification +18

On the implementation of unreliable failure detectors in partially synchronous systems

Mikel Larrea, Sergio Arévalo · IEEE Transactions on Computers · 2004 · 54 citations

Cluster Computing, Engineering, Verification +20

Non blocking atomic commitment with an unreliable failure detector

Rachid Guerraoui, Mikel Larrea, A. Schiper · 2002 · 50 citations

Blockchain Consensus Protocol, Engineering, Verification +17

(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains.

Tyler Crain, Vincent Gramoli, Mikel Larrea et al. · arXiv (Cornell University) · 2017 · 45 citations · Full text

Cluster Computing, Binary Consensus Algorithm, Blockchain Consensus Protocol +16

Rows per page

1–5 of 22