The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hang Lei" ( http://dblp.L3S.de/Authors/Hang_Lei )

  Author page on DBLP  Author page in RDF  Community of Hang Lei in ASPL-2

Publication years (Num. hits)
2008-2015 (16) 2016-2018 (16) 2019 (3)
Publication types (Num. hits)
article(24) inproceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 35 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Zheng Yang 0007, Hang Lei FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Jiali Yu Improved Task and Resource Partitioning Under the Resource-Oriented Partitioned Scheduling. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zheng Yang 0007, Hang Lei, Weizong Qian A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zheng Yang 0007, Hang Lei Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keyi Xing, Feng Wang, MengChu Zhou, Hang Lei, Jianchao Luo Deadlock characterization and control of flexible assembly systems with Petri nets. Search on Bibsonomy Automatica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zheng Yang 0007, Hang Lei Formal Process Virtual Machine for Smart Contracts Verification. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zheng Yang 0007, Hang Lei Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zheng Yang 0007, Hang Lei Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zheng Yang 0007, Hang Lei FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zheng Yang 0007, Hang Lei A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xuan Han, Hang Lei, Yun-sheng Wang Multiple paths test data generation based on particle swarm optimisation. Search on Bibsonomy IET Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei Scale space clustering evolution for salient region detection on 3D deformable shapes. Search on Bibsonomy Pattern Recognition The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hongcheng Liu, Hang Lei, Yunbo Rao Optimization algorithm based on texture feature and frame correlation in HEVC. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei Discriminative feature learning and region consistency activation for robust scene labeling. Search on Bibsonomy Neurocomputing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hang Lei, Keyi Xing, LiBin Han, Zhenxin Gao Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Yulan Guo, Hang Lei Persistence-based Interest Point Detection for 3D Deformable Surface. Search on Bibsonomy VISIGRAPP (1: GRAPP) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xianshu Ding, Hang Lei, Yunbo Rao Sparse codes fusion for context enhancement of night video surveillance. Search on Bibsonomy Multimedia Tools Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yiou Lin, Hang Lei, Prince Clement Addo, Xiaoyu Li Machine Learned Resume-Job Matching Solution. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei Heat propagation contours for 3D non-rigid shape analysis. Search on Bibsonomy WACV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jing Zhang, Hang Lei Algorithm for computing transition probability between components in Internetware. Search on Bibsonomy Journal of Intelligent and Fuzzy Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yiou Lin, Hang Lei, Jia Wu 0005, Xiaoyu Li An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jing Zhang, Hang Lei A pre-distribution algorithm of component reliability in Internetware system. Search on Bibsonomy Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei Outdoor scene labelling with learned features and region consistency activation. Search on Bibsonomy ICIP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hongcheng Liu, Hang Lei, Yunbo Rao, Ping Chen, Jun Shao A New Optimization Algorithm for HEVC. Search on Bibsonomy ICIG (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yandong Li, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei Heterogeneous Multi-column ConvNets with a Fusion Framework for Object Recognition. Search on Bibsonomy WACV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yiou Lin, Hang Lei, Jia Wu 0005, Xiaoyu Li An Empirical Study on Sentiment Classification of Chinese Review using Word Embedding. Search on Bibsonomy PACLIC The full citation details ... 2015 DBLP  BibTeX  RDF
1Xupeng Wang, Ferdous Ahmed Sohel, Mohammed Bennamoun, Hang Lei Binary Descriptor Based on Heat Diffusion for Non-rigid Shape Analysis. Search on Bibsonomy PSIVT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Baolin Chen, Xiaoyu Li, Hang Lei, Hang Wang Real-Time True-Color Synthesis of Remote Sensing Image with CUDA. Search on Bibsonomy CBD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fuli Xiong, Keyi Xing, Feng Wang, Hang Lei, LiBin Han Minimizing the total completion time in a distributed two stage assembly system with setup times. Search on Bibsonomy Computers & OR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search. Search on Bibsonomy Computers & Industrial Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maolin Yang, Hang Lei, Yong Liao, Furkan Rabee PK-OMLP: An OMLP Based k-Exclusion Real-Time Locking Protocol for Multi-GPU Sharing under Partitioned Scheduling. Search on Bibsonomy DASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhaohui Lin, Jason K. Levy, Hang Lei, Michelle L. Bell Advances in Disaster Modeling, Simulation and Visualization for Sandstorm Risk Management in North China. Search on Bibsonomy Remote Sensing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jingyong Zeng, Hang Lei, Haibo Pu Evaluating the Effectiveness of Random and Partition Testing by Delivered Reliability. Search on Bibsonomy ICESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zong Bo Hao, Nan Sang, Hang Lei Cooperative Coverage by Multiple Robots with Contact Sensors. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #35 of 35 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license