Sign in
Jesús J. Doménech
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Abstract Interpretation
Ranking Functions
Control Flow
Learning To Rank Algorithms
Top Venues
CoRR
HCVS@ETAPS
SAS
Theory Pract. Log. Program.
</>
Publications
</>
Jesús J. Doménech
,
Samir Genaim
Termination Analysis of Programs with Multiphase Control-Flow.
HCVS@ETAPS
(2021)
Jesús J. Doménech
,
John P. Gallagher
,
Samir Genaim
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
CoRR
(2019)
Amir M. Ben-Amram
,
Jesús J. Doménech
,
Samir Genaim
Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.
SAS
(2019)
Jesús J. Doménech
,
John P. Gallagher
,
Samir Genaim
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
Theory Pract. Log. Program.
19 (5-6) (2019)