|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Charney, Jacques Cohen, Aurélien Rizk |
Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. |
Discrete Applied Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman |
Computational Systems Biology in BIOCHAM. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
From Model-Checking to Temporal Logic Constraint Solving. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
On temporal logic constraint solving for analyzing numerical data time series. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
On the Analysis of Numerical Data Time Series in Temporal Logic. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")