( en | de | ru )

 

Disambiguation of "Madrid, Natividad Martínez"

Author of the publication

copydeleteadd this publication to your clipboard
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL.

, , , , and . ACM Trans. Program. Lang. Syst., 19 (4): 585-616 (1997)

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.

Vania Martínez

Carlos Martínez

Conrado Martínez

Ursula Martínez

Geovanni Martínez

 

Other publications of authors with the same name

WearIT - A Rapid Prototyping Platform for Wearables., and . IWBBIO (2), volume 10814 of Lecture Notes in Computer Science, page 335-346. Springer, (2018)Thematic issue on human-centred ambient intelligence: Cognitive approaches, reasoning and learning., , , and . J. Ambient Intell. Smart Environ., 9 (5): 539-542 (2017)A Rule-Based Assistant System for Managing the Clothing Cycle., , and . mBiDA, volume 392 of Lecture Notes in Electrical Engineering, page 51-62. Springer, (2014)Assessing the Feasibility of Replacing Subjective Questionnaire-Based Sleep Measurement with an Objective Approach Using a Smartwatch., , , and . Sensors, 23 (13): 6145 (July 2023)Monitoring of Cardiorespiratory Parameters during Sleep Using a Special Holder for the Accelerometer Sensor., , , , , , , and . Sensors, 23 (11): 5351 (2023)Accelerometer based system for unobtrusive sleep apnea detection., , , and . KES, volume 225 of Procedia Computer Science, page 1592-1600. Elsevier, (2023)Preliminary results of homomorphic deconvolution application to surface EMG signals during walking., , , , , , and . KES, volume 192 of Procedia Computer Science, page 3272-3280. Elsevier, (2021)Citizen-centered health platform concept for EU cross-border regions., and . KES, volume 207 of Procedia Computer Science, page 3748-3751. Elsevier, (2022)Evaluation of a Contactless Accelerometer Sensor System for Heart Rate Monitoring During Sleep., , , and . ApplePies, volume 1110 of Lecture Notes in Electrical Engineering, page 333-338. Springer, (2023)Preface., , and . SFEDL@ETAPS, volume 115 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)