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
2010
-
Building a Web-scale Image Similarity Search System
Multimedia Tools and Applications, rok: 2010, ročník: 47, vydání: 3
-
CesTa k ochraně čipových karet
Data Security Management, rok: 2010, ročník: roč. 14, vydání: 4
-
Česko-Slovenská Konference GRAFY 2010
Rok: 2010, druh: Uspořádání konference
-
Decidable Race Condition and Open Coregions in HMSC
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), rok: 2010
-
Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties
Descriptional Complexity of Formal Systems, rok: 2010
-
Effective Analysis of Infinite State Stochastic Processes and Games
Logics and Languages for Reliability and Security, rok: 2010, počet stran: 25 s.
-
Expected Reachability-Time Games
Formal Modeling and Analysis of Timed Systems, rok: 2010
-
Hierarchies of piecewise testable languages
International Journal of Foundations of Computer Science, rok: 2010, ročník: 21, vydání: 4
-
Literally idempotent languages and their varieties - two letter case
International Journal of Foundations of Computer Science, rok: 2010, ročník: 21, vydání: 5
-
Mathematical Foundations of Computer Science 2010
Rok: 2010, druh: Editorství tématického sborníku