Research:
-
A note about XNLP-completeness
| tags:[ research complexity ]
- Small survey on tools used by mathematicians
-
Computing m-Eternal Domination Number of Cactus Graphs in Linear Time
with
Jan Matyáš Křišťan and Tomáš Valla
arXiv TBA 2023 | tags:[ research Eternal Domination game cactus graphs ]
-
GD 2020 notes
| tags:[ research conference ]
-
On the Edge-Length Ratio of 2-Trees
with
Jiří Fiala and Giuseppe Liotta
arXiv GD 2020 IJCGA | tags:[ research edge-length ratio 2-tree graphs ]
-
Hat chromatic number of graphs
| tags:[ research ]
-
CSR 2019
| tags:[ research conference trip ]
- Jak rozběhnout výpočet na RCI serveru
-
On the m-eternal Domination Number of Cactus Graphs
with
Jan Matyáš Křišťan and Tomáš Valla
arXiv RP 2019 | tags:[ research Eternal Domination game cactus graphs ]
- Dimea Days 2019
-
Scientific poster for poster session
| tags:[ research ]
-
On Induced Online Ramsey Number of Paths, Cycles, and Trees
with
Pavel Dvořák and Tomáš Valla
arXiv CSR 2019 | tags:[ research induced Ramsey numbers game ]
-
MCW - výpisky
| tags:[ research conference ]
-
ICALP 2018 - výpisky
| tags:[ research conference ]
- MACIS - Vienna 2017
- NSFOCS
- Diplomová práce
-
Lower bound graphs for known Ramsey numbers
| tags:[ research ]
-
London Stringology Days
| tags:[ research conference trip ]
- Stigma 2016
-
A Simple Streaming Bit-parallel Algorithm for Swap Pattern Matching
with
Ondřej Suchý and Tomáš Valla
arXiv MACIS 2017 | tags:[ research stringology ]
- Bakalářská práce