SAMIR
GENAIM
Profesor contratado doctor
JESÚS JAVIER
DOMENECH ARELLANO
Predoctoral
Publications by the researcher in collaboration with JESÚS JAVIER DOMENECH ARELLANO (4)
2021
-
Termination analysis of programs with multiphase control-flow
Electronic Proceedings in Theoretical Computer Science, EPTCS
2019
-
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 990-1005
-
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)