Applying differential dynamic logic to reconfigurable biological networks-Reference-Cited by-同舟云学术

Applying differential dynamic logic to reconfigurable biological networks

Published:2017-09 Issue: Volume:291 Page:10-20
ISSN:0025-5564
Container-title:Mathematical Biosciences
language:en
Short-container-title:Mathematical Biosciences

Author:

Figueiredo Daniel,Martins Manuel A.,Chaves Madalena

Funder

European Regional Development Fund

Publisher

Elsevier BV

Subject

Applied Mathematics,General Agricultural and Biological Sciences,General Immunology and Microbiology,General Biochemistry, Genetics and Molecular Biology,Modelling and Simulation,General Medicine,Statistics and Probability

Reference28 articles.

1. Growth rate of Escherichia coli;Marr;Microbiol. Rev.,1991

2. Multistability in the lactose utilization network of Escherichia coli;Ozbudak;Nature,2004

3. Foundations and techniques for software recongurability;Madeira,2013

4. A method for rigorous design of reconfigurable systems;Madeira;Sci. Comput. Program.,2016

5. Relating bisimulations with attractors in boolean network models;Figueiredo,2016

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Closed-Form Solutions for Kermack–McKendrick Dynamical System;Symmetry;2024-07-11

2. idDL2DL – Interval Syntax to $$d\mathcal {L}$$;Theoretical Aspects of Software Engineering;2023

3. Introducing Interval Differential Dynamic Logic;Fundamentals of Software Engineering;2021

4. Introducing Synchrony in Fuzzy Automata;Electronic Notes in Theoretical Computer Science;2020-03

5. A Note on Reactive Transitions and Reo Connectors;Lecture Notes in Computer Science;2018