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
-
What do we know about language equations?
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 2007, Proceedings, rok: 2007
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