![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
doc. Mgr. Jan Obdržálek, PhD.
docent – Katedra teorie programování
kancelář: C420
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4225 |
---|---|
e‑mail: |
Počet publikací: 43
2010
-
Česko-Slovenská Konference GRAFY 2010
Rok: 2010, druh: Uspořádání konference
-
Proceedings of the 45th Czech-Slovak Conference GRAFY 2010
Rok: 2010, druh: Editorství tématického sborníku
2009
-
On Digraph Width Measures in Parameterized Algorithmics
IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science, rok: 2009
-
Qualitative Reachability in Stochastic BPA Games
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, rok: 2009
2007
-
Clique-Width and Parity Games
Computer Science Logic 2007, proceedings, rok: 2007
2006
-
DAG-width - Connectivity Measure for Directed Graphs
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2006
-
Escape-width: Measuring "width" of digraphs
Rok: 2006, druh: Konferenční abstrakty
2003
-
Fast Mu-calculus Model Checking when Tree-width is Bounded
CAV 2003, rok: 2003
2001
-
A Parallel Java Grande Benchmark Suite
Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM), rok: 2001
-
An OpenMP-like interface for parallel programming in Java
Concurrency and Computation: Practice and Experience, rok: 2001, ročník: 13, vydání: 8-9