1. A general framework for static profiling of parametric resource usage – CORRIGENDUM. Issue 2 (11th March 2021) Authors: LOPEZ-GARCIA, P.; KLEMEN, M.; LIQAT, U.; HERMENEGILDO, M. V. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 2(2021) Page Start: 291 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A general framework for static profiling of parametric resource usage*. Issue 5 (14th October 2016) Authors: LOPEZ-GARCIA, P.; KLEMEN, M.; LIQAT, U.; HERMENEGILDO, M. V. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 849 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Issue 2 (11th May 2018) Authors: LOPEZ-GARCIA, P.; DARMAWAN, L.; KLEMEN, M.; LIQAT, U.; BUENO, F.; HERMENEGILDO, M. V. Journal: Theory and practice of logic programming Issue: Volume 18:Issue 2(2018) Page Start: 167 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗