Mojmr Kretnsk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2001–2017
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LPAR | Seminator: A Tool for Semi-Determinization of Omega-Automata. | Frantisek Blahoudek, Alexandre Duret-Lutz, Mikuls Klokocka, Mojmr Kretnsk, Jan Strejcek |
| 2013 | ATVA | Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. | Toms Babiak, Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek |
| 2013 | LPAR | Comparison of LTL to Deterministic Rabin Automata Translators. | Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek |
| 2012 | TACAS | LTL to Bchi Automata Translation: Fast and More Deterministic. | Toms Babiak, Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |
| 2007 | SOFSEM | Model-Checking Large Finite-State Systems and Beyond. | Lubos Brim, Mojmr Kretnsk |
| 2004 | CONCUR | Extended Process Rewrite Systems: Expressiveness and Reachability. | Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |
| 2001 | SOFSEM | Multi-agent Systems as Concurrent Constraint Processes. | Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmr Kretnsk |