Umer Liqat
发表
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.
Manuel V. Hermenegildo,
Umer Liqat,
Pedro López-García,
2017,
LOPSTR.
Manuel V. Hermenegildo,
Umer Liqat,
Pedro López-García,
2016,
ArXiv.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2017
.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2017
.
John P. Gallagher,
Bishoksan Kafle,
Manuel V. Hermenegildo,
2016,
Microprocess. Microsystems.
Manuel V. Hermenegildo,
Umer Liqat,
Kerstin Eder,
2013,
LOPSTR.
Manuel V. Hermenegildo,
Umer Liqat,
Pedro López-García,
2017,
Log. J. IGPL.
Umer Liqat,
Pedro López-García,
Zorana Bankovic,
2015,
AIAI.
Umer Liqat,
2018
.
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2016,
Theory and Practice of Logic Programming.
Umer Liqat,
Pedro López-García,
Zorana Bankovic,
2015,
HAIS.
Maximiliano Klemen,
Umer Liqat,
Pedro López-García,
2020
.
John P. Gallagher,
Manuel V. Hermenegildo,
Umer Liqat,
2015,
FOPARA.
Umer Liqat,
Pedro López-García,
Zorana Bankovic,
2019,
J. Multiple Valued Log. Soft Comput..
Manuel V. Hermenegildo,
Maximiliano Klemen,
Umer Liqat,
2015,
ArXiv.