Diana Hermith

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 6

Top Topics

Biological Processes

Temporal Dependencies

Spatial And Temporal

Top Venues

Electron. Notes Theor. Comput. Sci.

Theor. Comput. Sci.

Publications

Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
Process calculi for biological processes. Nat. Comput. 17 (2) (2018)
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. 696 (2017)
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci. 641 (2016)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
Verification of Spatial and Temporal Modalities in Biochemical Systems. Electron. Notes Theor. Comput. Sci. 316 (2015)
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9 (S-3) (2015)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
A framework for modelling spatially dependent interactions of biological systems in CCP. IWBBIO (2014)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
Simulating Signalling Pathways With BioWayS. Electron. Notes Theor. Comput. Sci. 293 (2013)
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB (2011)