Theses on a related topic (having the same keywords):

software verification, divine, abstraction, string analysis, abstract execution, lart, implementation, llvm, program transformation, c++, program analysis, symbolic model checking, c, model checking, compilation, heap analysis, refinement

Keywords ordered alphabetically | Keywords ordered by occurrence rate

201.
Jakobová, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training (combination/specialization: Anglický jazyk a literatura)
Master's thesis defence: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Theses on a related topic Display description

202.
Janča, Radim
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Efektivní implementace algoritmů pro Bűchiho automaty | Theses on a related topic

203.
Jankeová, Ivana
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Výběr účetního softwaru a postup jeho implementace ve vybrané firmě | Theses on a related topic

204.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic

205.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic

206.
Jankovič, Michal
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic
Bachelor's thesis defence: Augmented Reality Deformable Tracking | Theses on a related topic

207.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic

208.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Low-level Game Networking in C++ | Theses on a related topic

209.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

210.
Jedlička, Roman
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Theses on a related topic

211.
Jelínková, Anna
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Arts and Visual Arts for Education / Arts and Visual Arts for Education
Bachelor's thesis defence: Zachycení | Theses on a related topic

212.
Jenčková, Martina maiden name: Jetmarová
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Social Policy)
Master's thesis defence: The Welfare State and Services for Elderly Immigrants | Theses on a related topic

213.
Juhásová, Eva
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Education and Training of Employees in a Multinational Corporation as an Integral Part of the Human Resources Management | Theses on a related topic

214.
Kabláš, Kristián
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic

215.
Kadlic, Pavel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém vedení agendy cestovní kanceláře | Theses on a related topic

216.
Kafka, Petr
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Liberalizace a regulace železničního trhu v ČR | Theses on a related topic

217.
Kakaš, Richard
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic

218.
Kamenický, Tobiáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nedefinované chování v jazyku C | Theses on a related topic

219.
Karas, Ondrej
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Analýza využití účetních informačních systémů | Theses on a related topic

220.
Karásek, Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Authorship Identification | Theses on a related topic

221.
Kárná, Aneta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Social Education and Counselling
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic

222.
Kaya, Dávid
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Linux client for YSoft SafeQ | Theses on a related topic

223.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic

224.
Klíč, Karel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Ukázkové příklady grafických aplikací | Theses on a related topic

225.
Klimeš, Jiří
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Výpočet obsahu a objemu molekulárního povrchu | Theses on a related topic

226.
Klimeš, Zdeněk
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Analýza využití cloud computingu | Theses on a related topic

227.
Koblihová, Tereza
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Arts and Visual Arts for Education / Arts and Visual Arts for Education
Bachelor's thesis defence: Stopy času | Theses on a related topic

228.
Kohút, Ľuboš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pre opravovanie úloh z Javy | Theses on a related topic

229.
Kokinda, Patrik
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics for Education / Mathematics for Education, Physics for Education
Bachelor's thesis defence: Sekundové kyvadlo | Theses on a related topic

230.
Koller, Alexandr
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace historických kryptosystémů | Theses on a related topic

231.
Konček, Marián
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: In-memory compilation of freshly decompiled classes back into a running VM | Theses on a related topic

232.
Konečný, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Analýza a implementace procesů na úrovni krizového štábu | Theses on a related topic

233.
Konvalinka, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Má člověče nezlob se výherní strategii? | Theses on a related topic

234.
Kopecký, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Open source ERP pro malé a střední firmy | Theses on a related topic

235.
Korenčik, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Theses on a related topic

236.
Kormaňák, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Analýza projektu inovace informačního systému a jeho vyhodnocení | Theses on a related topic

237.
Kořének, Jan
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in German Language
Master's thesis defence: Realizace mezipředmětové výuky na ZŠ | Theses on a related topic

238.
Koščák, Branislav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Undefined behaviour in language C | Theses on a related topic

239.
Koukolová, Pavlína
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Výběr účetního software pro firmu | Theses on a related topic

240.
Kováčová, Linda
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Vplyv umelej inteligencie na filmové festivaly | Theses on a related topic

241.
Kovaříková, Radmila
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Theses on a related topic

242.
Kovářová, Pavla
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Podnikové vzdělávání a role personalisty | Theses on a related topic

243.
Kovářová, Petra
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Theses on a related topic

244.
Kracíková, Adéla
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Special Arts for Education
Bachelor's thesis defence: Hravost v obraze | Theses on a related topic

245.
Krajinová, Jana
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Ze dna povrch | Theses on a related topic

246.
Krajňanský, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic

247.
Kramec, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Java API pro dotazovací rozhraní služby EGEE LB | Theses on a related topic

248.
Kratina, Jaroslav
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Potenciál trhu so športovou výživou v Českej republike a na Slovensku pre vstup novéj firmy | Theses on a related topic

249.
Kratochvíla, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic

250.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++