Publications

• Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei and Beatrice Luca. Calculating Polynomial Runtime Properties, APLAS 2005, Tsukuba(Japan), Nov 2005.
[pdf]
• Beatrice Luca, Stefan Andrei, Hugh Anderson and Siau-Cheng Khoo. Program Transformation by Solving Recurrences, PEPM 2006, Charleston(South Carolina), Jan 2006.
[pdf]