Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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-25 00:54 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:
