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 23 keywords, that are appearing 24 times.
1 of them (4.35 % of all) appear more than once, together appearing 2 times (8.33 % of all appearances).

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