• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

RNDr. Mgr. Bc. Jan Křetínský

 

• Jan Křetínský
  born 26/12/1984 in Brno

• Faculty of Informatics, Masaryk University
  Botanická 68a, Brno 602 00

• 2010: Master's degree, Mathematics - Algebra and Discrete Mathematics, Modal Transition Systems, Faculty of Science, Masaryk University
• 2009: Master's degree, Informatics - Parallel and Distributed Systems, Fundamental Properties of Probabilistic Branching-Time Logics, Faculty of Informatics, Masaryk University
• 2007: Bachelor's degree, Mathematics - Mathematics, Monadic Second Order Logic on Infinite Words and Trees, Faculty of Science, Masaryk University
• 2007: Bachelor's degree, Humanities - Philosophy, General Linguistics, Mathematical Framework for Natural Language Formal Description, Faculty of Arts, Masaryk University
• 2007: Bachelor's degree, Informatics - Informatics, Use-mention Distinction in Transparent Intensional Logic, Faculty of Informatics, Masaryk University

• Automata and Formal Languages TUM (Winter 2009/10, 2010/11)
• Complexity TUM (Summer 2010)
• IA008 Computational Logic FI (Spring 2009)
• IB102 Automata and Grammars FI (Autumn 2007)
• MB003 Linear Algebra and Geometry I FI (Spring 2008)
• MB005 Foundations of mathematics FI (Autumn 2007)
• M1110 Linear Algebra and Geometry I PřF (Autumn 2007)

• Stochastic & Timed Systems
• Modal Transition Systems

• 2009: Rector's Prize
• 2007: Dean's Prize

• BENEŠ, Nikola a Jan KŘETÍNSKÝ a Kim G. LARSEN a Mikael H. MOLLER a Jiří SRBA. Dual-Priced Modal Transition Systems with Time Durations. In LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference. Heidelberg Dordrecht London New York: Springer, 2012. od s. 122-137, 16 s. ISBN 978-3-642-28716-9. doi:10.1007/978-3-642-28717-6.  info
• BRÁZDIL, Tomáš a Jan KRČÁL a Jan KŘETÍNSKÝ a Antonín KUČERA a Vojtěch ŘEHÁK. Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. In Emilio Frazzoli, Radu Grosu. HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control. New York: ACM, 2011. od s. 33-42, 10 s. ISBN 978-1-4503-0629-4.  info
• BRÁZDIL, Tomáš a Jan KRČÁL a Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. Fixed-delay Events in Generalized Semi-Markov Processes Revisited. In CONCUR 2011 - Concurrency Theory: 22nd International Conference. Berlin Heidelberg New York: Springer, 2011. od s. 140-155, 16 s. ISBN 978-3-642-23216-9.  info
• BENEŠ, Nikola a Ivana ČERNÁ a Jan KŘETÍNSKÝ. Modal Transition Systems: Composition and LTL Model Checking. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York: Springer, 2011. od s. 228-242, 15 s. ISBN 978-3-642-24371-4.  info
• BENEŠ, Nikola a Jan KŘETÍNSKÝ a Kim G. LARSEN a Mikael H. MOLLER a Jiří SRBA. Parametric Modal Transition Systems. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York: Springer, 2011. od s. 275-289, 15 s. ISBN 978-3-642-24371-4.  info
• BRÁZDIL, Tomáš a Jan KRČÁL a Jan KŘETÍNSKÝ a Antonín KUČERA a Vojtěch ŘEHÁK. Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York: Springer, 2010. od s. 207-221, 15 s. ISBN 3-642-15374-7.  info
• BENEŠ, Nikola a Jan KŘETÍNSKÝ a Kim G. LARSEN a Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science, Elsevier, 410/2009, 41, od s. 4026-4043, 18 s. ISSN 0304-3975. 2009.  info
• BENEŠ, Nikola a Jan KŘETÍNSKÝ a Kim G. LARSEN a Jiří SRBA. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg: Springer-Verlag, 2009. od s. 112-126, 15 s. ISBN 978-3-642-03465-7.  info
• BRÁZDIL, Tomáš a Vojtěch FOREJT a Jan KRČÁL a Jan KŘETÍNSKÝ a Antonín KUČERA. Continuous-Time Stochastic Games with Time-Bounded Reachability. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2009. od s. 61-72, 12 s. ISBN 978-3-939897-13-2.  info
• BRÁZDIL, Tomáš a Vojtěch FOREJT a Jan KŘETÍNSKÝ a Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2008. od s. 391-402, 10 s. ISBN 978-0-7695-3183-0.  info

Last update: 2011/01/17