Author of the publication

Formalizing the Transaction Flow Process of Hyperledger Fabric.

, , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 233-250. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lightdet: A Lightweight and Accurate Object Detection Network., , , and . ICASSP, page 2243-2247. IEEE, (2020)Clustering-Enhanced Knowledge Graph Embedding., , , , , and . Big Data (CCF), volume 1709 of Communications in Computer and Information Science, page 104-123. Springer, (2022)Formalizing the Transaction Flow Process of Hyperledger Fabric., , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 233-250. Springer, (2020)Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4., , , , and . Intelligent Information Processing, volume 432 of IFIP Advances in Information and Communication Technology, page 178-186. Springer, (2014)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , and . APSEC, page 355-362. IEEE, (2019)An IBP-CNN Based Fast Block Partition For Intra Prediction., , , and . PCS, page 1-5. IEEE, (2019)On Hit Rate Improving and Energy Consumption Minimizing in Cache-Based Convergent Overlay Network on High-speed Train., , , , and . BMSB, page 1-6. IEEE, (2019)Channel Frequency Response Estimation for MIMO Systems with Frequency-Domain Equalization., , , and . EURASIP J. Adv. Signal Process., (2011)Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics., , , , and . SETTA, volume 13071 of Lecture Notes in Computer Science, page 61-80. Springer, (2021)Automatic image annotation with continuous PLSA., , , and . ICASSP, page 806-809. IEEE, (2010)