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

modelovanie, overenie modelu, enkrypcia, kryptografia, formalna verifikacia, message sequence chart, pi-calculus, proverif

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Babica, Jindřich
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Message Sequence Chart Properties and Checking Algorithms | Theses on a related topic Display description

2.
Bebják, Michal
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Metody/techniky asymetrické kryptografie založené na heslech

3.
Bennárová, Simona
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defense: Zabezpečená komunikace mezi senzory a řídící jednotkou | Theses on a related topic

4.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defense: Modelování pro verifikační nástroj DiVinE

5.
Borza, Viktor
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Tvorba MSC diagramů ze síťového provozu | Theses on a related topic

6.
Bouda, Ondřej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Refactoring of Sequence Chart Studio | Theses on a related topic

7.
Brišáková, Klaudia
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Modelling and Calculations (combination/specialization: Economics)
Bachelor's thesis defense: Modelování s diferenciálními rovnicemi 1. řádu | Theses on a related topic

8.
Briškár, Samuel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Tvorba herního prostředí | Theses on a related topic

9.
Cisko, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defense: Analýza možností mapování objektů v 3D modelovacích programech | Theses on a related topic

10.
Čečunda, Marián
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defense: Analýza bezpečnosti proudové šifry RC4 | Theses on a related topic

11.
Donko, Pavol
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Tvorba a animace 3D charakteru a jeho integrace do reálné scény. | Theses on a related topic

12.
Dúbrava, Matúš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Zabezpečení dat založené na využití hesel | Theses on a related topic

13.
Durec, Kamil
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační technologie pro modelování a simulace | Theses on a related topic

14.
Džmura, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Modelovanie a simulácia s využitím systému Maple a MapleSim | Theses on a related topic

15.
Fabian, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defense: Deformace objektů pomocí FFD mřížky | Theses on a related topic

16.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Theses on a related topic

17.
Feciskanin, Richard
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Cartography, Geoinformatics and Remote Sensing
Dissertation defense: Optimalizácia nepravidelných trojuholnikových sietí pre modelovanie georeliéfu | Theses on a related topic

18.
Fogašová, Daniela
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Využitelnost modulů GIS pro účely krajiných úprav | Theses on a related topic

19.
Furdek, Štefan
Faculty: Faculty of Informatics
Year: 2007, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Bezpečnost peer-to-peer systémů | Theses on a related topic

20.
Hanžlová, Martina maiden name: Krasnayová
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Vývoj pohybové hry pro aplikaci Newron | Theses on a related topic

21.
Haringa, Marián
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro výměnu a sdílení zdravotní dokumentace | Theses on a related topic

22.
Hozzová, Jana maiden name: Pazúriková
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Dissertation defense: Accelerating Chemical Simulation through Model Modification | Theses on a related topic

23.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defense: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic

24.
Jakubík, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Zajištění důvěryhodnosti elektronické pošty | Theses on a related topic
Bachelor's thesis defense: Zajištění důvěryhodnosti elektronické pošty | Theses on a related topic
Bachelor's thesis defense: Zajištění důvěryhodnosti komunikace digitálními certifikáty | Theses on a related topic

25.
Káčerik, Tibor
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic

26.
Káčerik, Tibor
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Informační technologie pro modelování a simulace | Theses on a related topic

27.
Kempa, Matúš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: 3D modelování se silovou zpětnou vazbou | Theses on a related topic

28.
Klement, Matej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defense: Comprehensive Modeling Platform for Photosynthetic Organisms | Theses on a related topic

29.
Kohut, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: OpenIMS Modelling for Performance Analysis | Theses on a related topic

30.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Theses on a related topic

31.
Kormoš, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Modelování výukových procesů | Theses on a related topic

32.
Kováč, Ján
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defense: Generování náhodných a pseudonáhodných dat v mobilních zařízeních s iOS | Theses on a related topic

33.
Kovalčík, Vojtech
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defense: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic
Bachelor's thesis defense: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic

34.
Krejčí, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Tvorba zpravodajské znělky | Theses on a related topic

35.
Krupa, Miloš
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defense: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
Bachelor's thesis defense: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic

36.
Křivánek, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defense: Probabilistic Extension of Message Sequence Chart | Theses on a related topic

37.
Kubina, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vzdálené PKCS11 úložiště | Theses on a related topic

38.
Madaj, Dušan
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Political Science / Security and Strategic Studies
Master's thesis defence: Kybernetická bezpečnosť: analýza vládnych prístupov k šifrovaniu dát na prípadoch USA a VB | Theses on a related topic

39.
Madzin, Matúš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Theses on a related topic

40.
Malota, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Layout Configuration for Message Sequence Charts | Theses on a related topic

41.
Marcinková, Jana
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Tvorba zpravodajské znělky | Theses on a related topic

42.
Márton, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defense: Časově závislé rozvržení MSC | Theses on a related topic

43.
Mihálik, Pavol
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic

44.
Moravčík, Marek
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Vizualizace stavových prostorů | Theses on a related topic

45.
Nemček, Peter
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic

46.
Palát, Michal
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zabezpečení komunikace Push To Talk | Theses on a related topic

47.
Peťko, Michal
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: Vizuální kryptografie s prevencí podvodu | Theses on a related topic

48.
Rangelov, Andrej
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic

49.
Sák, Daniel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defense: GPU akcelerované útoky hrubou silou se zaměřením na uživatelská hesla | Theses on a related topic

50.
Smolka, Tobiáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Zvýšení bezpečnosti aplikací na čipových kartách s využitím automatické transformace | Theses on a related topic