• Martin Švec: Grammars with Context Conditions and Their Applications, 2005 (PDF, 1.2 MB, in English)
• Roman Lukáš: Multigenerative Grammar Systems, 2006 (PDF, 1.7 MB, in Czech)
• Luboš Lorenc: Alternative Approach to Translation: Formal Models and Optimalization Techniques, 2006 (PDF, 400 KB, in Czech)
• Zbyněk Křivka: Přepisující systémy s omezenými konfiguracemi, 2007 (PDF, 1 MB, in Czech, more...)
• Tomáš Masopust: Regulated Formal Models and Their Reduction, 2007 (PDF, 483 KB, in English, more...)
• Radek Bidlo: On the Power of Some Modified Formal Models, 2007 (in English)
• Petr Blatný: Formal Models Over Free Groups, 2007 (in Czech)
• Jiří Techet: Scattered Context in Formal Languages, 2008 (in English)
• Lukáš Rychnovský: Grammatical Models of Computational Distribution and Concurrency, 2010 (in English)
• Martin Čermák: Formal Systems Based on Automata and Grammars, 2012 (in English)
• Jiří Koutný: Grammars with Restricted Derivation Trees, 2012 (in English)
• Petr Horáček: Synchronous Formal Systems Based on Grammars and Transducers, 2014 (in English)
• Petr Zemek: One-Sided Random Context Grammars, 2014 (in English)
• Ondřej Soukup: Context-Freeness Resulting from Tree-Restricted Grammars, 2017 (in English)

The list of Phd thesis supervised by prof. Meduna. (Not available: The list of my current PhD students.)

• Radek Bidlo: O síle některých modifikovaných formálních modelů, 2007 (PDF, 229 KB, in czech)
• Petr Blatný: Formální modely nad volnými grupami, 2007 (PDF, 281 KB, in czech)

• Jiří Krajíček: Multigrammars and Parsing Based on Them, 2007 (PDF, 2.3 MB, in czech)

The list of Master theses supervised by prof. Meduna.