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
2006
-
11th International Workshop on Formal Methods for Industrial Critical Systems
Rok: 2006, druh: Uspořádání workshopu
-
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Theoretical Computer Science, rok: 2006, ročník: 358, vydání: 2-3
-
A note on multicriteria decision making
Rok: 2006, druh: Konferenční abstrakty
-
Algebraic characterization of the finite power property
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, rok: 2006
-
Architectural Interoperability Checking in Visual Coordination Networks
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), rok: 2006
-
Balanced Signings and the Chromatic Number of Oriented Matroids
Combin. Prob. Computing, rok: 2006, ročník: 15, vydání: 4
-
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects, rok: 2006
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Acta Universitatis Matthiae Belii, Series Mathematics, rok: 2006, ročník: 12, vydání: 1
-
Communication of two stacks and rewriting
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, rok: 2006
-
Computing by commuting
Theoretical Computer Science, rok: 2006, ročník: 356, vydání: 1-2