223 citations · 243 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Syntactic Markovian Bisimulation for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially larg…
eess.SY2017★ 3 cited
Over-Approximation of Fluid Models
Max Tschaikowski
Fluid models are a popular formalism in the quantitative modeling of biochemical systems and analytical performance models. The main idea is to approximate a large-scale Markov cha…