Search dblp for Publications

export results for "toc:db/conf/cmsb/cmsb2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cmsb/Abou-JaoudeFT15,
  author       = {Wassim Abou{-}Jaoud{\'{e}} and
                  J{\'{e}}r{\^{o}}me Feret and
                  Denis Thieffry},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Derivation of Qualitative Dynamical Models from Biochemical Networks},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {195--207},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_17},
  doi          = {10.1007/978-3-319-23401-4\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/Abou-JaoudeFT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AndreychenkoMI15,
  author       = {Alexander Andreychenko and
                  Morgan Magnin and
                  Katsumi Inoue},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Modeling of Resilience Properties in Oscillatory Biological Systems
                  Using Parametric Time Petri Nets},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_20},
  doi          = {10.1007/978-3-319-23401-4\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/AndreychenkoMI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BanksSS15,
  author       = {Chris J. Banks and
                  Daniel D. Seaton and
                  Ian Stark},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Analysis of a Post-translational Oscillator Using Process Algebra
                  and Spatio-Temporal Logic},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_19},
  doi          = {10.1007/978-3-319-23401-4\_19},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BanksSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BarbotKMP15,
  author       = {Beno{\^{\i}}t Barbot and
                  Marta Z. Kwiatkowska and
                  Alexandru Mereacre and
                  Nicola Paoletti},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Estimation and Verification of Hybrid Heart Models for Personalised
                  Medical and Wearable Devices},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {3--7},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_1},
  doi          = {10.1007/978-3-319-23401-4\_1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BarbotKMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BernotCR15,
  author       = {Gilles Bernot and
                  Jean{-}Paul Comet and
                  Olivier F. Roux},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {A Genetically Modified Hoare Logic that Identifies the Parameters
                  of a Gene Network},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {8--12},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_2},
  doi          = {10.1007/978-3-319-23401-4\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BernotCR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BogomolovHPRS15,
  author       = {Sergiy Bogomolov and
                  Thomas A. Henzinger and
                  Andreas Podelski and
                  Jakob Ruess and
                  Christian Schilling},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Adaptive Moment Closure for Parameter Inference of Biochemical Reaction
                  Networks},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {77--89},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_8},
  doi          = {10.1007/978-3-319-23401-4\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BogomolovHPRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BortolussiMS15,
  author       = {Luca Bortolussi and
                  Dimitrios Milios and
                  Guido Sanguinetti},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Efficient Stochastic Simulation of Systems with Multiple Time Scales
                  via Statistical Abstraction},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {40--51},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_5},
  doi          = {10.1007/978-3-319-23401-4\_5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BortolussiMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BrimCDPS15,
  author       = {Lubos Brim and
                  Milan Ceska and
                  Martin Demko and
                  Samuel Pastva and
                  David Safr{\'{a}}nek},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Parameter Synthesis by Parallel Coloured {CTL} Model Checking},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {251--263},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_21},
  doi          = {10.1007/978-3-319-23401-4\_21},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BrimCDPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BudinichBLE15,
  author       = {Marko Budinich and
                  J{\'{e}}r{\'{e}}mie Bourdon and
                  Abdelhalim Larhlimi and
                  Damien Eveillard},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {{OPINION} {PAPER} Evolutionary Constraint-Based Formulation Requires
                  New Bi-level Solving Techniques},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {279--281},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_23},
  doi          = {10.1007/978-3-319-23401-4\_23},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BudinichBLE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CamachoTR15,
  author       = {Francy Camacho and
                  Rodrigo Torres and
                  Ra{\'{u}}l Ramos{-}Poll{\'{a}}n},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Feature Learning Using Stacked Autoencoders to Predict the Activity
                  of Antimicrobial Peptides},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {121--132},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_11},
  doi          = {10.1007/978-3-319-23401-4\_11},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/CamachoTR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CardelliKL15,
  author       = {Luca Cardelli and
                  Marta Z. Kwiatkowska and
                  Luca Laurenti},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Stochastic Analysis of Chemical Reaction Networks Using Linear Noise
                  Approximation},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_7},
  doi          = {10.1007/978-3-319-23401-4\_7},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/CardelliKL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/GnimpiebaTCCL15,
  author       = {Etienne Z. Gnimpieba and
                  Mathialakan Thavappiragasam and
                  Abalo Chango and
                  Bill Conn and
                  Carol M. Lushbough},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {SBMLDock: Docker Driven Systems Biology Tool Development and Usage},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {282--285},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_24},
  doi          = {10.1007/978-3-319-23401-4\_24},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/GnimpiebaTCCL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/LoosMTH15,
  author       = {Carolin Loos and
                  Carsten Marr and
                  Fabian J. Theis and
                  Jan Hasenauer},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse
                  Data Using Multivariate Test Statistics},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {52--63},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_6},
  doi          = {10.1007/978-3-319-23401-4\_6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/LoosMTH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MadelaineLN15,
  author       = {Guillaume Madelaine and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Structural Simplification of Chemical Reaction Networks Preserving
                  Deterministic Semantics},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {133--144},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_12},
  doi          = {10.1007/978-3-319-23401-4\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MadelaineLN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MadsenSZ15,
  author       = {Curtis Madsen and
                  Fedor Shmarov and
                  Paolo Zuliani},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of
                  Biological Models},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {182--194},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_16},
  doi          = {10.1007/978-3-319-23401-4\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MadsenSZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NiehrenJVCJ15,
  author       = {Joachim Niehren and
                  Mathias John and
                  Cristian Versari and
                  Fran{\c{c}}ois Coutte and
                  Philippe Jacques},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Qualitative Reasoning for Reaction Networks with Partial Kinetic Information},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_14},
  doi          = {10.1007/978-3-319-23401-4\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/NiehrenJVCJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NigamDKMT15,
  author       = {Vivek Nigam and
                  Robin Donaldson and
                  Merrill Knapp and
                  Tim McCarthy and
                  Carolyn L. Talcott},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Inferring Executable Models from Formalized Experimental Evidence},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {90--103},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_9},
  doi          = {10.1007/978-3-319-23401-4\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/NigamDKMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/OstrowskiPSSG15,
  author       = {Max Ostrowski and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Torsten Schaub and
                  Anne Siegel and
                  Carito Guziolowski},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Boolean Network Identification from Multiplex Time Series Data},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_15},
  doi          = {10.1007/978-3-319-23401-4\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/OstrowskiPSSG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RadulescuSNG015,
  author       = {Ovidiu Radulescu and
                  Satya Swarup Samal and
                  Aur{\'{e}}lien Naldi and
                  Dima Grigoriev and
                  Andreas Weber},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Symbolic Dynamics of Biochemical Pathways as Finite States Machines},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {104--120},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_10},
  doi          = {10.1007/978-3-319-23401-4\_10},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/RadulescuSNG015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RozanskiBRK15,
  author       = {Robert Rozanski and
                  Stefano Bragaglia and
                  Oliver Ray and
                  Ross D. King},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Automating the Development of Metabolic Network Models},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_13},
  doi          = {10.1007/978-3-319-23401-4\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/RozanskiBRK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/StreckTS15,
  author       = {Adam Streck and
                  Kirsten Thobe and
                  Heike Siebert},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Analysing Cell Line Specific {EGFR} Signalling via Optimized Automata
                  Based Model Checking},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {264--276},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_22},
  doi          = {10.1007/978-3-319-23401-4\_22},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/StreckTS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TraynardFS15,
  author       = {Pauline Traynard and
                  Fran{\c{c}}ois Fages and
                  Sylvain Soliman},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Model-Based Investigation of the Effect of the Cell Cycle on the Circadian
                  Clock Through Transcription Inhibition During Mitosis},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {208--221},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_18},
  doi          = {10.1007/978-3-319-23401-4\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/TraynardFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Trejo-BanosMS15,
  author       = {Daniel Trejo{-}Ba{\~{n}}os and
                  Andrew J. Millar and
                  Guido Sanguinetti},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Experimental Design for Inference over the A. thaliana Circadian Clock
                  Network},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {28--39},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_4},
  doi          = {10.1007/978-3-319-23401-4\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/Trejo-BanosMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/WangZKGC15,
  author       = {Qinsi Wang and
                  Paolo Zuliani and
                  Soonho Kong and
                  Sicun Gao and
                  Edmund M. Clarke},
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {SReach: {A} Probabilistic Bounded Delta-Reachability Analyzer for
                  Stochastic Hybrid Systems},
  booktitle    = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  pages        = {15--27},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4\_3},
  doi          = {10.1007/978-3-319-23401-4\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/WangZKGC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2015,
  editor       = {Olivier F. Roux and
                  J{\'{e}}r{\'{e}}mie Bourdon},
  title        = {Computational Methods in Systems Biology - 13th International Conference,
                  {CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9308},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23401-4},
  doi          = {10.1007/978-3-319-23401-4},
  isbn         = {978-3-319-23400-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics