Lijun Li

DVS: an object-oriented framework for distributed Verilog simulation

Carl Tropper, Hai Huang, Lijun Li, 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

Model Checking of Linear-Time Properties Based on Possibility Measure

Yongming Li, Lijun Li, Lijun Li, 2012, IEEE Transactions on Fuzzy Systems.

Optimization techniques for distributed verilog simulation

Lijun Li, Lijun Li, 2008 .

A Multiway Design-driven Partitioning Algorithm for Distributed Verilog Simulation

Carl Tropper, Lijun Li, C. Tropper, 2009, Simul..

Approximate Group Fairness for Clustering

Chenhao Wang, Ankang Sun, Bo Li, 2022, ICML.

Event reconstruction in time warp

Carl Tropper, Lijun Li, C. Tropper, 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..