Martin Penicka

According to our database, Martin Penicka authored at least 4 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Fusion of CTA and XA data using 3D centerline registration for plaque visualization during coronary intervention.

Gaurav Kaila, Pieter H. Kitslaar, Shengxian Tu, Martin Penicka, Jouke Dijkstra, Boudewijn P. F. Lelieveldt

Proceedings of the Medical Imaging 2016: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 27 February, 2016

2007

Formal Approach to Railway Applications.

Martin Penicka

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2004

From railway resource planning to train operation - a brief survey of complementary formalisations.

Martin Penicka, Dines Bjørner

Proceedings of the Building the Information Society, 2004

Towards a formal model of CyberRail.

Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka

Proceedings of the Building the Information Society, 2004