Computational Methods in Systems Biology

Jérôme Feret Heinz Koeppl (Eds.) 123 LNBI 10545 15th International Conference, CMSB 2017 Darmstadt, Germany, September 27–29, 20 ...

Lecture Notes in Bioinformatics 10545 Subseries of Lecture Notes in Computer Science LNBI Series Editors Sorin Istrail Brown Uni ...

More information about this series at http://www.springer.com/series/ ...

Jérôme Feret• Heinz Koeppl (Eds.) Computational Methods in Systems Biology 15th International Conference, CMSB 2017 Darmstadt, G ...

Editors Jérôme Feret Inria &École normale supérieure Paris France Heinz Koeppl Technische Universität Darmstadt Darmstadt Ge ...

Preface This volume contains the papers presented at CMSB 2017, the 15th Conference on Computational Methods in Systems Biology ...

Technische Universität Darmstadt, where this year’s event was hosted. Finally, we would like to thank all the participants of th ...

Organization Steering Committee Ezio Bartocci TU Wien, Austria Finn Drablos NTNU, Norway François Fages Inria, France David Hare ...

François Fages Inria Paris-Saclay, France Jérôme Feret Inria/ENS, France Tomas Gedeon Montana State University, USA Manoj Gopalk ...

Additional Reviewers Backenköhler, Michael Behr, Nicolas Bhattacharyya, Arnab Doty, David Fippo Fitime, Louis Hajnal, Matej Helm ...

Contents Invited Paper Bio-Curation for Cellular Signalling: The KAMI Project............... 3 Russ Harmer, Yves-Stan Le Cornec, ...

A Stochastic Model for the Formation of Spatial Methylation Patterns...... 160 Alexander Lück, Pascal Giehr, Jörn Walter, and Ve ...

Discrete Stochastic Graph Dynamics for the Nuclear Architecture of Mouse Meiotic Prophase Spermatocytes (Extended Abstract)..... ...

Invited Paper ...

Bio-Curation for Cellular Signalling: The KAMI Project Russ Harmer(B), Yves-Stan Le Cornec, S ́ebastien L ́egar ́e, and Ievgenii ...

4R.Harmeretal. so that the ‘starting point’ of a pathway may be present in some cases yet absent in others. More generally, the ...

Bio-curation for Cellular Signalling: The KAMI Project 5 be identified to the subsequentAB,C→ABCevent. Indeed, theindependence o ...

6R.Harmeretal. definedin MetaKappa implicitly required the modeller to have already in mind an intended set of underlying Kappa ...

Bio-curation for Cellular Signalling: The KAMI Project 7 from the action graph to the meta-model [ 7 , 12 ]. Finally, the action ...

8R.Harmeretal. 2.2 The Meta-model The heart ofKAMIis an instance ofReGraphwith a particular hierarchy, rooted in ameta-model, th ...