Patient-reported depression severity and cognitive symptoms as determinants of functioning in patients with major depressive disorder: a secondary analysis of the 2-year prospectiv... by Haro JM, Hammer-Helmich L, Saragoussi D, Ettrup A, Larsen KG

Get full text

Algorithmic minimization of uncertain continuous-time Markov chains by Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A

Lumpability for uncertain continuous-time Markov chains by Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A

Computing probabilistic bisimilarity distances for probabilistic automata by Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F