Abstract is missing.
- Sequential Reprogramming of Boolean Networks Made PracticalHugues Mandon, Cui Su, Stefan Haar, Jun Pang 0001, Loïc Paulevé. 3-19 [doi]
- Sequential Reprogramming of Biological Network FateJérémie Pardo, Sergiu Ivanov 0001, Franck Delaplace. 20-41 [doi]
- Control Variates for Stochastic Simulation of Chemical Reaction NetworksMichael Backenköhler, Luca Bortolussi, Verena Wolf. 42-59 [doi]
- Effective Computational Methods for Hybrid Stochastic Gene NetworksGuilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu. 60-77 [doi]
- On Chemical Reaction Network Design by a Nested Evolution AlgorithmElisabeth Degrand, Mathieu Hemery, François Fages. 78-95 [doi]
- Designing Distributed Cell Classifier Circuits Using a Genetic AlgorithmMelania Nowicka, Heike Siebert. 96-119 [doi]
- Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm FittingPaul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston. 120-139 [doi]
- Cell Volume Distributions in Exponentially Growing PopulationsPavol Bokes, Abhyudai Singh. 140-154 [doi]
- Transient Memory in Gene RegulationCalin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin. 155-187 [doi]
- A Logic-Based Learning Approach to Explore Diabetes Patient BehaviorsJosephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi, Lu Feng. 188-206 [doi]
- Reachability Design Through Approximate Bayesian ComputationMahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. 207-223 [doi]
- Fast Enumeration of Non-isomorphic Chemical Reaction NetworksCarlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau. 224-247 [doi]
- A Large-Scale Assessment of Exact Model Reduction in the BioModels RepositoryIsabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin. 248-265 [doi]
- Computing Difference Abstractions of Metabolic Networks Under Kinetic ConstraintsEmilie Allart, Joachim Niehren, Cristian Versari. 266-285 [doi]
- BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal LogicJudah Goldfeder, Hillel Kugler. 289-295 [doi]
- The Kappa Simulator Made InteractivePierre Boutillier. 296-301 [doi]
- Biochemical Reaction Networks with Fuzzy Kinetic Parameters in SnoopyGeorge Assaf, Monika Heiner, Fei Liu 0006. 302-307 [doi]
- Compartmental Modeling Software: A Fast, Discrete Stochastic Framework for Biochemical and Epidemiological SimulationChristopher W. Lorton, Joshua L. Proctor, Min K. Roh, Philip A. Welkhoff. 308-314 [doi]
- Spike - Reproducible Simulation Experiments with Configuration File BranchingJacek Chodak, Monika Heiner. 315-321 [doi]
- KAMIStudio: An Environment for Biocuration of Cellular Signalling KnowledgeRuss Harmer, Eugenia Oshurko. 322-328 [doi]
- A New Version of DAISY to Test Structural Identifiability of Biological ModelsMaria Pia Saccomani, Giuseppina Bellu, Stefania Audoly, Leontina D'Angiò. 329-334 [doi]
- Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)Milan Ceska 0001, Jan Kretínský. 337-341 [doi]
- Bayesian Parameter Estimation for Stochastic Reaction Networks from Steady-State ObservationsAnkit Gupta, Mustafa Khammash, Guido Sanguinetti. 342-346 [doi]
- Wasserstein Distances for Estimating Parameters in Stochastic Reaction NetworksKaan Öcal, Ramon Grima, Guido Sanguinetti. 347-351 [doi]
- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy HeuristicsJulien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages. 352-355 [doi]
- Barbaric Robustness Monitoring Revisited for STL* in ParasimDavid Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim. 356-359 [doi]
- Symmetry Breaking for GATA-1/PU.1 ModelLenka Pribylová, Barbora Losová. 360-363 [doi]
- Scalable Control of Asynchronous Boolean NetworksCui Su, Soumya Paul, Jun Pang 0001. 364-367 [doi]
- Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract)Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky. 368-372 [doi]
- Separators for Polynomial Dynamic Systems with Linear ComplexityInes Abdeljaoued-Tej, Alia BenKahla, Ghassen Haddad, Annick Valibouze. 373-378 [doi]
- Bounding First Passage Times in Chemical Reaction Networks - Poster AbstractMichael Backenköhler, Luca Bortolussi, Verena Wolf. 379-382 [doi]
- Data-Informed Parameter Synthesis for Population Markov ChainsMatej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek. 383-386 [doi]