Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs92.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1208-3848,
  author       = {Doug Bruce and
                  Pras Pathmanathan and
                  Jonathan P. Whiteley},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Modelling the effect of gap junctions on tissue-level cardiac electrophysiology},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {1--15},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.1},
  doi          = {10.4204/EPTCS.92.1},
  timestamp    = {Wed, 07 Dec 2022 23:00:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3848.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3849,
  author       = {Romain Testylier and
                  Thao Dang},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Analysis of parametric biological models with non-linear dynamics},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {16--29},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.2},
  doi          = {10.4204/EPTCS.92.2},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3849.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3850,
  author       = {Anastasis Georgoulas and
                  Allan Clark and
                  Andrea Ocone and
                  Stephen Gilmore and
                  Guido Sanguinetti},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {A subsystems approach for parameter estimation of {ODE} models of
                  hybrid systems},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {30--41},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.3},
  doi          = {10.4204/EPTCS.92.3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3850.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3851,
  author       = {Nicolas Mobilia and
                  Alexandre Donz{\'{e}} and
                  Jean Marc Moulis and
                  Eric Fanchon},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {A Model of the Cellular Iron Homeostasis Network Using Semi-Formal
                  Methods for Parameter Space Exploration},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {42--57},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.4},
  doi          = {10.4204/EPTCS.92.4},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3851.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3852,
  author       = {Alberto Casagrande and
                  Tommaso Dreossi and
                  Carla Piazza},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Hybrid Automata and {\(\epsilon\)}-Analysis on a Neural Oscillator},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {58--72},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.5},
  doi          = {10.4204/EPTCS.92.5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3852.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3853,
  author       = {Petr Dluhos and
                  Lubos Brim and
                  David Safr{\'{a}}nek},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {On Expressing and Monitoring Oscillatory Dynamics},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {73--87},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.6},
  doi          = {10.4204/EPTCS.92.6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3853.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3854,
  author       = {Vincent Noel and
                  Dima Grigoriev and
                  Sergei Vakulenko and
                  Ovidiu Radulescu},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Hybrid models of the cell cycle molecular machinery},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {88--105},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.7},
  doi          = {10.4204/EPTCS.92.7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3854.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3855,
  author       = {Giulio Caravagna and
                  Alex Graudenzi and
                  Marco Antoniotti and
                  Giancarlo Mauri and
                  Alberto d'Onofrio},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Effects of delayed immune-response in tumor immune-system interplay},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {106--121},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.8},
  doi          = {10.4204/EPTCS.92.8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3855.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3856,
  author       = {Alexandre David and
                  Dehui Du and
                  Kim G. Larsen and
                  Axel Legay and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen and
                  Sean Sedwards},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Statistical Model Checking for Stochastic Hybrid Systems},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {122--136},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.9},
  doi          = {10.4204/EPTCS.92.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3856.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3857,
  author       = {Loes Olde Loohuis and
                  Andreas Witzel and
                  Bud Mishra},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Towards Cancer Hybrid Automata},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {137--151},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.10},
  doi          = {10.4204/EPTCS.92.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3857.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-3858,
  author       = {Pietro Li{\`{o}} and
                  Emanuela Merelli and
                  Nicola Paoletti},
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Disease processes as hybrid dynamical systems},
  booktitle    = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  pages        = {152--166},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92.11},
  doi          = {10.4204/EPTCS.92.11},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3858.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1208-3151,
  editor       = {Ezio Bartocci and
                  Luca Bortolussi},
  title        = {Proceedings First International Workshop on Hybrid Systems and Biology,
                  {HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
  series       = {{EPTCS}},
  volume       = {92},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.92},
  doi          = {10.4204/EPTCS.92},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-3151.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.