| 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 | 135 | 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, 24-39, 2013 | 44 | 2013 |
| Extended process rewrite systems: Expressiveness and reachability M Křetínský, V Řehák, J Strejček International Conference on Concurrency Theory, 355-370, 2004 | 29 | 2004 |
| Compositional approach to suspension and other improvements to LTL translation T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček International SPIN Workshop on Model Checking of Software, 81-98, 2013 | 28 | 2013 |
| A process algebra for synchronous concurrent constraint programming L Brim, JM Jacquet, D Gilbert, M Křetínský International Conference on Algebraic and Logic Programming, 165-178, 1996 | 22 | 1996 |
| 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), 1-28, 2009 | 21 | 2009 |
| Formal Languages and Automata I I Černá, M Křetínský, A Kučera Brno: Masarykova univerzita, 2006 | 20* | 2006 |
| Comparison of LTL to deterministic Rabin automata translators F Blahoudek, M Křetínský, J Strejček International Conference on Logic for Programming Artificial Intelligence …, 2013 | 18 | 2013 |
| 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 | 17 | 1999 |
| Reachability of Hennessy-Milner properties for weakly extended PRS M Křetínský, V Řehák, J Strejček International Conference on Foundations of Software Technology and …, 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, M Kretinsky, J Jacquet | 11 | 1996 |
| 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 | 10 | 2017 |
| Formální jazyky a automaty I I Černá, M Křetínský, A Kučera Elportál, 2006 | 9 | 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 | 8 | 2014 |
| Synchronisation in Scc L Brim, D Gilbert, JM Jacquet, M Křetínský ILPS 95, 282-283, 0 | 7 | |
| 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 | 5 | 2009 |
| Multi-agent systems as concurrent constraint processes L Brim, D Gilbert, JM Jacquet, M Křetíynskí SOFSEM 2001: Theory and Practice of Informatics, 201-210, 2001 | 5 | 2001 |
| 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 Cˇerná, M Kretınský, A Kucera Ucebnı text, verze 1, 2002 | 4 | 2002 |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
