Differences

This shows you the differences between two versions of the page.

Link to this comparison view

gpub [2019/03/17 02:15]
gpub [2019/03/23 02:15] (current)
Line 1: Line 1:
 +===== Journals =====
 +
 +
 +<WRAP pub>
 +
 +====2019====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1486962">​FO model checking of geometric graphs</​a></​h4><​p>​Petr HLINĚNÝ, Filip POKRÝVKA and Bodhayan ROY. <br /><​span class="​pub-info"><​em>​Computational geometry</​em>,​ Amsterdam: Elsevier., 2019, Vol. 78, No. 1, pp. 1-19. ISSN 0925-7721.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1486962">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2018====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392989">​Parameterized Extension Complexity of Independent Set and Related Problems</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ and Hans Raj TIWARY. <br /><​span class="​pub-info"><​em>​Discrete Applied Mathematics</​em>,​ Elsevier Science, 2018, Vol. 248, SI, pp. 56-67. ISSN 0166-218X.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392989">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1480299">​Deciding Parity of Graph Crossing Number</​a></​h4><​p>​Petr HLINĚNÝ and Carsten THOMASSEN. <br /><​span class="​pub-info"><​em>​SIAM Journal on Discrete Mathematics</​em>,​ Philadelphia:​ SIAM, 2018, Vol. 32, No. 3, pp. 1962-1965. ISSN 0895-4801.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1480299">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1480301">​Simpler Self-reduction Algorithm for Matroid Path-width</​a></​h4><​p>​Petr HLINĚNÝ. <br /><​span class="​pub-info"><​em>​SIAM Journal on Discrete Mathematics</​em>,​ Philadelphia:​ SIAM, 2018, Vol. 32, No. 2, pp. 1425-1440. ISSN 0895-4801.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1480301">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1415323">​On the complexity of the quantified bit-vector arithmetic with binary encoding</​a></​h4><​p>​Martin JONÁŠ and Jan STREJČEK. <br /><​span class="​pub-info"><​em>​Information Processing Letters</​em>,​ Elsevier, 2018, vol. 135, červenec 2018, pp. 57-61. ISSN 0020-0190.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1415323">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2017====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365664">​Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games</​a></​h4><​p>​Mária SVOREŇOVÁ,​ Jan KŘETÍNSKÝ,​ Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ and Calin BELTA. <br /><​span class="​pub-info"><​em>​Nonlinear Analysis: Hybrid Systems</​em>,​ Elsevier, 2017, Vol. 23, February 2017, pp. 230-253. ISSN 1751-570X.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365664">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366042">​Trading performance for stability in Markov decision processes</​a></​h4><​p>​Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Journal of Computer and System Sciences</​em>,​ SAN DIEGO: Elsevier, 2017, Vol. 84, No. 2017, pp. 144-170. ISSN 0022-0000.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366042">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1372353">​First order limits of sparse graphs: Plane trees and path-width</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Tomáš KAISER, Daniel KRÁĽ, Martin KUPEC, Jan OBDRŽÁLEK,​ Sebastian ORDYNIAK and Vojtěch TŮMA. <br /><​span class="​pub-info"><​em>​Random Structures & Algorithms</​em>,​ Wiley, 2017, Vol. 50, No. 4, pp. 612-635. ISSN 1042-9832.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1372353">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1372352">​Kernelization using structural parameters on sparse graph classes</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando VILLAAMIL and Somnath SIKDAR. <br /><​span class="​pub-info"><​em>​Journal of Computer and System Sciences</​em>,​ SAN DIEGO: Elsevier, 2017, Vol. 84, No. 1, pp. 219-242. ISSN 0022-0000.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1372352">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1372354">​A tighter insertion-based approximation of the crossing number</​a></​h4><​p>​Markus CHIMANI and Petr HLINĚNÝ. <br /><​span class="​pub-info"><​em>​Journal of Combinatorial Optimization</​em>,​ Springer, 2017, Vol. 33, No. 4, pp. 1183-1225. ISSN 1382-6905.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1372354">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2016====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365661">​From LTL to deterministic automata (A safraless compositional approach)</​a></​h4><​p>​Javier ESPARZA, Jan KŘETÍNSKÝ and Salomon SICKERT. <br /><​span class="​pub-info"><​em>​Formal Methods in System Design</​em>,​ Springer Netherlands,​ 2016, Vol. 49, No. 3, pp. 219-271. ISSN 0925-9856.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365661">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323142">​Are there any good digraph width measures?</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Joachim KNEIS, Daniel MEISTER, Somnath SIKDAR and Peter ROSSMANITH. <br /><​span class="​pub-info"><​em>​Journal of Combinatorial Theory</​em>,​ Ser B, Academic Press, 2016, Vol. 116, No. 1, pp. 250-286. ISSN 0095-8956.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323142">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1367539">​Tree-depth and Vertex-minors</​a></​h4><​p>​Petr HLINĚNÝ, O-joung KWON, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. <br /><​span class="​pub-info"><​em>​European Journal of Combinatorics</​em>,​ Elsevier, 2016, Vol. 56, No. 1, pp. 46-56. ISSN 0195-6698.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1367539">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2015====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1232561">​Refinement checking on parametric modal transition systems</​a></​h4><​p>​Nikola BENEŠ, Jan KŘETÍNSKÝ,​ Kim G. LARSEN, Mikael H. MOLLER, Salomon SICKERT and Jiří SRBA. <br /><​span class="​pub-info"><​em>​Acta Informatica</​em>,​ Springer, 2015, Vol. 52, 2-3, pp. 269-297. ISSN 0001-5903.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1232561">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1219109">​Runtime analysis of probabilistic programs with unbounded recursion</​a></​h4><​p>​Tomáš BRÁZDIL, Stefan KIEFER, Antonín KUČERA and Ivana HUTAŘOVÁ VAŘEKOVÁ. <br /><​span class="​pub-info"><​em>​Journal of Computer and System Sciences</​em>,​ Academic Press, 2015, Vol. 81, No. 1, pp. 288-310. ISSN 0022-0000.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1219109">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206004">​Planar Emulators Conjecture Is Nearly True for Cubic Graphs</​a></​h4><​p>​Martin DERKA and Petr HLINĚNÝ. <br /><​span class="​pub-info"><​em>​European Journal of Combinatorics</​em>,​ Elsevier, 2015, Vol. 48, No. 1, pp. 63-70. ISSN 0195-6698.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206004">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1316744">​Faster Existential FO Model Checking on Posets</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. <br /><​span class="​pub-info"><​em>​Logical Methods in Computer Science</​em>,​ Německo: Logical Methods in Computer Science e.V., 2015, Vol. 11, No. 4, pp. 1-13. ISSN 1860-5974.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1316744">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1316739">​Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences</​a></​h4><​p>​Jakub GAJARSKÝ and Petr HLINĚNÝ. <br /><​span class="​pub-info"><​em>​Logical Methods in Computer Science</​em>,​ Německo: Logical Methods in Computer Science e.V., 2015, Vol. 11, No. 1, pp. 1-26. ISSN 1860-5974.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1316739">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323000">​FO Model Checking of Interval Graphs</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK,​ Jarett SCHWARTZ and Jakub TESKA. <br /><​span class="​pub-info"><​em>​Logical Methods in Computer Science</​em>,​ Německo: Logical Methods in Computer Science e.V., 2015, Vol. 11, 4:11, pp. 1-20. ISSN 1860-5974.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323000">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2014====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1130512">​Branching-time model-checking of probabilistic pushdown automata</​a></​h4><​p>​Tomáš BRÁZDIL, Václav BROŽEK, Vojtěch FOREJT and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Journal of Computer and System Sciences</​em>,​ Academic Press, 2014, Vol. 80, No. 1, pp. 139-156. ISSN 0022-0000.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1130512">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1215263">​Efficient Analysis of Probabilistic Programs with an Unbounded Counter</​a></​h4><​p>​Tomáš BRÁZDIL, Stefan KIEFER and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Journal of the ACM</​em>,​ New York, NY, USA: ACM, 2014, Vol. 61, No. 6, pp. 1-35. ISSN 0004-5411.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1215263">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1232717">​Markov Decision Processes with Multiple Long-Run Average Objectives</​a></​h4><​p>​Tomáš BRÁZDIL, Václav BROŽEK, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Logical Methods in Computer Science</​em>,​ Technical University of Braunschweig,​ 2014, Vol. 10, No. 1, pp. 1-29. ISSN 1860-5974.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1232717">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206003">​Computing the stretch of an embedded graph</​a></​h4><​p>​Sergio CABELLO, Markus CHIMANI and Petr HLINĚNÝ. <br /><​span class="​pub-info"><​em>​SIAM Journal on Discrete Mathematics</​em>,​ Philadelphia:​ SIAM, 2014, Vol. 28, No. 3, pp. 1391-1401. ISSN 0895-4801.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206003">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1186160">​Digraph width measures in parameterized algorithmics</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Joachim KNEIS, Alexander LANGER, Jan OBDRŽÁLEK and Peter ROSSMANITH. <br /><​span class="​pub-info"><​em>​Discrete Applied Mathematics</​em>,​ Elsevier B.V., 2014, Vol. 168, No. 1, pp. 88-107. ISSN 0166-218X.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1186160">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1130258">​Lower Bounds on the Complexity of MSO_1 Model-Checking</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Alexander LANGER, Peter ROSSMANITH and Somnath SIKDAR. <br /><​span class="​pub-info"><​em>​Journal of Computer and System Sciences</​em>,​ Elsevier, 2014, Vol. 80, No. 1, pp. 180-194. ISSN 0022-0000.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1130258">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2013====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​Analyzing probabilistic pushdown automata</​a></​h4><​p>​Tomáš BRÁZDIL, Javier ESPARZA, Stefan KIEFER and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Formal Methods in System Design</​em>,​ Springer Netherlands,​ 2013, Vol. 43, No. 2, pp. 124-163. ISSN 0925-9856.
 +<​br><​a href="​http://​is.muni.cz/​repo/​1076453/​43327854/">​Preprint</​a>​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076357">​Approximating the termination value of one-counter MDPs and stochastic games</​a></​h4><​p>​Tomáš BRÁZDIL, Václav BROŽEK, Kousha ETESSAMI and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Information and Computation</​em>,​ Netherlands:​ Elsevier Science, 2013, Vol. 222, January, pp. 121-138. ISSN 0890-5401.
 +<​br><​a href="​http://​is.muni.cz/​repo/​1076357/​44322434/">​Preprint</​a>​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076357">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1082203">​Continuous-Time Stochastic Games with Time-Bounded Reachability</​a></​h4><​p>​Tomáš BRÁZDIL, Vojtěch FOREJT, Jan KRČÁL, Jan KŘETÍNSKÝ and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Information and Computation</​em>,​ Elsevier, 2013, Vol. 224, No. 1, pp. 46-70. ISSN 0890-5401.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1082203">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1075300">​How Not to Characterize Planar-emulable Graphs</​a></​h4><​p>​Petr HLINĚNÝ, Martin DERKA, Markus CHIMANI and Matěj KLUSÁČEK. <br /><​span class="​pub-info"><​em>​Advances in Applied Mathematics</​em>,​ Holandsko: Elsevier, 2013, Vol. 50, No. 1, pp. 46-68. ISSN 0196-8858.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1075300">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1123106">​Better algorithms for satisfiability problems for formulas of bounded rank-width</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ and Jan OBDRŽÁLEK. <br /><​span class="​pub-info"><​em>​Fundamenta Informaticae</​em>,​ Poland: IOS Press, The Netherlands,​ 2013, Vol. 123, No. 1, pp. 59-76. ISSN 0169-2968.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1123106">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1075308">​Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ and Jan OBDRŽÁLEK. <br /><​span class="​pub-info"><​em>​European Journal of Combinatorics</​em>,​ Elsevier, 2013, Vol. 34, No. 3, pp. 680-701. ISSN 0195-6698.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1075308">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2012====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​984990">​Stochastic game logic</​a></​h4><​p>​Christel BAIER, Tomáš BRÁZDIL, Marcus GRÖSSER and Antonín KUČERA. <br /><​span class="​pub-info"><​em>​Acta informatica</​em>,​ Berlin: Springer-Verlag,​ 2012, Vol. 49, No. 4, pp. 203-224. ISSN 0001-5903.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​984990">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076197">​The DAG-width of directed graphs</​a></​h4><​p>​Dietmar BERWANGER, Anuj DAWAR, Paul HUNTER, Stephan KREUTZER and Jan OBDRŽÁLEK. <br /><​span class="​pub-info"><​em>​Journal of Combinatorial Theory</​em>,​ Ser B, Amsterdam: Elsevier B.V., 2012, Vol. 102, No. 4, pp. 900-923. ISSN 0095-8956.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076197">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​979394">​Space-efficient scheduling of stochastically generated tasks</​a></​h4><​p>​Tomáš BRÁZDIL, Javier ESPARZA, Stefan KIEFER and Michael LUTTENBERGER. <br /><​span class="​pub-info"><​em>​Information and Computation</​em>,​ Elsevier, 2012, Vol. 210, January, pp. 87–110. ISSN 0890-5401.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​979394">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​991998">​Generalized Maneuvers in Route Planning</​a></​h4><​p>​Petr HLINĚNÝ and Ondrej MORIŠ. <br /><​span class="​pub-info"><​em>​Computing and Informatics</​em>,​ Bratislava: Slovak Academy of Sciences, 2012, Vol. 31, No. 3, pp. 531-549. ISSN 1335-9150.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​991998">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​977218">​Vertex insertion approximates the crossing number of apex graphs</​a></​h4><​p>​Petr HLINĚNÝ, Markus CHIMANI and Petra MUTZEL. <br /><​span class="​pub-info"><​em>​European Journal of Combinatorics</​em>,​ Elsevier, 2012, Vol. 33, No. 3, pp. 326-335. ISSN 0195-6698.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​977218">​More details</​a></​p>​
 +
 +</​html>​
 +
 +</​WRAP>​
 +
 +===== Conference Proceedings =====
 +
 +
 +<WRAP pub>
 +
 +====2018====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1423781">​Solving Patrolling Problems in the Internet Environment</​a></​h4><​p>​Tomáš BRÁZDIL, Antonín KUČERA and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence,​ IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Pages 121-127.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1423781">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1393010">​On Colourability of Polygon Visibility Graphs</​a></​h4><​p>​Onur CAGIRICI, Petr HLINĚNÝ and Bodhayan ROY. <br /><​span class="​pub-info">​In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). Pages "​21:​1--21:​14"​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1393010">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1480303">​Structure and generation of crossing-critical graphs</​a></​h4><​p>​Zdeněk DVOŘÁK, Petr HLINĚNÝ and Bojan MOHAR. <br /><​span class="​pub-info">​In 34th International Symposium on Computational Geometry, SoCG 2018. Pages "​33:​1-33:​14"​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1480303">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392993">​FO model checking of geometric graphs</​a></​h4><​p>​Petr HLINĚNÝ, Filip POKRÝVKA and Bodhayan ROY. <br /><​span class="​pub-info">​In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). Pages "​19:​1-19:​12"​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392993">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1423063">​Joint Forces for Memory Safety Checking</​a></​h4><​p>​Marek CHALUPA, Jan STREJČEK and Martina VITOVSKÁ. <br /><​span class="​pub-info">​In Gallardo M., Merino P. (eds) Model Checking Software. SPIN 2018. Lecture Notes in Computer Science, vol 10869. Pages 115-132.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1423063">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1415064">​Symbiotic 5: Boosted Instrumentation</​a></​h4><​p>​Marek CHALUPA, Martina VITOVSKÁ and Jan STREJČEK. <br /><​span class="​pub-info">​In Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings,​ Part II. Pages 442-446.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1415064">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1463058">​Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers</​a></​h4><​p>​Martin JONÁŠ and Jan STREJČEK. <br /><​span class="​pub-info">​In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Pages 273-291.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1463058">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1464757">​Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?</​a></​h4><​p>​Martin JONÁŠ and Jan STREJČEK. <br /><​span class="​pub-info">​In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming,​ Artificial Intelligence and Reasoning. Pages 488-497.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1464757">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1408461">​Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games</​a></​h4><​p>​David KLAŠKA, Antonín KUČERA, Tomáš LAMSER and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Pages 659-666.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1408461">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2017====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392972">​Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms</​a></​h4><​p>​Christel BAIER, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Nathalie Bertrand, Luca Bortolussi. Quantitative Evaluation of Systems. Pages 190-206.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392972">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392977">​Synthesis of Optimal Resilient Control Strategies</​a></​h4><​p>​Christel BAIER, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Deepak D'​Souza,​ K. Narayan Kumar. Automated Technology for Verification and Analysis. Pages 417-434.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392977">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392992">​Parameterized Shifted Combinatorial Optimization</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Martin KOUTECKÝ and Shmuel ONN. <br /><​span class="​pub-info">​In Y. Cao and J. Chen. International Computing and Combinatorics Conference ​ COCOON 2017 (LNCS, volume 10392). Pages 224-236.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392992">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1392166">​Symbiotic 4: Beyond Reachability (Competition Contribution)</​a></​h4><​p>​Marek CHALUPA, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Pages 385-389.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1392166">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1394152">​On Simplification of Formulas with Unconstrained Variables and Quantifiers</​a></​h4><​p>​Martin JONÁŠ and Jan STREJČEK. <br /><​span class="​pub-info">​In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Pages 364-379.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1394152">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2016====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366655">​Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent</​a></​h4><​p>​Tomáš BRÁZDIL, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI and Luca BORTOLUSSI. <br /><​span class="​pub-info">​In Proceedings of QEST 2016. Pages 244-259.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366655">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1351787">​Complementing Semi-deterministic Büchi Automata</​a></​h4><​p>​František BLAHOUDEK, Matthias HEIZMANN, Sven SCHEWE, Jan STREJČEK and Ming-Hsien TSAI. <br /><​span class="​pub-info">​In Marsha Chechik, Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Pages 770-787.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1351787">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366035">​Optimizing the Expected Mean Payoff in Energy Markov Decision Processes</​a></​h4><​p>​Tomáš BRÁZDIL, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Pages 32-49.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366035">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366038">​Stability in Graphs and Games</​a></​h4><​p>​Tomáš BRÁZDIL, Vojtěch FOREJT, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Pages 1-14.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366038">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366476">​Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)</​a></​h4><​p>​Tomáš BRÁZDIL, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK and Anchit GUPTA. <br /><​span class="​pub-info">​In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Pages 1465-1466.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366476">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1357166">​Tighter Loop Bound Analysis</​a></​h4><​p>​Pavel ČADEK, Jan STREJČEK and Marek TRTÍK. <br /><​span class="​pub-info">​In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Pages 512-527.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1357166">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365646">​Faster Statistical Model Checking for Unbounded Temporal Properties</​a></​h4><​p>​Przemyslaw DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Tatjana PETROV. <br /><​span class="​pub-info">​In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Pages 112-129.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365646">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365647">​Linear Distances between Markov Chains</​a></​h4><​p>​Przemyslaw DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Tatjana PETROV. <br /><​span class="​pub-info">​In 27th International Conference on Concurrency Theory, CONCUR 2016. Pages 1-15.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365647">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1367505">​Crossing Number is Hard for Kernelization</​a></​h4><​p>​Marek DERŇÁR and Petr HLINĚNÝ. <br /><​span class="​pub-info">​In 32nd International Symposium on Computational Geometry (SoCG 2016). Pages "​42:​1"​-"​42:​10"​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1367505">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365651">​Limit-Deterministic Büchi Automata for Linear Temporal Logic</​a></​h4><​p>​Salomon SICKERT, Javier ESPARZA, Stefan JAAX and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In Computer Aided Verification - 28th International Conference, CAV 2016. Pages 312-332.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365651">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1351805">​Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC</​a></​h4><​p>​Ľuboš KORENČIAK, Vojtěch ŘEHÁK and Adrian FARMADIN. <br /><​span class="​pub-info">​In Erika Ábrahám, Marieke Huisman. Integrated Formal Methods. Pages 130-138.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1351805">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1367542">​A New Perspective on FO Model Checking of Dense Graph Classes</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK and M S RAMANUJAN. <br /><​span class="​pub-info">​In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. Pages 176-184.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1367542">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1366561">​Inserting Multiple Edges into a Planar Graph</​a></​h4><​p>​Markus CHIMANI and Petr HLINĚNÝ. <br /><​span class="​pub-info">​In 32nd International Symposium on Computational Geometry (SoCG 2016). Pages "​30:​1"​-"​30:​15"​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1366561">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1316745">​Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs</​a></​h4><​p>​Petr HLINĚNÝ and Ondřej SLÁMEČKA. <br /><​span class="​pub-info">​In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science, ​ Lecture Notes in Computer Science 9548. Pages 54-66.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1316745">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1357163">​Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)</​a></​h4><​p>​Marek CHALUPA, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and Martina VITOVSKÁ. <br /><​span class="​pub-info">​In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Pages 946-949.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1357163">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1357165">​Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams</​a></​h4><​p>​Martin JONÁŠ and Jan STREJČEK. <br /><​span class="​pub-info">​In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Pages 267-283.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1357165">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365671">​Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration</​a></​h4><​p>​Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. Pages 367-372.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365671">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365656">​MoChiBA:​ Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata</​a></​h4><​p>​Salomon SICKERT and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Pages 130-137.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365656">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1365657">​Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances</​a></​h4><​p>​Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In Leveraging Applications of Formal Methods, Verification and Validation: ​               Foundational Techniques - 7th International Symposium, ISoLA 2016. Pages 27-45.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1365657">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2015====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1306808">​The Hanoi Omega-Automata Format</​a></​h4><​p>​Tomáš BABIAK, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ,​ David MÜLLER, David PARKER and Jan STREJČEK. <br /><​span class="​pub-info">​In Daniel Kroening, Corina Pasareanu. Computer Aided Verification:​ 27th International Conference, CAV 2015. Pages 479-486.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1306808">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206052">​Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games</​a></​h4><​p>​Mária SVOREŇOVÁ,​ Jan KŘETÍNSKÝ,​ Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ and Calin BELTA. <br /><​span class="​pub-info">​In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Pages 259-268.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206052">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1299074">​Complete Composition Operators for IOCO-Testing Theory</​a></​h4><​p>​Nikola BENEŠ, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVIĆ. <br /><​span class="​pub-info">​In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Pages 101-110.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1299074">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1309631">​On Refinement of Büchi Automata for Explicit Model Checking</​a></​h4><​p>​František BLAHOUDEK, Alexandre DURET-LUTZ, Vojtěch RUJBR and Jan STREJČEK. <br /><​span class="​pub-info">​In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Pages 66-83.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1309631">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1309625">​On Degree Properties of Crossing-critical Families of Graphs</​a></​h4><​p>​Drago BOKAL, Mojca BRAČIČ, Marek DERŇÁR and Petr HLINĚNÝ. <br /><​span class="​pub-info">​In Emilio Di Giacomo, Anna Lubiw. Graph Drawing and Network Visualization 2015,  Lecture Notes in Computer Science 9411. Pages 75-86.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1309625">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1306807">​Counterexample Explanation by Learning Small Strategies in Markov Decision Processes</​a></​h4><​p>​Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Martin CHMELÍK, Andreas FELLNER and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In Daniel Kroening, Corina Pasareanu. Computer Aided Verification:​ 27th International Conference, CAV 2015. Pages 158-177.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1306807">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323104">​Long-Run Average Behaviour of Probabilistic Vector Addition Systems</​a></​h4><​p>​Tomáš BRÁZDIL, Stefan KIEFER, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Pages 44-55.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323104">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323105">​MultiGain:​ A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives</​a></​h4><​p>​Tomáš BRÁZDIL, Chatterjee KRISHNENDU, Vojtěch FOREJT and Antonín KUČERA. <br /><​span class="​pub-info">​In Christel Baier, Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Pages 181-187.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323105">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1317666">​Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis</​a></​h4><​p>​Tomáš BRÁZDIL, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. Pages 141-159.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1317666">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1319892">​Optimal Continuous Time Markov Decisions</​a></​h4><​p>​Yuliya BUTKOVA, Hassan HATEFI, Holger HERMANNS and Jan KRČÁL. <br /><​span class="​pub-info">​In ATVA 2015. Pages 166-182.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1319892">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1194313">​Compositionality for Quantitative Specifications</​a></​h4><​p>​Uli FAHRENBERG, Jan KŘETÍNSKÝ,​ Axel LEGAY and Louis-Marie TRAONOUEZ. <br /><​span class="​pub-info">​In The 11th International Symposium on  Formal Aspects of Component Software - FACS 2014. Pages 306-324.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1194313">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1319887">​Controller Synthesis for MDPs and Frequency LTL\GU</​a></​h4><​p>​Vojtěch FOREJT, Jan KRČÁL and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In LPAR 2015. Pages 162-177.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1319887">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1319891">​On Frequency LTL in Probabilistic Systems</​a></​h4><​p>​Vojtěch FOREJT and Jan KRČÁL. <br /><​span class="​pub-info">​In CONCUR 2015. Pages 184-197.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1319891">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1316736">​FO Model Checking on Posets of Bounded Width</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Sebastian ORDYNIAK, M.S. RAMANUJAN, Daniel LOKSHTANOV and Saket SAURABH. <br /><​span class="​pub-info">​In Venkatesan Guruswami. 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Pages 963 - 974.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1316736">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323060">​On Hardness of the Joint Crossing Number</​a></​h4><​p>​Petr HLINĚNÝ and Gelasio SALAZAR. <br /><​span class="​pub-info">​In Khaled Elbassioni, Kazuhisa Makino. International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472. Pages 603-613.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323060">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1306804">​Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes</​a></​h4><​p>​Krishnendu CHATTERJEE, Zuzana KOMÁRKOVÁ and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages 244-256.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1306804">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1319888">​Scalable Analysis of Fault Trees with Dynamic Features</​a></​h4><​p>​Jan KRČÁL and Pavel KRČÁL. <br /><​span class="​pub-info">​In DSN 2015. Pages 89-100.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1319888">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1323251">​Polynomial Time Decidability of Weighted Synchronization under Partial Observability</​a></​h4><​p>​Jan KŘETÍNSKÝ,​ Kim Guldstrand LARSEN, Simon LAURSEN and Jiří SRBA. <br /><​span class="​pub-info">​In 26th International Conference on Concurrency Theory (CONCUR 2015). Pages 142-154.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1323251">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2014====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1185661">​Solving adversarial patrolling games with bounded error: (extended abstract)</​a></​h4><​p>​Michal ABAFFY, Tomáš BRÁZDIL, Vojtěch ŘEHÁK, Branislav BOŠANSKÝ, Antonín KUČERA and Jan KRČÁL. <br /><​span class="​pub-info">​In Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'​14). Pages 1617-1618.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1185661">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1196458">​Is there a best Büchi automaton for explicit model checking?</​a></​h4><​p>​František BLAHOUDEK, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. Pages 68-143.
 +<​br><​a href="​http://​is.muni.cz/​repo/​1196458/​50400765/">​Preprint</​a>​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1196458">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206158">​Minimizing Running Costs in Consumption Systems</​a></​h4><​p>​Tomáš BRÁZDIL, David KLAŠKA, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Armin Biere, Roderick Bloem. Computer Aided Verification. Pages 457-472.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206158">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1187947">​Verification of Markov Decision Processes using Learning Algorithms</​a></​h4><​p>​Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Martin CHMELÍK, Vojtěch FOREJT, Jan KŘETÍNSKÝ,​ Marta KWIATKOWSKA,​ David PARKER and Mateusz UJMA. <br /><​span class="​pub-info">​In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Pages 98-114.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1187947">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206161">​Zero-reachability in probabilistic multi-counter automata</​a></​h4><​p>​Tomáš BRÁZDIL, Stefan KIEFER, Antonín KUČERA, Petr NOVOTNÝ and Joost-Pieter KATOEN. <br /><​span class="​pub-info">​In Thomas Henzinger and Dale Miller. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages nestránkováno.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206161">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1204410">​Faster Existential FO Model Checking on Posets</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. <br /><​span class="​pub-info">​In Hee-Kap Ahn, Chan-Su Shin. ISAAC 2014, LNCS 8889. Pages 441-451.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1204410">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1206017">​Dealing with Zero Density Using Piecewise Phase-Type Approximation</​a></​h4><​p>​Ľuboš KORENČIAK, Jan KRČÁL and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In András Horváth, Katinka Wolter. Computer Performance Engineering. Pages 119-134.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1206017">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1166237">​Symbiotic 2: More Precise Slicing (Competition Contribution)</​a></​h4><​p>​Jiří SLABÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In E. Ábrahám and K. Havelund. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Pages 415-417.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1166237">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1205943">​Symbolic Memory with Pointers</​a></​h4><​p>​Marek TRTÍK and Jan STREJČEK. <br /><​span class="​pub-info">​In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Pages 380-395.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1205943">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2013====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1110031">​Compositional Approach to Suspension and Other Improvements to LTL Translation</​a></​h4><​p>​Tomáš BABIAK, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. Pages 81-98.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1110031">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1111172">​Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,​G)-Fragment</​a></​h4><​p>​František BLAHOUDEK, Tomáš BABIAK, Mojmír KŘETÍNSKÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Pages 24-38.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1111172">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1129430">​Comparison of LTL to Deterministic Rabin Automata Translators</​a></​h4><​p>​František BLAHOUDEK, Mojmír KŘETÍNSKÝ and Jan STREJČEK. <br /><​span class="​pub-info">​In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Pages 164-172.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1129430">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076412">​Determinacy in Stochastic Games with Unbounded Payoff Functions</​a></​h4><​p>​Tomáš BRÁZDIL, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Mathematical and Engineering Methods in Computer Science (MEMICS 2012). Pages 94-105.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076412">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1110174">​On time-average limits in deterministic and stochastic Petri nets</​a></​h4><​p>​Tomáš BRÁZDIL, Ľuboš KORENČIAK, Jan KRČÁL, Jan KŘETÍNSKÝ and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In ACM/SPEC International Conference on Performance Engineering,​ ICPE'​13. Pages 421-422.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1110174">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1123332">​Solvency Markov Decision Processes with Interest</​a></​h4><​p>​Tomáš BRÁZDIL, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ and Aistis SIMAITIS. <br /><​span class="​pub-info">​In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Pages 487-499.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1123332">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1130508">​Trading Performance for Stability in Markov Decision Processes</​a></​h4><​p>​Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. <br /><​span class="​pub-info">​In Proceedings of  28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013). Pages 331-340.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1130508">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1123096">​Planar Emulators Conjecture Is Nearly True for Cubic Graphs</​a></​h4><​p>​Petr HLINĚNÝ and Martin DERKA. <br /><​span class="​pub-info">​In J. Nešetřil, M. Pellegrini. The Seventh European Conference on Combinatorics,​ Graph Theory and Applications - Eurocomb 2013. Pages 245-250.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1123096">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1123296">​Kernelization Using Structural Parameters on Sparse Graph Classes</​a></​h4><​p>​Jakub GAJARSKÝ, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL and Somnath SIKDAR. <br /><​span class="​pub-info">​In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Pages 529-540.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1123296">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1130962">​Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes</​a></​h4><​p>​Jan OBDRŽÁLEK and Robert GANIAN. <br /><​span class="​pub-info">​In Thierry Lecroq, Laurent Mouchard. Combinatorial Algorithms 24th International Workshop, IWOCA 2013. Pages 164-177.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1130962">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1123297">​FO Model Checking of Interval Graphs</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK,​ Jarett SCHWARTZ and Jakub TESKA. <br /><​span class="​pub-info">​In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska,​ David Peleg. ICALP (2) 2013. Pages 250-262.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1123297">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1112167">​Compositional Verification and Optimization of Interactive Markov Chains</​a></​h4><​p>​Holger HERMANNS, Jan KRČÁL and Jan KŘETÍNSKÝ. <br /><​span class="​pub-info">​In CONCUR 2013 - Concurrency Theory - 24th International Conference. Pages 364-379.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1112167">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1066786">​Controllable-choice Message Sequence Graphs</​a></​h4><​p>​Martin CHMELÍK and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers. Pages 118-130.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1066786">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1075388">​ClabureDB:​ Classified Bug-Reports Database Tool for Developers of Program Analysis Tools</​a></​h4><​p>​Jiří SLABÝ, Jan STREJČEK and Marek TRTÍK. <br /><​span class="​pub-info">​In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification,​ Model Checking, and Abstract Interpretation:​ 14th International Conference, VMCAI 2013. Pages 268-274.
 +<​br><​a href="​http://​is.muni.cz/​repo/​1075388/​38209553/">​Preprint</​a>​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1075388">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1110971">​Compact Symbolic Execution</​a></​h4><​p>​Jiří SLABÝ, Jan STREJČEK and Marek TRTÍK. <br /><​span class="​pub-info">​In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Pages 193-207.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1110971">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1078253">​Symbiotic:​ Synergy of Instrumentation,​ Slicing, and Symbolic Execution - (Competition Contribution)</​a></​h4><​p>​Jiří SLABÝ, Jan STREJČEK and Marek TRTÍK. <br /><​span class="​pub-info">​In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Pages 630-632.
 +<​br><​a href="​http://​is.muni.cz/​repo/​1078253/​38401951/">​Preprint</​a>​.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1078253">​More details</​a></​p>​
 +
 +</​html>​
 +
 +====2012====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​991673">​Efficient Controller Synthesis for Consumption Games with Multiple Resource Types</​a></​h4><​p>​Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Antonín KUČERA and Petr NOVOTNÝ. <br /><​span class="​pub-info">​In Computer Aided Verification - 24th International Conference, CAV 2012. Pages 23-38.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​991673">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​991688">​Minimizing Expected Termination Time in One-Counter Markov Decision Processes</​a></​h4><​p>​Tomáš BRÁZDIL, Antonín KUČERA, Petr NOVOTNÝ and Dominik WOJTCZAK. <br /><​span class="​pub-info">​In Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012). Pages 141-152.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​991688">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​979318">​Stabilization of Branching Queueing Networks</​a></​h4><​p>​Tomáš BRÁZDIL and Stefan KIEFER. <br /><​span class="​pub-info">​In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science. Pages 507-518.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​979318">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​991746">​Verification of Open Interactive Markov Chains</​a></​h4><​p>​Tomáš BRÁZDIL, Holger HERMANNS, Jan KRČÁL, Jan KŘETÍNSKÝ and Vojtěch ŘEHÁK. <br /><​span class="​pub-info">​In Deepak D'​Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Pages 474-485.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​991746">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1075307">​Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences</​a></​h4><​p>​Jakub GAJARSKÝ and Petr HLINĚNÝ. <br /><​span class="​pub-info">​In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Pages 112-123.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1075307">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​992001">​Lower Bounds on the Complexity of MSO_1 Model-Checking</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Alexander LANGER, Peter ROSSMANITH and Somnath SIKDAR. <br /><​span class="​pub-info">​In 29th International Symposium on Theoretical Aspects of Computer Science STACS2012. Pages 326-337.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​992001">​More details</​a></​p>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​992004">​When Trees Grow Low: Shrubs and Fast MSO1</​a></​h4><​p>​Robert GANIAN, Petr HLINĚNÝ, Jan OBDRŽÁLEK,​ Jaroslav NEŠETŘIL, Patrice OSSONA DE MENDEZ and Reshma RAMADURAI. <br /><​span class="​pub-info">​In Math Foundations of Computer Science MFCS 2012. Pages 419-430.
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​992004">​More details</​a></​p>​
 +
 +</​html>​
 +
 +</​WRAP>​
 +
 +===== Other Publications =====
 +
 +
 +<WRAP pub>
 +
 +====2012====
 +
 +<​html>​
 +
 +<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076330">​Sequence Chart Studio: user-friendly drawing and verification tool for MSC.</​a></​h4><​p>​Vojtěch ŘEHÁK, Matúš MADZIN, Ľuboš KORENČIAK, Petr GOTTHARD, Ondřej KOCIAN, Martin BEZDĚKA, Ondřej BOUDA, Václav VACEK, Milan MALOTA and Zuzana PEKARČÍKOVÁ. <br /><​span class="​pub-info"><​a href="​http://​scstudio.sourceforge.net">​URL</​a>​
 +</​span></​p><​p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076330">​More details</​a></​p>​
 +
 +</​html>​
 +
 +</​WRAP>​
 +