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í: 239
2010
-
New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages
Discrete Mathematics & Theoretical Computer Science, rok: 2010, ročník: 12, vydání: 4
-
On Locality-sensitive Indexing in Generic Metric Spaces
3rd International Conference on Similarity Search and Applications, rok: 2010
-
On Schützenberger products of semirings
Developments in Language Theory, rok: 2010
-
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes
Information and Computation, rok: 2010, ročník: 208, vydání: February
-
One-Counter Markov Decision Processes
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2010
-
One-Counter Stochastic Games
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), rok: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), rok: 2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), rok: 2010
-
Reachability Problems
Rok: 2010, druh: Editorství tématického sborníku
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2010, ročník: 12, vydání: 2, DOI