Travelled to:1 × France
1 × USA
Collaborated with:E.M.Hahn L.Zhang A.Andreychenko L.Mikeev V.Wolf
Talks about:model (3) markov (2) reaction (1) paramet (1) identif (1) biochem (1) popul (1) check (1) csl (1)
Person: David Spieler
DBLP: Spieler:David
Contributed to:
2014
2011Wrote 2 papers:
- QAPL-2014-SpielerHZ #markov #model checking #modelling
- Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.
- CAV-2011-AndreychenkoMSW #identification #markov #modelling #parametricity
- Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.