Aurélien Rizk

	2009
5		François Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334
4		Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12): (2009)
	2008
3		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: 251-268
2		François Fages, Aurélien Rizk: On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. 408(1): 55-65 (2008)
	2007
1		François Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63

Coauthor Index

1	Grégory Batt	[3] [4]
2	François Fages	[1] [2] [3] [4] [5]
3	Sylvain Soliman	[3] [4]