CUFinder

Petr Muller

About Petr Muller

Petr Muller, With an exceptional h-index of 4 and a recent h-index of 2 (since 2020), a distinguished researcher at Vysoké ucení technické v Brne, specializes in the field of Formal Verification, Linux.

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

Algorithmic Details behind the Predator Shape Analyser

Petr Muller Information

University

Position

Faculty of Information Technology

Citations(all)

45

Citations(since 2020)

13

Cited By

41

hIndex(all)

4

hIndex(since 2020)

2

i10Index(all)

4

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Petr Muller Skills & Research Interests

Formal Verification

Linux

Top articles of Petr Muller

Algorithmic Details behind the Predator Shape Analyser

arXiv preprint arXiv:2403.18491

2024/3/27

Petr Muller
Petr Muller

H-Index: 2

See List of Professors in Petr Muller University(Vysoké ucení technické v Brne)