Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
      TUŠIL, Jan, Traian SERBANUTA a Jan OBDRŽÁLEK. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. Online. In Ruzica Piskac and Andrei Voronkov. Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair, 2023, s. 405-456. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/1874.
      URL
      RIV/00216224:14330/23:00131016 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Tušil, Jan (203 Česká republika, domácí) -- Serbanuta, Traian (642 Rumunsko) -- Obdržálek, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: hyperproperties; k-safety; language-parametric; logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:03.
      Podrobněji: https://is.muni.cz/publication/2292879/cs

    2020

    1. A New Perspective on FO Model Checking of Dense Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK a M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. ACM Transactions on Computational Logic. New York, NY, USA: Association for Computing Machinery, 2020, roč. 21, č. 4, s. "28:1"-"28:23", 23 s. ISSN 1529-3785. Dostupné z: https://dx.doi.org/10.1145/3383206.
      URL
      RIV/00216224:14330/20:00114779 Článek v odborném periodiku. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Lokshtanov, Daniel (578 Norsko) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ramanujan, M S (356 Indie)
      Klíčová slova anglicky: FO Logic; Model-Checking; Logic Interpretations; Sparse Graph Classes; Parameterized Complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:15.
      Podrobněji: https://is.muni.cz/publication/1759916/cs

    2019

    1. Shrub-depth: Capturing Height of Dense Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Jaroslav NEŠETŘIL, Jan OBDRŽÁLEK a Patrice OSSONA DE MENDEZ. Shrub-depth: Capturing Height of Dense Graphs. Logical Methods in Computer Science. BRAUNSCHWEIG: LOGICAL METHODS COMPUTER SCIENCE E V, 2019, roč. 15, č. 1, s. "7:1"-"7:25", 25 s. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-15(1:7)2019.
      URL
      RIV/00216224:14330/19:00108273 Článek v odborném periodiku. angličtina. Německo.
      Ganian, Robert (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Nešetřil, Jaroslav (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ossona de Mendez, Patrice (250 Francie)
      Klíčová slova anglicky: tree-depth; clique-width; shrub-depth; MSO logic; transduction
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 16. 4. 2020 09:41.
      Podrobněji: https://is.muni.cz/publication/1646045/cs

    2017

    1. First order limits of sparse graphs: Plane trees and path-width
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Tomáš KAISER, Daniel KRÁĽ, Martin KUPEC, Jan OBDRŽÁLEK, Sebastian ORDYNIAK a Vojtěch TŮMA. First order limits of sparse graphs: Plane trees and path-width. Random Structures & Algorithms. Wiley, 2017, roč. 50, č. 4, s. 612-635. ISSN 1042-9832. Dostupné z: https://dx.doi.org/10.1002/rsa.20676.
      RIV/00216224:14330/17:00094633 Článek v odborném periodiku. Obecná matematika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kaiser, Tomáš (203 Česká republika) -- Kráľ, Daniel (203 Česká republika) -- Kupec, Martin (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Tůma, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: graph limits; graphs with bounded path-width; first order limits
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:36.
      Podrobněji: https://is.muni.cz/publication/1372353/cs
    2. Kernelization using structural parameters on sparse graph classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando VILLAAMIL a Somnath SIKDAR. Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2017, roč. 84, č. 1, s. 219-242. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2016.09.002.
      RIV/00216224:14330/17:00094632 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Villaamil, Fernando (276 Německo) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: Parameterized complexity; Kernelization; Nowhere dense graphs; Finite integer index; Treedepth
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 10:06.
      Podrobněji: https://is.muni.cz/publication/1372352/cs

    2016

    1. A New Perspective on FO Model Checking of Dense Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK a M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. New York, NY, USA: ACM, 2016, s. 176-184. ISBN 978-1-4503-4391-6. Dostupné z: https://dx.doi.org/10.1145/2933575.2935314.
      URL
      RIV/00216224:14330/16:00088546 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Lokshtanov, Daniel (578 Norsko) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ramanujan, M S (356 Indie)
      Klíčová slova anglicky: FO Logic; Model-Checking; Logic Interpretations; Sparse Graph Classes; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:51.
      Podrobněji: https://is.muni.cz/publication/1367542/cs
    2. Are there any good digraph width measures?
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Joachim KNEIS, Daniel MEISTER, Somnath SIKDAR a Peter ROSSMANITH. Are there any good digraph width measures? Journal of Combinatorial Theory, Ser B. Academic Press, 2016, roč. 116, č. 1, s. 250-286. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2015.09.001.
      RIV/00216224:14330/16:00087762 Článek v odborném periodiku. Informatika. angličtina. Indie.
      Ganian, Robert (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Kneis, Joachim (276 Německo) -- Meister, Daniel (276 Německo) -- Sikdar, Somnath (356 Indie) -- Rossmanith, Peter (276 Německo)
      Klíčová slova anglicky: Tree-width; Digraph width; Directed minor; Cops-and-robber game
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:44.
      Podrobněji: https://is.muni.cz/publication/1323142/cs
    3. Tree-depth and Vertex-minors
      HLINĚNÝ, Petr, O-joung KWON, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Tree-depth and Vertex-minors. European Journal of Combinatorics. Elsevier, 2016, roč. 56, č. 1, s. 46-56. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2016.03.001.
      RIV/00216224:14330/16:00088544 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Kwon, O-joung (410 Korejská republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
      Klíčová slova anglicky: tree-depth; shrub-depth; vertex-minor; pivot-minor
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:45.
      Podrobněji: https://is.muni.cz/publication/1367539/cs

    2015

    1. Faster Existential FO Model Checking on Posets
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, roč. 11, č. 4, s. 1-13. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-11(4:8)2015.
      URL
      RIV/00216224:14330/15:00081186 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, garant, domácí) -- Hliněný, Petr (203 Česká republika, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
      Klíčová slova anglicky: rst-order logic; partially ordered sets; model checking; parameterized complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 09:05.
      Podrobněji: https://is.muni.cz/publication/1316744/cs
    2. FO Model Checking of Interval Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, roč. 11, 4:11, s. 1-20. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-11(4:11)2015.
      URL
      RIV/00216224:14330/15:00081403 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Ganian, Robert (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kráľ, Daniel (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Schwartz, Jarett (840 Spojené státy) -- Teska, Jakub (203 Česká republika)
      Klíčová slova anglicky: rst-order model checking; parameterized complexity; interval graph; clique-width
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 09:03.
      Podrobněji: https://is.muni.cz/publication/1323000/cs
    3. FO Model Checking on Posets of Bounded Width
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, M.S. RAMANUJAN, Daniel LOKSHTANOV a Saket SAURABH. FO Model Checking on Posets of Bounded Width. Online. In Venkatesan Guruswami. 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Berkeley, CA, USA: IEEE Computer Society, 2015, s. 963-974. ISBN 978-1-4673-8191-8. Dostupné z: https://dx.doi.org/10.1109/FOCS.2015.63.
      sborník
      Název anglicky: FO Model Checking on Posets of Bounded Width
      RIV/00216224:14330/15:00081183 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Ramanujan, M.S. (356 Indie) -- Lokshtanov, Daniel (578 Norsko) -- Saurabh, Saket (356 Indie)
      Klíčová slova anglicky: model checking; first-order logic; posets; width; metatheorem
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 11:58.
      Podrobněji: https://is.muni.cz/publication/1316736/cs

    2014

    1. Digraph width measures in parameterized algorithmics
      GANIAN, Robert, Petr HLINĚNÝ, Joachim KNEIS, Alexander LANGER, Jan OBDRŽÁLEK a Peter ROSSMANITH. Digraph width measures in parameterized algorithmics. Discrete Applied Mathematics. Elsevier B.V., 2014, roč. 168, č. 1, s. 88-107. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2013.10.038.
      RIV/00216224:14330/14:00073690 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, domácí) -- Kneis, Joachim (276 Německo) -- Langer, Alexander (276 Německo) -- Obdržálek, Jan (203 Česká republika, garant, domácí) -- Rossmanith, Peter (276 Německo)
      Klíčová slova anglicky: Digraph;Parameterized complexity;Tree-width;DAG-width;DAG-depth;Clique-width
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 1. 4. 2015 22:53.
      Podrobněji: https://is.muni.cz/publication/1186160/cs
    2. Faster Existential FO Model Checking on Posets
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. In Hee-Kap Ahn, Chan-Su Shin. ISAAC 2014, LNCS 8889. Berlin: Springer International Publishing, 2014, s. 441-451. ISBN 978-3-319-13074-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-13075-0_35.
      RIV/00216224:14330/14:00074016 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
      Klíčová slova anglicky: existential first-order logic; parameterized complexity; kernelization; poset embedding
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 30. 3. 2016 10:02.
      Podrobněji: https://is.muni.cz/publication/1204410/cs
    3. Finite Integer Index of Pathwidth and Treewidth
      ORDYNIAK, Sebastian, Jakub GAJARSKÝ, Felix REIDL, Peter ROSSMANITH, Jan OBDRŽÁLEK a Fernando SÁNCHEZ VILAAMIL. Finite Integer Index of Pathwidth and Treewidth. In Marek Cygan and Pinar Heggernes. IPEC 2014, LNCS 8246. Wroclaw: Springer, 2014, s. 258-269. ISBN 978-3-319-13523-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-13524-3_22.
      Název anglicky: Finite Integer Index of Pathwidth and Treewidth
      RIV/00216224:14330/14:00077727 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Ordyniak, Sebastian (276 Německo, garant, domácí) -- Gajarský, Jakub (703 Slovensko, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Obdržálek, Jan (203 Česká republika, domácí) -- Sánchez Vilaamil, Fernando (724 Španělsko)
      Klíčová slova anglicky: meta-kernalization; finite integer index; treewidth; pathwidth
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Jakub Gajarský, Ph.D., učo 172462. Změněno: 16. 2. 2016 15:37.
      Podrobněji: https://is.muni.cz/publication/1212629/cs
    4. Lower Bounds on the Complexity of MSO_1 Model-Checking
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Alexander LANGER, Peter ROSSMANITH a Somnath SIKDAR. Lower Bounds on the Complexity of MSO_1 Model-Checking. Journal of Computer and System Sciences. Elsevier, 2014, roč. 80, č. 1, s. 180-194. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2013.07.005.
      Název česky: Dolní meze složitosti MSO1 model checking
      RIV/00216224:14330/14:00073428 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Langer, Alexander (276 Německo) -- Rossmanith, Peter (276 Německo) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: Monadic Second-Order Logic; Treewidth; Lower Bounds; Exponential Time Hypothesis; Parameterized Complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 1. 4. 2015 23:00.
      Podrobněji: https://is.muni.cz/publication/1130258/cs

    2013

    1. Better algorithms for satisfiability problems for formulas of bounded rank-width
      GANIAN, Robert, Petr HLINĚNÝ a Jan OBDRŽÁLEK. Better algorithms for satisfiability problems for formulas of bounded rank-width. Fundamenta Informaticae. Poland: IOS Press, The Netherlands, 2013, roč. 123, č. 1, s. 59-76. ISSN 0169-2968. Dostupné z: https://dx.doi.org/10.3233/FI-2013-800.
      RIV/00216224:14330/13:00066369 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: propositional model counting; satisfiability; rank-width; clique-width; parameterized complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 31. 3. 2014 13:21.
      Podrobněji: https://is.muni.cz/publication/1123106/cs
    2. Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes
      OBDRŽÁLEK, Jan a Robert GANIAN. Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes. In Thierry Lecroq, Laurent Mouchard. Combinatorial Algorithms 24th International Workshop, IWOCA 2013. Berlin Heidelberg: Springer, 2013, s. 164-177. ISBN 978-3-642-45277-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-45278-9_15.
      RIV/00216224:14330/13:00066545 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Ganian, Robert (840 Spojené státy)
      Klíčová slova anglicky: MSO; model checking; vertex cover; meta-theorems; parameterized complexity
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 30. 9. 2014 11:28.
      Podrobněji: https://is.muni.cz/publication/1130962/cs
    3. FO Model Checking of Interval Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer, 2013, s. 250-262. ISBN 978-3-642-39211-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39212-2_24.
      RIV/00216224:14330/13:00066379 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (840 Spojené státy) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kráľ, Daniel (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Schwartz, Jarett (840 Spojené státy) -- Teska, Jakub (203 Česká republika)
      Klíčová slova anglicky: interval graphs; first-order logic; parameterized complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:23.
      Podrobněji: https://is.muni.cz/publication/1123297/cs
    4. Kernelization Using Structural Parameters on Sparse Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL a Somnath SIKDAR. Kernelization Using Structural Parameters on Sparse Graph Classes. In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Berlin Heidelberg: Springer, 2013, s. 529-540. ISBN 978-3-642-40449-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-40450-4_45.
      RIV/00216224:14330/13:00066378 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Villaamil, Fernando Sanchez (724 Španělsko) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: kernelization; parameterized complexity; sparse graphs
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:21.
      Podrobněji: https://is.muni.cz/publication/1123296/cs
    5. Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width
      GANIAN, Robert, Petr HLINĚNÝ a Jan OBDRŽÁLEK. Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width. European Journal of Combinatorics. Elsevier, 2013, roč. 34, č. 3, s. 680-701. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2012.07.024.
      Název česky: Sjednocený přístup k polynomiálním algoritmům na grafech omezené rank-width
      RIV/00216224:14330/13:00065951 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: rank-width; XP algorithm; coloring
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 3. 4. 2013 14:54.
      Podrobněji: https://is.muni.cz/publication/1075308/cs

    2012

    1. Can dense graphs be "sparse"?
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Jaroslav NEŠETŘIL, Patrice OSSONA DE MENDEZ a Reshma RAMADURAI. Can dense graphs be "sparse"? In Third Workshop on Graphs and Matroids; Maastricht, The Netherlands. 2012.
      Informatika. angličtina. Nizozemské království.
      Klíčová slova anglicky: shrub-depth; sparsity; MSO model checking
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 29. 11. 2012 15:23.
      Podrobněji: https://is.muni.cz/publication/1075320/cs
    2. Lower Bounds on the Complexity of MSO_1 Model-Checking
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Alexander LANGER, Peter ROSSMANITH a Somnath SIKDAR. Lower Bounds on the Complexity of MSO_1 Model-Checking. Online. In 29th International Symposium on Theoretical Aspects of Computer Science STACS2012. 2012. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2012, s. 326-337. ISBN 978-3-939897-35-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2012.326.
      STACS2012
      Název česky: Dolní meze složitosti MSO1 model checking
      RIV/00216224:14330/12:00057595 Stať ve sborníku. Informatika. angličtina. Francie.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Langer, Alexander (276 Německo) -- Rossmanith, Peter (276 Německo) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: Monadic Second-Order Logic; Treewidth; Lower Bounds; Exponential Time Hypothesis; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 31. 3. 2013 13:29.
      Podrobněji: https://is.muni.cz/publication/992001/cs
    3. STANSE: Bug-finding Framework for C Programs
      OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, s. 167-178. ISBN 978-3-642-25928-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_16.
      RIV/00216224:14330/12:00067325 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug-finding; static analysis; framework; checker
      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: 29. 4. 2014 12:57.
      Podrobněji: https://is.muni.cz/publication/956059/cs
    4. The DAG-width of directed graphs
      BERWANGER, Dietmar, Anuj DAWAR, Paul HUNTER, Stephan KREUTZER a Jan OBDRŽÁLEK. The DAG-width of directed graphs. Journal of Combinatorial Theory, Ser B. Amsterdam: Elsevier B.V., 2012, roč. 102, č. 4, s. 900-923. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2012.04.004.
      RIV/00216224:14330/12:00057892 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Berwanger, Dietmar (276 Německo) -- Dawar, Anuj (826 Velká Británie a Severní Irsko) -- Hunter, Paul (36 Austrálie) -- Kreutzer, Stephan (276 Německo) -- Obdržálek, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: tree-width; mu-calculus; model checking; parity games; decompositions; monotonicity; complexity; logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 5. 12. 2012 10:31.
      Podrobněji: https://is.muni.cz/publication/1076197/cs
    5. When Trees Grow Low: Shrubs and Fast MSO1
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Jaroslav NEŠETŘIL, Patrice OSSONA DE MENDEZ a Reshma RAMADURAI. When Trees Grow Low: Shrubs and Fast MSO1. In Math Foundations of Computer Science MFCS 2012. 7464. vyd. Německo: Lecture Notes in Computer Science, Springer-Verlag, 2012, s. 419-430. ISBN 978-3-642-32588-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32589-2_38.
      Název česky: Když stromy nízké: Keře a rychlá MSO1
      RIV/00216224:14330/12:00057596 Stať ve sborníku. Informatika. angličtina. Slovensko.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Nešetřil, Jaroslav (203 Česká republika) -- Ossona de Mendez, Patrice (250 Francie) -- Ramadurai, Reshma (356 Indie, domácí)
      Klíčová slova anglicky: tree-depth; shrub-depth; MSO 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: 23. 4. 2013 13:19.
      Podrobněji: https://is.muni.cz/publication/992004/cs

    2011

    1. Clique-width: When Hard Does Not Mean Impossible
      GANIAN, Robert, Petr HLINĚNÝ a Jan OBDRŽÁLEK. Clique-width: When Hard Does Not Mean Impossible. Online. In Thomas Schwentick and Christoph D{\"u}rr. 28th International Symposium on Theoretical Aspects of Computer Science STACS2011. 2011. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2011, s. 404-415. ISBN 978-3-939897-25-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2011.404.
      DOI STACS2011
      Název česky: Clique-width: když těžké není nemožné
      RIV/00216224:14330/11:00049978 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: clique-width; parameterized algorithm; XP
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 4. 2. 2013 12:26.
      Podrobněji: https://is.muni.cz/publication/950101/cs
    2. Efficient Loop Navigation for Symbolic Execution
      OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011. Heidelberg: Springer-Verlag, 2011, s. 453-462. ISBN 978-3-642-24371-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-24372-1_34.
      RIV/00216224:14330/11:00052855 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; loops in programs; program verification; bug-finding
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 16. 4. 2012 11:02.
      Podrobněji: https://is.muni.cz/publication/947610/cs
    3. Qualitative Reachability in Stochastic BPA Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. Information and Computation. Elsevier, 2011, roč. 209, č. 8, s. 1160-1183. ISSN 0890-5401.
      RIV/00216224:14330/11:00051537 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Brožek, Václav (276 Německo, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: pushdown automata; turn-based games
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 15. 5. 2011 20:14.
      Podrobněji: https://is.muni.cz/publication/908976/cs

    2010

    1. Are there any good digraph width measures?
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Joachim KNEIS, Daniel MEISTER, Somnath SIKDAR a Peter ROSSMANITH. Are there any good digraph width measures? In Parameterized and exact computation, IPEC 2010. 6478. vyd. India: Lecture Notes in Computer Science, Springer-Verlag, 2010, s. 135-146. ISBN 978-3-642-17492-6. Dostupné z: https://dx.doi.org/10.1007/978-3-642-17493-3_14.
      DOI
      RIV/00216224:14330/10:00065886 Stať ve sborníku. Informatika. angličtina. Indie.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Kneis, Joachim (276 Německo) -- Meister, Daniel (276 Německo) -- Sikdar, Somnath (356 Indie) -- Rossmanith, Peter (276 Německo)
      Klíčová slova anglicky: directed graphs; width measures; monadic second order logic; directed graph minors
      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: 30. 4. 2014 04:22.
      Podrobněji: https://is.muni.cz/publication/904649/cs
    2. Better algorithms for satisfiability problems for formulas of bounded rank-width
      GANIAN, Robert, Petr HLINĚNÝ a Jan OBDRŽÁLEK. Better algorithms for satisfiability problems for formulas of bounded rank-width. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). 2010. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2010, s. 73-83. ISBN 978-3-939897-23-1. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.73.
      DOI URL
      RIV/00216224:14330/10:00045217 Stať ve sborníku. Informatika. angličtina. Indie.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: propositional model counting; satisfiability; rank-width; clique-width; parameterized complexity
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 4. 2. 2013 12:24.
      Podrobněji: https://is.muni.cz/publication/904650/cs
    3. Česko-Slovenská Konference GRAFY 2010
      HLINĚNÝ, Petr a Vladimír VETCHÝ. Česko-Slovenská Konference GRAFY 2010. 2010.
      konference
      Název anglicky: Czech-Slovak Conference GRAFY 2010
      RIV/00216224:14330/10:00044261 Uspořádání konference. Obecná matematika. čeština. Česká republika.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Vetchý, Vladimír (203 Česká republika)
      Klíčová slova anglicky: graph; combinatorics
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 15. 12. 2010 10:24.
      Podrobněji: https://is.muni.cz/publication/889918/cs
    4. Proceedings of the 45th Czech-Slovak Conference GRAFY 2010
      OBDRŽÁLEK, Jan. Proceedings of the 45th Czech-Slovak Conference GRAFY 2010. In 45th CZech-Slovak Conference GRAFY 2010. Brno: University of Defence, Brno, 2010, 68 s. ISBN 978-80-7231-723-3.
      Název česky: Sborník abstraktů 45. česko-slovenské konference GRAFY 2010
      RIV/00216224:14330/10:00050679 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Obecná matematika. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: graph theory; combinatorics; discrete mathematics
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 16. 4. 2012 11:37.
      Podrobněji: https://is.muni.cz/publication/979768/cs

    2009

    1. On Digraph Width Measures in Parameterized Algorithmics
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Alexander LANGER, Joachim KNEIS a Peter ROSSMANITH. On Digraph Width Measures in Parameterized Algorithmics. In IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science. 5917. vyd. Berlin: Springer Verlag, 2009, s. 185-197. ISBN 978-3-642-11268-3. Dostupné z: https://dx.doi.org/10.1007/978-3-642-11269-0_15.
      DOI Conference
      Název česky: O orientovaných šířkových parametrech v parametrizovaných algoritmech
      RIV/00216224:14330/09:00065869 Stať ve sborníku. Informatika. angličtina. Dánsko.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Langer, Alexander (276 Německo) -- Kneis, Joachim (276 Německo) -- Rossmanith, Peter (276 Německo)
      Klíčová slova anglicky: digraph; DAG-width; bi-rank-width; parameterized complexity
      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: 30. 4. 2014 05:54.
      Podrobněji: https://is.muni.cz/publication/863704/cs
    2. Qualitative Reachability in Stochastic BPA Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009, s. 207-218. ISBN 978-3-939897-09-5.
      DOI
      Název česky: Kvalitativní dosažitelnost ve stochastických BPA hrách
      RIV/00216224:14330/09:00034252 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Obdržálek, Jan (203 Česká republika)
      Klíčová slova anglicky: stochastic games; reachability; BPA
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 15. 3. 2010 09:09.
      Podrobněji: https://is.muni.cz/publication/798476/cs

    2007

    1. Clique-Width and Parity Games
      OBDRŽÁLEK, Jan. Clique-Width and Parity Games. In Computer Science Logic 2007, proceedings. Berlin: Springer-Verlag, 2007, s. 54-68. ISBN 978-3-540-74914-1.
      Název česky: Kliková šířka a paritní hry
      RIV/00216224:14330/07:00022579 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: parity games; mu-calculus; clique-width
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 24. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/725120/cs

    2006

    1. DAG-width - Connectivity Measure for Directed Graphs
      OBDRŽÁLEK, Jan. DAG-width - Connectivity Measure for Directed Graphs. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. New York/Philadelphia: Association for Computing Machinery/Society for Industrial and Applied Mathematics, 2006, s. 814--821. ISBN 0-89871-605-5.
      Název česky: DAG-width - míra spojitosti pro orientované grafy
      RIV/00216224:14330/06:00016845 Stať ve sborníku. Obecná matematika. angličtina. Spojené státy.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: tree-width; directed tree-width; DAG-width; digraph-searching
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 15. 3. 2010 08:49.
      Podrobněji: https://is.muni.cz/publication/635424/cs
    2. Escape-width: Measuring "width" of digraphs
      HLINĚNÝ, Petr a Jan OBDRŽÁLEK. Escape-width: Measuring "width" of digraphs. In Combinatorics, Graph Theory, Algorithms and Applications. Abstracts. 2006.
      URL
      Název česky: Měření šířky orientovaných grafů
      Obecná matematika. angličtina. Česká republika.
      Druh sborníku: předkonferenční sborník
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 12:28.
      Podrobněji: https://is.muni.cz/publication/706398/cs

    2003

    1. Fast Mu-calculus Model Checking when Tree-width is Bounded
      OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag, 2003, s. 80-92. ISBN 3-540-40524-0.
      RIV/00216224:14330/03:00008708 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: parity games; mu-calculus; model-checking; tree-width
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 26. 5. 2004 11:18.
      Podrobněji: https://is.muni.cz/publication/555218/cs

    2001

    1. A Parallel Java Grande Benchmark Suite
      OBDRŽÁLEK, Jan, J. M. BULL a L. A. SMITH. A Parallel Java Grande Benchmark Suite. In Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM). ACM Press, 2001, s. 8-8.
      Název česky: A Parallel Java Grande Benchmark Suite

      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 4. 6. 2007 16:32.
      Podrobněji: https://is.muni.cz/publication/718890/cs
    2. An OpenMP-like interface for parallel programming in Java
      KAMBITES, M. E., J. M. BULL a Jan OBDRŽÁLEK. An OpenMP-like interface for parallel programming in Java. Concurrency and Computation: Practice and Experience. John Wiley & Sons, Inc, 2001, roč. 13, 8-9, s. 793-814. ISSN 1532-0626.

      Klíčová slova anglicky: Java; parallel programming; shared memory; directives; compiler
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 4. 6. 2007 17:09.
      Podrobněji: https://is.muni.cz/publication/718891/cs

    2000

    1. JOMP Application Program Interface
      BULL, Mark a Jan OBDRŽÁLEK. JOMP Application Program Interface. Version 0.1 (draft). Edinburgh: EPCC Technical Report, 2000, 32 s.
      Název anglicky: JOMP Application Program Interface
      RIV/00216224:14330/00:00002357 Odborná kniha. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: OpenMP; Java; parallel programming
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 4. 6. 2007 17:06.
      Podrobněji: https://is.muni.cz/publication/333591/cs
    2. OpenMP for Java
      OBDRŽÁLEK, Jan. OpenMP for Java. University of Edinburgh: EPCC Technical Report, 2000, 25 s.
      Název anglicky: OpenMP for Java
      RIV/00216224:14330/00:00003337 Odborná kniha. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 29. 9. 2000 11:19.
      Podrobněji: https://is.muni.cz/publication/333571/cs
    3. Towards OpenMP for Java
      BULL, Mark, Mark KAMBITES, Jan OBDRŽÁLEK a Martin WESTHEAD. Towards OpenMP for Java. In Proceedings of the Second European Workshop on OpenMP (EWOMP 2000). Edinburgh: University of Edinburgh, 2000, s. 98-105.
      Název anglicky: Towards OpenMP for Java
      RIV/00216224:14330/00:00003333 Stať ve sborníku. Počítačový hardware a software. angličtina. Velká Británie a Severní Irsko.
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 29. 9. 2000 11:20.
      Podrobněji: https://is.muni.cz/publication/333071/cs
Zobrazeno: 21. 5. 2024 19:11