1 - 2 / 2 1 |
1. Dinamika diferenčnih enačb Jure Kukovec, 2014, diplomsko delo Ključne besede: matematika, diferenčne enačbe, diferenčni operator, funkcijska linearna neodvisnost |
2. Generalizing treshold automata for reachability in parameterized systems Jure Kukovec, 2016, magistrsko delo Ključne besede: treshold automata, fault tolerant distributed algorithms, model checking |