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í: 240
2011
-
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Computer Aided Verification, 23rd International Conference, CAV 2011, rok: 2011
-
Efficient Loop Navigation for Symbolic Execution
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, rok: 2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011
-
How Not to Characterize Planar-emulable Graphs
COMBINATORIAL ALGORITHMS, Lecture Notes in Computer Science 7056, rok: 2011
-
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups
Algebraic Foundations in Computer Science, rok: 2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011
-
Modelování a simulace komplexních systémů. Jak lépe porozumět světu
Rok: 2011, vydání: Vyd. 1., počet stran: 236 s.
-
On Biautomata
Non-Classical Models for Automata and Applications, rok: 2011
-
Parameterized Problems Related to Seidel's Switching
Discrete Mathematics & Theoretical Computer Science, rok: 2011, ročník: 13, vydání: 2
-
Piecewise Testable Languages via Combinatorics on Words
Discrete Mathematics, rok: 2011, ročník: 311, vydání: 20, DOI