Brockschmidt, M; Emmes, F; Falke, S; Fuhs, C; Giesl, J; (2014) Alternating Runtime and Size Complexity Analysis of Integer Programs. In: Ábrahám, E and Havelund, K, (eds.) 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. (pp. 140 - 155). Springer Berlin Heidelberg