Get started
Author

Maximiliano Klemen

Observed names: Klemen, Maximiliano, M. KLEMEN
ORCID: 0000-0002-8503-8379
Observed ORCID: 0000-0002-8503-8379
OpenAlex ID: A5075865573
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
2018 · P. LOPEZ-GARCIA, L. DARMAWAN, et al. · Theory and Practice of Logic Programming · 32
PDF
ENTRA: Whole-systems energy transparency
2016 · Kerstin Eder, John P. Gallagher, et al. · Microprocessors and Microsystems · 21
Cost Analysis of Smart Contracts Via Parametric Resource Analysis
2020 · Víctor Pérez, Maximiliano Klemen, et al. · Lecture notes in computer science · 17
A general framework for static profiling of parametric resource usage
2016 · P. LOPEZ-GARCIA, M. KLEMEN, et al. · Theory and Practice of Logic Programming · 15
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
2020 · John P. Gallagher, Manuel Hermenegildo, et al. · Electronic Proceedings in Theoretical Computer Science · 7
PDF
Static Performance Guarantees for Programs with Runtime Checks
2018 · Maximiliano Klemen, Nataliia Stulova, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 7
Towards Energy Consumption Verification via Static Analysis
2015 · Lopez-Garcia, Pedro, Haemmerle, Remy, et al. · Hispana · 6
A General Framework for Static Cost Analysis of Parallel Logic Programs
2020 · Maximiliano Klemen, Pedro López-García, et al. · Lecture notes in computer science · 4
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
2023 · Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, et al. · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Proceedings 35th International Conference on Logic Programming (Technical Communications)
2019 · Maximiliano Klemen, Pedro López-García, et al. · Electronic Proceedings in Theoretical Computer Science · 1
An Approach to Static Performance Guarantees for Programs with Run-time Checks
2018 · Klemen, Maximiliano, Stulova, Nataliia, et al. · arXiv (Cornell University) · 1
PDF
Towards static performance guarantees for programs with run-time checks
2018 · Klemen, Maximiliano, Stulova, Nataliia, et al. · Archivo Digital UPM (Universidad Politécnica de Madrid) · 1
PDF
Static performance guaranteesfor programs with Run-time Checks
2018 · Maximiliano Klemen, Nataliia Stulova, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 1
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
2015 · Corbera, Francisco, Rodríguez, Andrés, et al. · arXiv (Cornell University) · 1
PDF
A general framework for static profiling of parametric resource usage – CORRIGENDUM
2020 · P. LOPEZ-GARCIA, M. KLEMEN, et al. · Theory and Practice of Logic Programming
PDF
A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking
2020 · Maximiliano Klemen
PDF
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
2019 · Klemen, Maximiliano, Lopez-Garcia, Pedro, et al. · arXiv (Cornell University)
PDF
Towards static performance guarantees forprograms with run-time checks
2018 · Maximiliano Klemen, Nataliia Stulova, et al. · International Conference on Logic Programming
An approach to static performance guarantees for programs with Run-time Checks
2018 · Klemen, Maximiliano, Stulova, Nataliia, et al. · Hispana
An approach to static performance guarantees for pograms with run-time checks
2018 · Klemen, Maximiliano, Stulova, Nataliia, et al. · Hispana
Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation
2017 · Manuel V. Hermenegildo, Maximiliano Klemen, et al. · Electronic Proceedings in Theoretical Computer Science
Energy consumption analysis and verificationusing CiaoPP
2017 · Pedro López-García, Manuel V. Hermenegildo, et al. · Hispana
PDF
Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation
2017 · Manuel V. Hermenegildo, Maximiliano Klemen, et al. · Hispana
ENTRA:全システムエネルギー透過【Powered by NICT】
2016 · Eder Kerstin, P Gallagher John, et al. · Microprocessors and Microsystems
Towards Energy Consumption Verification via Static Analysis
2015 · Pedro López-García, Rémy Haemmerlé, et al.
Works count: 38
Citation count: 115
H-index: 6
I10-index: 4
Year
Topic
Type