Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. Clique-Width of Point Configurations
      CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA a Abhisekh SANKARAN. Clique-Width of Point Configurations. Journal of Combinatorial Theory, Ser B. Amsterdam: Elsevier B.V., 2023, roč. 158, č. 1, s. 43-73. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2021.09.001.
      Podrobněji: https://is.muni.cz/publication/1799076/cs
    2. Efficient Isomorphism for Sd-Graphs and T-Graphs
      AGAOGLU CAGIRICI, Deniz a Petr HLINĚNÝ. Efficient Isomorphism for Sd-Graphs and T-Graphs. ALGORITHMICA. UNITED STATES: SPRINGER, 2023, roč. 85, č. 2, s. 352-383. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-022-01033-8.
      Podrobněji: https://is.muni.cz/publication/2218880/cs
    3. Inserting Multiple Edges into a Planar Graph
      CHIMANI, Markus a Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. Journal of Graph Algorithms and Applications. USA: Brown University, 2023, roč. 27, č. 6, s. 489-522. ISSN 1526-1719. Dostupné z: https://dx.doi.org/10.7155/jgaa.00631.
      Podrobněji: https://is.muni.cz/publication/2294837/cs

    2022

    1. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12
      BOKAL, Drago, Zdeněk DVOŘÁK, Petr HLINĚNÝ, Jesus LEANOS, Bojan MOHAR a Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. COMBINATORICA. GERMANY: SPRINGER HEIDELBERG, 2022, roč. 42, č. 5, s. 701-728. ISSN 0209-9683. Dostupné z: https://dx.doi.org/10.1007/s00493-021-4285-3.
      Podrobněji: https://is.muni.cz/publication/2243995/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.
      Podrobněji: https://is.muni.cz/publication/1759916/cs
    2. Joint Forces for Memory Safety Checking Revisited
      CHALUPA, Marek, Jan STREJČEK a Martina VITOVSKÁ. Joint Forces for Memory Safety Checking Revisited. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2020, roč. 22, č. 2, s. 115-133. ISSN 1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-019-00526-2.
      Podrobněji: https://is.muni.cz/publication/1549999/cs
    3. LTL to self-loop alternating automata with generic acceptance and back
      BLAHOUDEK, František, Juraj MAJOR a Jan STREJČEK. LTL to self-loop alternating automata with generic acceptance and back. Theoretical Computer Science. AMSTERDAM: North Holland, 2020, roč. 840, Nov 2020, s. 122-142. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2020.07.015.
      Podrobněji: https://is.muni.cz/publication/1686867/cs
    4. Toroidal grid minors and stretch in embedded graphs
      CHIMANI, Markus, Petr HLINĚNÝ a Gelasio SALAZAR. Toroidal grid minors and stretch in embedded graphs. JOURNAL OF COMBINATORIAL THEORY SERIES B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2020, roč. 140, č. 1, s. 323-371. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2019.05.009.
      Podrobněji: https://is.muni.cz/publication/1646019/cs

    2019

    1. FO model checking on geometric graphs
      HLINĚNÝ, Petr, Filip POKRÝVKA a Bodhayan ROY. FO model checking on geometric graphs. Computational geometry. Amsterdam: ELSEVIER SCIENCE BV, 2019, roč. 78, č. 1, s. 1-19. ISSN 0925-7721. Dostupné z: https://dx.doi.org/10.1016/j.comgeo.2018.10.001.
      Podrobněji: https://is.muni.cz/publication/1486962/cs
    2. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. ACM Transactions on Modeling and Computer Simulation (TOMACS). ACM, 2019, roč. 29, č. 4, s. "28:1"-"28:26", 26 s. ISSN 1049-3301. Dostupné z: https://dx.doi.org/10.1145/3310225.
      Podrobněji: https://is.muni.cz/publication/1598416/cs
    3. On Degree Properties of Crossing-Critical Families of Graphs
      BOKAL, Drago, Mojca BRACIC, Marek DERŇÁR a Petr HLINĚNÝ. On Degree Properties of Crossing-Critical Families of Graphs. Electronic Journal of Combinatorics. internet: -, 2019, roč. 26, č. 1, s. 1-28. ISSN 1077-8926. Dostupné z: https://dx.doi.org/10.37236/7753.
      Podrobněji: https://is.muni.cz/publication/1646039/cs
    4. Parameterized shifted combinatorial optimization
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ a Shmuel ONN. Parameterized shifted combinatorial optimization. Journal of Computer and System Sciences. SAN DIEGO: Academic Press, 2019, roč. 99, č. 1, s. 53-71. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2018.06.002.
      Podrobněji: https://is.muni.cz/publication/1646042/cs

    2018

    1. A Simpler Self-reduction Algorithm for Matroid Path-width
      HLINĚNÝ, Petr. A Simpler Self-reduction Algorithm for Matroid Path-width. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, roč. 32, č. 2, s. 1425-1440. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1120129.
      Podrobněji: https://is.muni.cz/publication/1480301/cs
    2. Deciding Parity of Graph Crossing Number
      HLINĚNÝ, Petr a Carsten THOMASSEN. Deciding Parity of Graph Crossing Number. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, roč. 32, č. 3, s. 1962-1965. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1137231.
      Podrobněji: https://is.muni.cz/publication/1480299/cs
    3. On the complexity of the quantified bit-vector arithmetic with binary encoding
      JONÁŠ, Martin a Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, roč. 135, červenec 2018, s. 57-61. ISSN 0020-0190. Dostupné z: https://dx.doi.org/10.1016/j.ipl.2018.02.018.
      Podrobněji: https://is.muni.cz/publication/1415323/cs
    4. Parameterized Extension Complexity of Independent Set and Related Problems
      GAJARSKÝ, Jakub, Petr HLINĚNÝ a Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, roč. 248, SI, s. 56-67. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2017.04.042.
      Podrobněji: https://is.muni.cz/publication/1392989/cs

    2017

    1. A tighter insertion-based approximation of the crossing number
      CHIMANI, Markus a Petr HLINĚNÝ. A tighter insertion-based approximation of the crossing number. Journal of Combinatorial Optimization. Springer, 2017, roč. 33, č. 4, s. 1183-1225. ISSN 1382-6905. Dostupné z: https://dx.doi.org/10.1007/s10878-016-0030-z.
      Podrobněji: https://is.muni.cz/publication/1372354/cs
    2. 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.
      Podrobněji: https://is.muni.cz/publication/1372353/cs
    3. 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.
      Podrobněji: https://is.muni.cz/publication/1372352/cs
    4. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
      SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, roč. 23, February 2017, s. 230-253. ISSN 1751-570X. Dostupné z: https://dx.doi.org/10.1016/j.nahs.2016.04.006.
      Podrobněji: https://is.muni.cz/publication/1365664/cs
    5. Trading performance for stability in Markov decision processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2017, roč. 84, č. 2017, s. 144-170. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2016.09.009.
      Podrobněji: https://is.muni.cz/publication/1366042/cs

    2016

    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? 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.
      Podrobněji: https://is.muni.cz/publication/1323142/cs
    2. From LTL to deterministic automata (A safraless compositional approach)
      ESPARZA, Javier, Jan KŘETÍNSKÝ a Salomon SICKERT. From LTL to deterministic automata (A safraless compositional approach). Formal Methods in System Design. Springer Netherlands, 2016, roč. 49, č. 3, s. 219-271. ISSN 0925-9856. Dostupné z: https://dx.doi.org/10.1007/s10703-016-0259-2.
      Podrobněji: https://is.muni.cz/publication/1365661/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.
      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.
      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.
      Podrobněji: https://is.muni.cz/publication/1323000/cs
    3. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
      GAJARSKÝ, Jakub a Petr HLINĚNÝ. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, roč. 11, č. 1, s. 1-26. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-11(1:19)2015.
      Podrobněji: https://is.muni.cz/publication/1316739/cs
    4. Planar Emulators Conjecture Is Nearly True for Cubic Graphs
      DERKA, Martin a Petr HLINĚNÝ. Planar Emulators Conjecture Is Nearly True for Cubic Graphs. European Journal of Combinatorics. Elsevier, 2015, roč. 48, č. 1, s. 63-70. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2015.02.009.
      Podrobněji: https://is.muni.cz/publication/1206004/cs
    5. Refinement checking on parametric modal transition systems
      BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN, Mikael H. MOLLER, Salomon SICKERT a Jiří SRBA. Refinement checking on parametric modal transition systems. Acta Informatica. Springer, 2015, roč. 52, 2-3, s. 269-297. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-015-0215-4.
      Podrobněji: https://is.muni.cz/publication/1232561/cs
    6. Runtime analysis of probabilistic programs with unbounded recursion
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA a Ivana HUTAŘOVÁ VAŘEKOVÁ. Runtime analysis of probabilistic programs with unbounded recursion. Journal of Computer and System Sciences. Academic Press, 2015, roč. 81, č. 1, s. 288-310. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2014.06.005.
      Podrobněji: https://is.muni.cz/publication/1219109/cs

    2014

    1. Branching-time model-checking of probabilistic pushdown automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Branching-time model-checking of probabilistic pushdown automata. Journal of Computer and System Sciences. Academic Press, 2014, roč. 80, č. 1, s. 139-156. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2013.07.001.
      Podrobněji: https://is.muni.cz/publication/1130512/cs
    2. Computing the stretch of an embedded graph
      CABELLO, Sergio, Markus CHIMANI a Petr HLINĚNÝ. Computing the stretch of an embedded graph. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2014, roč. 28, č. 3, s. 1391-1401. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/130945636.
      Podrobněji: https://is.muni.cz/publication/1206003/cs
    3. 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.
      Podrobněji: https://is.muni.cz/publication/1186160/cs
    4. Efficient Analysis of Probabilistic Programs with an Unbounded Counter
      BRÁZDIL, Tomáš, Stefan KIEFER a Antonín KUČERA. Efficient Analysis of Probabilistic Programs with an Unbounded Counter. Journal of the ACM. New York, NY, USA: ACM, 2014, roč. 61, č. 6, s. 1-35. ISSN 0004-5411. Dostupné z: https://dx.doi.org/10.1145/2629599.
      Podrobněji: https://is.muni.cz/publication/1215263/cs
    5. 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.
      Podrobněji: https://is.muni.cz/publication/1130258/cs
    6. Markov Decision Processes with Multiple Long-Run Average Objectives
      BRÁZDIL, Tomáš, Václav BROŽEK, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Markov Decision Processes with Multiple Long-Run Average Objectives. Logical Methods in Computer Science. Technical University of Braunschweig, 2014, roč. 10, č. 1, s. 1-29. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-10(1:13)2014.
      Podrobněji: https://is.muni.cz/publication/1232717/cs

    2013

    1. Analyzing probabilistic pushdown automata
      BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, roč. 43, č. 2, s. 124-163. ISSN 0925-9856. Dostupné z: https://dx.doi.org/10.1007/s10703-012-0166-0.
      Podrobněji: https://is.muni.cz/publication/1076453/cs
    2. Approximating the termination value of one-counter MDPs and stochastic games
      BRÁZDIL, Tomáš, Václav BROŽEK, Kousha ETESSAMI a Antonín KUČERA. Approximating the termination value of one-counter MDPs and stochastic games. Information and Computation. Netherlands: Elsevier Science, 2013, roč. 222, January, s. 121-138. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2012.01.008.
      Podrobněji: https://is.muni.cz/publication/1076357/cs
    3. 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.
      Podrobněji: https://is.muni.cz/publication/1123106/cs
    4. Continuous-Time Stochastic Games with Time-Bounded Reachability
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KRČÁL, Jan KŘETÍNSKÝ a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation. Elsevier, 2013, roč. 224, č. 1, s. 46-70. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2013.01.001.
      Podrobněji: https://is.muni.cz/publication/1082203/cs
    5. How Not to Characterize Planar-emulable Graphs
      HLINĚNÝ, Petr, Martin DERKA, Markus CHIMANI a Matěj KLUSÁČEK. How Not to Characterize Planar-emulable Graphs. Advances in Applied Mathematics. Holandsko: Elsevier, 2013, roč. 50, č. 1, s. 46-68. ISSN 0196-8858. Dostupné z: https://dx.doi.org/10.1016/j.aam.2012.06.004.
      Podrobněji: https://is.muni.cz/publication/1075300/cs
    6. 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.
      Podrobněji: https://is.muni.cz/publication/1075308/cs

    2012

    1. Generalized Maneuvers in Route Planning
      HLINĚNÝ, Petr a Ondrej MORIŠ. Generalized Maneuvers in Route Planning. Computing and Informatics. Bratislava: Slovak Academy of Sciences, 2012, roč. 31, č. 3, s. 531-549. ISSN 1335-9150. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_15.
      Podrobněji: https://is.muni.cz/publication/991998/cs
    2. Space-efficient scheduling of stochastically generated tasks
      BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Michael LUTTENBERGER. Space-efficient scheduling of stochastically generated tasks. Information and Computation. Elsevier, 2012, roč. 210, January, s. 87–110. ISSN 0890-5401. Dostupné z: https://dx.doi.org/10.1016/j.ic.2011.10.005.
      Podrobněji: https://is.muni.cz/publication/979394/cs
    3. Stochastic game logic
      BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic game logic. Acta informatica. Berlin: Springer-Verlag, 2012, roč. 49, č. 4, s. 203-224. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-012-0156-0.
      Podrobněji: https://is.muni.cz/publication/984990/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.
      Podrobněji: https://is.muni.cz/publication/1076197/cs
    5. Vertex insertion approximates the crossing number of apex graphs
      HLINĚNÝ, Petr, Markus CHIMANI a Petra MUTZEL. Vertex insertion approximates the crossing number of apex graphs. European Journal of Combinatorics. Elsevier, 2012, roč. 33, č. 3, s. 326-335. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2011.09.009.
      Podrobněji: https://is.muni.cz/publication/977218/cs
Zobrazit podrobně
Zobrazeno: 6. 10. 2024 10:56