Concepedia

Vojtěch Řehák

VŘ

Statistics

Publications

4

Citations

110

H-Index

4

Active since

2004

Affiliations

Masaryk University(Current)

Vojtěch Řehák is an author at Masaryk University specializing in computer science, computing, and finite automata.

Publications per year

2004–2019

4

Publications

4

PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks

Milan Patnaik, V. Kamakoti, Vashek Matyáš et al. · IEEE Transactions on Cognitive Communications and Networking · 2019 · 42 citations

Computing, Computer Science, Computer Systems +17

LTL to Büchi Automata Translation: Fast and More Deterministic

Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák et al. · arXiv (Cornell University) · 2012 · 39 citations · Full text

Computing, Computer Science, Algorithms +12

Verification of Open Interactive Markov Chains

Tomǎš Brázdil, Holger Hermanns, Jan Krčál et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 17 citations · Full text

Computing, Computer Science, Algorithms +13

On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

Mojmı́r Křetı́nský, Vojtěch Řehák, Jan Strejček · Electronic Notes in Theoretical Computer Science · 2004 · 12 citations · Full text

Computing, Computer Science, Formal Methods +14

1–4 of 4