Thesis (Selection of subject)Thesis (Selection of subject)(version: 385)
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 Analysis of Interface Automata with On-Demand Replication 2012/2013 2012/2013 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 30.09.2011 14.11.2012 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Cube Fighter 2018/2019 2018/2019 Bachelor's thesis IPSS doc. RNDr. Jan Kofroň, Ph.D. hidden 09.05.2019 13.05.2019 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 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 Prediction of data-profiling duration 2022/2023 2023/2024 Bachelor's thesis IPP2 doc. RNDr. Jan Kofroň, Ph.D. hidden 05.01.2023 05.01.2023 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 Algorithms' visualization 2007/2008 2008/2009 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 18.10.2007 05.11.2007 Katedra softwarového inženýrství (32-KSI) 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 Collaborative vector editor 2006/2007 2006/2007 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 06.10.2006 23.10.2006 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 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 Efficient Representation of Program States 2010/2011 2016/2017 dissertation 4I2 doc. RNDr. Jan Kofroň, Ph.D. hidden 22.04.2010 10.11.2010 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 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 StreetConquer – Visited Streets Visualization 2024/2025 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. Adela Glavová 15.04.2025 17.04.2025 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 M-lizer 2010/2011 2010/2011 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 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 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 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 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 Forced Alignment via Neural Networks 2017/2018 2019/2020 diploma thesis IPGVPH doc. RNDr. Jan Kofroň, Ph.D. hidden 12.04.2018 23.04.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Integrated trip planner for regional public transport 2024/2025 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. hidden 27.09.2024 10.10.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) 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 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 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 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 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 Analysis of Interface Automata with On-Demand Replication 2015/2016 2015/2016 rigorosum thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 11.04.2016 11.04.2016 Katedra softwarového inženýrství (32-KSI) 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 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 IncomeMate 2023/2024 2023/2024 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. hidden 04.03.2024 05.03.2024 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Loop Analysis for LLVM IR Translation Validation Framework 2022/2023 2023/2024 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 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 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 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 Support for fractures in jbox2d engine 2014/2015 2014/2015 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 22.05.2015 22.05.2015 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Teaching schedule for Android 2015/2016 2015/2016 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 29.01.2016 01.02.2016 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Face detection and recognition 2018/2019 2018/2019 Bachelor's thesis ISDI doc. RNDr. Jan Kofroň, Ph.D. hidden 25.10.2018 25.10.2018 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Mobile application for canteens 2016/2017 2017/2018 Bachelor's thesis IOI doc. RNDr. Jan Kofroň, Ph.D. hidden 20.04.2017 20.04.2017 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Anzora: Zotero client for Android devices 2016/2017 2016/2017 diploma thesis ISS doc. RNDr. Jan Kofroň, Ph.D. hidden 03.11.2016 03.11.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 Visualization of SMT solvers results 2022/2023 2022/2023 Bachelor's thesis IPP doc. RNDr. Jan Kofroň, Ph.D. hidden 07.02.2023 09.02.2023 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 Graph editor in .NET 2012/2013 Bachelor's thesis IP doc. RNDr. Jan Kofroň, Ph.D. hidden 07.11.2012 07.11.2012 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 research groups 2006/2007 2007/2008 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 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
Results 1-50 of 81 1 2 next
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html