Author of the publication

A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection.

, , , and . COMSNETS, page 84-89. IEEE, (2022)

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

A Path Construction Algorithm for Translation Validation Using PRES+ Models., , , , and . Parallel Process. Lett., 26 (2): 1650010:1-1650010:18 (2016)A Report on the First International Workshop on Program Equivalence (PEQ 2022).. ISEC, page 39:1-39:2. ACM, (2022)SamaTulyata: An Efficient Path Based Equivalence Checking Tool., , , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 109-116. Springer, (2017)Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs., , , and . PNSE@Petri Nets, volume 2651 of CEUR Workshop Proceedings, page 138-146. CEUR-WS.org, (2020)PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations., and . SEM4HPC@HPDC, page 13-20. ACM, (2017)A Report on the First Workshop on Software Engineering for Artificial Intelligence (SE4AI 2020)., , and . ISEC, page 21:1-21:2. ACM, (2020)Equivalence checking of Petri net models of programs using static and dynamic cut-points., , and . Acta Informatica, 56 (4): 321-383 (2019)AES: Automated Evaluation Systems for Computer Programing Course., , , and . ICSOFT, page 508-513. SciTePress, (2019)Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets., , , and . ICSOFT, page 533-541. SCITEPRESS, (2021)Solving the instance model-view update problem in AADL., , , and . MoDELS, page 55-65. ACM, (2022)