Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/sasb/2015,
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/326/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlcoleiPS16,
  author       = {Aurore Alcolei and
                  K{\'{e}}vin Perrot and
                  Sylvain Sen{\'{e}}},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {On the Flora of Asynchronous Locally Non-monotonic Boolean Automata
                  Networks},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {3--25},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.016},
  doi          = {10.1016/J.ENTCS.2016.09.016},
  timestamp    = {Thu, 10 Nov 2022 13:41:16 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlcoleiPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DedSTKSB16,
  author       = {T. Ded and
                  David Safr{\'{a}}nek and
                  Matej Troj{\'{a}}k and
                  Matej Klement and
                  Jakub Salagovic and
                  Lubos Brim},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {Formal Biochemical Space with Semantics in Kappa and {BNGL}},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {27--49},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.017},
  doi          = {10.1016/J.ENTCS.2016.09.017},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DedSTKSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GratieG16,
  author       = {Diana{-}Elena Gratie and
                  Cristian Gratie},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {Composition Colored Petri Nets for the Refinement of Reaction-based
                  Models},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {51--72},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.018},
  doi          = {10.1016/J.ENTCS.2016.09.018},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GratieG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hamano16,
  author       = {Masahiro Hamano},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {Stochastic Transcription Elongation via Rule Based Modelling},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {73--88},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.019},
  doi          = {10.1016/J.ENTCS.2016.09.019},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hamano16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PauleveT16,
  author       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {Preface},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.015},
  doi          = {10.1016/J.ENTCS.2016.09.015},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PauleveT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}