Christian Martin
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR, 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