default search action
14. CMSB 2016: Cambridge, UK
- Ezio Bartocci, Pietro Liò, Nicola Paoletti:
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science 9859, Springer 2016, ISBN 978-3-319-45176-3
Invited Paper
- Joëlle Despeyroux:
(Mathematical) Logic for Systems Biology (Invited Paper). 3-12
Regular Papers
- Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. 15-29 - Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Inference of Delayed Biological Regulatory Networks from Time Series Data. 30-48 - Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti:
Matching Models Across Abstraction Levels with Gaussian Processes. 49-66 - Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre:
Target Controllability of Linear Networks. 67-81 - Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. 82-97 - François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman:
Influence Systems vs Reaction Systems. 98-115 - Jérôme Feret, Kim Quyên Lý:
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. 116-131 - Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. 132-146 - Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. 147-167 - Chieh Lo, Radu Marculescu:
Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation. 168-185 - Carolin Loos, Anna Fiedler, Jan Hasenauer:
Parameter Estimation for Reaction Rate Equation Constrained Mixture Models. 186-200 - Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren:
Normalizing Chemical Reaction Networks by Confluent Structural Simplification. 201-215 - Andrzej Mizera, Jun Pang, Qixia Yuan:
Fast Simulation of Probabilistic Boolean Networks. 216-231 - Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. 232-251 - Loïc Paulevé:
Goal-Oriented Reduction of Automata Networks. 252-272 - Jasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu:
Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry. 273-288 - Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke:
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. 289-305
Tool Papers
- Andrzej Mizera, Jun Pang, Qixia Yuan:
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. 309-315 - Matej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený:
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. 316-322 - Alejandro Fernández Villaverde, Kolja Becker, Julio R. Banga:
PREMER: Parallel Reverse Engineering of Biological Networks with Information Theory. 323-329
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.