default search action
Search dblp for Publications
export results for "stream:streams/conf/sasb:"
@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/2016, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, publisher = {Elsevier}, year = {2020}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/335/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasb/2016.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} }
@inproceedings{DBLP:journals/entcs/BianeDM18, author = {C{\'{e}}lia Biane and Franck Delaplace and Tarek Melliti}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Abductive Network Action Inference for Targeted Therapy Discovery}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {3--25}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.006}, doi = {10.1016/J.ENTCS.2018.03.006}, timestamp = {Thu, 10 Nov 2022 16:13:45 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BianeDM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FeretL18, author = {J{\'{e}}r{\^{o}}me Feret and Kim Quy{\^{e}}n L{\'{y}}}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Reachability Analysis via Orthogonal Sets of Patterns}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {27--48}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.007}, doi = {10.1016/J.ENTCS.2018.03.007}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/FeretL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Honorato-Zimmer18, author = {Ricardo Honorato{-}Zimmer and Andrew J. Millar and Gordon D. Plotkin and Argyris Zardilis}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Chromar, a Rule-based Language of Parameterised Objects}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {49--66}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.008}, doi = {10.1016/J.ENTCS.2018.03.008}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Honorato-Zimmer18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KolcakSHP18, author = {Juraj Kolc{\'{a}}k and David Safr{\'{a}}nek and Stefan Haar and Lo{\"{\i}}c Paulev{\'{e}}}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Unfolding of Parametric Boolean Networks}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {67--90}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.009}, doi = {10.1016/J.ENTCS.2018.03.009}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/KolcakSHP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SanguinettiS18, author = {Guido Sanguinetti and David Safr{\'{a}}nek}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Preface}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {1--2}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.005}, doi = {10.1016/J.ENTCS.2018.03.005}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/SanguinettiS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/TerradotBWD18, author = {Guillaume Terradot and Andreea Beica and Andrea Y. Wei{\ss}e and Vincent Danos}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {91--112}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.010}, doi = {10.1016/J.ENTCS.2018.03.010}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/TerradotBWD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/VarelaLMCM18, author = {Pedro L. Varela and In{\^{e}}s Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro}, editor = {Guido Sanguinetti and David Safr{\'{a}}nek}, title = {Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids}, booktitle = {Proceedings of {SASB} 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {335}, pages = {113--130}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.011}, doi = {10.1016/J.ENTCS.2018.03.011}, timestamp = {Tue, 17 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/VarelaLMCM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@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} }
@inproceedings{DBLP:journals/entcs/AmarP15, author = {Patrick Amar and Lo{\"{\i}}c Paulev{\'{e}}}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {{HSIM:} {A} Hybrid Stochastic Simulation System for Systems Biology}, booktitle = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, pages = {3--21}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2015.04.016}, doi = {10.1016/J.ENTCS.2015.04.016}, timestamp = {Thu, 10 Nov 2022 14:39:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AmarP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DanosHJS15, author = {Vincent Danos and Ricardo Honorato{-}Zimmer and Sebasti{\'{a}}n Jaramillo{-}Riveri and Sandro Stucki}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Rigid Geometric Constraints for Kappa Models}, booktitle = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, pages = {23--46}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2015.04.017}, doi = {10.1016/J.ENTCS.2015.04.017}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DanosHJS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DanosHJS15a, author = {Vincent Danos and Ricardo Honorato{-}Zimmer and Sebasti{\'{a}}n Jaramillo{-}Riveri and Sandro Stucki}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Coarse-graining the Dynamics of Ideal Branched Polymers}, booktitle = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, pages = {47--64}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2015.04.018}, doi = {10.1016/J.ENTCS.2015.04.018}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DanosHJS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FeretL15, author = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Preface}, booktitle = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, pages = {1--2}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2015.04.015}, doi = {10.1016/J.ENTCS.2015.04.015}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FeretL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Hamano15, author = {Masahiro Hamano}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Sustainability of RNA-interference in Rule Based Modelling}, booktitle = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, pages = {65--77}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.entcs.2015.04.019}, doi = {10.1016/J.ENTCS.2015.04.019}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Hamano15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sasb/2011, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, publisher = {Elsevier}, year = {2012}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/284/suppl/C}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasb/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sasb/2012, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {3rd International Workshop on Static Analysis and Systems Biology, {SASB} 2012, Deauville, France, September 10, 2012}, series = {Electronic Notes in Theoretical Computer Science}, volume = {313}, publisher = {Elsevier}, year = {2012}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/313/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasb/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BodeiBC12, author = {Chiara Bodei and Linda Brodo and Davide Chiarugi}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Control Flow Analysis of Generalised Boolean Networks}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {3--22}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.012}, doi = {10.1016/J.ENTCS.2012.05.012}, timestamp = {Fri, 25 Nov 2022 14:17:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BodeiBC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ButiDCBMT12, author = {Federico Buti and Massimo Callisto De Donato and Flavio Corradini and Maria Rita Di Berardini and Emanuela Merelli and Luca Tesei}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Towards Abstraction-Based Verification of Shape Calculus}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {23--34}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.013}, doi = {10.1016/J.ENTCS.2012.05.013}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/ButiDCBMT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CzeizlerCIP12, author = {Elena Czeizler and Eugen Czeizler and Bogdan Iancu and Ion Petre}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {35--53}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.014}, doi = {10.1016/J.ENTCS.2012.05.014}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CzeizlerCIP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DamgaardHK12, author = {Troels Christoffer Damgaard and Espen H{\o}jsgaard and Jean Krivine}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Formal Cellular Machinery}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {55--74}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.015}, doi = {10.1016/J.ENTCS.2012.05.015}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DamgaardHK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FeretL12, author = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Preface}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {1--2}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.011}, doi = {10.1016/J.ENTCS.2012.05.011}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FeretL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NoelGVR12, author = {Vincent Noel and Dima Grigoriev and Sergei Vakulenko and Ovidiu Radulescu}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {75--91}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.016}, doi = {10.1016/J.ENTCS.2012.05.016}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NoelGVR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PauleveR12, author = {Lo{\"{\i}}c Paulev{\'{e}} and Adrien Richard}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Static Analysis of Boolean Networks Based on Interaction Graphs: {A} Survey}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {93--104}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.017}, doi = {10.1016/J.ENTCS.2012.05.017}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PauleveR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PetrovGK12, author = {Tatjana Petrov and Arnab Ganguly and Heinz Koeppl}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Model Decomposition and Stochastic Fragments}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {105--124}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.018}, doi = {10.1016/J.ENTCS.2012.05.018}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PetrovGK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Thompson-WalshHW12, author = {Christopher D. Thompson{-}Walsh and Jonathan Hayman and Glynn Winskel}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Containment in Rule-Based Models}, booktitle = {Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {284}, pages = {125--137}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2012.05.019}, doi = {10.1016/J.ENTCS.2012.05.019}, timestamp = {Fri, 25 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Thompson-WalshHW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sasb/2010, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, {SASB} 2010, Perpignan, France, September 13, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {272}, publisher = {Elsevier}, year = {2011}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/272/suppl/C}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sasb/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FeretL11, author = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Preface}, booktitle = {Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, {SASB} 2010, Perpignan, France, September 13, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {272}, pages = {1--2}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2011.04.001}, doi = {10.1016/J.ENTCS.2011.04.001}, timestamp = {Fri, 10 Mar 2023 14:40:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FeretL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KoepplP11, author = {Heinz Koeppl and Tatjana Petrov}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Stochastic Semantics of Signaling as a Composition of Agent-view Automata}, booktitle = {Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, {SASB} 2010, Perpignan, France, September 13, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {272}, pages = {3--17}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2011.04.002}, doi = {10.1016/J.ENTCS.2011.04.002}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KoepplP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KreyssigD11, author = {Peter Kreyssig and Peter Dittrich}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Fragments and Chemical Organisations}, booktitle = {Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, {SASB} 2010, Perpignan, France, September 13, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {272}, pages = {19--41}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2011.04.003}, doi = {10.1016/J.ENTCS.2011.04.003}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KreyssigD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PauleveMR11, author = {Lo{\"{\i}}c Paulev{\'{e}} and Morgan Magnin and Olivier F. Roux}, editor = {J{\'{e}}r{\^{o}}me Feret and Andre Levchenko}, title = {Abstract Interpretation of Dynamics of Biological Regulatory Networks}, booktitle = {Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, {SASB} 2010, Perpignan, France, September 13, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {272}, pages = {43--56}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2011.04.004}, doi = {10.1016/J.ENTCS.2011.04.004}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PauleveMR11.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.