Intelligent Systems and Formal Methods in Software Engineering by Beckert, B, Hoare, T, Hähnle, R, Smith, D, Green, C, Ranise, S, Tinelli, C, Ball, T, Rajamani, S

Altered expression of ganglioside metabolizing enzymes results in GM3 ganglioside accumulation in cerebellar cells of a mouse model of juvenile neuronal ceroid lipofuscinosis by Somogyi, A, Petcherski, A, Beckert, B, Huebecker, M, Priestman, D, Banning, A, Cotman, S, Platt, F, Ruonala, M, Tikkanen, R