Search dblp for Publications

export results for "toc:db/conf/hsb/hsb2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hsb/BeicaD16,
  author       = {Andreea Beica and
                  Vincent Danos},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Synchronous Balanced Analysis},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {85--94},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_6},
  doi          = {10.1007/978-3-319-47151-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/BeicaD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/BortolussiPS16,
  author       = {Luca Bortolussi and
                  Alberto Policriti and
                  Simone Silvetti},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Logic-Based Multi-objective Design of Chemical Reaction Networks},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {164--178},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_11},
  doi          = {10.1007/978-3-319-47151-8\_11},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hsb/BortolussiPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/Cinquemani16,
  author       = {Eugenio Cinquemani},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {On Observability and Reconstruction of Promoter Activity Statistics
                  from Reporter Protein Mean and Variance Profiles},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {147--163},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_10},
  doi          = {10.1007/978-3-319-47151-8\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/Cinquemani16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/HajnalSDPKB16,
  author       = {Matej Hajnal and
                  David Safr{\'{a}}nek and
                  Martin Demko and
                  Samuel Pastva and
                  Pavel Krejc{\'{\i}} and
                  Lubos Brim},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Toward Modelling and Analysis of Transient and Sustained Behaviour
                  of Signalling Pathways},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {57--66},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_4},
  doi          = {10.1007/978-3-319-47151-8\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/HajnalSDPKB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/HerajyH16,
  author       = {Mostafa Herajy and
                  Monika Heiner},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint
                  Deterministic and Stochastic Subnets},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {20--38},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_2},
  doi          = {10.1007/978-3-319-47151-8\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/HerajyH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/KongBBGHJS16,
  author       = {Hui Kong and
                  Ezio Bartocci and
                  Sergiy Bogomolov and
                  Radu Grosu and
                  Thomas A. Henzinger and
                  Yu Jiang and
                  Christian Schilling},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Discrete Abstraction of Multiaffine Systems},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {128--144},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_9},
  doi          = {10.1007/978-3-319-47151-8\_9},
  timestamp    = {Mon, 09 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/KongBBGHJS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/KrugerW16,
  author       = {Thilo Kr{\"{u}}ger and
                  Verena Wolf},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Hybrid Stochastic Simulation of Rule-Based Polymerization Models},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {39--53},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_3},
  doi          = {10.1007/978-3-319-47151-8\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/KrugerW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/MandonHP16,
  author       = {Hugues Mandon and
                  Stefan Haar and
                  Lo{\"{\i}}c Paulev{\'{e}}},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Relationship Between the Reprogramming Determinants of Boolean Networks
                  and Their Interaction Graph},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {113--127},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_8},
  doi          = {10.1007/978-3-319-47151-8\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/MandonHP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/MariaMGRG16,
  author       = {Elisabetta De Maria and
                  Alexandre Muzy and
                  Daniel Gaff{\'{e}} and
                  Annie Ressouche and
                  Franck Grammont},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Verification of Temporal Properties of Neuronal Archetypes Modeled
                  as Synchronous Reactive Systems},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {97--112},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_7},
  doi          = {10.1007/978-3-319-47151-8\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/MariaMGRG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/PalaniappanPBFG16,
  author       = {Sucheendra K. Palaniappan and
                  Matthieu Pichen{\'{e}} and
                  Gr{\'{e}}gory Batt and
                  Eric Fabre and
                  Blaise Genest},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {A Look-Ahead Simulation Algorithm for {DBN} Models of Biochemical
                  Pathways},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {3--19},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_1},
  doi          = {10.1007/978-3-319-47151-8\_1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hsb/PalaniappanPBFG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/RoccaDFM16,
  author       = {Alexandre Rocca and
                  Thao Dang and
                  Eric Fanchon and
                  Jean Marc Moulis},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Application of the Reachability Analysis for the Iron Homeostasis
                  Study},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  pages        = {67--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_5},
  doi          = {10.1007/978-3-319-47151-8\_5},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/RoccaDFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hsb/2016,
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9957},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8},
  doi          = {10.1007/978-3-319-47151-8},
  isbn         = {978-3-319-47150-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/2016.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.