Publications of D. Chiarugi

Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theoretical Computer Science 641, pp. 25 - 42 (2016)

Sin, C.; Chiarugi, D.; Valleriani, A.: Quantitative assessment of ribosome drop-off in E. coli. Nucleic Acids Research 44 (6), pp. 2528 - 2537 (2016)

Sin, C.; Chiarugi, D.; Valleriani, A.: Degradation parameters from pulse-chase experiments. PLoS One 11 (5), e0155028 (2016)

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)

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)

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)