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

cubical sets, box category, higher dimensional automata, concurrency

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Dražanová, Jana maiden name: Fabriková
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Geometry
Master's thesis defence: Kubické množiny | Theses on a related topic Display description

2.
Dupal, Jan
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Concurrency support for PureScript | Theses on a related topic

3.
Kolčák, Juraj
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Efektivní analýza boolovských sítí s neurčitostí parametrů | Theses on a related topic

4.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic