Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cmsb/AdivarahanMMI13,
  author       = {Srivathsan Adivarahan and
                  Denis Menshykau and
                  Odyss{\'{e}} Michos and
                  Dagmar Iber},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Dynamic Image-Based Modelling of Kidney Branching Morphogenesis},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {106--119},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_9},
  doi          = {10.1007/978-3-642-40708-6\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/AdivarahanMMI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/BartocciBN13,
  author       = {Ezio Bartocci and
                  Luca Bortolussi and
                  Laura Nenzi},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {A Temporal Logic Approach to Modular Design of Synthetic Biological
                  Circuits},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {164--177},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_13},
  doi          = {10.1007/978-3-642-40708-6\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/BartocciBN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/BenteaOB13,
  author       = {Lucian Bentea and
                  Peter Csaba {\"{O}}lveczky and
                  Eduard Bentea},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Using Probabilistic Strategies to Formalize and Compare {\(\alpha\)}-Synuclein
                  Aggregation and Propagation under Different Scenarios},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {92--105},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_8},
  doi          = {10.1007/978-3-642-40708-6\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BenteaOB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/CamporesiFH13,
  author       = {Ferdinanda Camporesi and
                  J{\'{e}}r{\^{o}}me Feret and
                  Jonathan Hayman},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Context-Sensitive Flow Analyses: {A} Hierarchy of Model Reductions},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {220--233},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_17},
  doi          = {10.1007/978-3-642-40708-6\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/CamporesiFH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/ChancellorACMR13,
  author       = {Courtney Chancellor and
                  Amine Ammar and
                  Francisco Chinesta and
                  Morgan Magnin and
                  Olivier F. Roux},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Linking Discrete and Stochastic Models: The Chemical Master Equation
                  as a Bridge between Process Hitting and Proper Generalized Decomposition},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {50--63},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_5},
  doi          = {10.1007/978-3-642-40708-6\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/ChancellorACMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/ChiangFJS13,
  author       = {Hui{-}Ju Katherine Chiang and
                  Fran{\c{c}}ois Fages and
                  Jie{-}Hong R. Jiang and
                  Sylvain Soliman},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {On the Hybrid Composition and Simulation of Heterogeneous Biochemical
                  Models},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_15},
  doi          = {10.1007/978-3-642-40708-6\_15},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/ChiangFJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/DannenbergHK13,
  author       = {Frits Dannenberg and
                  Ernst Moritz Hahn and
                  Marta Z. Kwiatkowska},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Computing Cumulative Rewards Using Fast Adaptive Uniformisation},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_4},
  doi          = {10.1007/978-3-642-40708-6\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/DannenbergHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/FiorettoP13,
  author       = {Ferdinando Fioretto and
                  Enrico Pontelli},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Constraint Programming in Community-Based Gene Regulatory Network
                  Inference},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_11},
  doi          = {10.1007/978-3-642-40708-6\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FiorettoP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/GaborHSB13,
  author       = {Attila G{\'{a}}bor and
                  Katalin M. Hangos and
                  G{\'{a}}bor Szederk{\'{e}}nyi and
                  Julio R. Banga},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {On the Verification and Correction of Large-Scale Kinetic Models in
                  Systems Biology},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {206--219},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_16},
  doi          = {10.1007/978-3-642-40708-6\_16},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/GaborHSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/GeorgoulasHS13,
  author       = {Anastasis Georgoulas and
                  Jane Hillston and
                  Guido Sanguinetti},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {ABC-Fun: {A} Probabilistic Programming Language for Biology},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {150--163},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_12},
  doi          = {10.1007/978-3-642-40708-6\_12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/GeorgoulasHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/GoldsteinB13,
  author       = {Yaron A. B. Goldstein and
                  Alexander Bockmayr},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {A Lattice-Theoretic Framework for Metabolic Pathway Analysis},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {178--191},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_14},
  doi          = {10.1007/978-3-642-40708-6\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/GoldsteinB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/HelmsLSU13,
  author       = {Tobias Helms and
                  Martin Luboschik and
                  Heidrun Schumann and
                  Adelinde M. Uhrmacher},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {An Approximate Execution of Rule-Based Multi-level Models},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {19--32},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_3},
  doi          = {10.1007/978-3-642-40708-6\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HelmsLSU13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/KlannPPK13,
  author       = {Michael Klann and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Tatjana Petrov and
                  Heinz Koeppl},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {64--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_6},
  doi          = {10.1007/978-3-642-40708-6\_6},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/KlannPPK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/MikeevSW13,
  author       = {Linar Mikeev and
                  Werner Sandmann and
                  Verena Wolf},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Numerical Approximation of Rare Event Probabilities in Biochemically
                  Reacting Systems},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {5--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_2},
  doi          = {10.1007/978-3-642-40708-6\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/MikeevSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/PalaniappanG0HT13,
  author       = {Sucheendra K. Palaniappan and
                  Benjamin M. Gyori and
                  Bing Liu and
                  David Hsu and
                  P. S. Thiagarajan},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Statistical Model Checking Based Calibration and Analysis of Bio-pathway
                  Models},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {120--134},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_10},
  doi          = {10.1007/978-3-642-40708-6\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmsb/PalaniappanG0HT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/ParvuGHLS13,
  author       = {Ovidiu Parvu and
                  David R. Gilbert and
                  Monika Heiner and
                  Fei Liu and
                  Nigel J. Saunders},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Modelling and Analysis of Phase Variation in Bacterial Colony Growth},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {78--91},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_7},
  doi          = {10.1007/978-3-642-40708-6\_7},
  timestamp    = {Fri, 01 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/ParvuGHLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/RuessL13,
  author       = {Jakob Ruess and
                  John Lygeros},
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {On the Use of the Moment Equations for Parameter Inference, Control
                  and Experimental Design in Stochastic Biochemical Reaction Networks},
  booktitle    = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6\_1},
  doi          = {10.1007/978-3-642-40708-6\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/RuessL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmsb/2013,
  editor       = {Ashutosh Gupta and
                  Thomas A. Henzinger},
  title        = {Computational Methods in Systems Biology - 11th International Conference,
                  {CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8130},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40708-6},
  doi          = {10.1007/978-3-642-40708-6},
  isbn         = {978-3-642-40707-9},
  timestamp    = {Mon, 26 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.