Chin Soon Lee

	2009
6		Chin Soon Lee: Ranking functions for size-change termination. ACM Trans. Program. Lang. Syst. 31(3): (2009)
5		Amir M. Ben-Amram, Chin Soon Lee: Ranking Functions for Size-Change Termination II Logical Methods in Computer Science 5(2): (2009)
	2007
4		Amir M. Ben-Amram, Chin Soon Lee: Program termination analysis in polynomial time. ACM Trans. Program. Lang. Syst. 29(1): (2007)
	2002
3		Chin Soon Lee: Program Termination Analysis in Polynomial Time. GPCE 2002: 218-235
2		Chin Soon Lee: Finiteness Analysis in Polynomial Time. SAS 2002: 493-508
	2001
1		Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram: The size-change principle for program termination. POPL 2001: 81-92

Coauthor Index

1	Amir M. Ben-Amram	[1] [4] [5]
2	Neil D. Jones	[1]