| 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 | 173 | 2012 |
| 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 | 51 | 2013 |
| 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 | 45 | 2013 |
| 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 | 29 | 2004 |
| 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 | 23 | 2009 |
| 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 | 21 | 1996 |
| 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 | 20 | 2013 |
| 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 | 18 | 2017 |
| 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 | 18 | 1999 |
| 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 | 13 | 2005 |
| 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 | 13 | 2004 |
| 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 | 11 | 1996 |
| Formální jazyky a automaty I I Černá, M Křetínský, A Kučera Elportál, 2006 | 10 | 2006 |
| 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 | 9 | 2014 |
| 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 | 5 | 1997 |
| 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 | 4 | 2009 |
| 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 | 4 | 2006 |
| Automaty a formálnı jazyky I I Cerná, M Kretınský, A Kucera Ucebnı text, verze 1, 2002 | 4 | 2002 |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
