Trace and Testing Metrics on Nondeterministic Probabilistic Processes

by Valentina Castiglioni
Published 2018-08-01

Logical Characterization of Trace Metrics

by Valentina Castiglioni, Simone Tini
Published 2017-07-01

Logical Characterization of Bisimulation Metrics

by Valentina Castiglioni, Daniel Gebler, Simone Tini
Published 2016-10-01

Induced pluripotent stem cell lines from Huntington's disease mice undergo neuronal differentiation while showing alterations in the lysosomal pathway

by Valentina Castiglioni, Marco Onorati, Christelle Rochon, Elena Cattaneo
Published 2012-04-01

The first reported generation of several induced pluripotent stem cell lines from homozygous and heterozygous Huntington's disease patients demonstrates mutation related enhanced l...

by Stefano Camnasio, Alessia Delli Carri, Angelo Lombardo, Iwona Grad, Caterina Mariotti, Alessia Castucci, Björn Rozell, Pietro Lo Riso, Valentina Castiglioni, Chiara Zuccato, Christelle Rochon, Yasuhiro Takashima, Giuseppe Diaferia, Ida Biunno, Cinzia Gellera, Marisa Jaconi, Austin Smith, Outi Hovatta, Luigi Naldini, Stefano Di Donato, Anis Feki, Elena Cattaneo
Published 2012-04-01