Lan Lu

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 11

Top Topics

Abstraction Layer

Data Management

False Acceptance Rate

Declarative Language

Top Venues

Publications

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Verifying Declarative Smart Contracts. ICSE (2024)
Zhongru Ren, Yong-Qiang Liu, Yan Wang, Lan Lu, Kainan Qi, Hongcheng Yin
Ultra-Broadband RCS Reduction Based on Optimized Coding "Whale-Shaped" Polarization Conversion Metasurface With Angular Stability. IEEE Access 10 (2022)
Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang
Towards Boosting Patch Execution On-the-Fly. ICSE (2022)
Lan Lu, Shichen Zhao, Qiao-Chu He, Ning Zhu
Task assignment in predictive maintenance for free-float bicycle sharing systems. Comput. Ind. Eng. 169 (2022)
Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo
Safety Verification of Declarative Smart Contracts. CoRR (2022)
Lan Lu, Xiao Gong, Bo Ai, Ning Wang, Wei Chen
Deep Reinforcement Learning for Multiple Access in Dynamic IoT Networks Using Bi-GRU. ICC (2022)
Lihua Zhu, Jianying Hao, Lan Lu
Research on Influence of Damping on the Vibration Noise of Transformer. IEEE Access 10 (2022)
Rongying Zhao, Ruru Chang, Lan Lu, Xiaoyu Wang, Zhaoyang Zhang
Research on the Index for Evaluating Academic Activeness of Researchers. ASIST (2021)
Long Xiang, Xiao Yan, Lan Lu, Bo Tang
GAIPS: Accelerating Maximum Inner Product Search with GPU. SIGIR (2021)
Panpan Zhan, Lan Lu, Xiongwen He, Luyuan Wang, Yong Sun
Data Management Software System Design for Spacelab. WISATS (1) (2019)
Jie Bai, Linjing Li, Lan Lu, Yanwu Yang, Daniel Zeng
Real-time prediction of meme burst. ISI (2017)
Hongyong Yang, Lan Lu, Siying Zhang
Consensus of multi-agent systems in scale-free network with different parameters. Int. J. Math. Model. Numer. Optimisation 1 (4) (2010)
Hongyong Yang, Lan Lu, Qiming Liu
Self-organized Collaboration Network Model Based on Module Emerging. Complex (1) (2009)
Tao Li, Yilei Wang, Lan Lu
The Application of EDI Technology in Electronic Commerce System. JCAI (2009)
Lan Lu, Gong Wang
A study on multi-agent supply chain framework based on network economy. Comput. Ind. Eng. 54 (2) (2008)