Theses on the Same Topic

Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic

Dovrtělová, Markéta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / German Language and Literature
Master's thesis defence: Problematik der Übersetzung von nominalen Komposita in Texten aus dem Bereich der deutschen Rechtssprache | Theses on a related topic

Dovrtělová, Markéta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Problematik der Übersetzung von nominalen Komposita in Texten aus dem Bereich der deutschen Rechtssprache | Theses on a related topic

Dupal, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic

Jakovcová, Julie
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / English Language for Education, Russian Language for Education
Bachelor's thesis defence: Slovotvorný potenciál ruských sloves pisať, čitať, govoriť a jejich českých ekvivalentů psát, číst, mluvit | Theses on a related topic

Kuňáková, Tereza
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Russian Language for Education / Mathematics for Education, Russian Language for Education
Bachelor's thesis defence: Tvorba substantiv v učebnici ruštiny pro Čechy Tvoj šans (úroveň A2) | Theses on a related topic

Olliaro, Martina
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: String Analysis for Software Verification | Theses on a related topic

Slabý, Jiří
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Bug-finding Techniques for Large Software Projects | Theses on a related topic

Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic

Beranová, Alexandra
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature
Master's thesis defence: Palatalizující sufixy v současné češtině: palatalizace v kontextu nepředních vokálů | Theses on a related topic

Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic

Brummerová, Nikola
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / Russian Language and Literature
Master's thesis defence: Valenční vlastnosti sloves pohybu v ruštině (v porovnání s češtinou) | Theses on a related topic

Brychová, Michaela
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Konkurrenz der Diminutive mit -chen und -lein | Theses on a related topic

Bursáková, Lucie
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Deutsche Diminutive auf -chen und -lein und ihre Äquivalente im Tschechischen und Spanischen | Theses on a related topic

Čadek, Pavel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Symbolic Loop Bound Analysis | Theses on a related topic

Čadová, Zuzana
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Formación de sustantivos de cualidad en el espańol actual. Norma y uso de sufijos deadjetivales | Theses on a related topic
Bachelor's thesis defence: Sufijos de la nominalización deadjetival en el español actual | Theses on a related topic

Čupr, Kamil
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky | Theses on a related topic

Dufková, Dagmar
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Slovesné předpony v litevštině | Theses on a related topic

Dufková, Dagmar
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Philology / Baltic Languages and Literatures
Master's thesis defence: Slovesné předpony a slovesný vid v litevštině | Theses on a related topic

Fekiačová, Jarmila
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Flexion und Wortbildung von Fremdwörtern im Deutschen | Theses on a related topic

Formánek, David
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Detekce bezpečnostních chyb pomocí statické analýzy kódu | Theses on a related topic

Friedrich, Matouš
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Namen der Ortschaften in der Umgebung der Stadt Neuhaus | Theses on a related topic

Fujtík, Ondřej
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zjišťování podobnosti malware | Theses on a related topic

Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic

Hájková, Kristýna
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Tvoření hypokoristik | Theses on a related topic

Halas, Filip
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Efektivní vyhledávání více vzorů v logovacích záznamech v jazyce Go | Theses on a related topic

Hančuľák, Radovan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Security Analysis of an Existing Web Application | Theses on a related topic

Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Slicing of LLVM Bitcode | Theses on a related topic

Janků, Lucie
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Czech Language / Czech language
Doctoral thesis defence: The Nanosyntax of Czech Nominal Declension | Theses on a related topic

Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic

Kabeláčová, Tereza
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philology / Baltic Languages and Literatures
Master's thesis defence: Deminutiva v litevštině | Theses on a related topic

Kaplanová, Veronika
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / Spanish Language and Literature
Bachelor's thesis defence: Clasificación de los sufijos apreciativos españoles y su uso en el cuento de hadas Blancanieves y los siete enanitos gigantes | Theses on a related topic

Kaválková, Renata
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Dutch Language and Literature, German Language and Literature
Bachelor's thesis defence: Semantische Leistung der Präfixe bei deutschen Verben | Theses on a related topic

Kiska, Jakub
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static analysis of Python code | Theses on a related topic

Klein, Michal
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Finding SQL Injection Vulnerabilities in a C# Source Code | Theses on a related topic

Klepárníková, Eva
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - German Language
Bachelor's thesis defence: Konkurrenz homonymer Verben mit Präfix und Zusatz um und über | Theses on a related topic

Klunko, Mykhailo
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Detecting cryptographic primitives in malicious Windows binaries | Theses on a related topic

Konečná, Hana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature
Bachelor's thesis defence: Tvoření přezdívek a hypokoristik ve Woodcraftu | Theses on a related topic

Konečná, Helena
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Bulgarian Language and Literature
Bachelor's thesis defence: Sufixační modely odvozování bulharských podstatných jmen v porovnání s češtinou | Theses on a related topic

Krohová, Jana
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Croatian Language and Literature, Spanish Language and Literature
Bachelor's thesis defence: Tvorba deminutiv a augmentativ v češtině a chorvatštině | Theses on a related topic

Kubištel, Mojmír
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: API pro generování náhodného slova | Theses on a related topic

Kuřilová, Kateřina
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary and Language School Teacher Training in Russian Language
Master's thesis defence: Russkije glagoly biť i byť s pristavkami v sopostavleniji s češskim jazykom | Theses on a related topic

Levínská, Kateřina
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Humanities / Czech Language and Literature, Media Studies and Journalism (combination/specialization: Journalism)
Bachelor's thesis defence: Fonologické vlastnosti prefixů s vysokým vokálem | Theses on a related topic

Lužová, Veronika
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Philology / Croatian Language and Literature, German Language and Literature
Bachelor's thesis defence: Tvorba podstatných jmen odvozováním v chorvatšině ve srovnání s češtinou | Theses on a related topic

Machová, Jindřiška
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature, Spanish Language and Literature
Master's thesis defence: Análisis geográfico y formal de los gentilicios en español | Theses on a related topic

Marková, Karolína maiden name: Zoufalová
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Analytical Biochemistry
Master's thesis defence: Analýza prometastatických signálních drah u nádorů prsu | Theses on a related topic

Medla, Dušan
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Integrování diferenciálních forem | Theses on a related topic

Mészaroš, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Extracting Parts of Programs into Separate Binaries | Theses on a related topic

Mikulíková, Renata
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Russian Language and Literature
Master's thesis defence: Russkij glagol idti s pristavkami v sopostavleniji s češskim jazykom | Theses on a related topic

Motyková, Jana
Faculty: Faculty of Arts
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Czech Language and Literature
Master's thesis defence: Domácké podoby rodných jmen u současné středoškolské mládeže | Theses on a related topic