Login / Signup
Dakui Li
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Mathematical Framework
Knowledge Base
Event Recognition
Neural Network
Top Venues
J. Appl. Math.
</>
Publications
</>
Xinyan Gao
,
Yingcai Ding
,
Wenbo Liu
,
Kaidi Zheng
,
Siyu Huang
,
Ning Zhou
,
Dakui Li
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures.
J. Appl. Math.
2014 (2014)
Ning Zhou
,
Xinyan Gao
,
Jinzhao Wu
,
Jianchao Wei
,
Dakui Li
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.
J. Appl. Math.
2014 (2014)
Xinyan Gao
,
Ning Zhou
,
Jinzhao Wu
,
Dakui Li
Wu's Characteristic Set Method for SystemVerilog Assertions Verification.
J. Appl. Math.
2013 (2013)