ProfessorsProfessors of Masarykova univerzitaIvana Cerna

Ivana Cerna

Masarykova univerzita

H-index: 25

Europe-Czech Republic

About Ivana Cerna

Ivana Cerna, With an exceptional h-index of 25 and a recent h-index of 13 (since 2020), a distinguished researcher at Masarykova univerzita, specializes in the field of Formal verification and synthesis.

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

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

Timed automata robustness analysis via model checking

Timed automata relaxation for reachability

MUST: minimal unsatisfiable subsets enumeration tool

Replication-guided enumeration of minimal unsatisfiable subsets

Rotation based MSS/MCS enumeration

Ivana Cerna Information

University	Masarykova univerzita
Position	Czech Republic
Citations(all)	2139
Citations(since 2020)	429
Cited By	1902
hIndex(all)	25
hIndex(since 2020)	13
i10Index(all)	51
i10Index(since 2020)	16
Email	Access Email
University Profile Page	Masarykova univerzita
Google Scholar	View Google Scholar Profile

Ivana Cerna Skills & Research Interests

Formal verification and synthesis

Top articles of Ivana Cerna

Title	Journal	Author(s)	Publication Date
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics		Jan Mrázek Patrick Ondika Ivana Černá Jiří Barnat	2023/5/29
Timed automata robustness analysis via model checking	Logical Methods in Computer Science	Jaroslav Bendík Ahmet Sencan Ebru Aydin Gol Ivana Černá	2022/7/29
Timed automata relaxation for reachability		Jaroslav Bendík Ahmet Sencan Ebru Aydin Gol Ivana Černá	2021/3/20
MUST: minimal unsatisfiable subsets enumeration tool		Jaroslav Bendík Ivana Černá	2020/4/17
Replication-guided enumeration of minimal unsatisfiable subsets		Jaroslav Bendík Ivana Černá	2020
Rotation based MSS/MCS enumeration	LPAR. EPiC Series in Computing	Jaroslav Bendık Ivana Cerná	2020