Mojmír Kretínský

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 1

Top Topics

Deterministic Automata

Machine Translation

Finite State Automaton

Top Venues

Publications

Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek
Seminator: A Tool for Semi-Determinization of Omega-Automata. LPAR (2017)
Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Is there a best büchi automaton for explicit model checking? SPIN (2014)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. ATVA (2013)
Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Compositional Approach to Suspension and Other Improvements to LTL Translation. SPIN (2013)
Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Comparison of LTL to Deterministic Rabin Automata Translators. LPAR (2013)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. CoRR (2013)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic CoRR (2012)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS (2012)
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness CoRR (2010)
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On decidability of LTL model checking for process rewrite systems. Acta Informatica 46 (1) (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. INFINITY (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Reachability is decidable for weakly extended process rewrite systems. Inf. Comput. 207 (6) (2009)
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
Preface. Electron. Notes Theor. Comput. Sci. 251 (2009)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Petri nets are less expressive than state-extended PA. Theor. Comput. Sci. 394 (1-2) (2008)
Lubos Brim, Mojmír Kretínský
Model-Checking Large Finite-State Systems and Beyond. SOFSEM (1) (2007)
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Decidability of LTL Model Checking for Process Rewrite Systems. FSTTCS (2006)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Refining the Undecidability Border of Weak Bisimilarity. INFINITY (2005)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS (2005)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR (2004)
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. INFINITY (2003)
Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Comput. Artif. Intell. 21 (6) (2002)
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Multi-agent Systems as Concurrent Constraint Processes. SOFSEM (2001)
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Informatica 36 (3) (1999)
Petr Jancar, Mojmír Kretínský
Preface. Electron. Notes Theor. Comput. Sci. 18 (1998)
Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský
A Process Algebra for Synchronous Concurrent Constraint Programming. ALP (1996)
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. INFINITY (1996)
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
Synchronisation in Scc. ILPS (1995)