| |
| * | 2009 | |
|---|---|---|
| 6 | EE | Chin Soon Lee: Ranking functions for size-change termination. ACM Trans. Program. Lang. Syst. 31(3): (2009) |
| 5 | EE | Amir M. Ben-Amram, Chin Soon Lee: Ranking Functions for Size-Change Termination II Logical Methods in Computer Science 5(2): (2009) |
| 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] [5] |
| 2 | Neil D. Jones | [1] |