BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ceska:Milan

Contributed to:

CAV 20152015
CAV 20132013
SFM 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.