Author of the publication

An Empirical Study on Implicit Constraints in Smart Contract Static Analysis.

, , , , , , , and . ICSE (SEIP), page 31-32. IEEE, (2022)

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

A health assessment method with attribute importance modeling for complex systems using belief rule base., , , , , and . Reliab. Eng. Syst. Saf., (2024)Semiconductor industry's transformation path under circular economy: Evidence from micro-level efficiency evaluation., , , , and . Comput. Ind. Eng., (2024)Pricing Formulas of Compound Options under the Fractional Brownian Motion., , and . NL-MUA, volume 100 of Advances in Intelligent and Soft Computing, page 247-254. Springer, (2011)A Framework of Agent-Based Supply Chain Performance Analysis System., , and . BASYS, volume 220 of IFIP, page 57-66. Springer, (2006)p-Causality: Identifying Spatiotemporal Causal Pathways for Air Pollutants with Urban Big Data., , , , , and . CoRR, (2016)Problems and improvements of the evaluation method of tax burden of logistics industry in China., , , and . LISS, page 1-6. IEEE, (2016)Ontology-assisted keyword search for NeuroML models., , , , , , and . SSDBM, page 37:1-37:6. ACM, (2015)Energy-aware relay selections for simultaneous wireless information and power transfer., and . APCC, page 1-6. IEEE, (2017)Splitter: Mining fine-grained sequential patterns in semantic trajectories, , , , and . Proceedings of the VLDB Endowment (PVLDB), 7 (9): 769--780 (2014)Scale-Less Feature-Spatial Matching., and . DICTA, page 1-8. IEEE, (2013)