Login / Signup
Guiyuan Liang
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Writing Style
Formal Verification
Model Checking
Colored Petri Nets
Top Venues
CLEF (Working Notes)
</>
Publications
</>
Zhihao Liao
,
Yong Han
,
Leilei Kong
,
Zhuopeng Hong
,
Zijian Li
,
Guiyuan Liang
,
Zhenwei Mo
,
Zhixian Li
,
Zhongyuan Han
Authorship Verification based on Lucene architecture.
CLEF (Working Notes)
(2021)