Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th CMSB 2019: Trieste, Italy
- Luca Bortolussi, Guido Sanguinetti:
Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11773, Springer 2019, ISBN 978-3-030-31303-6
Regular Papers
- Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
Sequential Reprogramming of Boolean Networks Made Practical. 3-19 - Jérémie Pardo, Sergiu Ivanov, Franck Delaplace:
Sequential Reprogramming of Biological Network Fate. 20-41 - Michael Backenköhler, Luca Bortolussi
, Verena Wolf:
Control Variates for Stochastic Simulation of Chemical Reaction Networks. 42-59 - Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu:
Effective Computational Methods for Hybrid Stochastic Gene Networks. 60-77 - Elisabeth Degrand, Mathieu Hemery, François Fages:
On Chemical Reaction Network Design by a Nested Evolution Algorithm. 78-95 - Melania Nowicka, Heike Siebert:
Designing Distributed Cell Classifier Circuits Using a Genetic Algorithm. 96-119 - Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston:
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. 120-139 - Pavol Bokes, Abhyudai Singh:
Cell Volume Distributions in Exponentially Growing Populations. 140-154 - Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin:
Transient Memory in Gene Regulation. 155-187 - Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng:
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. 188-206 - Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède:
Reachability Design Through Approximate Bayesian Computation. 207-223 - Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau:
Fast Enumeration of Non-isomorphic Chemical Reaction Networks. 224-247 - Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin:
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. 248-265 - Emilie Allart, Joachim Niehren, Cristian Versari:
Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. 266-285
Tool Papers
- Judah Goldfeder, Hillel Kugler:
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. 289-295 - Pierre Boutillier:
The Kappa Simulator Made Interactive. 296-301 - George Assaf, Monika Heiner, Fei Liu:
Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy. 302-307 - Christopher W. Lorton, Joshua L. Proctor, Min K. Roh, Philip A. Welkhoff:
Compartmental Modeling Software: A Fast, Discrete Stochastic Framework for Biochemical and Epidemiological Simulation. 308-314 - Jacek Chodak, Monika Heiner:
Spike - Reproducible Simulation Experiments with Configuration File Branching. 315-321 - Russ Harmer, Eugenia Oshurko:
KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge. 322-328 - Maria Pia Saccomani, Giuseppina Bellu, Stefania Audoly, Leontina D'Angiò:
A New Version of DAISY to Test Structural Identifiability of Biological Models. 329-334
Extended Abstracts (Posters and Highlight Talks)
- Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). 337-341 - Ankit Gupta, Mustafa Khammash, Guido Sanguinetti:
Bayesian Parameter Estimation for Stochastic Reaction Networks from Steady-State Observations. 342-346 - Kaan Öcal, Ramon Grima, Guido Sanguinetti:
Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks. 347-351 - Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages:
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. 352-355 - David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim:
Barbaric Robustness Monitoring Revisited for STL* in Parasim. 356-359 - Lenka Pribylová, Barbora Losová:
Symmetry Breaking for GATA-1/PU.1 Model. 360-363 - Cui Su, Soumya Paul, Jun Pang:
Scalable Control of Asynchronous Boolean Networks. 364-367 - 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:
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). 368-372 - Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze:
Separators for Polynomial Dynamic Systems with Linear Complexity. 373-378 - Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. 379-382 - Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek:
Data-Informed Parameter Synthesis for Population Markov Chains. 383-386
a service of 
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.
last updated on 2024-06-29 00:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
