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

Post-Quantum Ready Key Agreement for Aviation.
IACR Commun. Cryptol., 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
A Policy Control Mechanism in IS-IS Using Administrative Tags.
RFC, February, 2008

1993
Integrating CASE and UIMS for Automatic Software Construction.
Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993


  Loading...