• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2019
• 
  Milan Ceska, Jan Kretínský:
  Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). CMSB 2019: 337-341
• 
  Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze:
  Separators for Polynomial Dynamic Systems with Linear Complexity. CMSB 2019: 373-378
• 
  Emilie Allart, Joachim Niehren, Cristian Versari:
  Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB 2019: 266-285
• 
  George Assaf, Monika Heiner, Fei Liu:
  Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy. CMSB 2019: 302-307
• 
  Michael Backenköhler, Luca Bortolussi, Verena Wolf:
  Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB 2019: 42-59
• 
  Michael Backenköhler, Luca Bortolussi, Verena Wolf:
  Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB 2019: 379-382
• 
  Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède:
  Reachability Design Through Approximate Bayesian Computation. CMSB 2019: 207-223
• 
  Pavol Bokes, Abhyudai Singh:
  Cell Volume Distributions in Exponentially Growing Populations. CMSB 2019: 140-154
• 
  Pierre Boutillier:
  The Kappa Simulator Made Interactive. CMSB 2019: 296-301
• 
  Jacek Chodak, Monika Heiner:
  Spike - Reproducible Simulation Experiments with Configuration File Branching. CMSB 2019: 315-321
• 
  Elisabeth Degrand, Mathieu Hemery, François Fages:
  On Chemical Reaction Network Design by a Nested Evolution Algorithm. CMSB 2019: 78-95
• 
  Judah Goldfeder, Hillel Kugler:
  BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. CMSB 2019: 289-295
• 
  Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin:
  Transient Memory in Gene Regulation. CMSB 2019: 155-187
• 
  Ankit Gupta, Mustafa Khammash, Guido Sanguinetti:
  Bayesian Parameter Estimation for Stochastic Reaction Networks from Steady-State Observations. CMSB 2019: 342-346
• 
  Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek:
  Data-Informed Parameter Synthesis for Population Markov Chains. CMSB 2019: 383-386
• 
  Russ Harmer, Eugenia Oshurko:
  KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge. CMSB 2019: 322-328
• 
  Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu:
  Effective Computational Methods for Hybrid Stochastic Gene Networks. CMSB 2019: 60-77
• 
  Josephine Lamp, Simone Silvetti, Marc D. Breton, Laura Nenzi, Lu Feng:
  A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors. CMSB 2019: 188-206
• 
  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. CMSB 2019: 308-314
• 
  Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
  Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019: 3-19
• 
  Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages:
  On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. CMSB 2019: 352-355
• 
  Melania Nowicka, Heike Siebert:
  Designing Distributed Cell Classifier Circuits Using a Genetic Algorithm. CMSB 2019: 96-119
• 
  Kaan Öcal, Ramon Grima, Guido Sanguinetti:
  Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks. CMSB 2019: 347-351
• 
  Jérémie Pardo, Sergiu Ivanov, Franck Delaplace:
  Sequential Reprogramming of Biological Network Fate. CMSB 2019: 20-41
• 
  Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin:
  A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB 2019: 248-265
• 
  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. CMSB 2019: 120-139
• 
  Lenka Pribylová, Barbora Losová:
  Symmetry Breaking for GATA-1/PU.1 Model. CMSB 2019: 360-363
• 
  Maria Pia Saccomani, Giuseppina Bellu, Stefania Audoly, Leontina D'Angiò:
  A New Version of DAISY to Test Structural Identifiability of Biological Models. CMSB 2019: 329-334
• 
  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. CMSB 2019: 356-359
• 
  Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau:
  Fast Enumeration of Non-isomorphic Chemical Reaction Networks. CMSB 2019: 224-247

skipping 3 more matches