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

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

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 defence: Metody/techniky asymetrické kryptografie založené na heslech

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

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

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

6.
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 defence: Modelování s diferenciálními rovnicemi 1. řádu | Theses on a related topic

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

8.
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 defence: Analýza možností mapování objektů v 3D modelovacích programech | Theses on a related topic

9.
Č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 defence: Analýza bezpečnosti proudové šifry RC4 | Theses on a related topic

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

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

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

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

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

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

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

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

18.
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 defence: Bezpečnost peer-to-peer systémů | Theses on a related topic

19.
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 defence: Vývoj pohybové hry pro aplikaci Newron | Theses on a related topic

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

21.
Havran, Ivan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Agentní modelování šíření infekční nemoci s využitím pravděpodobnostních programů | Theses on a related topic
Bachelor's thesis defence: Agentní modelování šíření infekční nemoci s využitím pravděpodobnostních programů | 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
Doctoral thesis defence: 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 defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic

24.
Chudovský, Radoslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modeling Progress Through Cybersecurity Training Using Command Histories | Theses on a related topic

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

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

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

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

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

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

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

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

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

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

35.
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 defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic
Bachelor's thesis defence: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic

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

37.
Kršková, Veronika
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Geology / Applied and Environmental Geology
Master's thesis defence: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Theses on a related topic

38.
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 defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic
Bachelor's thesis defence: Využití simulačních metod pro optimalizaci podnikových procesů | Theses on a related topic

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

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

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

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

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

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

45.
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 defence: Časově závislé rozvržení MSC | Theses on a related topic

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

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

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

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

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