Publication Records

BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017, p. 356-367. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/k5nl.

BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Is there a best Büchi automaton for explicit model checking? In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. New York: ACM, 2014, p. 68-76. ISBN 978-1-4503-2452-6. Available from: https://dx.doi.org/10.1145/2632362.2632377.

BLAHOUDEK, František, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Comparison of LTL to Deterministic Rabin Automata Translators. In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Berlin Heidelberg: Springer, 2013, p. 164-172. ISBN 978-3-642-45220-8. Available from: https://dx.doi.org/10.1007/978-3-642-45221-5_12.

BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013, p. 81-98. ISBN 978-3-642-39175-0. Available from: https://dx.doi.org/10.1007/978-3-642-39176-7_6.

BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, p. 24-38. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_4.

BABIAK, Tomáš, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK and Jan STREJČEK. LTL to Büchi Automata Translation: Fast and More Deterministic. In Cormac Flanagan, Barbara König. TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2012, p. 95-109. ISBN 978-3-642-28755-8. Available from: https://dx.doi.org/10.1007/978-3-642-28756-5_8.

BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, vol. 46, No 1, p. 1-28. ISSN 0001-5903.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009th ed. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, p. 105-117. ISSN 1571-0661.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA and Tomáš VOJNAR. Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier B.V., 2009, vol. 251, 96 pp. ISSN 1571-0661.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, vol. 207, No 6, p. 671-680. ISSN 0890-5401.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR and David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.

ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR and David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1st ed. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008, p. 1-286. ISBN 978-80-7355-082-0.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, vol. 394, 1-2, p. 134-140. ISSN 0304-3975.

MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ and Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007.

MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ and Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1st ed. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 62800 Brno, 2007, 290 pp. ISBN 978-80-7355-077-6.

BRIM, Luboš and Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer-Verlag, 2007, p. 9-28. ISBN 978-3-540-69506-6.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Formální jazyky a automaty I. Elportál. Brno: Masarykova univerzita, 2006. ISSN 1802-128X.

BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin: Springer-Verlag, 2006, p. 248-259. ISBN 978-3-540-49994-7.

BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (Refining Undecidability Border of Weak Bisimilarity). In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006th ed. Amsterdam, The Netherlands: Elsevier Science, 2006, p. 17-36. ISSN 1571-0661.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Reachability of Hennessy - Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag, 2005, p. 213-224. ISBN 3-540-30495-9.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, vol. 2005, NS-05-4, p. 3-14. ISSN 0909-3206.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.

KŘETÍNSKÝ, Mojmír. člen vědecké rady Ústavu informatiky ČAV, Praha. Vědecká rada, Ústav informatiky ČAV, Praha, 2004 - 2006.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, p. 355-370. ISBN 3-540-22940-X.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004th ed. Amsterdam, The Netherlands: Elsevier Science, 2004, p. 75-88. ISSN 1571-0661.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, vol. 2004, RS-04-7, p. 1-18. ISSN 0909-0878.

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science, 2003, vol. 68, No 3, p. 1-24. ISSN 0444514163.

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, vol. 21, No 6, p. 565-590, 25 pp. ISSN 1335-9150.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003, p. 73-86.

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 pp. FIMU-RS-2003-05.

BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ and Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings. Berlin, Heidelberg, New York: Springer, 2002, 609 pp. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7.

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming. In Foundations of Coordination Languages and Software Architecture (FOCLASA`02). Amsterdam: Namur University, 2002, p. 1-24.

KŘETÍNSKÝ, Mojmír. Grantová Agentura ČR, člen oborové subkomise POK 201 pro matematiku a informatiku (Czech Science Foundation (GA ČR), a member of the board POK 201 - Mathematics and Informatics). Grantová Agentura ČR, 2002 - 2008.

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. In SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics. Heldelberg: Springer Verlag, 2001, p. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743.

KŘETÍNSKÝ, Mojmír. člen vědecké rady Fakulty elektrotechniky a informatiky VŠB-TU Ostrava (member of Scientific Council, Faculty of EE and Informatics, VSB-TU Ostrava). Vědecká rada Fakulty elektrotechniky a informatiky VŠB-TU Ostrava, 2000 - 2010.

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. FI MU Report Series. Brno: FI MU, 1999, vol. 1999, No 08, p. 1-62.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica. Berlin: Springer-Verlag, 1999, vol. 36, No 3, p. 233-256. ISSN 0001-5903.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A fully abstract semantics for synchronous and asynchronous ccp. Technical Report of Namur University. Namur: Namur University, 1998, vol. 1998, No 1, p. 1-48.

KŘETÍNSKÝ, Mojmír. člen Českého národního komitétu IFIP (member of Czech National IFIP Committee). Český národní komitét, International Federation for Information Processing (IFIP), 1998 - 2003.

KŘETÍNSKÝ, Mojmír. member of IFIP Technical Committee TC-2, IFIP. Technical Committee TC-2, International Federation for Information Processing (IFIP), 1998 - 2004.

JANČAR, Petr and Mojmír KŘETÍNSKÝ. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings. FI MU Report Series. Brno: FI MU, 1998, vol. 1998, No 06, p. 1-209.

JANČAR, Petr and Mojmír KŘETÍNSKÝ. Proceedings of the MFCS'98 Workshop on Concurrency. Electronic Notes in Theoretical Computer Science. Elsevier, 1998, vol. 1998, Vol.18, p. 1-200.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Adding Time via Timed Transitions to Concurrent Constraint Programming. In ERCIM/COMPULOG Workshop. Linz, Austria: ERCIM, 1997, p. 23-34.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science. Elsevier, 1997, vol. 1997, No 5, p. 1-24.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Temporal Synchronous Concurrent Constraint Programming. In COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems. Piza, Italy: COTIC 97, 1997, p. 35-50. tical appl.

BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. In ALP96: Fifth Int. Conference on Algebraic and Logic Programm. Aachen, Germany: Springer-Verlag, 1996, p. 165-178. LNCS 1139. ISBN 3-540-61735-3.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A process Algebra for Synchronous Concurrent Constraint Programming. TR City University, U.K. London: City University London, 1996, vol. 1996, No 6, p. 1-15. ISSN 1364-4009.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996, p. 32-46. MIP-9614.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, 1996, vol. 1996, RS-96-02, p. 1-28.

BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. New versions of asks for synchronous communication in concurrent constraint programming. TR City University, U.K. London: City University London, 1996, vol. 1996, No 3, p. 1-22. ISSN 1364-4009.

ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. On the Relationship between Sequential and Parallel Compositions in Process Algebras. In CSL96 - The 1996 Annual Conference of the European Assoc.. Ultrech, The Netherlands: Department of Philosophy, Ulterech University, 1996, p. 11-13.

BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1995, vol. 1995, No 8, p. 1-15.

BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. New versions of Ask and Tell for synchronous communication in CCP. TR City University, U.K. London: City University London, 1995, vol. 1995, No 10, p. 1-18. ISSN 1364-4009.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Synchronisation in Scc. In ILPS´95. Portland, Oregon, U.S.A: MIT Press, 1995, p. 282-283. ISBN 0-262-62099-5.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. On Synchronous Communication in Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1994, vol. 1994, prelim.rep, p. 1-25.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Operational semantics of concurrent logical systems. In ALP-UK Workshop on Cocurrency in Computational Logic. London,U.K.: City University London, 1993, p. 13-18.

KŘETÍNSKÝ, Mojmír. člen vědecké rady Fakulty elektrotechniky a informatiky VUT Brno (member of Scientific Council, Faculty of EE and Informatics, TU Brno). Vědecká rada Fakulty elektrotechniky a informatiky VUT Brno, 1992 - 1994.