Informace o projektu
Institut Teoretické Informatiky

Informace

Projekt nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

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

prof. RNDr. Antonín Kučera, Ph.D.

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.

Ústav informatiky AV ČR, v. v. i.

Odpovědná osoba doc. RNDr. Jiří Šíma, DrSc.

Univerzita Karlova

Odpovědná osoba prof. RNDr. Jaroslav Nešetřil, DrSc.

Západočeská univerzita v Plzni

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

2010

Space-efficient scheduling of stochastically generated tasks

BRÁZDIL Tomáš ESPARZA Javier KIEFER Stefan LUTTENBERGER Michael

Článek ve sborníku

Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), rok: 2010
Stochastic Real-Time Games with Qualitative Timed Automata Objectives

BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch

Článek ve sborníku

CONCUR 2010 - Concurrency Theory, rok: 2010
What are sifted colimits?

ROSICKÝ Jiří ADÁMEK J. VITALE E. M.

Článek v odborném periodiku

Theory and Applications of categories, rok: 2010, ročník: 23, vydání: 1

2009

A counterexample to a conjecture concerning concatenation hierarchies

KLÍMA Ondřej ALMEIDA Jorge

Článek v odborném periodiku

Information Processing Letters, rok: 2009, ročník: 110, vydání: 1
Addendum to Matroid Tree-Width

HLINĚNÝ Petr WHITTLE Geoff

Článek v odborném periodiku

European Journal of Combinatorics, rok: 2009, ročník: 30, vydání: 4
Almost Linear Büchi Automata

BABIAK Tomáš ŘEHÁK Vojtěch STREJČEK Jan

Článek ve sborníku

Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), rok: 2009
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

BYG Joakim JOERGENSEN Kenneth Yrke SRBA Jiří

Článek ve sborníku

Proceedings of 11th International Conference on Formal Engineering Methods (ICFEM'09), pages 698-716 , volume 5885 of LNCS, Springer-Verlag, 2009., rok: 2009
Approximating the Crossing Number of Apex Graphs

HLINĚNÝ Petr CHIMANI Markus MUTZEL Petra

Článek ve sborníku

Symposium Graph Drawing 2008, Lecture Notes in Computer Science, rok: 2009
Better Polynomial Algorithms on Graphs of Bounded Rank-width.

GANIAN Robert HLINĚNÝ Petr

Článek ve sborníku

IWOCA 2009: International Workshop On Combinatorial Algorithms, Lecture Notes in Computer Science 5874, rok: 2009
Beyond Language Equivalence on Visibly Pushdown Automata

SRBA Jiří

Článek v odborném periodiku

Logical Methods in Computer Science, rok: 2009, ročník: 5/200, vydání: 1:2