Aurélien Rizk

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
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. Theor. Comput. Sci. 412 (21) (2011)
Ruth Charney, Jacques Cohen, Aurélien Rizk
Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. Discret. Appl. Math. 159 (6) (2011)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412 (26) (2011)
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
Computational Systems Biology in BIOCHAM. ERCIM News 2010 (82) (2010)
François Fages, Aurélien Rizk
From Model-Checking to Temporal Logic Constraint Solving. CP (2009)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
A general computational method for robustness analysis with applications to synthetic gene networks. Bioinform. 25 (12) (2009)
François Fages, Aurélien Rizk
On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. 408 (1) (2008)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB (2008)
François Fages, Aurélien Rizk
On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB (2007)