Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Trans. Comp. Sys. Biology

• Publication date

  Unknown publication date

• Fields of study

  Biology, Computer Science

• Identifiers
  DOI 10.1007/11905455_2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Positive Autoregulation of cI Is a Dispensable Feature of the Phage λ Gene Regulatory Circuitry

  2005cited by this paper
• Revisited gene regulation in bacteriophage λ

  2005cited by this paper
• What Makes Ribosome-Mediated Transcriptional Attenuation Sensitive to Amino Acid Limitation?

  2005cited by this paper
• Switches in bacteriophage lambda development.

  2005cited by this paper
• DNA looping in gene regulation: from the assembly of macromolecular complexes to the control of transcriptional noise.

  2005cited by this paper
• Physics in molecular biology

  2005cited by this paper
• Transcriptional activation mechanisms of the PRM promoter of lambda phage.

  2005cited by this paper
• Oncogenes and cell proliferation: The genetics and biology of cancer — revealing avenues for therapy

  2005cited by this paper
• On the role of Cro in λ prophage induction

  2005cited by this paper
• Kinetics of protein-DNA interaction: facilitated target location in sequence-dependent potential.

  2004cited by this paper
• Cooperativity in long-range gene regulation by the λ CI repressor

  2004cited by this paper
• Modelling in Molecular Biology

  2004cited by this paper
• A Genetic Switch, Phage Lambda Revisited

  2004influential reference
• A Correct Abstract Machine for the Stochastic Pi-calculus

  2004cited by this paper
• Translation initiation with 70S ribosomes: an alternative pathway for leaderless mRNAs.

  2004cited by this paper
• Cooperativity in long-range gene regulation by the lambda CI repressor.

  2004cited by this paper
• The π-calculus as an Abstraction for Biomolecular Systems

  2004cited by this paper
• The role of dimerization in noise reduction of simple genetic networks.

  2003cited by this paper
• Cells as Computation

  2003influential reference
• Single-cell Analysis of ? Immunity Regulation

  2003cited by this paper
• Cellular abstractions: Cells as computation

  2002cited by this paper
• Genes and Signals

  2001influential reference
• Computational modeling of genetic and biochemical networks

  2001cited by this paper
• Computational studies of gene regulatory networks: in numero molecular biology

  2001cited by this paper
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes

  2001influential reference
• The Effect of Transcription and Translation Initiation Frequencies on the Stochastic Fluctuations in Prokaryotic Gene Expression*

  2001cited by this paper
• A new approach to decoding life: systems biology.

  2001cited by this paper
• Octamerization of lambda CI repressor is needed for effective repression of P(RM) and efficient switching from lysogeny.

  2001influential reference
• Stability puzzles in phage lambda.

  2000cited by this paper
• Communicating and Mobile Systems: the π-calculus,

  2000cited by this paper
• Transcription Regulation in Prokaryotes

  2000influential reference
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• Four dimers of λ repressor bound to two suitably spaced pairs of λ operators form octamers and DNA loops over large distances

  1999cited by this paper
• Four dimers of lambda repressor bound to two suitably spaced pairs of lambda operators form octamers and DNA loops over large distances.

  1999cited by this paper
• Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli cells.

  1998cited by this paper
• Changing the mechanism of transcriptional activation by phage λ repressor

  1997influential reference
• Quantitative model for gene regulation by ? phage repressor

  1997influential reference
• A compositional approach to performance modelling

  1996cited by this paper
• A Calculus of Mobile Processes, II

  1992cited by this paper
• Translation of the prophage λ cl transcript

  1992cited by this paper
• Site-specific enthalpic regulation of DNA transcription at bacteriophage lambda OR.

  1992cited by this paper
• Molecular Cell Biology

  1986cited by this paper
• Mechanism and control of transcription initiation in prokaryotes.

  1985cited by this paper
• The OR control system of bacteriophage lambda. A physical-chemical model for gene regulation.

  1985influential reference
• Functional and physical characterization of transcription initiation complexes in the bacteriophage lambda OR region.

  1985cited by this paper
• The effect of a lambda repressor mutation on the activation of transcription initiation from the lambda PRM promoter.

  1983cited by this paper
• Quantitative model for gene regulation by lambda phage repressor.

  1982cited by this paper
• Diffusion-driven mechanisms of protein translocation on nucleic acids. 1. Models and theory.

  1981cited by this paper
• λ Repressor and cro—components of an efficient molecular switch

  1981cited by this paper
• Gene regulation at the right operator (OR) of bacteriophage λ: III. λ Repressor directly activates gene transcription

  1980cited by this paper
• Gene regulation at the right operator (OR) bacteriophage lambda. I. OR3 and autogenous negative control by repressor.

  1980cited by this paper
• A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions

  1976cited by this paper

• transactions for quantitative models. (English)

  2022cites this paper
• Modelling Patterns of Gene Regulation in the bond-calculus

  2020cites this paper
• Local reversibility and the Calculus of Covalent Bonding

  2019cites this paper
• The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems

  2019cites this paper
• The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

  2018cites this paper
• Accurate Chemical Master Equation Solution Using Multi-Finite Buffers

  2016cites this paper
• Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics)

  2016cites this paper
• State Space Truncation with Quantified Errors for Accurate Solutions to Discrete Chemical Master Equation

  2016cites this paper
• General patterns of interaction in stochastic fusion

  2013cites this paper
• Toward Accessible Multilevel Modeling in Systems Biology: A Rule-based Language Concept

  2013cites this paper
• A compositional approach for modeling and simulation of bio-molecular systems

  2012cites this paper
• Reaction constraints for the pi-calculus: a language for the stochastic and spatial modeling of cell-biological processes

  2011cites this paper
• Tuning Temporal Features within the Stochastic π-Calculus

  2011cites this paper
• Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework

  2011cites this paper
• Optimizing the Execution of Biological Models

  2011cites this paper
• Theoretical basis of the community effect in development

  2011cites this paper
• Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models

  2010cites this paper
• The Attributed Pi-Calculus with Priorities

  2010cites this paper
• Dynamic Biological Modelling: a language-based approach

  2010cites this paper
• Probability landscape of heritable and robust epigenetic state of lysogeny in phage lambda

  2010cites this paper
• Modelling and Inference Strategies for Biological Systems

  2010cites this paper
• Structural and fluid analysis for large scale PEPA models - with applications to content adaptation systems

  2010cites this paper
• Spatial extension of stochastic Pi calculus

  2009cites this paper
• Technical Report CoSBi 10 / 2007 Computational Thinking in Biology

  2009cites this paper
• CoSBi 02 / 2006 The π-calculus with biological transactions

  2009cites this paper
• Process Calculi Abstractions for Biology

  2009cites this paper
• Spatial extension of stochastic π calculus

  2009cites this paper
• Integrating diverse reaction types into stochastic models — A signaling pathway case study in the Imperative π-Calculus

  2009cites this paper
• Rule-based programming for integrative biological modeling

  2009cites this paper
• Modeling of Genetic Regulatory Network in Stochastic pi-Calculus

  2009cites this paper
• Bio-PEPA: A framework for the modelling and analysis of biological systems

  2009cites this paper
• Qualitative modelling and analysis of gene regulatory networks: application to the adaptation of Escherichia coli bacterium to carbon availability

  2009cites this paper
• Extending the Bio-PEPA workbench into a modelling platform

  2009cites this paper
• Derivation of Process Algebraic Models of Biochemical Systems

  2009cites this paper
• Formalization of malware through process calculi

  2009cites this paper
• The Attributed Pi Calculus

  2008influential citation
• Application to the modeling of the k phage genetic switch

  2008cites this paper
• From Gene Regulation to Stochastic Fusion

  2008influential citation
• UvA-DARE ( Digital Academic Repository ) Towards design space exploration for biological systems

  2008cites this paper
• Towards Design Space Exploration for Biological Systems

  2008cites this paper
• Theoretical advances in artificial immune systems

  2008cites this paper
• Hierarchical Modeling for Computational Biology

  2008cites this paper
• An Executable Biology Methodology for Systems and Synthetic Biology

  2008cites this paper
• Preprint manuscript No. (will be inserted by the editor) “Genes”

  2008cites this paper
• Process Algebras in Systems Biology

  2008cites this paper
• An Automatic Translation of SBML into Beta-Binders

  2008cites this paper
• Stochastic probability landscape model for switching efficiency, robustness, and differential threshold for induction of genetic circuit in phage λ

  2008cites this paper
• Performance evaluation comes to life: quantitative methods applied to biological systems

  2008cites this paper
• “Genes”

  2008cites this paper
• Simulating a faulty mechanism of protein folding in the pathogenesis of familial Parkinson's disease

  2007cites this paper
• A Stochastic Pi Calculus for Concurrent Objects

  2007cites this paper
• Language Based Techniques for Systems Biology

  2007cites this paper
• Modélisation et simulation des processus biologiques dans le À-calcul

  2007cites this paper
• Simulating the cellular passive transport of glucose using a time-dependent extension of Gillespie algorithm for stochastic pi-calculus

  2007cites this paper
• Computational Thinking in Biology

  2007cites this paper
• Artificial immune systems—today and tomorrow

  2007cites this paper
• Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents

  2007cites this paper
• Biological Transactions for Quantitative Models

  2007cites this paper
• A Model in kappa for DNA Addition

  2007cites this paper
• Interaction Models for Biochemical Reactions

  2007cites this paper
• Rewriting and Simulation Application to the Modeling of the Lambda Phage Switch

  2007cites this paper
• Quantitative analysis of biochemical signalling pathways

  2007cites this paper
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

  2007cites this paper
• Incremental and unifying modelling formalism for biological interaction networks

  2007cites this paper
• From MIN model to ordinary differential equations

  2007cites this paper
• Biomolecular Agents as Multi-behavioural Concurrent Objects

  2006cites this paper
• Simulating Bacterial Transcription and Translation in a Stochastic pi Calculus

  2006cites this paper
• Translating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation

  2006cites this paper
• A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems

  2006cites this paper
• Beta-binders with Biological Transactions

  2006cites this paper
• A Model in κ for DNA Addition

  2006cites this paper
• A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus

  2006cites this paper
• Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus

  2006cites this paper
• Réification des interactions pour l'expérience in virtuo de systèmes biologiques multi-modèles. (Interactions reification to experience biological multi-models systems in virtuo)

  2006cites this paper
• Beta-binders for Biological Quantitative Experiments

  2006cites this paper
• A Model infor DNA Addition

  2006cites this paper
• Translation of systems biology markup language into process algebra

  2006cites this paper
• Abstract Machines of Systems Biology (Extended Abstract)

  2005cites this paper
• Otto Warburg International Summer School and Workshop on Networks and Regulation Otto Warburg International Summer School and Workshop on Networks and Regulation

  2005influential citation
• A stochastic non-deterministic temporal concurrent constraint calculus

  2005cites this paper
• Abstract Machines of Systems Biology (Extended Abstract)

  2005cites this paper
• A Compositional Approach to the Stochastic Dynamics of Gene Networks

  2005cites this paper
• Abstract Machines of Systems Biology

  2005cites this paper
• Challenges for Artificial Immune Systems

  2005cites this paper
• Modelling Coordination in Biological Systems

  2004cites this paper
• Using Stochastic NTCC to Model Biological Systems

  year unknowninfluential citation
• Author's Personal Copy Theoretical Computer Science Relating Continuous and Discrete Pepa Models of Signalling Pathways

  year unknowncites this paper
• Project-Team MOSTRARE Modeling Tree Structures, Machine Learning, and Information Extraction

  year unknowncites this paper