Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(87)
François Fages
30
Nathalie Chabrier-rivier
7
Laurence Calzone
7
Aurelien Rizk (Aurélien Rizk)
4
Gregory Batt (Grégory Batt)
4
Conferences
(12)
CMSB
7
ILP
1
JFPLC
1
LICS
1
FSTTCS
1
Journals
(16)
TCS
3
BIOINFORMATICS
3
CLIN CHIM ACTA
2
ELEC POWER SYST RES
2
IANDC
1
Keywords
(157)
Embed
Subscribe
Academic
Authors
Sylvain Soliman
Edit
Sylvain Soliman
The French National Institute for Research in Computer Science and Control
Publications: 50
|
Citations: 414
|
G-Index: 19
|
H-Index: 12
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Bioinformatics & Computational Biology
,
Algorithms & Theory
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
87 co-authors
from 1984 to 2011
; Cited by
657 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(50)
BibTeX
|
RIS
|
RefWorks
Download
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
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 21, pp. 2108-2127, 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
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 26, pp. 2827-2839, 2011
A graphical method for reducing and relating models in systems biology
Steven Gay
,
Sylvain Soliman
,
François Fages
Journal:
Bioinformatics/computer Applications in The Biosciences - BIOINFORMATICS
, vol. 26, no. 18, 2010
Steady-state solution of biochemical systems, beyond S-systems via T-invariants
Faten Nabli
,
Sylvain Soliman
Conference:
Computational Methods in Systems Biology - CMSB
, pp. 14-22, 2010
A general computational method for robustness analysis with applications to synthetic gene networks
(
Citations: 9
)
Aurélien Rizk
,
Grégory Batt
,
François Fages
,
Sylvain Soliman
Journal:
Bioinformatics/computer Applications in The Biosciences - BIOINFORMATICS
, vol. 25, no. 12, pp. i169-i178, 2009
Order by:
Citations
(414 times by 332 publications)
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
(
Citations: 1
)
Sumit Kumar Jha
,
Christopher James Langmead
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 21, pp. 2162-2187, 2011
Component-Based Modeling and Reachability Analysis of Genetic Networks
(
Citations: 1
)
Gregor Goessler
Journal:
IEEE/ACM Transactions on Computational Biology and Bioinformatics - TCBB
, vol. 8, no. 3, pp. 672-682, 2011
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
Yashwanth Annapureddy
,
Che Liu
,
Georgios E. Fainekos
,
Sriram Sankaranarayanan
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 254-257, 2011
Biochemical Reaction Rules with Constraints
Mathias John
,
Cédric Lhoussaine
,
Joachim Niehren
,
Cristian Versari
Conference:
European Symposium on Programming - ESOP
, pp. 338-357, 2011
Dynamically consistent reduction of logical regulatory graphs
Aurélien Naldi
,
Elisabeth Remy
,
Denis Thieffry
,
Claudine Chaouiya
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 21, pp. 2207-2218, 2011
Comments