Project information
Institute for Theoretical Computer Science
- Project Identification
- 1M0545
- Project Period
- 1/2005 - 12/2011
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Centres (National Research Programme)
- MU Faculty or unit
- Faculty of Informatics
- Project Website
- http://www.fi.muni.cz/iti/
- Cooperating Organization
-
Institute of Mathematics of the ASCR, v. v. i.
- Responsible person prof. RNDr. Pavel Pudlák, DrSc.
- Responsible person doc. RNDr. Jiří Šíma, DrSc.
- Responsible person prof. RNDr. Jaroslav Nešetřil, DrSc.
- Responsible person prof. RNDr. Zdeněk Ryjáček, DrSc.
The subject of the research activities of the institute are methods, algorithms, and structures of theoretical computer science, and their applications in information technologies.
Publications
Total number of publications: 238
2008
-
Squeeze All the Power Out of Your Hardware to Verify Your Software!
Leveraging Applications of Formal Methods, Verification and Validation, year: 2008
-
The Satisfiability Problem for Probabilistic CTL
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, year: 2008
-
Verification of Infinite State Probabilistic Systems
Year: 2008, type:
2007
-
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007)
Year: 2007, type:
-
Approximating the Crossing Number for Graphs close to "Planarity"
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. Abstracts collection, Dagstuhl Seminar 07281, year: 2007
-
BEEM: Benchmarks for Explicit Model Checkers
Model Checking Software, year: 2007
-
BNFParser2: Universal Syntax Verification Utility
Year: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, year: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Year: 2007, type: Appeared in Conference without Proceedings
-
Clique-Width and Parity Games
Computer Science Logic 2007, proceedings, year: 2007