|
  Thesis title |
Year of announcement |
Year of defence |
Thesis type |
Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department |
Faculty |
 |
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 |
|
Anomaly detection for stock market trading data |
2019/2020 |
2019/2020 |
Bachelor's thesis |
IOI | doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
21.10.2019 |
22.10.2019 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
COSIM - Coating Simulation |
2009/2010 |
2011/2012 |
diploma thesis |
ISS | doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
15.02.2010 |
02.03.2010 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
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 |
|
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 |
|
Techniques for equivalence checking in the context of compiler optimizations |
2024/2025 |
|
diploma thesis |
| doc. RNDr. Jan Kofroň, Ph.D. |
|
08.10.2020 |
Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
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 |
|
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 |
|
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 |
|
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 |
|
Mobile application for monitoring bird movements |
2017/2018 |
|
diploma thesis |
ISDI | doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
05.01.2018 |
08.01.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
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 |
|
Static Analysis of NumPy Programs |
2022/2023 |
2022/2023 |
Bachelor's thesis |
IPP3 | doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
16.03.2023 |
24.03.2023 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Prediction of data-profiling duration |
2022/2023 |
|
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 |
|
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 |
|
Solving the missing environment problem in Bandera |
2004/2005 |
2004/2005 |
diploma thesis |
I | doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
06.10.2004 |
15.11.2004 | Katedra softwarového inženýrství (32-KSI) |
MFF |
|
IncomeMate |
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 |
|
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 |
|
Wave editor |
2010/2011 |
2010/2011 |
Bachelor's thesis |
| doc. RNDr. Jan Kofroň, Ph.D. |
hidden |
05.11.2010 |
07.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
MFF |
|
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 |
|
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 |
Results 51-77 of 77 previous 1 2
|
