Jana Tůmová
About
Jana Tůmová has authored 61 papers that have received a total of 769 indexed citations.
This includes 38 papers in Computational Theory and Mathematics, 32 papers in Artificial Intelligence and 20 papers in Computer Vision and Pattern Recognition. The topics of these papers are Formal Methods in Verification (37 papers), Robotic Path Planning Algorithms (20 papers) and Logic, Reasoning, and Knowledge (11 papers). Jana Tůmová is often cited by papers focused on Formal Methods in Verification (37 papers), Robotic Path Planning Algorithms (20 papers) and Logic, Reasoning, and Knowledge (11 papers) and collaborates with scholars based in Sweden, United States and Czechia. Jana Tůmová's co-authors include Dimos V. Dimarogonas, Călin Belta, Daniela Rus, Sertaç Karaman and Christian Pek and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and The International Journal of Robotics Research
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Roger Tine Top authors papers by Shengbo Zhu are co-authored with Top authors papers by Alan N. Elias are co-authored with Top countries impacted by papers by Xiaofang Lu Top fields papers by Yong Chon Park are about Top fields papers by Jiqiang Tang are about Top fields papers by Boonhiang Promdonkoy are about Top fields papers by Álvaro Taus are about