( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.

, , , , и . SP, стр. 1678-1694. IEEE, (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.

Xavier Lee Lee

Bongsoo Lee

The role of negative regulators in coordination of the Myxococcus xanthus developmental program. Uni Marburg, (2009)

Min-Hi Lee

Induction and regulation of antiviral defence mechanisms through intracytoplasmic sensors. HU Berlin, (2009)

Sangbok Lee

Nathaniel Lee

 

Другие публикации лиц с тем же именем

Exploring social presence transfer in real-virtual human interaction., , , , , , и . VR, стр. 165-166. IEEE Computer Society, (2016)Cache Locality-Centric Parallel String Matching on Many-Core Accelerator Chips., , и . Sci. Program., (2015)High performance parallel KMP algorithm on a heterogeneous architecture., , и . Clust. Comput., 23 (3): 2205-2217 (2020)Effects of Synchronized Leg Motion in Walk-in-Place Utilizing Deep Neural Networks for Enhanced Body Ownership and Sense of Presence in VR., , , и . VRST, стр. 12:1-12:10. ACM, (2020)Loosely-coupled vs. tightly-coupled mixed reality: using the environment metaphorically., , и . VRCAI, стр. 345-349. ACM, (2009)VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts., , , , и . SP, стр. 1678-1694. IEEE, (2020)An Intelligent Garbage Collection Algorithm for Flash Memory Storages., , , , и . ICCSA (1), том 3980 из Lecture Notes in Computer Science, стр. 1019-1027. Springer, (2006)Breaking the Mona Lisa Effect: Enhancing Eye Contact with Virtual Humans in 2D Display Environments., , и . APMAR, том 3467 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)High Throughput Parallel Implementation of Aho-Corasick Algorithm on a GPU., , , и . IPDPS Workshops, стр. 1807-1816. IEEE, (2013)Hyperparameter Optimization for Deep Residual Learning in Image Classification., и . ACSOS Companion, стр. 24-29. IEEE, (2020)