Numbers

Basic Bibliography Published theses Top keywords Keyword timeline Co-mentors

The table includes keywords of all theses, where this person is in the role of a mentor. Keywords are sorted by the frequency, with most frequent keywords at the top. Most frequent keywords may tell what this mentor's research fields and interests are.

Person: Matija Pretnar

Together there are 21 keywords, that are appearing 21 times.
0 of them (0 % of all) appear more than once, together appearing 0 times (0 % of all appearances).

FrequencyKeyword
Num.%
1xizrek o varnosti, modalni tipi, časovno omejeni viri, lambda račun, teorija enačb, skladnost, algebrajski učinki, kvantno računalništvo, formalizacija, Rust, sistem lastništva, iskanje v širino (BFS), OCaml, funkcijski programski jeziki, grafovski algoritmi, Dijkstrov algoritem, Floyd-Warshallov algoritem, asinhrono programiranje, avtomat končnih stanj, večjedrno računanje, paralelizacija