Search dblp for Publications

export results for "toc:db/conf/sasb/sasb2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sasb/BeicaFP20,
  author       = {Andreea Beica and
                  J{\'{e}}r{\^{o}}me Feret and
                  Tatjana Petrov},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Tropical Abstraction of Biochemical Reaction Networks with Guarantees},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {3--32},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.002},
  doi          = {10.1016/J.ENTCS.2020.06.002},
  timestamp    = {Thu, 10 Nov 2022 16:13:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/BeicaFP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/BoutillierPF20,
  author       = {Pierre Boutillier and
                  Aur{\'{e}}lie Faure de Pebeyre and
                  J{\'{e}}r{\^{o}}me Feret},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Proving the Absence of Unbounded Polymers in Rule-based Models},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {33--56},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.003},
  doi          = {10.1016/J.ENTCS.2020.06.003},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/BoutillierPF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/ChaiRMRI20,
  author       = {Xinwei Chai and
                  Tony Ribeiro and
                  Morgan Magnin and
                  Olivier F. Roux and
                  Katsumi Inoue},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Static Analysis and Stochastic Search for Reachability Problem},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {139--158},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.008},
  doi          = {10.1016/J.ENTCS.2020.06.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/ChaiRMRI20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/GuptaP20,
  author       = {Ankit Gupta and
                  Tatjana Petrov},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Preface},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.001},
  doi          = {10.1016/J.ENTCS.2020.06.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/GuptaP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/HajnalP20,
  author       = {Matej Hajnal and
                  Samuel Pastva},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Toward Model Selection by Formal Methods},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {57--71},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.004},
  doi          = {10.1016/J.ENTCS.2020.06.004},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/HajnalP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/Kaltenbach20,
  author       = {Hans{-}Michael Kaltenbach},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {A Unified View on Bipartite Species-reaction Graphs and Their Relation
                  to Interaction Graphs and Qualitative Dynamics of Chemical Reaction
                  Networks},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {73--90},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.005},
  doi          = {10.1016/J.ENTCS.2020.06.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/Kaltenbach20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/TrojakSBSC20,
  author       = {Matej Troj{\'{a}}k and
                  David Safr{\'{a}}nek and
                  Lubos Brim and
                  Jakub Salagovic and
                  Jan Cerven{\'{y}}},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Executable Biochemical Space for Specification and Analysis of Biochemical
                  Systems},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {91--116},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.006},
  doi          = {10.1016/J.ENTCS.2020.06.006},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/TrojakSBSC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/WrightS20,
  author       = {Thomas Wright and
                  Ian Stark},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Modelling Patterns of Gene Regulation in the bond-calculus},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {117--138},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.007},
  doi          = {10.1016/J.ENTCS.2020.06.007},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sasb/WrightS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sasb/2018,
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/350/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/2018.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.