ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
ALBERTO
RUBIO GIMENO
Catedrático de universidad
Publicaciones en las que colabora con ALBERTO RUBIO GIMENO (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