The following publications are possibly variants of this publication:
- An Abstract Domain to Infer Octagonal Constraints with Absolute ValueLiqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang. SAS 2014: 101-117 [doi]
- Static analysis of linear absolute value equalities among variables of a programLiqian Chen, Dengping Wei, Banghu Yin, Ji Wang 0001. SCP, 225:102906, 2023. [doi]
- An Abstract Domain to Discover Interval Linear EqualitiesLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. vmcai 2010: 112-128 [doi]
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear RelationshipsLiqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. SAS 2009: 309-325 [doi]