Search Results

Documents authored by Siebert, Heike

Document
DOI: 10.4230/DagSemProc.09091.3
Analyzing various models of Circadian Clock and Cell Cycle coupling

Authors: Attila Csikász-Nagy, Adrien Faure, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordan, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, and Paolo Ballarini

Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)

Abstract
The daily rhythm can influence the proliferation rate of many cell types. In the mammalian system the transcription of the cell cycle regulatory protein Wee1 is controlled by the circadian clock. Zamborszky et al. (2007) present a computational model coupling the cell cycle and circadian rhythm, showing that this coupling can lead to multimodal cell cycle time distributions. Biological data points to additional couplings, including a link back from the cell cycle to the circadian clock. Proper modelling of this coupling requires a more detailed description of both parts of the model. Hence, we aim at further extending and analysing earlier models using a combination of modelling techniques and computer software, including CoSBI lab, BIOCHAM, and GINsim.
Cite as

Attila Csikász-Nagy, Adrien Faure, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordan, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, and Paolo Ballarini. Analyzing various models of Circadian Clock and Cell Cycle coupling. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{csikasznagy_et_al:DagSemProc.09091.3,
  author =	{Csik\'{a}sz-Nagy, Attila and Faure, Adrien and Larcher, Roberto and Lecca, Paola and Mura, Ivan and Jordan, Ferenc and Palmisano, Alida and Romanel, Alessandro and Sedwards, Sean and Siebert, Heike and Soliman, Sylvain and Thieffry, Denis and Z\'{a}mborszky, Judit and Mazza, Tommaso and Ballarini, Paolo},
  title =	{{Analyzing various models of Circadian Clock and Cell Cycle coupling}},
  booktitle =	{Formal Methods in Molecular Biology},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9091},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.3},
  URN =		{urn:nbn:de:0030-drops-19944},
  doi =		{10.4230/DagSemProc.09091.3},
  annote =	{Keywords: Cell cycle, circadian clock, computational modelling}
}
Document
DOI: 10.4230/DagSemProc.09091.8
Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks

Authors: Heike Siebert

Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)

Abstract
Analyzing complex networks is a difficult task, regardless of the chosen modeling framework. For a discrete regulatory network, even if the number of components is in some sense manageable, we have to deal with the problem of analyzing the dynamics in an exponentially large state space. A well known idea to approach this difficulty is to identify smaller building blocks of the system the study of which in isolation still renders information on the dynamics of the whole network. In this talk, we introduce the notion of symbolic steady state which allows us to identify such building blocks. We state explicit rules how to derive attractors of the network from subnetwork attractors valid for synchronous as well as asynchronous dynamics. Illustrating those rules, we derive general conditions for circuits embedded in the network to transfer their behavioral characteristics pertaining number and size of attractors observed in isolation to the complex network.
Cite as

Heike Siebert. Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{siebert:DagSemProc.09091.8,
  author =	{Siebert, Heike},
  title =	{{Symbolic Steady  States and Dynamically Essential Subnetworks of Discrete Regulatory Networks}},
  booktitle =	{Formal Methods in Molecular Biology},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9091},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.8},
  URN =		{urn:nbn:de:0030-drops-19957},
  doi =		{10.4230/DagSemProc.09091.8},
  annote =	{Keywords: Discrete networks, logical analysis, symbolic steady states}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact