Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Babica, Jindřich
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Message Sequence Chart Properties and Checking Algorithms | Práce na příbuzné téma Zobrazit popisek

2.
Bebják, Michal
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Metody/techniky asymetrické kryptografie založené na heslech

3.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

4.
Borza, Viktor
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba MSC diagramů ze síťového provozu | Práce na příbuzné téma

5.
Bouda, Ondřej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Refactoring of Sequence Chart Studio | Práce na příbuzné téma

6.
Brišáková, Klaudia
Fakulta: Přírodovědecká fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Modelování a výpočty (kombinace/zaměření: Ekonomie)
Obhajoba bakalářské práce: Modelování s diferenciálními rovnicemi 1. řádu | Práce na příbuzné téma

7.
Briškár, Samuel
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba herního prostředí | Práce na příbuzné téma

8.
Cisko, František
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Analýza možností mapování objektů v 3D modelovacích programech | Práce na příbuzné téma

9.
Čečunda, Marián
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Analýza bezpečnosti proudové šifry RC4 | Práce na příbuzné téma

10.
Donko, Pavol
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba a animace 3D charakteru a jeho integrace do reálné scény. | Práce na příbuzné téma

11.
Dúbrava, Matúš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zabezpečení dat založené na využití hesel | Práce na příbuzné téma

12.
Durec, Kamil
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Informační technologie pro modelování a simulace | Práce na příbuzné téma

13.
Džmura, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelovanie a simulácia s využitím systému Maple a MapleSim | Práce na příbuzné téma

14.
Fabian, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačová grafika a zpracování obrazu
Obhajoba bakalářské práce: Deformace objektů pomocí FFD mřížky | Práce na příbuzné téma

15.
Farmadin, Adrian
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Práce na příbuzné téma

16.
Feciskanin, Richard
Fakulta: Přírodovědecká fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Kartografie, geoinformatika a dálkový průzkum Země
Obhajoba disertační práce: Optimalizácia nepravidelných trojuholnikových sietí pre modelovanie georeliéfu | Práce na příbuzné téma

17.
Fogašová, Daniela
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geografie a kartografie / Geografická kartografie a geoinformatika
Obhajoba diplomové práce: Využitelnost modulů GIS pro účely krajiných úprav | Práce na příbuzné téma

18.
Furdek, Štefan
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Bezpečnost peer-to-peer systémů | Práce na příbuzné téma

19.
Hanžlová, Martina roz. Krasnayová
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vývoj pohybové hry pro aplikaci Newron | Práce na příbuzné téma

20.
Haringa, Marián
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro výměnu a sdílení zdravotní dokumentace | Práce na příbuzné téma

21.
Havran, Ivan
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Agentní modelování šíření infekční nemoci s využitím pravděpodobnostních programů | Práce na příbuzné téma
Obhajoba bakalářské práce: Agentní modelování šíření infekční nemoci s využitím pravděpodobnostních programů | Práce na příbuzné téma

22.
Hozzová, Jana roz. Pazúriková
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Accelerating Chemical Simulation through Model Modification | Práce na příbuzné téma

23.
Chmelík, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Deciding Non-local Choice in High-level Message Sequence Charts | Práce na příbuzné téma

24.
Chudovský, Radoslav
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modeling Progress Through Cybersecurity Training Using Command Histories | Práce na příbuzné téma

25.
Jakubík, Lukáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Zajištění důvěryhodnosti elektronické pošty | Práce na příbuzné téma
Obhajoba bakalářské práce: Zajištění důvěryhodnosti elektronické pošty | Práce na příbuzné téma
Obhajoba bakalářské práce: Zajištění důvěryhodnosti komunikace digitálními certifikáty | Práce na příbuzné téma

26.
Káčerik, Tibor
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování a simulace s využitím systému Maple a MapleSim | Práce na příbuzné téma

27.
Káčerik, Tibor
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Informační technologie pro modelování a simulace | Práce na příbuzné téma

28.
Katkinová, Simona roz. Bennárová
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Zabezpečená komunikace mezi senzory a řídící jednotkou | Práce na příbuzné téma

29.
Kempa, Matúš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: 3D modelování se silovou zpětnou vazbou | Práce na příbuzné téma

30.
Klement, Matej
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba rigorózní práce: Comprehensive Modeling Platform for Photosynthetic Organisms | Práce na příbuzné téma

31.
Kohut, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: OpenIMS Modelling for Performance Analysis | Práce na příbuzné téma

32.
Korenčiak, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Práce na příbuzné téma

33.
Kormoš, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Modelování výukových procesů | Práce na příbuzné téma

34.
Kováč, Ján
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Generování náhodných a pseudonáhodných dat v mobilních zařízeních s iOS | Práce na příbuzné téma

35.
Kovalčík, Vojtech
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma
Obhajoba bakalářské práce: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Práce na příbuzné téma

36.
Krejčí, Vladimír
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba zpravodajské znělky | Práce na příbuzné téma

37.
Kršková, Veronika
Fakulta: Přírodovědecká fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Geologie / Geologie aplikovaná a environmentální
Obhajoba diplomové práce: Vliv projektovaných staveb v oblasti Jižního Centra v Brně na režim podzemních vod | Práce na příbuzné téma

38.
Krupa, Miloš
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma
Obhajoba bakalářské práce: Využití simulačních metod pro optimalizaci podnikových procesů | Práce na příbuzné téma

39.
Křivánek, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Probabilistic Extension of Message Sequence Chart | Práce na příbuzné téma

40.
Kubina, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Vzdálené PKCS11 úložiště | Práce na příbuzné téma

41.
Madaj, Dušan
Fakulta: Fakulta sociálních studií
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Politologie / Bezpečnostní a strategická studia
Obhajoba diplomové práce: Kybernetická bezpečnosť: analýza vládnych prístupov k šifrovaniu dát na prípadoch USA a VB | Práce na příbuzné téma

42.
Madzin, Matúš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Práce na příbuzné téma

43.
Malota, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Layout Configuration for Message Sequence Charts | Práce na příbuzné téma

44.
Marcinková, Jana
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba zpravodajské znělky | Práce na příbuzné téma

45.
Márton, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Časově závislé rozvržení MSC | Práce na příbuzné téma

46.
Mihálik, Pavol
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování a simulace s využitím systému Maple a MapleSim | Práce na příbuzné téma

47.
Moravčík, Marek
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizualizace stavových prostorů | Práce na příbuzné téma

48.
Nemček, Peter
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování a simulace s využitím systému Maple a MapleSim | Práce na příbuzné téma

49.
Palát, Michal
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zabezpečení komunikace Push To Talk | Práce na příbuzné téma

50.
Peťko, Michal
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vizuální kryptografie s prevencí podvodu | Práce na příbuzné téma