The following publications are possibly variants of this publication:
- Metis: File System Model Checking via Versatile Input and State ExplorationYiFei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok. FAST 2024: 123-140 [doi]
- Noncircular Sources-Based Sparse Representation Algorithm for Direction of Arrival Estimation in MIMO Radar with Mutual CouplingWeidong Zhou, Jing Liu, Pengxiang Zhu, Wenhe Gong, Jiaxin Hou. algorithms, 9(3):61, 2016. [doi]
- Robust Visual Tracking via Patch Descriptor and Structural Local Sparse RepresentationZhiguo Song, Jifeng Sun, Jialin Yu, Shengqing Liu. algorithms, 11(8):126, 2018. [doi]