Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
List of theses
   Login via CAS
--:--
 
 List of theses
 
 
 
 
Change order to code - title
 
               
results per page
sort in descending ordersort in ascending orderThesis title sort in descending ordersort in ascending orderYear of announcement sort in descending ordersort in ascending orderYear of defence Thesis type Thesis discipline sort in descending ordersort in ascending orderSupervisor sort in descending ordersort in ascending orderAuthor sort in descending ordersort in ascending orderAnnounced Assigned Department Faculty
detail Information system for a company making parts of transportation devices 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Flight data analysis 2017/2018 2017/2018 Bachelor's thesis IPSS doc. RNDr. Jan Kofroň, Ph.D. hidden 11.12.2017 11.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Shopping Map 2020/2021 2022/2023 Bachelor's thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 19.10.2020 19.10.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail DiaSynth - Diagram Audio Synthesizer and Analyser 2019/2020 2020/2021 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 05.02.2020 06.02.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Prediction of results of tenis match in progress using machine learning 2019/2020 2019/2020 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 09.04.2020 10.04.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Effective Automated Software Verification: A Multilayered Approach 2016/2017 2022/2023 dissertation P4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 14.04.2016 03.10.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail The PD-KIND algorithm in the Golem SMT solver 2023/2024 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 06.02.2024 11.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Information system for restaurants 2012/2013 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 08.11.2012 14.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Information system for a company making parts of transportation devices 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 16.11.2007 16.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Output breakpoints for Java 2011/2012 2011/2012 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 05.09.2011 07.10.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Distributed Behavior Protocol Checker 2005/2006 2005/2006 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 10.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Analysis of a File System Using the Verifying C Compiler 2012/2013 2014/2015 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 08.11.2012 08.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Methods for reduction of Craig's interpolant size using partial variable assignment 2015/2016 2015/2016 diploma thesis ITI doc. RNDr. Jan Kofroň, Ph.D. hidden 17.03.2016 24.03.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Application for Educational Courses Management 2020/2021 2020/2021 Bachelor's thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 02.10.2020 07.10.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cottage reservation system 2021/2022 2021/2022 diploma thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 29.10.2021 02.11.2021 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Verification of LLVM bit-code via a system of Constrained Horn Clauses 2023/2024 diploma thesis ISWSP doc. RNDr. Jan Kofroň, Ph.D. hidden 02.04.2024 15.04.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail BashCommander 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 10.10.2006 17.01.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Online class 2007/2008 2009/2010 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Simulation of traffic infrastructure 2007/2008 2009/2010 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail M-lizer 2010/2011 2011/2012 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 09.12.2010 15.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail KarlFTP: FTP client for Android devices 2013/2014 2013/2014 Bachelor's thesis ISPS doc. RNDr. Jan Kofroň, Ph.D. hidden 17.04.2014 17.04.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Programming lessons 2018/2019 2018/2019 Bachelor's thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 31.10.2018 31.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Farm data management 2018/2019 2018/2019 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 24.04.2019 24.04.2019 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Code Assertions Verification Using Backward Symbolic Execution 2015/2016 2016/2017 diploma thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 09.06.2016 09.06.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail STP solver for OpenSMT 2019/2020 2019/2020 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 14.04.2020 23.04.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Instant Messenger with encryption support 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 13.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Support for Uninterpreted Functions in Yaga SMT Solver 2023/2024 Bachelor's thesis IPP3 doc. RNDr. Jan Kofroň, Ph.D. Milan Malačka 02.04.2024 09.04.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Employing runtime data in static analysis 2014/2015 Bachelor's thesis I doc. RNDr. Jan Kofroň, Ph.D. hidden 20.11.2014 21.11.2014 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Application for Real Estate Management 2008/2009 2008/2009 Bachelor's thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 30.09.2008 30.09.2008 Katedra softwarového inženýrství (32-KSI) MFF
detail Electrical circuit editor 2007/2008 2007/2008 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 05.11.2007 20.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail 4-channel mixer with real-time effects 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 01.11.2006 01.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Survey of Code Review Tools 2010/2011 2010/2011 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 14.10.2010 21.10.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Support for C++ in GMC 2011/2012 2012/2013 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2011 07.11.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Card games generator 2013/2014 2013/2014 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 18.11.2013 18.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Distributed order management for restaurants 2013/2014 2013/2014 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 12.11.2013 12.11.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Multi-platform mobile application of database system Matylda 2014/2015 2015/2016 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 20.02.2015 20.02.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Interactive Game for Android 2017/2018 2018/2019 Bachelor's thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 18.12.2017 20.12.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail REST API for SAP Business One in practice 2020/2021 2020/2021 Bachelor's thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 29.10.2020 29.10.2020 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Sports Manager 2021/2022 2021/2022 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. Bc. Ricardo Bolemant 21.02.2022 22.02.2022 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Decision procedure for Linear Integer Arithmetic for modern SMT solver 2023/2024 diploma thesis I doc. RNDr. Jan Kofroň, Ph.D.   07.11.2019 Ne Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Applying Multilayer Modeling and Verification to All-Optical Computer Networks 2013/2014 dissertation 4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 30.04.2013 27.09.2013 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Loop Analysis for LLVM IR Translation Validation Framework 2022/2023 Bachelor's thesis IPP1 doc. RNDr. Jan Kofroň, Ph.D. hidden 17.03.2023 24.03.2023 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Sobo Marias 2007/2008 2008/2009 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 05.11.2007 09.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Checking Primitive Component Behavior 2005/2006 2006/2007 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Education app for kids 2014/2015 2014/2015 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. Mgr. Anikó Kuklisová 20.04.2015 20.04.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Human Resource Management System 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 14.11.2006 14.11.2006 Katedra softwarového inženýrství (32-KSI) MFF
detail Survey of state-of-the-art static analysis technologies 2010/2011 diploma thesis doc. RNDr. Jan Kofroň, Ph.D. hidden 24.05.2010 06.08.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Web system for sale of prepaid services 2007/2008 2007/2008 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 15.11.2007 15.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Automatized Data Abstraction 2005/2006 2006/2007 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2005 11.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Automobile Mirror Testing 2011/2012 2011/2012 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2011 07.11.2011 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
Results 1-50 of 77 1 2 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html