Petr Kuchynka

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 2

Top Topics

Artificial Intelligence

Atrial Fibrillation

Theoretical Basis

Top Venues

J. Log. Comput.

BMC Medical Imaging

Publications

Petr Kuchynka, Jirí Raclavský
Completeness in partial type theory. J. Log. Comput. 34 (1) (2024)
Zdenka Fingrova, Josef Marek, Stepan Havranek, Lukás Lambert, Petr Kuchynka, Ales Linhart
3D electroanatomical mapping is less sensitive to atrial remodeling in estimation of true left atrial volume than echocardiography. BMC Medical Imaging 18 (1) (2018)