| 2007 | ||
|---|---|---|
| 4 | EE | Amir M. Ben-Amram, Chin Soon Lee: Program termination analysis in polynomial time. ACM Trans. Program. Lang. Syst. 29(1): (2007) |
| 2002 | ||
| 3 | EE | Chin Soon Lee: Program Termination Analysis in Polynomial Time. GPCE 2002: 218-235 |
| 2 | EE | Chin Soon Lee: Finiteness Analysis in Polynomial Time. SAS 2002: 493-508 |
| 2001 | ||
| 1 | EE | Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram: The size-change principle for program termination. POPL 2001: 81-92 |
| 1 | Amir M. Ben-Amram | [1] [4] |
| 2 | Neil D. Jones | [1] |