Maximiliano Klemen
发表
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2017
.
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
pdf
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2018,
Theory and Practice of Logic Programming.
John P. Gallagher,
Manuel V. Hermenegildo,
Maximiliano Klemen,
2016,
FLOPS.
John P. Gallagher,
Manuel V. Hermenegildo,
Maximiliano Klemen,
2019,
LOPSTR.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2017
.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2017
.
John P. Gallagher,
Manuel V. Hermenegildo,
Maximiliano Klemen,
2019,
ArXiv.
John P. Gallagher,
Bishoksan Kafle,
Manuel V. Hermenegildo,
2016,
Microprocess. Microsystems.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Pedro López-García,
2018,
ArXiv.
Maximiliano Klemen,
Víctor Pérez,
Pedro López-García,
2020,
SAS.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Pedro López García,
2018,
PPDP.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Pedro López-García,
2018,
ICLP.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2016,
Theory and Practice of Logic Programming.
John P. Gallagher,
Bishoksan Kafle,
Manuel V. Hermenegildo,
2020,
VPT/HCVS@ETAPS.
Maximiliano Klemen,
Umer Liqat,
Pedro López-García,
2020
.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2015,
ArXiv.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Pedro López-García,
2018,
PPDP.
John P. Gallagher,
Bishoksan Kafle,
Manuel V. Hermenegildo,
2021,
HCVS@ETAPS.