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
2007
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Innovative Applications of Information Technology for the Developing World, rok: 2007
-
Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups
Theory of Computing Systems, rok: 2007, ročník: 40, vydání: 3
-
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, rok: 2007
-
Finding Branch-decompositions and Rank-decompositions
Rok: 2007, druh: Konferenční abstrakty
-
Formalisms and Tools for Design and Specification of Network Protocols
Rok: 2007, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Height-Deterministic Pushdown Automata
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), rok: 2007
-
I/O Efficient Accepting Cycle Detection
19th International Conference on Computer Aided Verification, rok: 2007
-
Mathematical Foundations of Computer Science 2007
Rok: 2007, druh: Editorství tématického sborníku
-
Mathematical Foundations of Computer Science 2007
Rok: 2007, počet stran: 764 s.
-
Model Checking Large Finite-State Systems and Beyond
33rd Conference on Current Trends in Theory and Practice of Computer Science, rok: 2007