# Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data +
## 7 ASP Encoding
### Refinement According to the Semantics
(2003) [PERSON]; [PERSON]; [PERSON]; [PERSON] Identification of genetic networks by strategic gene disruptions and gene overexpressions under a Boolean model. _Theor. Comput. Sci._**2003**, _298_, 235-251. * [PERSON] and [PERSON] (2009) [PERSON]; [PERSON] [PERSON]; [PERSON] Inference of gene regulatory networks using time-series data: A survey. _Curr. Genom._**2009**, _10_, 416-429. * [PERSON] et al. (2013) [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Synthesis of biological models from mutation experiments. In Proceedings of the 40 th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, 23-25 January 2013; Volume 48, pp. 469-482. * [PERSON] et al. (2003) [PERSON]; [PERSON]; [PERSON] Inferring gene networks from time series microarray data using dynamic Bayesian networks. _Brief. Bioinform._**2003**, \(4\), 228-235. * [PERSON] et al. (2006) [PERSON]; [PERSON] [PERSON]; [PERSON] Inferring gene regulatory networks from time series data using the minimum description length principle. _Bioinformatics_**2006**, _22_, 2129-2135. * [PERSON] et al. (2009) [PERSON]; [PERSON]; [PERSON]; [PERSON] Using a state-space model and location analysis to infer time-delayed regulatory networks. _EURASIP J. Bioinform. Syst. Biol._**2009**, _2009_, doi:10.1155/2009/484601. * [PERSON] et al. (2004) [PERSON]; [PERSON]; [PERSON] Learning multi-time delay gene network using Bayesian network framework. In Proceedings of the 16 th IEEE International Conference on Tools with Artificial Intelligence, Boca Raton, FL, USA, 15-17 November 2004; pp. 640-645. * [PERSON] and [PERSON] (2001) [PERSON]; [PERSON] [PERSON] Temporal Boolean network models of genetic networks and their inference from gene expression time series. _Complex Syst._**2001**, _13_, 61-78. * [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON] Time Series Segmentation for Gene Regulatory Process with Time-Window-Extension. In Proceedings of the 2 nd International Symposium on Optimization and Systems Biology, Lijiang, China, 31 October-3 November 2008; pp. 198-203. * [PERSON] et al. (2009) [PERSON]; [PERSON]; [PERSON] [PERSON] Completing networks using observed data. In Algorithmic Learning Theory; Springer: Berlin/Heidelberg, Germany, 2009; pp. 126-140. * [PERSON] et al. (2000) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] Hybrid Petri net representation of gene regulatory network. _Pac. Symp. Biocomput._**2000**, \(5\), 341-352. * [PERSON] and [PERSON] (2008) [PERSON]; [PERSON] [PERSON] Temporal constraints in the logical analysis of regulatory networks. _Thor. Comput. Sci._**2008**, _391_, 258-275. * [PERSON] et al. (2006) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Hybrid modelling and dynamical analysis of gene regulatory networks with delays. _ComPlexUs_**2006**, \(3\), 231-251. * [PERSON] et al. (2012) [PERSON]; [PERSON]; [PERSON] [PERSON] Hybrid Automata and epsilon-Analysis on a Neural Oscillator. In _Hybrid Systems Biology: First International Workshop, HSB 2012, Newcastle Upon Tyne, UK; [PERSON], [PERSON], Eds. ; Lecture Notes in Computer Science; Springer International Publishing: Cham, Switzerland, 2012; pp. 58-72. * [PERSON] et al. (2014) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] Analyzing and synthesizing genomic logic functions. In _Computer Aided Verification_; Springer: Cham, Switzerland, 2014; pp. 343-357. * [PERSON] et al. (2012) [PERSON]; [PERSON]; [PERSON] Synchronization of Boolean networks with time delays. _Appl. Math. Comput._**2012**, _219_, 917-927. * [PERSON] et al. (2014) [PERSON], [PERSON]; [PERSON]; [PERSON] Learning delayed influences of biological systems. _Front. Bioeng. Biotechnol._**2014**, \(2\), doi:10.3389/fbioe.2014.00081. * [PERSON] et al. (2015) [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON]. Dynamic network functional comparison via approximate-bisimulation. _Control Cybern._**2015**, _44_, 99-127. * [PERSON] and [PERSON] (2005) [PERSON]; [PERSON] Approximate bisimulations for nonlinear dynamical systems.