( en | de | ru )

 

Disambiguierung von "Lei, Hang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.

, und . IEEE Access, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lei Lei

Lei Lei

Hang Xu

Hang Si

Hang Li

In vivo analysis of leukocyte transmigration through the blood vessel wall. Uni Münster, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification of a task scheduler for embedded operating systems., und . J. Intell. Fuzzy Syst., 38 (2): 1391-1399 (2020)Design and Implementation of an Integrated IoT Blockchain Platform for Sensing Data Integrity., und . Sensors, 19 (10): 2228 (2019)Minimizing the total completion time in a distributed two stage assembly system with setup times., , , , und . Comput. Oper. Res., (2014)Prevention of DDoS attacks using an optimized deep learning approach in blockchain technology., , , , und . Trans. Emerg. Telecommun. Technol., (April 2023)CNN Network for Head Detection with Depth Images in cyber-physical systems., , , , und . iThings/GreenCom/CPSCom/SmartData/Cybermatics, Seite 544-549. IEEE, (2020)A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks., , , , und . DAC, Seite 1177-1182. IEEE, (2021)A Novel Convolutional Neural Network for Head Detection and Pose Estimation in Complex Environments from Single-Depth Images., , , , und . Cogn. Comput., 16 (4): 2116-2129 (Juli 2024)Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers, , , , und . International Journal of Production Research, 52 (5): 1557--1572 (29.10.2013)FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq., und . CoRR, (2018)Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China., , und . CoRR, (2020)