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 31 keywords, that are appearing 33 times.
2 of them (6.45 % of all) appear more than once, together appearing 4 times (12.12 % of all appearances).

FrequencyKeyword
Num.%
2x50%OCaml, funkcijski programski jeziki
1xprogramski jeziki, vezane spremenljivke, bločna veriga, Flare, Ethereum, pametna pogodba, Solidity, podatkovna baza, prevajalniki, WebAssembly, paralelizacija, grafovski algoritmi, iskanje v širino (BFS), Dijkstrov algoritem, Floyd-Warshallov algoritem, večjedrno računanje, avtomat končnih stanj, asinhrono programiranje, sistem lastništva, Rust, lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija, kvantno računalništvo, algebrajski učinki