prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2010

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  MEMICS 2010, rok: 2010

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch

  Článek ve sborníku

  CONCUR 2010 - Concurrency Theory, rok: 2010

2009

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Článek ve sborníku

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), rok: 2009

• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, rok: 2009

• On Determinism in Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2009, ročník: 410/2009, vydání: 41

2008

• The Satisfiability Problem for Probabilistic CTL

  BRÁZDIL Tomáš FOREJT Vojtěch KŘETÍNSKÝ Jan KUČERA Antonín

  Článek ve sborníku

  23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, rok: 2008