|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 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 | Steven Gay, Sylvain Soliman, François Fages |
A graphical method for reducing and relating models in systems biology. |
Bioinformatics |
2010 |
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 | Faten Nabli, Sylvain Soliman |
Steady-state solution of biochemical systems, beyond S-systems via T-invariants. |
CMSB |
2010 |
DBLP DOI 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 | Elisabetta De Maria, François Fages, Sylvain Soliman |
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Abstract interpretation and types for systems biology. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
From Reaction Models to Influence Graphs and Back: A Theorem. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Francesca Rossi, Sylvain Soliman (eds.) |
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers |
CSCLP |
2008 |
DBLP 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, Sylvain Soliman |
Formal Cell Biology in Biocham. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Model Revision from Temporal Logic Properties in Computational Systems Biology. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Clairambault, François Fages, Sylvain Soliman |
Patient-Tailored Cancer Therapeutics - The Tempo Project. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman |
Langages formels dans la machine abstraite biochimique BIOCHAM. |
Technique et Science Informatiques |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rémy Haemmerlé, François Fages, Sylvain Soliman |
Closures and Modules Within Linear Logic Concurrent Constraint Programming. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Calzone, François Fages, Sylvain Soliman |
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. |
Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
Machine Learning Biochemical Networks from Temporal Logic Properties. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Type Inference in Systems Biology. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman (eds.) |
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings |
PPSWR |
2005 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman, Rémi Coolen |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. |
Constraints |
2004 |
DBLP DOI BibTeX RDF |
program annotation, visualization, GUI, debugging, constraint programming, search trees |
| 1 | Sylvain Soliman |
Pi-calcul et LCC, une odyssée de l'espace. |
JFPLC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
The Biochemical Abstract Machine BIOCHAM. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Soliman, François Fages |
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Paul Ruet, Sylvain Soliman |
Linear Concurrent Constraint Programming: Operational and Phase Semantics. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Paul Ruet, Sylvain Soliman |
Phase Semantics and Verification of Concurrent Constraint Programs. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")