9 citations · 17 across the 4 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.NA2011★ 9 cited
Model Checking CSL for Markov Population Models
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous…
q-bio.QM2011★ 5 cited
Parameter Identification for Markov Models of Biochemical Reactions
Aleksandr Andreychenko, Linar Mikeev, David Spieler +1
We propose a numerical technique for parameter inference in Markov models of biological processes. Based on time-series data of a process we estimate the kinetic rate constants by…