Concepedia

Giuliano Losa

GL

9

Publications

334

Citations

9

H-Index

2012

Active since

Affiliations

University of California, Los Angeles(Current)

Tel Aviv University

Galois (United States)

University of Freiburg

Giuliano Losa is an author at University of California, Los Angeles specializing in engineering, computer science, and distributed systems.

Top concepts

EngineeringComputer ScienceDistributed SystemsFormal MethodsFormal VerificationSystems EngineeringVerificationAutomated ReasoningFormal SpecificationBlockchain

Publications per year

2012–2020

9

Publications

9

Fast and secure global payments with Stellar

Marta Lokhava, Giuliano Losa, David Mazières et al. · 2019 · 107 citations

Blockchain Consensus Protocol, Fintech, Engineering +15

Modularity for decidability of deductive verification with applications to distributed systems

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan et al. · 2018 · 49 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Making Fast Consensus Generally Faster

Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri et al. · 2016 · 40 citations

Blockchain Consensus Protocol, Generalized Consensus Specification, Engineering +13

Speeding up Consensus by Chasing Fast Decisions

Balaji Arun, Sebastiano Peluso, Roberto Palmieri et al. · 2017 · 39 citations

Cluster Computing, Blockchain Consensus Protocol, Engineering +18

Reducing liveness to safety in first-order logic

Oded Padon, Jochen Hoenicke, Giuliano Losa et al. · Proceedings of the ACM on Programming Languages · 2017 · 38 citations · Full text

Applied Logic, Engineering, Verification +18

Rows per page

1–5 of 9