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

software reliability, synthesis, c++, klee, algorithms, static code analysis, verification, symbiotic

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

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

153.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic

154.
Mička, Petr
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Anti-patterns Detection in Java Software Enterprise Development | Theses on a related topic

155.
Mičko, Radoslav
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Software Reliability Growth Models for Open Source Software | Theses on a related topic

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

157.
Michálková, Júlia
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Algoritmy pre prácu s usporiadaným zoznamom | Theses on a related topic

158.
Miléřová, Drahoslava
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Postavení státního zástupce v trestním řízení | Theses on a related topic

159.
Mišenko, Pavol
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Program analysis using interval abstraction and backward refinement | Theses on a related topic

160.
Moriš, Ondrej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Practical Route Planning Algorithms | Theses on a related topic

161.
Mráz, Marcel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Analysis of Decision Model and Notation tooling in the Visual Studio Code ecosystem | Theses on a related topic

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

163.
Muras, Lukáš
Faculty: Faculty of Pharmacy
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXIII. | Theses on a related topic

164.
Murasová, Markéta
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Zavedení nové metody pro stanovení glukózy | Theses on a related topic

165.
Mužátková, Kateřina
Faculty: Faculty of Pharmacy
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza benzofuranových derivátů 2-(piperazin-1-yl)acetanilidů s potenciální kardiovaskulární aktivitou | Theses on a related topic

166.
Nagy, Imrich
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Building open profiles of certified cryptographic devices | Theses on a related topic

167.
Navrátil, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Parser pro převod scén z POV-Ray do ESG | Theses on a related topic

168.
Němcová, Vendula
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer Games Development
Master's thesis defence: Procedural generation of flower pigmentation patterns | Theses on a related topic

169.
Němec, Richard
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Theses on a related topic

170.
Němec, Václav
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových potenciálních inhibitorů proteinových kináz | Theses on a related topic

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

172.
Otipková, Radana
Faculty: Faculty of Pharmacy
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a strukturní analýza derivátů 2-(piperazin-1-yl)acetanilidů s potenciální antianginózní a antiischemickou aktivitou | Theses on a related topic

173.
Paciorek, Jan
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: (Z)-2-(2-Bromvinyl)-4,4,5,5-tetramethyl-1,3,2-dioxaborolan a jeho cross-coupling reakce | Theses on a related topic

174.
Pál, Karol
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sdílená pracovní plocha | Theses on a related topic

175.
Pálenik, Jakub Jozef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Image Processing
Master's thesis defence: Hierarchická segmentace biomedicínských obrazů s využitím matematické morfologie | Theses on a related topic

176.
Panek, Inna
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / Russian Literature
Doctoral thesis defence: Poezie slov a barev v éře modernismu | Theses on a related topic

177.
Papcun, Jakub
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Integrating Static Code Analysis and Defect Tracking | Theses on a related topic

178.
Peterka, Ivo
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: 3D vizualizace meteorologických dat | Theses on a related topic

179.
Peťovský, Samuel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Continuous Integration and Code Quality Enhancements | Theses on a related topic

180.
Petruchová, Zuzana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic

181.
Pillmayerová, Anna
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXVI. | Theses on a related topic

182.
Podhora, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Forensic profiles of certified cryptographic smartcards | Theses on a related topic

183.
Pokorný, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy pro výpočet jemných stínů | Theses on a related topic

184.
Polášek, Jan
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Využití alkynů v organické syntéze | Theses on a related topic

185.
Polián, Tomáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic

186.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Software k AD převodníku firmy National instruments | Theses on a related topic

187.
Polišenský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Hra se světlem v enginu OptiX | Theses on a related topic

188.
Poljak, Michal
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Nové karbocyklické C-nukleosidové analogy | Theses on a related topic

189.
Pospíšil, Patrik
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Syntéza a použití nových substituovaných benzochinonů | Theses on a related topic

190.
Procházka, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Síťová implementace hry Tunneler | Theses on a related topic

191.
Procházka, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kolaborativní editor 3D scény | Theses on a related topic

192.
Provazníková, Monika
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Civics and Basics of Social Studies for Education, Mathematics for Education
Bachelor's thesis defence: Vývoj početních metod v době středověku a jejich aplikace v životě kupce | Theses on a related topic

193.
Režný, Pavel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic
Bachelor's thesis defence: Memory managemet in C++ | Theses on a related topic

194.
Rozum, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Vizuální reprezentace databázového schématu relační databáze | Theses on a related topic

195.
Rybářová, Johana
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Generativní umění: Metoda, praxe či analogie pro paradigma teorie komplexity v umění? | Theses on a related topic

196.
Sedláčková, Simona maiden name: Kubová
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Manipulace uživatelů za pomoci algoritmů online sociální sítě Facebook | Theses on a related topic

197.
Sedlák, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic

198.
Sedlář, Lubomír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Detekce programovacích chyb v C/C++ programech pod OS GNU/Linux | Theses on a related topic

199.
Sevelda, Petr
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza vybraných oxidačních produktů bilirubinu | Theses on a related topic

200.
Shyshkina, Hanna
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulace chování NMR v cloudu | Theses on a related topic