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í: 240
2013
-
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation, rok: 2013, ročník: 222, vydání: January, DOI
2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI
-
Birkhoff's Variety Theorem in Many Sorts
Algebra Universalis, rok: 2012, ročník: 68, vydání: 1-2, DOI
-
Identity checking problem for transformation monoids
Semigroup Forum, rok: 2012, ročník: 84, vydání: 3, DOI
-
STANSE: Bug-finding Framework for C Programs
LNCS Proceeding of Memics 2011, rok: 2012
-
Strongly complete logics for coalgebras
Logical Methods in Computer Science, rok: 2012, ročník: 8, vydání: 3, DOI
2011
-
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011
-
Automated Verification Techniques for Probabilistic Systems
Formal Methods for Eternal Networked Software Systems (SFM'11), rok: 2011
-
Clique-width: When Hard Does Not Mean Impossible
28th International Symposium on Theoretical Aspects of Computer Science STACS2011, rok: 2011
-
Difficulty Rating of Sudoku Puzzles by a Computational Model
Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, rok: 2011