Author of the publication

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

Formalization of functional variation in HOL Light., , , , and . J. Log. Algebraic Methods Program., (2019)Towards Verifying Ethereum Smart Contracts at Intermediate Language Level., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 121-137. Springer, (2019)Programming your network at run-time for big data applications., , and . HotSDN@SIGCOMM, page 103-108. ACM, (2012)A New Oren-Nayar Shape-from-Shading Approach for 3D Reconstruction Using High-Order Godunov-Based Scheme., and . Algorithms, 11 (5): 75 (2018)OpenCL-Based Mobile GPGPU Benchmarking: Methods and Challenges., and . IWOCL, page 3:1-3:4. ACM, (2016)Virtual network diagnosis as a service., , , and . SoCC, page 9:1-9:15. ACM, (2013)Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection., , , , , , and . IROS, page 9614-9619. IEEE, (2020)Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems., , , , and . DATE, page 1-6. IEEE, (2023)Electronic Components Detection for PCBA Based on A Tailored YOLOv3 Network with Image Pre-Processing., , , , and . CASE, page 1435-1440. IEEE, (2021)Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning., , , , , , , , and . AAAI, page 5709-5716. AAAI Press, (2020)