Martin Mach

According to our database, Martin Mach authored at least 2 papers between 2004 and 2019.

Collaborative distances:

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

2019

Squirrel-Cage Rotor Design and Manufacturing for High-Speed Applications.

Jan Barta, Nikita Uzhegov, Petr Losak, Cestmir Ondrusek, Martin Mach, Juha J. Pyrhönen

IEEE Trans. Ind. Electron., 2019

2004

Addressing State Explosion in Behavior Protocol Verification.

Martin Mach, Frantisek Plásil

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004