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í: 238
2005
-
Characteristic Patterns for LTL
SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1
-
MACEK: A software package for real structural computations with representable matroids
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
On Counting the Number of Consistent Genotype Assignments for Pedigrees
Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), rok: 2005
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
On the Controller Synthesis for Finite-State Markov Decision Processes
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), rok: 2005
-
Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Rok: 2005, počet stran: 224 s.
-
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), rok: 2005
-
Reachability Analysis of Multithreaded Software with Asynchronous Communication
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005