Davide Chiarugi

23 papers B 1Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2023 B conf
Porting the Variant Calling Pipeline for NGS data in cloud-HPC environment.
COMPSAC
Alberto Mulone, Sherine Awad, Davide Chiarugi, Marco Aldinucci
2022 J jnl
A Neural Network Approach for the Analysis of Reproducible Ribo-Seq Profiles.
Algorithms
Giorgia Giacomini, Caterina Graziani, Veronica Lachi, Pietro Bongini, Niccolò Pancino, Monica Bianchini, Davide Chiarugi, Angelo Valleriani, Paolo Andreini
2016 J jnl
A proof theoretic view of spatial and temporal dependencies in biochemical systems.
Theor. Comput. Sci.
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
2015 — conf
A Declarative View of Signaling Pathways.
Programming Languages with Applications to Biology and Security
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015 J jnl
A renewal model for the emergence of anomalous solute crowding in liposomes.
BMC Syst. Biol.
Paolo Paradisi, Paolo Allegrini, Davide Chiarugi
2015 J jnl
Modelling non-Markovian dynamics in biochemical reactions.
BMC Syst. Biol.
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
2015 J jnl
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks.
Comput. Biol. Chem.
Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
2015 J jnl
Single-molecule modeling of mRNA degradation by miRNA: Lessons from data.
BMC Syst. Biol.
Celine Sin, Davide Chiarugi, Angelo Valleriani
2014 J jnl
A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
2014 — conf
A framework for modelling spatially dependent interactions of biological systems in CCP.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2014 — conf
Biochemical Reactions as Renewal Processes: the case of mRNA Degradation.
IWBBIO
Paolo Paradisi, Davide Chiarugi
2014 — conf
Verification of Spatial and Temporal Modalities in Biochemical Systems.
SASB
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2013 — conf
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
2012 — conf
Simulating Signalling Pathways With BioWayS.
CS2Bio
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
2011 — conf
Control Flow Analysis of Generalised Boolean Networks.
SASB
Chiara Bodei, Linda Brodo, Davide Chiarugi
2010 — conf
A Taxonomy of Causality-Based Biological Properties
FBTC
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
2010 — conf
Compositional modelling of signalling pathways in timed concurrent constraint programming.
BCB
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2008 — conf
Cells in Silico: A Holistic Approach.
SFM
Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni
2008 — conf
Control Flow Analysis for Brane Calculi.
MeCBIC
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2008 J jnl
On deducing causality in metabolic networks.
BMC Bioinform.
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2007 J jnl
A Computational Approach to the Functional Screening of Genomes.
PLoS Comput. Biol.
Davide Chiarugi, Pierpaolo Degano, Roberto Marangoni
2006 — conf
Feedbacks and Oscillations in the Virtual Cell VICE.
CMSB
Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni
2004 — conf
VICE: A VIrtual CEll.
CMSB
Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni