关注
Mojmír Křetínský
Mojmír Křetínský
Masaryk university, Faculty of Informatics
在 fi.muni.cz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1782012
Effective translation of LTL to deterministic Rabin automata: Beyond the (F, G)-fragment
T Babiak, F Blahoudek, M Křetínský, J Strejček
Automated Technology for Verification and Analysis: 11th International …, 2013
522013
Compositional approach to suspension and other improvements to LTL translation
T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
442013
Extended process rewrite systems: Expressiveness and reachability
M Křetínský, V Řehák, J Strejček
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
292004
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-28, 2009
232009
Formal Languages and Automata I
I Černá, M Křetínský, A Kučera
Brno: Masarykova univerzita, 2006
22*2006
A process algebra for synchronous concurrent constraint programming
L Brim, JM Jacquet, D Gilbert, M Křetínský
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen …, 1996
211996
Comparison of LTL to deterministic Rabin automata translators
F Blahoudek, M Křetínský, J Strejček
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
202013
Seminator: A Tool for Semi-Determinization of Omega-Automata
F Blahoudek, A Duret-Lutz, M Klokocka, M Kretínský, J Strejcek
International Conference on Logic for Programming Artificial Intelligence …, 2017
182017
Comparing expressibility of normed BPA and normed BPP processes
I Černá, M Křetínsky, A Kučera
Acta informatica 36 (3), 233-256, 1999
181999
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
132005
On extensions of process rewrite systems: Rewrite systems with weak finite-state unit
M Křetı́nský, V Rehák, J Strejček
Electronic Notes in Theoretical Computer Science 98, 75-88, 2004
132004
New Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming
L Brim, D Gilbert, JM Jacquet
City University, Department of Computer Science, 1996
111996
Formální jazyky a automaty I
I Černá, M Křetínský, A Kučera
Elportál, 2006
102006
Is there a best Büchi automaton for explicit model checking?
F Blahoudek, A Duret-Lutz, M Křetínský, J Strejček
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
92014
Synchronisation in Scc
L Brim, D Gilbert, JM Jacquet, M Křetínský
ILPS 95, 282-283, 0
7*
Bisimilarity is decidable in the union of normed BPA and normed BPP processes
I Cerna, M Kretínský, A Kucera
Electronic Notes in Theoretical Computer Science 5, 14, 1997
51997
Reachability is decidable for weakly extended process rewrite systems
M Křetínský, V Řehák, J Strejček
Information and Computation 207 (6), 671-680, 2009
42009
Refining the undecidability border of weak bisimilarity
M Kretínský, V Rehák, J Strejček
IN PROCEEDINGS OF THE 7TH INTERNATIONAL WORKSHOP ON VERIFICATION OF INFINITE …, 2006
42006
Automaty a formálnı jazyky I
I Cerná, M Kretınský, A Kucera
Ucebnı text, verze 1, 2002
42002
系统目前无法执行此操作,请稍后再试。
文章 1–20