| Název | Typ | Jméno studenta |
|---|---|---|
| Simulátor PRAM strojů - souběžný zápis (Simulator of PRAM Machines - Concurrent Write) | Bakalářská | Matouš Ćmiel |
| ω-automaty: Rabinovy automaty (ω-automata: Rabin Automata) | Bakalářská | Kateřina Volková |
| Název | Typ | Jméno studenta |
|---|---|---|
| Simulátor PRAM strojů - exkluzivní zápis (Simulator of PRAM Machines - Exclusive Write) | Bakalářská | Bc. Jan Kopidol |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jiří Margaretis |
| Simulátor stroje RAM (Simulator of RAM Machine) | Bakalářská | Bc. Vojtěch Kříbek |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Ing. Stanislav Bajer |
| Komponenta výukového serveru TI - Turingovy stroje (Component of Teaching Server for Theoretical Computer Science - Turing Machines) | Diplomová | Bc. Martin Pustka |
| Název | Typ | Jméno studenta |
|---|---|---|
| Komponenta výukového serveru TI - Kombinatorické hry (Component of Teaching Server for Theoretical Computer Science - Combinatorial Games) | Bakalářská | Ing. Tomáš Zvolánek |
| Komponenta výukového serveru TI - Predikátová logika (Component of Educational Server for Theoretical CS - Predicate Logic) | Diplomová | Ing. Michaela Lubyová |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jan Pecník |
| Komponenta výukového serveru TI - Bezkontextové gramatiky (Component of Teaching Server for Theoretical CS - Context-free Grammars) | Diplomová | Bc. Jan Havlas |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Lukáš Novák |
| Komponenta výukového serveru TI - Asymptotická notace (Component of Educational Server for Theoretical CS - Asymptotic Notation) | Bakalářská | Ing. Martin Frýdl |
| Server pro podporu výuky ARUO (Supporting Server for Constraint Processing Teaching) | Diplomová | Bc. Lukáš Nevřela |
| Server pro podporu výuky teoretické informatiky (Supporting Server for Theoretical Computer Science Teaching) | Diplomová | Bc. Michael Janošík |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Petr Burdík |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jakub Kubień |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Tomáš Novobilský |
| Server pro podporu výuky ARUO (Supporting Server for Constraint Processing Teaching) | Diplomová | Ing. Jana Legerská |
| Server pro podporu výuky teoretické informatiky (Supporting Server for Theoretical Computer Science Teaching) | Diplomová | Bc. Michal Kubinec |
| Server pro podporu výuky teoretické informatiky ( Supporting Server for Theoretical Computer Science Teaching) | Diplomová | Bc. Jan Lesniak |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Tereza Holubčíková |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jan Kondula |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Dominik Ther |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jiří Cága |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Ing. Vojtěch Oczka |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Peter Bardáč |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Peter Slivoš |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Milan Cerovský |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Ing. Jiří Arleth |
| Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP (Simple Equivalence Checking Tool: Deciding Bisimilarity of nBPA and nBPP) | Diplomová | Bc. Martin Bradáč |
| Server pro podporu výuky teorie her (Supporting Server for Games Theory Teaching) | Diplomová | Bc. Martin Huráb |
| Server pro podporu výuky teorie her (Supporting Server for Games Theory Teaching) | Diplomová | Ing. Marek Záškodný |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Milan Blahák |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Łukasz Feber |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Ing. Martin Mikula |
| Generátor grafů konečných automatů - doplnění o operace s konečnými automaty (Generátor of Finite Automata Graphs - Addition of Operations on Finite Automata) | Bakalářská | Bc. Martin Bachořík |
| Generátor grafů konečných automatů - doplnění o regulární výrazy (Generátor of Finite Automata Graphs - Addition of Regualar Expressions) | Bakalářská | René Kamaryt |
| Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP (Simple Equivalence Checking Tool: Deciding Bisimilarity of BPP) | Diplomová | Bc. Jakub Juřica |
| Server pro podporu výuky teorie her (Supporting server for Games Theory teaching) | Diplomová | Ing. Tomáš Bařák |
| Název | Typ | Jméno studenta |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Martin Jarosch |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Peter Janák |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bakalářská | Bc. Jiří Hruška |
| Doplnění editoru a generátoru grafů konečných automatů (Addition of New Features to a Generator of Finite-automata Graphs) | Bakalářská | Bc. Pavel Byma |