Publications

Bodei, C.; Bortolussi, L.; Chiarugi, D.; Guerriero, M. L.; Policriti, A.; Romanel, A.: On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Computational Biology and Chemistry 56, pp. 98 - 108 (2015)

Chiarugi, D.; Falaschi, M.; Hermith, D.; Olarte, C.: Verification of spatial and temporal modalities in biochemical systems. Electronic Notes in Theoretical Computer Science 316, pp. 29 - 44 (2015)

Chiarugi, D.; Falaschi, M.; Hermith, D.; Olarte, C.; Torella, L.: Modelling non-Markovian dynamics in biochemical reactions. BMC Systems Biology 9 (Suppl 3), S8 (2015)

Keller, P.; Rœlly, S.; Valleriani, A.: A quasi random walk to model a biological transport process. Methodology and Computing in Applied Probability 17 (1), pp. 125 - 137 (2015)

Keller, P.; Rœlly, S.; Valleriani, A.: On time duality for Markov chains. Stochastic Models 31 (1), pp. 98 - 118 (2015)

Paradisi, P.; Allegrini, P.; Chiarugi, D.: A renewal model for the emergence of anomalous solute crowding in liposomes. BMC Systems Biology 9 (Suppl 3), S7 (2015)

Rading, M. M.; Sandmann, M.; Steup, M.; Chiarugi, D.; Valleriani, A.: Weak correlation of starch and volume in synchronized photosynthetic cells. Physical Review E 91 (1), 012711 (2015)

Sin, C.; Chiarugi, D.; Valleriani, A.: Single-molecule modeling of mRNA degradation by miRNA: lessons from data. BMC Systems Biology 9 (Suppl 3), S2 (2015)

Valleriani, A.: Circular analysis in complex stochastic systems. Scientific Reports 5, 17986 (2015)

Chiarugi, D.; Falaschi, M.; Olarte, C.; Palamidessi, C.: A Declarative View of Signaling Pathways. In: Lecture Notes in Computer Science, Vol. 9465. Springer, Cham (2015)