is Íslenska en English

Ritgerðir með leiðbeinandann 'Anna Ingólfsdóttir 1952-'

í allri Skemmunni > Leiðbeinendur >
Leiðbeinendur 1 til 7 af 7
Fletta
SamþykktRaða eftir:SamþykktTitillRaða eftir:TitillHöfundur(ar)
30.1.2024Applying binary decision diagrams to learn hidden Markov modelsEva Ósk Gunnarsdóttir 1999-
10.4.2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsCaltais, Georgiana, 1984-
12.9.2012Contributions to the meta-theory of structural operational semanticsCimini, Matteo, 1981-
7.9.2017A data driven analysis of clusters using UPPAALJón Friðrik Jónatansson 1987-
8.2.2022Experiments with hidden Markov modelsArnþór Logi Arnarson 1976-; Eva Ósk Gunnarsdóttir 1999-
11.3.2014Towards model checking BSV in UppaalHörður Hauksson 1957-
31.8.2017Work on new event sources for detectErGuðmundur Stefánsson 1992-