Sign in
Christian Martin
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 2
Top Topics
Computational Fluid Dynamics
Configuration Management
Intracranial Aneurysms
Hardware Design
Top Venues
CoRR
Symmetry
</>
Publications
</>
Florian Lanzinger
,
Christian Martin
,
Frederik Reiche
,
Samuel Teuber
,
Robert Heinrich
,
Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR
(2024)
Georg Walther
,
Christian Martin
,
Amelie Haase
,
Ulf Nestler
,
Stefan Schob
Machine Learning for Rupture Risk Prediction of Intracranial Aneurysms: Challenging the PHASES Score in Geographically Constrained Areas.
Symmetry
14 (5) (2022)
Stefano Previdi
,
Mike Shand
,
Christian Martin
A Policy Control Mechanism in IS-IS Using Administrative Tags.
RFC
5130 (2008)
Christian Martin
,
Christian Winterhalder
Integrating CASE and UIMS for Automatic Software Construction.
HCI (2)
(1993)