Jesús Domínguez

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