Maximiliano Klemen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SAS | Cost Analysis of Smart Contracts Via Parametric Resource Analysis. | Victor Perez-Carrasco, Maximiliano Klemen, Pedro Lpez-Garca, Jos Francisco Morales, Manuel V. Hermenegildo |
| 2019 | LOPSTR | A General Framework for Static Cost Analysis of Parallel Logic Programs. | Maximiliano Klemen, Pedro Lpez-Garca, John P. Gallagher, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | ICLP | Towards Static Performance Guarantees for Programs with Run-Time Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | PPDP | Static Performance Guarantees for Programs with Runtime Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2016 | FLOPS | A Transformational Approach to Parametric Accumulated-Cost Static Profiling. | Rmy Haemmerl, Pedro Lpez-Garca, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo |