1. Automatic inference of upper bounds for recurrence relations in cost analysis;Albert,2008
2. Closed-form upper bounds in static cost analysis;Albert;J. Autom. Reason.,2011
3. Cost analysis of Java bytecode;Albert,2007
4. Costa: design and implementation of a cost and termination analyzer for Java bytecode;Albert,2008
5. Parametric inference of memory requirements for garbage collected languages;Albert,2010