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

set, integer abstract domains, bitfield, llvm, abstract interpretation, abstract domains, interval, canal

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
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 Display description

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

3.
Audy Masopustová, Markéta
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Extrakce informací z popisků produktů | Theses on a related topic

4.
Audy Masopustová, Markéta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Automatická analýza srozumitelnosti textu | Theses on a related topic

5.
Baisa, Vít
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Zpracování dat z MID souboru pro potřeby hudební komparatistiky | Theses on a related topic

6.
Baisa, Vít
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Musicology
Bachelor's thesis defence: Intervalový zápis hudby | Theses on a related topic

7.
Bednár, Tomáš
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Model rozložení intervalů spojitosti kursů finančních aktiv | Theses on a related topic

8.
Bednář, Josef
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití slovníku slovesných valencí pro syntaktickou analýzu češtiny | Theses on a related topic
Bachelor's thesis defence: Využití slovníku slovesných valencí pro syntaktickou analýzu češtiny | Theses on a related topic
Bachelor's thesis defence: Využití slovníku slovesných valencí pro syntaktickou analýzu češtiny | Theses on a related topic

9.
Beranová, Iveta
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Tvorba syntaktických pravidel pro detekci frází v rámci analyzátoru SET | Theses on a related topic

10.
Borovička, Miloslav
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Specializovaná kondiční příprava ve sportovní gymnastice | Theses on a related topic

11.
Bucková, Terézia maiden name: Šulganová
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Logická analýza angličtiny pomocí TIL | Theses on a related topic

12.
Červenková, Alžběta maiden name: Ondrašíková
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Komunikační matice | Theses on a related topic

13.
Čížek, Adam
Faculty: Faculty of Sports Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Secondary School Teacher Training in Physical Education / Secondary School Teacher Training in Physical Education
Master's thesis defence: Problematika distribuce nahrávek v mužském volejbale | Theses on a related topic

14.
Č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

15.
Divácká, Šárka
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Physics with a view to Education / Mathematics focused on teaching, Physics with a view to Education
Bachelor's thesis defence: Zobrazení pro začátečníky | Theses on a related topic

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

17.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic

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

19.
Jakubec, Vít
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Strength and Conditioning Training and Applied Kinesiology / Strength and Conditioning Training
Master's thesis defence: Specifika hry smečařů ve vrcholovém volejbale | Theses on a related topic

20.
Kachmanová, Stanislava
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Nadreálná čísla | Theses on a related topic

21.
Klejch, Jakub
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Informatics with another discipline, Mathematics with a view to Education
Bachelor's thesis defence: Algoritmus pro počítání vzdáleností konvexních množin | Theses on a related topic

22.
Kohout, Lukáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Odpovídání na otázky ve volném textu | Theses on a related topic

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

24.
Kovář, Vojtěch
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Syntaktická analýza s využitím postupné segmentace věty | Theses on a related topic

25.
Kovář, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automatic Syntactic Analysis for Real-World Applications | Theses on a related topic

26.
Kruppa, Dominik
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Program na výuku hudobnej harmónie | Theses on a related topic

27.
Kuníková, Klára
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Libero ve vrcholovém volejbale mužů | Theses on a related topic

28.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic

29.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic

30.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

31.
Lenčo, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic

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

33.
Lipták, Dušan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Aplikace pro výuku hudební nauky | Theses on a related topic

34.
Mach, Štěpán
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Bachelor's thesis defence: Identifikace syntakticky nejednoznačných vět | Theses on a related topic

35.
Mach, Štěpán
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computational Linguistics / Computational Linguistics
Master's thesis defence: Automatická oprava chybného uvození vedlejších vět | Theses on a related topic

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

37.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic

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

39.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

40.
Nešutová, Eva
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Study of Religions
Bachelor's thesis defence: Proměny ortodoxního pojetí židovského pohřbu pod vlivem holokaustu | Theses on a related topic
Bachelor's thesis defence: Psychoaktivní látky a eleusínská mystéria: kritika etnomykologického přístupu | Theses on a related topic

41.
Obluková, Barbora
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language with Orientation on Computational Linguistics
Master's thesis defence: Využití počítačových nástrojů pro analýzu textů z hlediska forenzní lingvistiky | Theses on a related topic

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

43.
Oravec, Roman
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Cybersecurity management
Master's thesis defence: Modern obfuscation techniques | Theses on a related topic

44.
Ostrý, Josef
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Music
Bachelor's thesis defence: Výuka hry na baskytaru v ČR | Theses on a related topic

45.
Ostřanský, Jakub
Faculty: Faculty of Sports Studies
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Porovnání vlivu různých délek intervalu zotavení v silovém tréninku | Theses on a related topic

46.
Patrík, Vratislav
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Uspořádané množiny | Theses on a related topic
Bachelor's thesis defence: Uspořádané množiny | Theses on a related topic

47.
Pecháčková, Julie
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Alternativní teorie množin | Theses on a related topic

48.
Pelant, Lukáš
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Psychedelické substance: psychosociální koreláty mezi projevy užívání běžných psychedelik, podmínkami užití, spiritualitou a osobnostními rysy uživatelů | Theses on a related topic

49.
Píchal, Petr
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Stavba akordů na kytaře | Theses on a related topic

50.
Plesníková, Patricie
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Booleova algebra a její modely | Theses on a related topic