Jesús Domínguez

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Topics

Decision Support

Remotely Sensed

Conjunctive Queries

Top Venues

J. Comput. Syst. Sci.

Publications

Jesús Domínguez, Aleksandar Nanevski
Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms. CoRR (2023)
Jesús Domínguez, Aleksandar Nanevski
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack. CONCUR (2023)
Jesús Domínguez, Aleksandar Nanevski
Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version. CoRR (2023)
Jesús Domínguez, Maribel Fernández
Nominal syntax with atom substitutions. J. Comput. Syst. Sci. 119 (2021)
Martin Chapman, Jesús Domínguez, Elliot Fairweather, Brendan C. Delaney, Vasa Curcin
Using Computable Phenotypes in Point-of-Care Clinical Trial Recruitment. MIE (2021)
Adrián Regos, Pablo Gómez-Rodríguez, Salvador Arenas-Castro, Luis Tapia, María Vidal, Jesús Domínguez
Model-Assisted Bird Monitoring Based on Remotely Sensed Ecosystem Functioning and Atlas Data. Remote. Sens. 12 (16) (2020)
Kristijonas Cyras, Jesús Domínguez, Amin Karamlou, Denys Prociuk, Vasa Curcin, Brendan Delaney, Francesca Toni, Kalipso Chalkidou, Ara Darzi
ROAD2H: Learning Decision Support System for Low- and Middle-Income Countries. AMIA (2019)
Jesús Domínguez, Maribel Fernández
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. FCT (2019)
Jesús Domínguez, Elliot Fairweather, Brendan Delaney, Vasa Curcin
Towards a digital platform for management of randomised controlled trials across multiple electronic health record vendors. AMIA (2019)
Kristijonas Cyras, Brendan Delaney, Denys Prociuk, Francesca Toni, Martin Chapman, Jesús Domínguez, Vasa Curcin
Argumentation for Explainable Reasoning with Conflicting Medical Recommendations. MedRACER+WOMoCoE@KR (2018)
Jesús Domínguez, Maribel Fernández
From nominal to higher-order rewriting and back again. Log. Methods Comput. Sci. 11 (4) (2015)
Jesús Domínguez, Maribel Fernández
Relating Nominal and Higher-Order Rewriting. MFCS (1) (2014)