Mojmír Kretínský

31 papers A 1B 6Journal 8Unranked 14
YearRankTypeTitle / Venue / Authors
2017 B conf
Seminator: A Tool for Semi-Determinization of Omega-Automata.
LPAR
Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek
2014 — conf
Is there a best büchi automaton for explicit model checking?
SPIN
Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
2013 B conf
Comparison of LTL to Deterministic Rabin Automata Translators.
LPAR
Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
2013 — conf
Compositional Approach to Suspension and Other Improvements to LTL Translation.
SPIN
Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
2013 B conf
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
ATVA
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
2013 J jnl
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
CoRR
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
2012 J jnl
LTL to Büchi Automata Translation: Fast and More Deterministic
CoRR
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2012 A conf
LTL to Büchi Automata Translation: Fast and More Deterministic.
TACAS
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2010 J jnl
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness
CoRR
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2009 — conf
On Decidability of LTL+Past Model Checking for Process Rewrite Systems.
INFINITY
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2009 J jnl
On decidability of LTL model checking for process rewrite systems.
Acta Informatica
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2009 — ed.
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008
MEMICS
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2009 J jnl
Reachability is decidable for weakly extended process rewrite systems.
Inf. Comput.
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2008 J jnl
Petri nets are less expressive than state-extended PA.
Theor. Comput. Sci.
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2008 — conf
Preface.
MEMICS
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2007 — conf
Model-Checking Large Finite-State Systems and Beyond.
SOFSEM (1)
Lubos Brim, Mojmír Kretínský
2006 — conf
On Decidability of LTL Model Checking for Process Rewrite Systems.
FSTTCS
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2005 — conf
Reachability of Hennessy-Milner Properties for Weakly Extended PRS.
FSTTCS
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2005 — conf
Refining the Undecidability Border of Weak Bisimilarity.
INFINITY
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2004 B conf
Extended Process Rewrite Systems: Expressiveness and Reachability.
CONCUR
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2003 — conf
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit.
INFINITY
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2002 B ed.
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings
CONCUR
Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera
2002 — conf
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
FOCLASA
Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský
2002 J jnl
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Comput. Artif. Intell.
Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert
2001 B conf
Multi-agent Systems as Concurrent Constraint Processes.
SOFSEM
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
1999 J jnl
Comparing Expressibility of Normed BPA and Normed BPP Processes.
Acta Informatica
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
1998 — conf
Preface.
MFCS Workshop on Concurrency
Petr Jancar, Mojmír Kretínský
1998 — ed.
Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998
MFCS Workshop on Concurrency
Petr Jancar, Mojmír Kretínský
1996 — conf
A Process Algebra for Synchronous Concurrent Constraint Programming.
ALP
Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský
1996 — conf
Bisimilarity is decidable in the union of normed BPA and normed BPP processes.
INFINITY
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
1995 — conf
Synchronisation in Scc.
ILPS
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský