Search dblp for Publications

export results for "toc:db/conf/fbtc/fbtc2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/fbtc/2008,
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/1},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbtc/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BallariniMM09,
  author       = {Paolo Ballarini and
                  Radu Mardare and
                  Ivan Mura},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Analysing Biochemical Oscillation through Probabilistic Model Checking},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.002},
  doi          = {10.1016/J.ENTCS.2009.02.002},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BallariniMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BarbutiMMP09,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Giovanni Pardini},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Spatial Calculus of Looping Sequences},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {21--39},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.003},
  doi          = {10.1016/J.ENTCS.2009.02.003},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarbutiMMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BartocciCMT09,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Model Checking Biological Oscillators},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {41--58},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.004},
  doi          = {10.1016/J.ENTCS.2009.02.004},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartocciCMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BenkiraneHMNS09,
  author       = {Soufiene Benkirane and
                  Jane Hillston and
                  Chris McCaig and
                  Rachel Norman and
                  Carron Shankland},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Improved Continuous Approximation of {PEPA} Models through Epidemiological
                  Examples},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {59--74},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.005},
  doi          = {10.1016/J.ENTCS.2009.02.005},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BenkiraneHMNS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BortolussiP09,
  author       = {Luca Bortolussi and
                  Alberto Policriti},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {The Importance of Being {(A} Little Bit) Discrete},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {75--92},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.006},
  doi          = {10.1016/J.ENTCS.2009.02.006},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BortolussiP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CampagnaP09,
  author       = {Dario Campagna and
                  Carla Piazza},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Hybrid Automata in Systems Biology: How Far Can We Go?},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {93--108},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.007},
  doi          = {10.1016/J.ENTCS.2009.02.007},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CampagnaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CannataMU09,
  author       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.001},
  doi          = {10.1016/J.ENTCS.2009.02.001},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CannataMU09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CappelloQ09,
  author       = {Igor Cappello and
                  Paola Quaglia},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {A Translation of Beta-binders in a Prioritized Pi-calculus},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {109--125},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.008},
  doi          = {10.1016/J.ENTCS.2009.02.008},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CappelloQ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CardelliCGKP09,
  author       = {Luca Cardelli and
                  Emmanuelle Caron and
                  Philippa Gardner and
                  Ozan Kahramanogullari and
                  Andrew Phillips},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {A Process Model of Actin Polymerisation},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {127--144},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.009},
  doi          = {10.1016/J.ENTCS.2009.02.009},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CardelliCGKP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CiocchettaDHC09,
  author       = {Federica Ciocchetta and
                  Andrea Degasperi and
                  Jane Hillston and
                  Muffy Calder},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Some Investigations Concerning the {CTMC} and the {ODE} Model Derived
                  From Bio-PEPA},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {145--163},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.010},
  doi          = {10.1016/J.ENTCS.2009.02.010},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiocchettaDHC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ColettaGL09,
  author       = {Alessio Coletta and
                  Roberta Gori and
                  Francesca Levi},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Approximating Probabilistic Behaviors of Biological Systems Using
                  Abstract Interpretation},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {165--182},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.011},
  doi          = {10.1016/J.ENTCS.2009.02.011},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ColettaGL09.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.