Aurélien Rizk

According to our database, Aurélien Rizk authored at least 9 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

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

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

2010

Computational Systems Biology in BIOCHAM.

François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman

ERCIM News, 2010

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

From Model-Checking to Temporal Logic Constraint Solving.

François Fages, Aurélien Rizk

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

On temporal logic constraint solving for analyzing numerical data time series.

François Fages, Aurélien Rizk

Theor. Comput. Sci., 2008

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

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

On the Analysis of Numerical Data Time Series in Temporal Logic.

François Fages, Aurélien Rizk

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007