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
2008
-
On varieties of literally idempotent languages
RAIRO - Theoretical Informatics and Applications, rok: 2008, ročník: 42, vydání: 3
-
On varieties of meet automata
Theoretical Computer Science, rok: 2008, ročník: 407, vydání: 1-3
-
Petri Nets Are Less Expressive Than State-Extended PA
Theoretical Computer Science, rok: 2008, ročník: 394, vydání: 1-2
-
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, rok: 2008
-
Properties of State Spaces and Their Applications
International Journal on Software Tools for Technology Transfer (STTT), rok: 2008, ročník: 10, vydání: 5
-
PyHLA 0.1: Python Bindings for HLA 1.3
Rok: 2008
-
Reachability in Recursive Markov Decision Processes
Information and Computation, rok: 2008, ročník: 206, vydání: 5
-
Regularity in PDA Games Revisited
MEMICS 2008 proceedings, rok: 2008
-
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems, rok: 2008
-
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)