Jiří Barnat

Masarykova univerzita

H-index: 34

Europe-Czech Republic

About Jiří Barnat

Jiří Barnat, With an exceptional h-index of 34 and a recent h-index of 15 (since 2020), a distinguished researcher at Masarykova univerzita, specializes in the field of Metamorphic Robots, Parallel Verification, Model Checking, Algorithm Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

Fault-Tolerant and System-Wide Communication for Metamorphic Robots

RoFIOS-Flexible Full-Stack Software Solution for Metamorphic Robots

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics

DivSIM, an interactive simulator for LLVM bitcode

Reproducible execution of POSIX programs with DiOS

Reconfiguring metamorphic robots via SMT: is it a viable way?

On Symbolic Execution of Decompiled Programs

Jiří Barnat Information

University	Masarykova univerzita
Position	Faculty of Informatics
Citations(all)	3292
Citations(since 2020)	748
Cited By	2867
hIndex(all)	34
hIndex(since 2020)	15
i10Index(all)	70
i10Index(since 2020)	22
Email	Access Email
University Profile Page	Masarykova univerzita
Google Scholar	View Google Scholar Profile

Jiří Barnat Skills & Research Interests

Metamorphic Robots

Parallel Verification

Model Checking

Algorithm Engineering

Top articles of Jiří Barnat

Title	Journal	Author(s)	Publication Date
Fault-Tolerant and System-Wide Communication for Metamorphic Robots		Jan Mrázek Vladimír Chlup Jiří Barnat	2023/8/26
RoFIOS-Flexible Full-Stack Software Solution for Metamorphic Robots		Jan Mrázek Jiří Barnat	2023/8/26
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics		Jan Mrázek Patrick Ondika Ivana Černá Jiří Barnat	2023/5/29
DivSIM, an interactive simulator for LLVM bitcode	International Journal on Software Tools for Technology Transfer	Petr Ročkai Jiří Barnat	2022/6
Reproducible execution of POSIX programs with DiOS	Software and Systems Modeling	Petr Ročkai Zuzana Baranová Jan Mrázek Katarína Kejstová Jiříí Barnat	2021/4
Reconfiguring metamorphic robots via SMT: is it a viable way?		Jan Mrázek Martin Jonáš Jiří Barnat	2021/9/27
On Symbolic Execution of Decompiled Programs		Lukáš Korenčik Petr Ročkai Henrich Lauko Jiří Barnat	2020/12/11