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]
- A Fast Algorithm for Euler s Elastica Model Using Augmented Lagrangian MethodXue-Cheng Tai, Jooyoung Hahn, Ginmo Jason Chung. siamis, 4(1):313-344, 2011. [doi]
- A Fast Augmented Lagrangian Method for Euler's Elastica ModelYuping Duan, Yu Wang, Xue-Cheng Tai, Jooyoung Hahn. scalespace 2012: 144-156 [doi]