Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2022

  1. 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., 2022, roč. 2021, s. 1-31. ISSN 0095-8956. doi:10.1016/j.jctb.2021.09.001.
  2. 2020

  3. 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. doi:10.1145/3383206.
  4. 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. doi:10.1007/s10009-019-00526-2.
  5. 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. doi:10.1016/j.tcs.2020.07.015.
  6. 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. doi:10.1016/j.jctb.2019.05.009.
  7. 2019

  8. 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. doi:10.1016/j.comgeo.2018.10.001.
  9. 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. doi:10.1145/3310225.
  10. 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. doi:10.37236/7753.
  11. 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. doi:10.1016/j.jcss.2018.06.002.
  12. 2018

  13. 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. doi:10.1137/17M1120129.
  14. 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. doi:10.1137/17M1137231.
  15. 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. doi:10.1016/j.ipl.2018.02.018.
  16. 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. doi:10.1016/j.dam.2017.04.042.
  17. 2017

  18. 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. doi:10.1007/s10878-016-0030-z.
  19. 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. doi:10.1002/rsa.20676.
  20. 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. doi:10.1016/j.jcss.2016.09.002.
  21. 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. doi:10.1016/j.nahs.2016.04.006.
  22. 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. doi:10.1016/j.jcss.2016.09.009.
  23. 2016

  24. 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. doi:10.1016/j.jctb.2015.09.001.
  25. 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. doi:10.1007/s10703-016-0259-2.
  26. 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. doi:10.1016/j.ejc.2016.03.001.
  27. 2015

  28. 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. doi:10.2168/LMCS-11(4:8)2015.
  29. 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. doi:10.2168/LMCS-11(4:11)2015.
  30. 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. doi:10.2168/LMCS-11(1:19)2015.
  31. 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. doi:10.1016/j.ejc.2015.02.009.
  32. 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. doi:10.1007/s00236-015-0215-4.
  33. 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. doi:10.1016/j.jcss.2014.06.005.
  34. 2014

  35. 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. doi:10.1016/j.jcss.2013.07.001.
  36. 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. doi:10.1137/130945636.
  37. 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. doi:10.1016/j.dam.2013.10.038.
  38. 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. doi:10.1145/2629599.
  39. 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. doi:10.1016/j.jcss.2013.07.005.
  40. 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. doi:10.2168/LMCS-10(1:13)2014.
  41. 2013

  42. 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. doi:10.1007/s10703-012-0166-0.
  43. 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. doi:10.1016/j.ic.2012.01.008.
  44. 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. doi:10.3233/FI-2013-800.
  45. 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. doi:10.1016/j.ic.2013.01.001.
  46. 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. doi:10.1016/j.aam.2012.06.004.
  47. 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. doi:10.1016/j.ejc.2012.07.024.
  48. 2012

  49. 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. doi:10.1007/978-3-642-25929-6_15.
  50. 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. doi:10.1016/j.ic.2011.10.005.
  51. 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. doi:10.1007/s00236-012-0156-0.
  52. 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. doi:10.1016/j.jctb.2012.04.004.
  53. 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. doi:10.1016/j.ejc.2011.09.009.
Zobrazit podrobně
Zobrazeno: 1. 12. 2022 08:29