Informace o projektu
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Kód projektu
- GD102/09/H042
- Období řešení
- 1/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Publikace
Počet publikací: 78
2011
-
Optimal path planning for surveillance with temporal logic constraints
The International Journal of Robotics Research, rok: 2011, ročník: vol. 30, vydání: no. 14, DOI
-
Process Algebra for Modal Transition Systemses
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011
-
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers
Rok: 2011, druh: Editorství tématického sborníku
2010
-
Algorithm for Two-Energy Games
Mathematical and Engineering Methods in Computer Science (MEMICS) 2010, rok: 2010
-
Almost Linear Büchi Automata
Rok: 2010, druh: Další prezentace na konferencích
-
Building a Web-scale Image Similarity Search System
Multimedia Tools and Applications, rok: 2010, ročník: 47, vydání: 3
-
CesTa k ochraně čipových karet
Data Security Management, rok: 2010, ročník: roč. 14, vydání: 4
-
CoIn-DiVinE
Rok: 2010
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), rok: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), rok: 2010