On the Analysis of Numerical Data Time Series in Temporal Logic. - François Fages; Aurélien Rizk (CMSB, 2007)

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (CMSB, 2008)

On temporal logic constraint solving for analyzing numerical data time series. - François Fages; Aurélien Rizk (Theor. Comput. Sci., 2008)

From Model-Checking to Temporal Logic Constraint Solving. - François Fages; Aurélien Rizk (CP, 2009)

A general computational method for robustness analysis with applications to synthetic gene networks. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Bioinform., 2009)

Computational Systems Biology in BIOCHAM. - François Fages; Grégory Batt; Elisabetta De Maria; Dragana Jovanovska; Aurélien Rizk; Sylvain Soliman (ERCIM News, 2010)

Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. - Ruth Charney; Jacques Cohen; Aurélien Rizk (Discret. Appl. Math., 2011)

Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints. - Elisabetta De Maria; François Fages; Aurélien Rizk; Sylvain Soliman (Theor. Comput. Sci., 2011)

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Theor. Comput. Sci., 2011)