Christian Martin
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Using Physiological Markers to Assess Comfort during Neuromuscular Electrical Stimulation Induced Muscle Contraction in a Virtually Guided Environment: Pilot Study for a Path toward Combating ICU-Acquired Weakness.
Sensors, June, 2024
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
2022
Machine Learning for Rupture Risk Prediction of Intracranial Aneurysms: Challenging the PHASES Score in Geographically Constrained Areas.
Symmetry, 2022
2008
1993
Integrating CASE and UIMS for Automatic Software Construction.
Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993