Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Buchman, Ethan
15  Ergebnisse:
Personensuche X
?
1

Revisiting Tendermint: Design Tradeoffs, Accountability, an..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),
Buchman, Ethan ; Guerraoui, Rachid ; Komatovic, Jovan... - p. 11-14 , 2022
Link: https://doi.org/10.1109/..
 
?
2

Tendermint Blockchain Synchronization: Formal Specification..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Braithwaite, Sean ; Buchman, Ethan ; Konnov, Igor... - p. 471-488 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Byzantine Fault Tolerant State Machine Replication in Any P..:

, In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing,
Buchman, Ethan - p. 546 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Robust and Fast Blockchain State Synchronization:

Fynn, Enrique ; Buchman, Ethan ; Milosevic, Zarko.
doi:10.4230/LIPIcs.OPODIS.2022.8.  , 2023
Link: https://doi.org/10.4230/..
 
?
5

A Tendermint Light Client:

Braithwaite, Sean ; Buchman, Ethan ; Khoffi, Ismail...
http://arxiv.org/abs/2010.07031.  , 2020
Link: http://arxiv.org/abs/201..
 
?
6

Formal Specification and Model Checking of the Tendermint B..:

Braithwaite, Sean ; Buchman, Ethan ; Konnov, Igor...
doi:10.4230/OASIcs.FMBC.2020.10.  , 2020
Link: https://doi.org/10.4230/..
 
?
7

The latest gossip on BFT consensus:

Buchman, Ethan ; Kwon, Jae ; Milosevic, Zarko
http://arxiv.org/abs/1807.04938.  , 2018
Link: http://arxiv.org/abs/180..
 
?
8

Understanding Minimum Probability Flow for RBMs Under Vario..:

Im, Daniel Jiwoong ; Buchman, Ethan ; Taylor, Graham W
http://arxiv.org/abs/1412.6617.  , 2014
Link: http://arxiv.org/abs/141..
 
?
9

Inherently confinable split-drive systems in Drosophila:

Terradas, Gerard ; Buchman, Anna B. ; Bennett, Jared B....
Nature Communications.  12 (2021)  1 - p. , 2021
Link: https://doi.org/10.1038/..
 
?
10

Assessment of a Split Homing Based Gene Drive for Efficient..:

Kandul, Nikolay P ; Liu, Junru ; Buchman, Anna...
qt4vz2z6rs.  , 2020
Link: https://escholarship.org..
 
?
11

Active Genetic Neutralizing Elements for Halting or Deletin..:

Xu, Xiang-Ru Shannon ; Bulger, Emily A ; Gantz, Valentino M...
qt6w66g5dm.  , 2020
Link: https://escholarship.org..
 
?
12

Inherently confinable split-drive systems in Drosophila:

Terradas, Gerard ; Buchman, Anna B ; Bennett, Jared B...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7935863/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
13

Inherently confinable split-drive systems in Drosophila:

Terradas, Gerard ; Buchman, Anna B ; Bennett, Jared B...
qt5tv736nb.  , 2021
Link: https://escholarship.org..
 
?
14

Assessment of a Split Homing Based Gene Drive for Efficient..:

Nikolay P. Kandul ; Junru Liu ; Anna Buchman...
http://g3journal.org/lookup/doi/10.1534/g3.119.400985.  , 2020
Link: https://doi.org/10.1534/..
 
?
15

Inherently confinable split-drive systems in Drosophila:

Gerard Terradas ; Anna B. Buchman ; Jared B. Bennett...
https://doi.org/10.1038/s41467-021-21771-7.  , 2021
Link: https://doi.org/10.1038/..
 
1-15