is Íslenska en English

Ritgerðir með leiðbeinandann 'Aceto, Luca, 1961-'

í allri Skemmunni > Leiðbeinendur >
Leiðbeinendur 1 til 8 af 8
Fletta
SamþykktRaða eftir:SamþykktTitillRaða eftir:TitillHöfundur(ar)
24.3.2014Axiomatizations from Structural Operational Semantics: Theory and ToolsEugen Ioan Goriac 1985-
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-
14.6.2024Population based semantics for attribute based Markovian calculiBiondi, Filippo
1.2.2011Rational Dialog in Interactive GamesMaria Arinbjarnar 1973-
31.8.2017Smart Space Engine : A Prototype Flexible and Reconfigurable Fuzzy Logic Control SoftwareKarl Andrés Gíslason 1986-
25.1.2011Topics in structural operational semanticsArnar Birgisson 1981-
31.8.2017Work on new event sources for detectErGuðmundur Stefánsson 1992-