Diana Hermith

发表

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach

Camilo Rueda, Frank D. Valencia, Carlos Olarte, 2011, PACBB.

Using a Timed Concurrent Constraint Process Calculus for Modeling Signal Transduction Pathways

Diana Hermith, 2009 .

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

Carlos Olarte, Moreno Falaschi, Diana Hermith, 2016, Theor. Comput. Sci..

Verification of Spatial and Temporal Modalities in Biochemical Systems

Carlos Olarte, Moreno Falaschi, Diana Hermith, 2015, SASB.

Modelling non-Markovian dynamics in biochemical reactions

Carlos Olarte, Moreno Falaschi, Luca Torella, 2015, BMC Systems Biology.

Innovación social y su importancia en la gestión del conocimiento y la participación ciudadana (Social Innovation and Its Importance in Knowledge Management and Citizen Participation)

Diana Hermith, Carlos Elías Rincón, Wilson Bautista Molina, 2017 .

Simulating Signalling Pathways With BioWayS

Michell Guzmán, Carlos Olarte, Moreno Falaschi, 2013, CS2Bio.

Process calculi for biological processes

Pierpaolo Degano, Moreno Falaschi, Linda Brodo, 2018, Natural Computing.

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions

Carlos Olarte, Moreno Falaschi, Roberto Marangoni, 2013, IWBBIO.

Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach

C. Olarte, Diana Hermith, C. Rueda, 2011, PACBB.

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

Carlos Olarte, Moreno Falaschi, Diana Hermith, 2014, IWBBIO.