Author/Creator: KLEMEN, M. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator KLEMEN, M.

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) ↗