EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. - Jesús Doménech; Samir Genaim; Einar Broch Johnsen; Rudolf Schlatte (FASE, 2017)

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. - Amir M. Ben-Amram; Jesús J. Doménech; Samir Genaim (SAS, 2019)

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. - Jesús J. Doménech; John P. Gallagher; Samir Genaim (Theory Pract. Log. Program., 2019)

Termination Analysis of Programs with Multiphase Control-Flow. - Jesús J. Doménech; Samir Genaim (HCVS@ETAPS, 2021)