Publicaciones (4) Publicaciones de JESÚS JAVIER DOMENECH ARELLANO

2021

  1. Termination analysis of programs with multiphase control-flow

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2019

  1. 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

  2. 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

  1. 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)