Martin Penicka

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Fusion of CTA and XA data using 3D centerline registration for plaque visualization during coronary intervention.
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.
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.
Proceedings of the Building the Information Society, 2004

Towards a formal model of CyberRail.
Proceedings of the Building the Information Society, 2004


  Loading...