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í: 239
2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, rok: 2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 135, vydání: 2
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), rok: 2006, ročník: 8, vydání: 3
-
MACEK - Real Structural Computations with Representable Matroids.
Rok: 2006, druh: Vyžádané přednášky
-
Matroid Tree-Width
European Journal of Combinatorics, rok: 2006, ročník: 27, vydání: 7
-
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 149, vydání: 1
-
Model Checking Probabilistic Pushdown Automata
Logical Methods in Computer Science, rok: 2006, ročník: 2, vydání: 1-2
-
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Automated Technology for Verification and Analysis (ATVA'06), rok: 2006
-
On classes of regular languages
CANT 2006 EMS Summer School and Conference on Combinatorics, Automata and Number Theory, rok: 2006