Search dblp for Publications

export results for "toc:db/conf/dagstuhl/P9091.bht:"

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/2009P9091,
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/portals/09091/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2009P9091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09,
  author       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {09091 Abstracts Collection - Formal Methods in Molecular Biology},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1997/},
  timestamp    = {Thu, 10 Jun 2021 13:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BreitlingGHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BreitlingGHP09a,
  author       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {09091 Executive Summary - Formal Methods in Molecular Biology},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1996/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BreitlingGHP09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/CiocchettaDHH09,
  author       = {Federica Ciocchetta and
                  Andrea Degasperi and
                  John K. Heath and
                  Jane Hillston},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Modelling and analysis of the NF-{\textdollar}kappa{\textdollar}B
                  pathway in Bio-PEPA},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1991/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/CiocchettaDHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Csikasz-NagyFLL09,
  author       = {Attila Csik{\'{a}}sz{-}Nagy and
                  Adrien Faur{\'{e}} and
                  Roberto Larcher and
                  Paola Lecca and
                  Ivan Mura and
                  Ferenc Jord{\'{a}}n and
                  Alida Palmisano and
                  Alessandro Romanel and
                  Sean Sedwards and
                  Heike Siebert and
                  Sylvain Soliman and
                  Denis Thieffry and
                  Judit Z{\'{a}}mborszky and
                  Tommaso Mazza and
                  Paolo Ballarini},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Analyzing various models of Circadian Clock and Cell Cycle coupling},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1994/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Csikasz-NagyFLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GilbertBH09,
  author       = {David Roger Gilbert and
                  Rainer Breitling and
                  Monika Heiner},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {BioModel Engineering: Its role in Systems Biology and Synthetic Biology},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1992/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GilbertBH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KuttlerLN09,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Mirabelle Nebut},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Rule-based Modeling of Transcriptional Attenuation at the Tryptophan
                  Operon},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1993/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KuttlerLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Siebert09,
  author       = {Heike Siebert},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Symbolic Steady States and Dynamically Essential Subnetworks of Discrete
                  Regulatory Networks},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1995/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Siebert09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Versari09,
  author       = {Cristian Versari},
  editor       = {Rainer Breitling and
                  David Roger Gilbert and
                  Monika Heiner and
                  Corrado Priami},
  title        = {Stochastic modelling of cellular growth and division by means of the
                  pi@ calculus},
  booktitle    = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09091},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1990/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Versari09.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.