Vojtech Rehak

Cited by

	All	Since 2017
Citations	508	202
h-index	11	7
i10-index	15	4

200320042005200620072008200920102011201220132014201520162017201820192020202120226 15 22 19 14 5 16 15 19 27 27 37 31 42 39 43 41 28 31 20

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
Mojmír KřetínskýMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Tomáš KratochvílaHoneywell InternationalVerified email at honeywell.com
Ľuboš KorenčiakFaculty of Informatics, Masaryk University, BrnoVerified email at fi.muni.cz
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Jan KořenekVerified email at fit.vutbr.cz
Christel BaierTU DresdenVerified email at tu-dresden.de
Clemens DubslaffCentre for Tactile Internet with Human-in-the-Loop, TU DresdenVerified email at tu-dresden.de
Petr NovotnýAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Aleš SmrčkaAssistant professor of Computer Science, Brno University of TechnologyVerified email at fit.vutbr.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Branislav BošanskýAssistant Professor, Dept. of Computer Science, FEE, Czech Technical University in PragueVerified email at agents.fel.cvut.cz
Petr HlinenyMasaryk University, Brno, CZVerified email at fi.muni.cz
Petr SlovakKing's College LondonVerified email at kcl.ac.uk

Vojtech Rehak

Masaryk university, Faculty of Informatics

Verified email at fi.muni.cz


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LTL to Büchi Automata Translation: Fast and More Deterministic T Babiak, M Křetínský, V Řehák, J Strejček TACAS 2012: 18th International Conference on Tools and Algorithms for the …, 2012	147	2012
Extended process rewrite systems: Expressiveness and reachability M Křetínský, V Řehák, J Strejček CONCUR 2004-Concurrency Theory, 355-370, 2004	29	2004
Stochastic real-time games with qualitative timed automata objectives T Brázdil, J Krčál, J Křetínský, A Kučera, V Řehák CONCUR 2010-Concurrency Theory, 207-221, 2011	25	2011
Verification of open interactive Markov chains T Brázdil, H Hermanns, J Krcál, J Kretinsky, V Rehák FSTTSC 2012 18, 2012	22	2012
Fixed-delay Events in Generalized Semi-Markov Processes Revisited T Brázdil, J Krčál, J Křetínský, V Řehák CONCUR 2011-Concurrency Theory: 22nd International Conference, 140-155, 2011	19	2011
Optimizing performance of continuous-time stochastic systems using timeout synthesis T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák International Conference on Quantitative Evaluation of Systems, 141-159, 2015	17	2015
On decidability of LTL model checking for process rewrite systems L Bozzelli, M Křetínský, V Řehák, J Strejček Acta informatica 46 (1), 1-28, 2009	16	2009
Reachability of Hennessy-Milner properties for weakly extended PRS M Křetínský, V Řehák, J Strejček FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005	13	2005
Model checking in IPv6 Hardware Router Design J Barnat, T Brázdil, P Krčál, V Řehák, D Šafránek CESNET technical report 8, 2002	12	2002
Automatic synthesis of efficient regular strategies in adversarial patrolling games D Klaška, A Kučera, T Lamser, V Řehák Proceedings of the 17th International Conference on Autonomous Agents and …, 2018	11	2018
Solving adversarial patrolling games with bounded error M Abaffy, T Brázdil, V Řehák, B Bošanský, A Kučera, J Krčál Proceedings of the 2014 international conference on Autonomous agents and …, 2014	11	2014
Measuring performance of continuous-time stochastic processes using timed automata T Brázdil, J Krcál, J Kretínský, A Kucera, V Řehák Proceedings of the 14th international conference on Hybrid systems …, 2011	11	2011
Verification of COMBO6 VHDL Design T Kratochvíla, V Řehák, P Šimeček Technical report, 2003	11	2003
Verification results in Liberouter project J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček Technical Report 03, 2004	10	2004
Hardware Router’s Lookup Machine and its Formal Verification D Antoš, V Řehák, J Kořenek ICN’2004 Conference Proceedings 2, 2004	10	2004
Solving patrolling problems in the internet environment T Brázdil, A Kučera, V Řehák Proceedings of the 27th International Joint Conference on Artificial …, 2018	9	2018
Strategy synthesis in adversarial patrolling games T Brázdil, P Hliněný, A Kučera, V Řehák, M Abaffy arXiv preprint arXiv:1507.03407, 2015	8	2015
Dealing with zero density using piecewise phase-type approximation J Krčál, V Řehák European Workshop on Performance Engineering, 119-134, 2014	8	2014
Sequence chart studio M Bezdeka, O Bouda, L Korenciak, M Madzin, V Reh'k 2012 12th International Conference on Application of Concurrency to System …, 2012	8	2012
Verification process of hardware design in liberouter project J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček Technická Zpráva 5, 2004	8	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors