Davide Chiarugi

According to our database1, Davide Chiarugi authored at least 21 papers between 2004 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
A proof theoretic view of spatial and temporal dependencies in biochemical systems.
Theor. Comput. Sci., 2016

2015
Verification of Spatial and Temporal Modalities in Biochemical Systems.
Electr. Notes Theor. Comput. Sci., 2015

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks.
Computational Biology and Chemistry, 2015

Single-molecule modeling of mRNA degradation by miRNA: Lessons from data.
BMC Systems Biology, 2015

A renewal model for the emergence of anomalous solute crowding in liposomes.
BMC Systems Biology, 2015

Modelling non-Markovian dynamics in biochemical reactions.
BMC Systems Biology, 2015

A Declarative View of Signaling Pathways.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014
A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comp. Sci., 2014

Biochemical Reactions as Renewal Processes: the case of mRNA Degradation.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

A framework for modelling spatially dependent interactions of biological systems in CCP.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013
Simulating Signalling Pathways With BioWayS.
Electr. Notes Theor. Comput. Sci., 2013

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

2012
Control Flow Analysis of Generalised Boolean Networks.
Electr. Notes Theor. Comput. Sci., 2012

2010
A Taxonomy of Causality-Based Biological Properties
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Compositional modelling of signalling pathways in timed concurrent constraint programming.
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

2009
Control Flow Analysis for Brane Calculi.
Electr. Notes Theor. Comput. Sci., 2009

2008
On deducing causality in metabolic networks.
BMC Bioinformatics, 2008

Cells in Silico: A Holistic Approach.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

2007
A Computational Approach to the Functional Screening of Genomes.
PLoS Computational Biology, 2007

2006
Feedbacks and Oscillations in the Virtual Cell VICE.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2004
VICE: A VIrtual CEll.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004


  Loading...