Author of the publication

SCStudio: a secure and efficient integrated development environment for smart contracts.

, , , , , , and . ISSTA, page 666-669. ACM, (2021)

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

Gabor Filter-Based Automated Strain Computation from Tagged MR Images., , , , , , , and . MICCAI (2), volume 3217 of Lecture Notes in Computer Science, page 1064-1065. Springer, (2004)An approximation algorithm for haplotype inference by maximum parsimony., , and . SAC, page 146-150. ACM, (2005)Materialized View Maintenance for XML Documents., , , and . WISE, volume 3306 of Lecture Notes in Computer Science, page 365-371. Springer, (2004)Facial expression recognition via Gabor wavelet and structured sparse representation., and . IC-NIDC, page 420-424. IEEE, (2012)An Input Variable Selection Method for the Artificial Neural Network of Shear Stiffness of Worsted Fabrics., , , and . Stat. Anal. Data Min., 1 (5): 287-295 (2009)Constructing a 3D Virtual World for Traditional Culture Education., and . ICEIT, page 149-152. ACM, (2020)Learning Multi-granular Quantized Embeddings for Large-Vocab Categorical Features in Recommender Systems., , , , , , and . WWW (Companion Volume), page 562-566. ACM / IW3C2, (2020)Three-Dimensional Surface Displacement Field Associated with the 25 April 2015 Gorkha, Nepal, Earthquake: Solution from Integrated InSAR and GPS Measurements with an Extended SISTEM Approach., and . Remote. Sens., 8 (7): 559 (2016)A dynamic programming approach to de novo peptide sequencing via tandem mass spectrometry., , , , and . SODA, page 389-398. ACM/SIAM, (2000)Rapid prototype and implementation of a high-throughput and flexible FFT ASIP based on LISA 2.0., , , and . ISQED, page 681-687. IEEE, (2014)