Liqian Chen

	2009
2		Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325
	2008
1		Liqian Chen, Antoine Miné, Patrick Cousot: A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18

Coauthor Index

1	Patrick Cousot	[1] [2]
2	Antoine Miné	[1] [2]
3	Ji Wang	[2]