![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
profesor – Katedra teorie programování
kancelář: C514
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4085 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 64
2013
-
Compositional Verification and Optimization of Interactive Markov Chains
CONCUR 2013 - Concurrency Theory - 24th International Conference, rok: 2013
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
Information and Computation, rok: 2013, ročník: 224, vydání: 1, DOI
-
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - Concurrency Theory - 24th International Conference, rok: 2013
-
MoTraS: A Tool for Modal Transition Systems and Their Extensions
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, rok: 2013
-
On Refinements of Boolean and Parametric Modal Transition Systems
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, rok: 2013
-
On time-average limits in deterministic and stochastic Petri nets
ACM/SPEC International Conference on Performance Engineering, ICPE'13, rok: 2013
-
Rabinizer 2: Small Deterministic Automata for LTL\GU
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, rok: 2013
2012
-
Deterministic Automata for the (F,G)-fragment of LTL
Computer Aided Verification - 24th International Conference, rok: 2012
-
Dual-Priced Modal Transition Systems with Time Durations
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012
-
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems
Information and Computation, rok: 2012, ročník: 218, vydání: September, DOI