Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2017

    1. Seminator: A Tool for Semi-Determinization of Omega-Automata
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ a 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, s. 356-367. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/k5nl.
      URL
      RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: semi deterministic automata; ltl to automata translation; omega automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 9. 11. 2018 14:58.
      Podrobněji: https://is.muni.cz/publication/1380432/cs

    2014

    1. Is there a best Büchi automaton for explicit model checking?
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a 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, s. 68-76. ISBN 978-1-4503-2452-6. Dostupné z: https://dx.doi.org/10.1145/2632362.2632377.
      Název česky: Existuje nejlepší Büchiho automat pro explicitní metodu ověřování modelu?
      RIV/00216224:14330/14:00073815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 11. 7. 2019 13:31.
      Podrobněji: https://is.muni.cz/publication/1196458/cs

    2013

    1. Comparison of LTL to Deterministic Rabin Automata Translators
      BLAHOUDEK, František, Mojmír KŘETÍNSKÝ a 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, s. 164-172. ISBN 978-3-642-45220-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-45221-5_12.
      Název česky: Srovnání překladačů LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066512 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 3. 6. 2014 11:26.
      Podrobněji: https://is.muni.cz/publication/1129430/cs
    2. Compositional Approach to Suspension and Other Improvements to LTL Translation
      BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a 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, s. 81-98. ISBN 978-3-642-39175-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39176-7_6.
      RIV/00216224:14330/13:00066141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Babiak, Tomáš (703 Slovensko, domácí) -- Badie, Thomas (250 Francie) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear time logic; model-checking; translation LTL to Buchi automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:28.
      Podrobněji: https://is.muni.cz/publication/1110031/cs
    3. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
      BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ a 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, s. 24-38. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_4.
      Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:58.
      Podrobněji: https://is.muni.cz/publication/1111172/cs

    2012

    1. LTL to Büchi Automata Translation: Fast and More Deterministic
      BABIAK, Tomáš, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a 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, s. 95-109. ISBN 978-3-642-28755-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-28756-5_8.
      URL
      Název česky: Překlad LTL na Büchiho automaty: rychle a determinističtěji
      RIV/00216224:14330/12:00057222 Stať ve sborníku. Informatika. angličtina. Německo.
      Babiak, Tomáš (203 Česká republika, garant, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: Linear Temporal Logic; Büchi Automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 9. 4. 2013 18:14.
      Podrobněji: https://is.muni.cz/publication/963563/cs

    2009

    1. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, roč. 46, č. 1, s. 1-28. ISSN 0001-5903.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
      Podrobněji: https://is.muni.cz/publication/769242/cs
    2. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, s. 105-117. ISSN 1571-0661.
      URL
      Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
      Podrobněji: https://is.muni.cz/publication/800536/cs
    3. Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers
      ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA a 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, roč. 251, 96 s. ISSN 1571-0661.
      URL
      Název česky: Sborník 4. doktorského workshopu o matematických a inženýrských metodách v počítačových vědách (MEMICS 2008) - vybrané příspěvky
      Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: computer science
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 1. 2011 13:48.
      Podrobněji: https://is.muni.cz/publication/843153/cs
    4. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, roč. 207, č. 6, s. 671-680. ISSN 0890-5401.
      URL
      Název česky: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/09:00028490 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 7. 5. 2009 10:19.
      Podrobněji: https://is.muni.cz/publication/830834/cs

    2008

    1. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
      ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.
      URL
      Název česky: MEMICS 2008: 4. doktorský workshop o matematických a inženýrských metodách v počítačových vědách
      RIV/00216224:14610/08:00025049 Uspořádání workshopu. Počítačový hardware a software. angličtina. Česká republika.
      Češka, Milan (203 Česká republika, garant) -- Kotásek, Zdeněk (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika) -- Matyska, Luděk (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika) -- Antoš, David (203 Česká republika)
      Klíčová slova anglicky: computer science
      Mezinárodní význam: ano
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 30. 3. 2010 09:52.
      Podrobněji: https://is.muni.cz/publication/796145/cs
    2. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
      ČEŠKA, Milan, Zdeněk KOTÁSEK, Mojmír KŘETÍNSKÝ, Luděk MATYSKA, Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008, s. 1-286. ISBN 978-80-7355-082-0.
      URL
      Název česky: MEMICS 2008: 4. doktorský workshop o matematických a inženýrských metodách v počítačových vědách
      RIV/00216224:14330/08:00029124 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Počítačový hardware a software. angličtina. Česká republika.
      Češka, Milan (203 Česká republika, garant) -- Kotásek, Zdeněk (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika) -- Matyska, Luděk (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika) -- Antoš, David (203 Česká republika)
      Klíčová slova anglicky: computer science
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 30. 3. 2010 11:03.
      Podrobněji: https://is.muni.cz/publication/794637/cs
    3. Petri Nets Are Less Expressive Than State-Extended PA
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 2008, roč. 394, 1-2, s. 134-140. ISSN 0304-3975.
      Název česky: Petriho sítě mají menší vyjadřovací sílu než stavově-rozšířené PA
      RIV/00216224:14330/08:00024164 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: Petri nets; PA processes; bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:55.
      Podrobněji: https://is.muni.cz/publication/760714/cs

    2007

    1. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
      MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ a Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007.
      URL
      Název česky: MEMICS 2007: Třetí doktorský workshop o matematických a inženýrských metodách v počítačových vědách
      RIV/00216224:14330/07:00025150 Uspořádání workshopu. Počítačový hardware a software. angličtina. Česká republika.
      Matyska, Luděk (203 Česká republika, garant) -- Antoš, David (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika) -- Hliněný, Petr (203 Česká republika)
      Klíčová slova anglicky: information technology
      Mezinárodní význam: ano
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 30. 3. 2010 09:55.
      Podrobněji: https://is.muni.cz/publication/806479/cs
    2. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
      MATYSKA, Luděk, David ANTOŠ, Milan ČEŠKA, Mojmír KŘETÍNSKÝ a Petr HLINĚNÝ. MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 62800 Brno, 2007, 290 s. ISBN 978-80-7355-077-6.
      URL
      Název česky: MEMICS 2007: Třetí doktorský workshop o matematických a inženýrských metodách v počítačových vědách
      RIV/00216224:14330/07:00049559 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Počítačový hardware a software. angličtina. Česká republika.
      Matyska, Luděk (203 Česká republika) -- Antoš, David (203 Česká republika, garant) -- Češka, Milan (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika) -- Hliněný, Petr (203 Česká republika)
      Klíčová slova anglicky: information technology
      Druh sborníku: předkonferenční sborník
      Recenzováno: ano
      Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 30. 3. 2010 11:07.
      Podrobněji: https://is.muni.cz/publication/726450/cs
    3. Model Checking Large Finite-State Systems and Beyond
      BRIM, Luboš a 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, s. 9-28. ISBN 978-3-540-69506-6.
      Název česky: Ověřování modelu pro rozsáhlé konečně stavové systémy a za jejich hranicemi
      RIV/00216224:14330/07:00019356 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika)
      Klíčová slova anglicky: finite and infinite-state systems; reachability; linear time logic; model checking; decidability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 12. 6. 2008 09:40.
      Podrobněji: https://is.muni.cz/publication/710390/cs
    4. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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.
      Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: předkonferenční sborník
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
      Podrobněji: https://is.muni.cz/publication/723973/cs

    2006

    1. Formální jazyky a automaty I
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Formální jazyky a automaty I. Elportál. Brno: Masarykova univerzita, 2006. ISSN 1802-128X.
      URL
      Informatika. čeština. Česká republika.
      Změnila: Mgr. Kateřina Drábková, učo 74369. Změněno: 11. 8. 2015 20:22.
      Podrobněji: https://is.muni.cz/publication/703389/cs
    2. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a 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, s. 248-259. ISBN 978-3-540-49994-7.
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
      Podrobněji: https://is.muni.cz/publication/698768/cs
    3. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/701734/cs
    4. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006. vyd. Amsterdam, The Netherlands: Elsevier Science, 2006, s. 17-36. ISSN 1571-0661.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
      Název anglicky: Refining Undecidability Border of Weak Bisimilarity
      RIV/00216224:14330/06:00015292 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:53.
      Podrobněji: https://is.muni.cz/publication/616549/cs

    2005

    1. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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, s. 213-224. ISBN 3-540-30495-9.
      Název česky: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
      RIV/00216224:14330/05:00012582 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 8. 4. 2010 21:40.
      Podrobněji: https://is.muni.cz/publication/574584/cs
    2. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
      Podrobněji: https://is.muni.cz/publication/574582/cs
    3. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
      Podrobněji: https://is.muni.cz/publication/574583/cs

    2004

    1. člen vědecké rady Ústavu informatiky ČAV, Praha
      KŘETÍNSKÝ, Mojmír. člen vědecké rady Ústavu informatiky ČAV, Praha. Vědecká rada, Ústav informatiky ČAV, Praha, 2004 - 2006.
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 16. 9. 2017 11:41.
      Podrobněji: https://is.muni.cz/publication/1389494/cs
    2. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, s. 355-370. ISBN 3-540-22940-X.
      Název česky: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
      RIV/00216224:14330/04:00010262 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 3. 2010 13:41.
      Podrobněji: https://is.muni.cz/publication/557472/cs
    3. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science, 2004, s. 75-88. ISSN 1571-0661.
      URL
      Název česky: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
      RIV/00216224:14330/04:00010392 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; reachability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:11.
      Podrobněji: https://is.muni.cz/publication/559231/cs
    4. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, roč. 2004, RS-04-7, s. 1-18. ISSN 0909-0878.
      URL
      Název česky: O vyjadřovací síle rozšířených procesových přepisovacích systémů
      RIV/00216224:14330/04:00010025 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/554469/cs

    2003

    1. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a 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, roč. 68, č. 3, s. 1-24. ISSN 0444514163.
      URL
      RIV/00216224:14330/03:00008380 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika) -- Jacquet, Jean-Marie (56 Belgie) -- Gilbert, David (826 Velká Británie a Severní Irsko) -- Křetínský, Mojmír (203 Česká republika, garant)
      Klíčová slova anglicky: coordination; concurrent constraint programming; semantics; communication
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/490860/cs
    2. Modelling Multi-Agents Systems as Concurrent Constraint Processes
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, roč. 21, č. 6, s. 565-590, 25 s. ISSN 1335-9150.
      RIV/00216224:14330/03:00008381 Článek v odborném periodiku. Informatika. angličtina. Slovensko.
      Brim, Luboš (203 Česká republika) -- Jacquet, Jean-Marie (56 Belgie) -- Gilbert, David (826 Velká Británie a Severní Irsko) -- Křetínský, Mojmír (203 Česká republika, garant)
      Klíčová slova anglicky: agents; concurrent constraint programming; semantics; synchronny; concurrency
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/490866/cs
    3. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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, s. 73-86.
      RIV/00216224:14330/03:00008151 Stať ve sborníku. Informatika. angličtina. Francie.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
      Podrobněji: https://is.muni.cz/publication/488339/cs
    4. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 s. FIMU-RS-2003-05.
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.
      Podrobněji: https://is.muni.cz/publication/488340/cs

    2002

    1. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
      BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings. Berlin, Heidelberg, New York: Springer, 2002, 609 s. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7.
      Název anglicky: CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
      RIV/00216224:14330/02:00006388 Odborná kniha. Počítačový hardware a software. angličtina. Německo.
      Brim, Luboš (203 Česká republika) -- Jančar, Petr (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika, garant) -- Kučera, Antonín (203 Česká republika)
      Klíčová slova anglicky: concurrency
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
      Podrobněji: https://is.muni.cz/publication/405227/cs
    2. Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a 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, s. 1-24.
      RIV/00216224:14330/02:00006591 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika) -- Jacquet, Jean-Marie (56 Belgie) -- Gilbert, David (826 Velká Británie a Severní Irsko) -- Křetínský, Mojmír (203 Česká republika, garant)
      Klíčová slova anglicky: coordination; concurrent constraint programming; semantics; communication
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2003 10:01.
      Podrobněji: https://is.muni.cz/publication/406226/cs
    3. Grantová Agentura ČR, člen oborové subkomise POK 201 pro matematiku a informatiku
      KŘETÍNSKÝ, Mojmír. Grantová Agentura ČR, člen oborové subkomise POK 201 pro matematiku a informatiku. Grantová Agentura ČR, 2002 - 2008.
      Název anglicky: Czech Science Foundation (GA ČR), a member of the board POK 201 - Mathematics and Informatics
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 12. 9. 2017 11:04.
      Podrobněji: https://is.muni.cz/publication/1389140/cs

    2001

    1. Multi-Agents Systems as Concurrent Constraint Processes
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a 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, s. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743.
      RIV/00216224:14330/01:00004558 Stať ve sborníku. Počítačový hardware a software. angličtina. Slovensko.
      Klíčová slova anglicky: agents; concurrent constraint programming; semantics; synchronny; concurrency
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 11. 2001 16:03.
      Podrobněji: https://is.muni.cz/publication/372636/cs

    2000

    1. člen vědecké rady Fakulty elektrotechniky a informatiky VŠB-TU Ostrava
      KŘETÍNSKÝ, Mojmír. člen vědecké rady Fakulty elektrotechniky a informatiky VŠB-TU Ostrava. Vědecká rada Fakulty elektrotechniky a informatiky VŠB-TU Ostrava, 2000 - 2010.
      Název anglicky: member of Scientific Council, Faculty of EE and Informatics, VSB-TU Ostrava
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 16. 9. 2017 11:37.
      Podrobněji: https://is.muni.cz/publication/1389493/cs

    1999

    1. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a 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, roč. 1999, č. 08, s. 1-62.
      URL
      Název anglicky: A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/99:00001617 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: concurrent constraint programming; semantics; synchronny; concurrency
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 08:32.
      Podrobněji: https://is.muni.cz/publication/228695/cs
    2. Comparing Expressibility of Normed BPA and Normed BPP Processes.
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica. Berlin: Springer-Verlag, 1999, roč. 36, č. 3, s. 233-256. ISSN 0001-5903.
      Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes.
      RIV/00216224:14330/99:00000703 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika) -- Kučera, Antonín (203 Česká republika)
      Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:18.
      Podrobněji: https://is.muni.cz/publication/198692/cs

    1998

    1. A fully abstract semantics for synchronous and asynchronous ccp
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A fully abstract semantics for synchronous and asynchronous ccp. Technical Report of Namur University. Namur: Namur University, 1998, roč. 1998, č. 1, s. 1-48.
      Název anglicky: A fully abstract semantics for synchronous and asynchronous ccp
      RIV/00216224:14330/98:00001740 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Belgie.
      Klíčová slova anglicky: concurrency constraint semantics
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 09:24.
      Podrobněji: https://is.muni.cz/publication/232812/cs
    2. člen Českého národního komitétu IFIP
      KŘETÍNSKÝ, Mojmír. člen Českého národního komitétu IFIP. Český národní komitét, International Federation for Information Processing (IFIP), 1998 - 2003.
      Název anglicky: member of Czech National IFIP Committee
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 16. 9. 2017 12:00.
      Podrobněji: https://is.muni.cz/publication/1389496/cs
    3. member of IFIP Technical Committee TC-2, IFIP
      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.
      Název česky: člen Technického výboru TC-2, IFIP (International Federation for Information Processing)
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 16. 9. 2017 11:58.
      Podrobněji: https://is.muni.cz/publication/1389497/cs
    4. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
      JANČAR, Petr a 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, roč. 1998, č. 06, s. 1-209.
      Název anglicky: MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
      RIV/00216224:14330/98:00001618 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: Concurrency; infinite-state systems
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 12:18.
      Podrobněji: https://is.muni.cz/publication/228875/cs
    5. Proceedings of the MFCS'98 Workshop on Concurrency
      JANČAR, Petr a Mojmír KŘETÍNSKÝ. Proceedings of the MFCS'98 Workshop on Concurrency. Electronic Notes in Theoretical Computer Science. Elsevier, 1998, roč. 1998, Vol.18, s. 1-200.
      ENTCS home page
      RIV/00216224:14330/98:00000814 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 12:19.
      Podrobněji: https://is.muni.cz/publication/202097/cs

    1997

    1. Adding Time via Timed Transitions to Concurrent Constraint Programming
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Adding Time via Timed Transitions to Concurrent Constraint Programming. In ERCIM/COMPULOG Workshop. Linz, Austria: ERCIM, 1997, s. 23-34.
      Název anglicky: Adding Time via Timed Transitions to Concurrent Constraint Programming
      RIV/00216224:14330/97:00001758 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Rakousko.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:59.
      Podrobněji: https://is.muni.cz/publication/233332/cs
    2. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a 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, roč. 1997, č. 5, s. 1-24.
      ENTCS home page
      Název anglicky: Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
      RIV/00216224:14330/97:00000102 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
      Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:53.
      Podrobněji: https://is.muni.cz/publication/190166/cs
    3. Temporal Synchronous Concurrent Constraint Programming
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a 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, s. 35-50. tical appl.
      Název anglicky: Temporal Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/97:00000084 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Itálie.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 08:45.
      Podrobněji: https://is.muni.cz/publication/190138/cs

    1996

    1. A process algebra for Synchronous Concurrent Constraint Programming
      BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a 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, s. 165-178. LNCS 1139. ISBN 3-540-61735-3.
      Název anglicky: A process algebra for Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/96:00000065 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:37.
      Podrobněji: https://is.muni.cz/publication/190115/cs
    2. A process Algebra for Synchronous Concurrent Constraint Programming
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process Algebra for Synchronous Concurrent Constraint Programming. TR City University, U.K. London: City University London, 1996, roč. 1996, č. 6, s. 1-15. ISSN 1364-4009.
      Název anglicky: A process Algebra for Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/96:00000063 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:48.
      Podrobněji: https://is.muni.cz/publication/190113/cs
    3. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a 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, s. 32-46. MIP-9614.
      Název anglicky: Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
      RIV/00216224:14330/96:00000081 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:34.
      Podrobněji: https://is.muni.cz/publication/190133/cs
    4. Comparing Expressibility of Normed BPA and Normed BPP Processes
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, 1996, roč. 1996, RS-96-02, s. 1-28.
      Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes
      RIV/00216224:14330/96:00001754 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; bisimilarity;
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:50.
      Podrobněji: https://is.muni.cz/publication/233292/cs
    5. New versions of asks for synchronous communication in concurrent constraint programming
      BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a 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, roč. 1996, č. 3, s. 1-22. ISSN 1364-4009.
      Název anglicky: New versions of asks for synchronous communication in concurrent constraint programming
      RIV/00216224:14330/96:00000064 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:51.
      Podrobněji: https://is.muni.cz/publication/190114/cs
    6. On the Relationship between Sequential and Parallel Compositions in Process Algebras
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a 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, s. 11-13.
      Název anglicky: On the Relationship between Sequential and Parallel Compositions in Process Algebras
      RIV/00216224:14330/96:00000079 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Nizozemské království.
      Černá, Ivana (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika) -- Kučera, Antonín (203 Česká republika)
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 5. 2003 16:00.
      Podrobněji: https://is.muni.cz/publication/190131/cs

    1995

    1. A process algebra for Synchronous Concurrent Constraint Programming
      BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1995, roč. 1995, č. 8, s. 1-15.
      Název anglicky: A process algebra for Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/95:00001746 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Belgie.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 10:21.
      Podrobněji: https://is.muni.cz/publication/232992/cs
    2. New versions of Ask and Tell for synchronous communication in CCP
      BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a 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, roč. 1995, č. 10, s. 1-18. ISSN 1364-4009.
      Název anglicky: New versions of Ask and Tell for synchronous communication in CCP
      RIV/00216224:14330/95:00001745 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Klíčová slova anglicky: concurrent constraint programming; semantics; communication
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 10:12.
      Podrobněji: https://is.muni.cz/publication/232971/cs
    3. Synchronisation in Scc
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Synchronisation in Scc. In ILPS´95. Portland, Oregon, U.S.A: MIT Press, 1995, s. 282-283. ISBN 0-262-62099-5.
      Název anglicky: Synchronisation in Scc
      RIV/00216224:14330/95:00000058 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Spojené státy.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:46.
      Podrobněji: https://is.muni.cz/publication/190105/cs

    1994

    1. On Synchronous Communication in Concurrent Constraint Programming
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. On Synchronous Communication in Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1994, roč. 1994, prelim.rep, s. 1-25.
      Název anglicky: On Synchronous Communication in Concurrent Constraint Programming
      RIV/00216224:14330/94:00001748 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Belgie.
      Klíčová slova anglicky: concurrency constraint semantics
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 10:35.
      Podrobněji: https://is.muni.cz/publication/233031/cs

    1993

    1. Operational semantics of concurrent logical systems.
      BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a 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, s. 13-18.
      Název anglicky: Operational semantics of concurrent logical systems.
      RIV/00216224:14330/93:00000029 Kapitola resp. kapitoly v odborné knize. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 13. 1. 2000 11:41.
      Podrobněji: https://is.muni.cz/publication/190060/cs

    1992

    1. člen vědecké rady Fakulty elektrotechniky a informatiky VUT Brno
      KŘETÍNSKÝ, Mojmír. člen vědecké rady Fakulty elektrotechniky a informatiky VUT Brno. Vědecká rada Fakulty elektrotechniky a informatiky VUT Brno, 1992 - 1994.
      Název anglicky: member of Scientific Council, Faculty of EE and Informatics, TU Brno
      Informatika. angličtina. Česká republika.
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 16. 9. 2017 11:46.
      Podrobněji: https://is.muni.cz/publication/1389495/cs
Zobrazeno: 19. 9. 2024 04:11