Concepedia

Mojmír Křetínský

MK

Statistics

Publications

4

Citations

90

H-Index

4

Active since

1999

Affiliations

Masaryk University(Current)

Mojmír Křetínský is an author at Masaryk University specializing in computer science, computing, and data synchronization.

Publications per year

1999–2012

4

Publications

4

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

CONCUR 2002 - Concurrency Theory. 13th InternationalConference. Proceedings.

Luboš Brim, Petr Jančar, Mojmír Křetínský et al. · 2002 · 24 citations

Computing, Computer Engineering, Computer Science +14

Proceedings of the 13th International Conference on Concurrency Theory

Luboš Brim, Petr Jančar, Mojmír Křetínský et al. · 2002 · 14 citations

Computing, Computer Science, Computer Systems +14

Comparing expressibility of normed BPA and normed BPP processes

Ivana Černá, Mojmír Křetínský, Antonı́n Kučera · Acta Informatica · 1999 · 13 citations

Education, Industrial Engineering, Norm-referenced Assessment +1

1–4 of 4