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