The following pages link to Hidde de Jong (Q253514):
Displayed 23 items.
- Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis} (Q253519) (← links)
- Qualitative simulation of genetic regulatory networks using piecewise-linear models (Q253520) (← links)
- Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in \textit{Escherichia coli} (Q285158) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- The computer revolution in science: steps towards the realization of computer-supported discovery environments (Q1392254) (← links)
- Comparative envisionment construction: A technique for the comparative analysis of dynamical systems (Q1606320) (← links)
- Optimal control of bacterial growth for the maximization of metabolite production (Q1731945) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- Computer-supported resolution of measurement conflicts: A case-study in materials science (Q1976064) (← links)
- On the identifiability of metabolic network models (Q2435076) (← links)
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions (Q2440681) (← links)
- Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems (Q2448782) (← links)
- Experiment selection for the discrimination of semi-quantitative models of dynamical systems (Q2457637) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- (Q4413207) (← links)
- (Q4417996) (← links)
- (Q4657064) (← links)
- Dynamical Analysis and Optimization of a Generalized Resource Allocation Model of Microbial Growth (Q5024516) (← links)
- The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks (Q5282348) (← links)
- Model Checking Software (Q5308374) (← links)
- (Q5482615) (← links)
- Hybrid Systems: Computation and Control (Q5703966) (← links)
- Hybrid Systems: Computation and Control (Q5898978) (← links)