| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | EE | 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 | EE | François Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63 |
| 1 | Grégory Batt | [3] |
| 2 | François Fages | [1] [2] [3] |
| 3 | Sylvain Soliman | [3] |