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
2008
-
Squeeze All the Power Out of Your Hardware to Verify Your Software!
Leveraging Applications of Formal Methods, Verification and Validation, rok: 2008
-
The Satisfiability Problem for Probabilistic CTL
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, rok: 2008
-
Verification of Infinite State Probabilistic Systems
Rok: 2008, druh: Vyžádané přednášky
2007
-
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007)
Rok: 2007, druh: Editorství tématického sborníku
-
Approximating the Crossing Number for Graphs close to "Planarity"
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. Abstracts collection, Dagstuhl Seminar 07281, rok: 2007
-
BEEM: Benchmarks for Explicit Model Checkers
Model Checking Software, rok: 2007
-
BNFParser2: Universal Syntax Verification Utility
Rok: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, rok: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Rok: 2007, druh: Další prezentace na konferencích
-
Clique-Width and Parity Games
Computer Science Logic 2007, proceedings, rok: 2007