- Fault-based test generation for regular expressions by mutation2019 | Matematicko-fyzikální fakulta
- MutRex: a mutation-based generator of fault detecting strings for regular expressions2017 | Matematicko-fyzikální fakulta
- Parsing with regular expressions: a minute to learn, a lifetime to master2001 | Matematicko-fyzikální fakulta
- MutRexPublikace bez příslušnosti k fakultě
- Opravy nevalidních XML dokumentů vůči jednotypovým stromovým gramatikám2011 | Matematicko-fyzikální fakulta
- Semantic Annotation Semantically: Using a Shareable Extraction Ontology and a Reasoner2011 | Matematicko-fyzikální fakulta
- Opravy XML Dokumentů a Analýza XQuery Pomocí Analyzeru2011 | Matematicko-fyzikální fakulta
- Databáze překladových ekvivalentů Treq 2.0Publikace bez příslušnosti k fakultě
- Poloautomatická výstavba slovotvorných sítí (pro polštinu a španělštinu)2018 | Matematicko-fyzikální fakulta
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- Poloautomatické budování slovotvorných sítí2020 | Matematicko-fyzikální fakulta
- Globální varianty v českém jazyce2022 | Matematicko-fyzikální fakulta
- Distributed Asynchronous Regular Path Queries (RPQs) on Graphs2023 | Matematicko-fyzikální fakulta
- PyVallex: Nástroj pro zpracování dat valenčních slovníků2020 | Matematicko-fyzikální fakulta
- Pattern-Based Verification for Multithreaded Programs2014 | Matematicko-fyzikální fakulta
- UNLT: Urdu Natural Language ToolkitPublikace bez příslušnosti k fakultě
