Diana Hermith

According to our database, Diana Hermith authored at least 10 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Process calculi for biological processes.

Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith

Nat. Comput., 2018

2017

A static analysis for Brane Calculi providing global occurrence counting information.

Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith

Theor. Comput. Sci., 2017

2016

A proof theoretic view of spatial and temporal dependencies in biochemical systems.

Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith

Theor. Comput. Sci., 2016

2015

Modelling non-Markovian dynamics in biochemical reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella

BMC Syst. Biol., 2015

A Global Occurrence Counting Analysis for Brane Calculi.

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Verification of Spatial and Temporal Modalities in Biochemical Systems.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

A framework for modelling spatially dependent interactions of biological systems in CCP.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

2013

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte

Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013

2012

Simulating Signalling Pathways With BioWayS.

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

2011

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011