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

lart, implementation, divine, abstraction, symbolic model checking, program transformation, c, llvm, c++, formal verification, model checking

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Kubek, Martin
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Bipolarita díla Davida Lynche | Theses on a related topic Display description

252.
Kubíčková, Ludmila
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Zrození abstrakce, V. Kandinskij - F. Kupka | Theses on a related topic

253.
Kubík, Marcel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro detekci formátu souborů | Theses on a related topic

254.
Kubínová, Hana
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Natural | Theses on a related topic

255.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní verifikace LTL(F,G) vlastností | Theses on a related topic

256.
Kuchyňová, Vendula
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualisation
Master's thesis defence: Detection of Isosurfaces in Volumetric Data | Theses on a related topic

257.
Kumor, Kristián
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Compact Symbolic Execution in Slowbeast | Theses on a related topic

258.
Kuric, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zapojení 3D prohlížeče obrazů do Matlabu | Theses on a related topic

259.
Kurková, Michaela
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evidence skutečných majitelů právnických osob | Theses on a related topic

260.
Kuzmin, Dmytro
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: IS pro servisní centrum fotografické techniky | Theses on a related topic

261.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic

262.
Kyselica, Filip
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Nasazení ERP systému | Theses on a related topic

263.
Lacinová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Společenská odpovědnost firem v Moravskoslezském kraji | Theses on a related topic

264.
Lakomý, Bedřich
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafický konfigurátor monitorů pro Linux | Theses on a related topic

265.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic

266.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě

267.
Lesičko, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: C++14 - mapping between the standard and a formal semantics | Theses on a related topic

268.
Leskovská, Andrea
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: eGovernment a implementace inovace - vybraný subjekt veřejné správy | Theses on a related topic

269.
Lesňáková, Petra
Faculty: Faculty of Arts
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Teorie vcítění v českém uměleckém prostředí 20. století | Theses on a related topic

270.
Liberová, Iva
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro migraci programů v Delphi do jazyka C++ | Theses on a related topic

271.
Linhart, Lukáš
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Automatické hledání chyb ve zdrojových kódech pomocí symbolické exekuce | Theses on a related topic

272.
Lipplová, Anna
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Implementace fondů EU v Jihočeském kraji

273.
Lipták, Dušan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Vykreslování molekulárních dat ve vysoké kvalitě | Theses on a related topic

274.
Lomič, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Replacing Logstash | Theses on a related topic

275.
Loskot, Jaroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Počítačová analýza a simulace hry poker | Theses on a related topic

276.
Ľupták, Martin
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Algoritmy pro rozpoznávání dotykových gest | Theses on a related topic

277.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic

278.
Maděryčová, Dita
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Analýza trhu informačních systémů | Theses on a related topic

279.
Macháček, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mapping the Omega-Automata Jungle | Theses on a related topic

280.
Maliha, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Dopad zavedení GDPR na procesy v podniku | Theses on a related topic

281.
Marek, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Euclid's algorithm for large integers | Theses on a related topic

282.
Martoš, Lukáš
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Analýza podpory vedy a výskumu na európskej úrovni v dobe vytvárania Európskej výskumnej oblasti | Theses on a related topic

283.
Matouš, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic
Master's thesis defence: Metody fyzikálně založeného vykreslování pracující v reálném čase | Theses on a related topic

284.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic

285.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Hledání podobností v domácích úlohách | Theses on a related topic

286.
Matúška, Peter
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro komprimované ukládání stavových prostorů na disk | Theses on a related topic

287.
Mazáková, Kristína
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations, Russian Studies
Bachelor's thesis defence: Environmentálne problémy v Ruskej federácii a uplatňovanie medzinárodných dohôd v praxi | Theses on a related topic

288.
Maze, Dea
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Applying LEAN methodology in large IT company | Theses on a related topic
Master's thesis defence: Applying LEAN methodology in an IT company | Theses on a related topic

289.
Menšík, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování pravděpodobnostních systémů v jazyce DiVinE | Theses on a related topic

290.
Meravý, Ján
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Letecká simulace v prostředí virtuální reality | Theses on a related topic

291.
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

292.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Serializace a C++ | Theses on a related topic

293.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic

294.
Michlová Štěrbová, Veronika
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: International Territorial Studies / European Studies, International Relations
Bachelor's thesis defence: Vliv Regionální rozvojové agentury jižní Moravy na implementaci Phare CBC | Theses on a related topic

295.
Miklíčková, Olga
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Cesta | Theses on a related topic

296.
Minaříková, Martina
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Realizace daltonské výuky na prvním stupni českých základních škol | Theses on a related topic

297.
Mišík, Marek
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: GPS tracking system using the Sigfox IoT network | Theses on a related topic

298.
Mokrá, Kateřina
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Změna cílů standardů kvality sociálních služeb v průběhu jejich implementace v pečovatelské službě | Theses on a related topic

299.
Mokráček, David
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza trhu účetního (ekonomického) softwaru pro malé a střední podniky | Theses on a related topic

300.
Moravcová Vařeková, Pavlína
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Model Checking of Control-User Systems | Theses on a related topic