Jan Mrzek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IROS | Tree-Based Reconfiguration of Metamorphic Robots. | Patrick Ondika, Jan Mrzek, Jiri Barnat |
| 2023 | ICRA | Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. | Jan Mrzek, Patrick Ondika, Ivana Cern, Jiri Barnat |
| 2021 | IROS | Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? | Jan Mrzek, Martin Jons, Jiri Barnat |
| 2019 | IROS | RoFICoM - First Open-Hardware Connector for Metamorphic Robots. | Jan Mrzek, Jiri Barnat |
| 2019 | SEFM | Reproducible Execution of POSIX Programs with DiOS. | Petr Rockai, Zuzana Baranov, Jan Mrzek, Katarna Kejstov, Jiri Barnat |
| 2017 | ATVA | Model Checking of C and C++ with DIVINE 4. | Zuzana Baranov, Jiri Barnat, Katarna Kejstov, Tades Kucera, Henrich Lauko, Jan Mrzek, Petr Rockai, Vladimr Still |
| 2017 | TACAS | Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). | Jan Mrzek, Martin Jons, Vladimr Still, Henrich Lauko, Jiri Barnat |