Travelled to:1 × Italy
1 × Russia
1 × USA
Collaborated with:L.Brim D.Safránek A.Abate M.Z.Kwiatkowska S.Drazan
Talks about:quantit (2) system (2) model (2) check (2) stochast (1) reaction (1) paramet (1) network (1) biochem (1) analysi (1)
Person: Milan Ceska
DBLP: Ceska:Milan
Contributed to:
20152013
2013Wrote 3 papers:
- CAV-2015-AbateBCK #adaptation #analysis #markov #network
- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (AA, LB, MC, MZK), pp. 195–213.
- CAV-2013-BrimCDS #model checking #parametricity #probability #using
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
- SFM-2013-BrimCS #biology #model checking
- Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.