Author of the publication

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.

 

Other publications of authors with the same name

Assessing land use/cover changes in Mexico: a wall-to-wall multidate GIS database., , , , , , , , and . IGARSS, page 3359-3361. IEEE, (2003)Craig interpolation on the logic of knowledge., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 15-24. CEUR-WS.org, (2018)A Note on Constructive Interpolation for the Multi-Modal Logic Km., , , and . LANMR (Selected Papers), volume 354 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2019)DICOMIST: An methodology for Performing Distributed Computing in Heterogeneous ad hoc Networks., , , and . Int. J. Comput. Commun. Control, (2024)Database Management System Verification with Separation Logics., , , , and . Program. Comput. Softw., 47 (8): 654-672 (2021)Artificial synapse topologies using arbitrary-order memristors., , , and . Integr., (March 2023)Non-invasive bladder volume sensing for neurogenic bladder dysfunction management., , , , and . BSN, page 82-85. IEEE, (2018)