Informace o projektu
Institut Teoretické Informatiky
- Kód projektu
- 1M0545
- Období řešení
- 1/2005 - 12/2011
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumná centra (Národní program výzkumu)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- WWW stránky projektu
- http://www.fi.muni.cz/iti/
- Spolupracující organizace
-
Matematický ústav AV ČR, v. v. i.
- Odpovědná osoba prof. RNDr. Pavel Pudlák, DrSc.
- Odpovědná osoba doc. RNDr. Jiří Šíma, DrSc.
- Odpovědná osoba prof. RNDr. Jaroslav Nešetřil, DrSc.
- Odpovědná osoba prof. RNDr. Zdeněk Ryjáček, DrSc.
Předmětem výzkumné činnosti jsou metody, algoritmy a struktury teoretické informatiky a jejich aplikace v informačních technologiích
Publikace
Počet publikací: 237
2005
-
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion
Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), rok: 2005
-
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (extended abstract)
WG 2005, rok: 2005
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, rok: 2005
-
Decidability Issues for Extended Ping-Pong Protocol
Journal of Automated Reasoning, rok: 2005, ročník: ?, vydání: ?
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, rok: 2005
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, rok: 2005, ročník: 2005, vydání: 133
-
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), rok: 2005
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), rok: 2005
-
Characteristic Patterns for LTL
SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005