- RNA Secondary Structure Visualization Using Tree Edit Distance2016 | Matematicko-fyzikální fakulta
- TravelerPublikace bez příslušnosti k fakultě
- Strukturální a sémantické aspekty DTD a XML schémat2010 | Matematicko-fyzikální fakulta
- TRAVeLer: a tool for template-based RNA secondary structure visualization2017 | Matematicko-fyzikální fakulta
- Diagnosing Compiler Performance by Comparing Optimization Decisions2023 | Matematicko-fyzikální fakulta