Login / Signup
Martin Penicka
Publication Activity (10 Years)
Years Active: 2004-2016
Publications (10 Years): 1
Top Topics
Data Visualization
Coronary Artery
X Ray
Data Points
Top Venues
Medical Imaging: Image-Guided Procedures
</>
Publications
</>
Gaurav Kaila
,
Pieter H. Kitslaar
,
Shengxian Tu
,
Martin Penicka
,
Jouke Dijkstra
,
Boudewijn P. F. Lelieveldt
Fusion of CTA and XA data using 3D centerline registration for plaque visualization during coronary intervention.
Medical Imaging: Image-Guided Procedures
(2016)
Martin Penicka
Formal Approach to Railway Applications.
Formal Methods and Hybrid Real-Time Systems
(2007)
Martin Penicka
,
Dines Bjørner
From railway resource planning to train operation - a brief survey of complementary formalisations.
IFIP Congress Topical Sessions
(2004)
Dines Bjørner
,
Peter Chiang
,
Morten S. T. Jacobsen
,
Jens Kielsgaard Hansen
,
Michael P. Madsen
,
Martin Penicka
Towards a formal model of CyberRail.
IFIP Congress Topical Sessions
(2004)