( en | de | ru )

 

Disambiguation of "Domínguez, Jesús"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Assisted Bird Monitoring Based on Remotely Sensed Ecosystem Functioning and Atlas Data.

, , , , , and . Remote. Sens., 12 (16): 2549 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Javier Jesús Domínguez Hernández

Jesus Zendejas Dominguez

Pedro Miguel d' Jesús Montilva

Iris Domínguez Talavera

Jesús Araiza

 

Other publications of authors with the same name

Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms., and . CoRR, (2023)Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack., and . CONCUR, volume 279 of LIPIcs, page 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Relating Nominal and Higher-Order Rewriting., and . MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 244-255. Springer, (2014)Argumentation for Explainable Reasoning with Conflicting Medical Recommendations., , , , , , and . MedRACER+WOMoCoE@KR, volume 2237 of CEUR Workshop Proceedings, page 14-22. CEUR-WS.org, (2018)Towards a digital platform for management of randomised controlled trials across multiple electronic health record vendors., , , and . AMIA, AMIA, (2019)From nominal to higher-order rewriting and back again., and . Log. Methods Comput. Sci., (2015)Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting., and . FCT, volume 11651 of Lecture Notes in Computer Science, page 64-79. Springer, (2019)Model-Assisted Bird Monitoring Based on Remotely Sensed Ecosystem Functioning and Atlas Data., , , , , and . Remote. Sens., 12 (16): 2549 (2020)Nominal syntax with atom substitutions., and . J. Comput. Syst. Sci., (2021)Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version., and . CoRR, (2023)