Sign in
Meng Luan
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 4
Top Topics
Automated Theorem Proving
Smart Grid
Modal Logic
Prime Implicates
Top Venues
IECON
CDC
RuleML (Supplement)
ULITE@JCDL
</>
Publications
</>
Qiyu Yin
,
Xiao Fang
,
Meng Luan
Distributed Node-to-Node Formation Tracking for Two-Layer Multi-ASV System with Multiple Leaders.
IECON
(2023)
Meng Luan
,
Guanghui Wen
,
Wei Xing Zheng
Fast Distributed Resource Allocation of Smart Grid: A Zeroth-Order Optimization Algorithm.
CDC
(2023)
Tarek Saier
,
Meng Luan
,
Michael Färber
A Blocking-Based Approach to Enhance Large-Scale Reference Linking.
ULITE@JCDL
(2022)
Harold Boley
,
Christoph Benzmüller
,
Meng Luan
,
Zhendong Sha
Translating Higher-Order Modal Logic from RuleML to TPTP.
RuleML (Supplement)
(2016)