ALBERTO
RUBIO GIMENO
Catedrático de universidad
ENRIQUE
MARTÍN MARTÍN
Profesor titular de universidad
ENRIQUE MARTÍN MARTÍN-rekin lankidetzan egindako argitalpenak (2)
2021
-
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
Resource Analysis driven by (Conditional) Termination Proofs
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739