Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/sasb:"
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/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 M. 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 = {Thu, 04 Aug 2022 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 = {Thu, 10 Nov 2022 00:00:00 +0100},
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 = {Fri, 25 Nov 2022 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-04-24 06:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
