Samþykkt![]() | Titill![]() | Höfundur(ar) |
|---|---|---|
| 30.1.2024 | Applying binary decision diagrams to learn hidden Markov models | Eva Ósk Gunnarsdóttir 1999- |
| 10.4.2014 | Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics | Caltais, Georgiana, 1984- |
| 12.9.2012 | Contributions to the meta-theory of structural operational semantics | Cimini, Matteo, 1981- |
| 7.9.2017 | A data driven analysis of clusters using UPPAAL | Jón Friðrik Jónatansson 1987- |
| 8.2.2022 | Experiments with hidden Markov models | Arnþór Logi Arnarson 1976-; Eva Ósk Gunnarsdóttir 1999- |
| 11.3.2014 | Towards model checking BSV in Uppaal | Hörður Hauksson 1957- |
| 31.8.2017 | Work on new event sources for detectEr | Guðmundur Stefánsson 1992- |