


default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs316.bht:"
@proceedings{DBLP:conf/sasb/2014, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, publisher = {Elsevier}, year = {2015}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/316/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasb/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BiganSD15, author = {Erwan Bigan and Jean{-}Marc Steyaert and St{\'{e}}phane Douady}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {On Necessary and Sufficient Conditions for Proto-cell Stationary Growth}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {3--15}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.007}, doi = {10.1016/J.ENTCS.2015.06.007}, timestamp = {Thu, 10 Nov 2022 14:56:38 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BiganSD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BrimNS15, author = {Lubos Brim and Juraj Niznan and David Safr{\'{a}}nek}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {Compact Representation of Photosynthesis Dynamics by Rule-based Models}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {17--27}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.008}, doi = {10.1016/J.ENTCS.2015.06.008}, timestamp = {Wed, 11 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BrimNS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChiarugiFHO15, author = {Davide Chiarugi and Moreno Falaschi and Diana Hermith and Carlos Olarte}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {Verification of Spatial and Temporal Modalities in Biochemical Systems}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {29--44}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.009}, doi = {10.1016/J.ENTCS.2015.06.009}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/ChiarugiFHO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Feret15, author = {J{\'{e}}r{\^{o}}me Feret}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {45--65}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.010}, doi = {10.1016/J.ENTCS.2015.06.010}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Feret15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PauleveK15, author = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {Preface}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {1--2}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.006}, doi = {10.1016/J.ENTCS.2015.06.006}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PauleveK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PicardSB15, author = {Vincent Picard and Anne Siegel and J{\'{e}}r{\'{e}}mie Bourdon}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {67--82}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.011}, doi = {10.1016/J.ENTCS.2015.06.011}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PicardSB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Veliz-CubaAL15, author = {Alan Veliz{-}Cuba and Boris Aguilar and Reinhard C. Laubenbacher}, editor = {Lo{\"{\i}}c Paulev{\'{e}} and Heinz Koeppl}, title = {Dimension Reduction of Large Sparse {AND-NOT} Network Models}, booktitle = {5th International Workshop on Static Analysis and Systems Biology, {SASB} 2014, Munich, Germany, September 10, 2014}, series = {Electronic Notes in Theoretical Computer Science}, volume = {316}, pages = {83--95}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/j.entcs.2015.06.012}, doi = {10.1016/J.ENTCS.2015.06.012}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Veliz-CubaAL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

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.