Sylvain Soliman
Orcid: 0000-0001-5525-7418Affiliations:
- Inria, Lifeware Group, Palaiseau, France
- Paris Diderot University, Paris, France (PhD 2001)
According to our database1,
Sylvain Soliman
authored at least 62 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
MetaLo: metabolic analysis of Logical models extracted from molecular interaction maps.
J. Integr. Bioinform., 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding.
Theor. Comput. Sci., September, 2023
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
2022
Metabolic reprogramming in Rheumatoid Arthritis Synovial Fibroblasts: A hybrid modeling approach.
PLoS Comput. Biol., December, 2022
Addressing <i>barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology</i>.
Briefings Bioinform., 2022
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding.
Proceedings of the Computational Methods in Systems Biology, 2022
2021
Bioinform., 2021
Setting the basis of best practices and standards for curation and annotation of logical models in biology - highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop.
Briefings Bioinform., 2021
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs.
Proceedings of the Computational Methods in Systems Biology, 2021
2020
Bioinform., 2020
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
2019
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics.
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.
IEEE ACM Trans. Comput. Biol. Bioinform., 2018
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
CoRR, 2018
Proceedings of the Computational Methods in Systems Biology, 2018
2017
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data.
Proceedings of the Computational Methods in Systems Biology, 2017
2016
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.
Constraints An Int. J., 2016
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis.
Biosyst., 2016
Proceedings of the Computational Methods in Systems Biology, 2016
A structural perspective on the dynamics of biochemical systems. (Une perspective structurelle sur la dynamique des systèmes biochimiques).
, 2016
2015
ACM Trans. Model. Comput. Simul., 2015
Theor. Comput. Sci., 2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis.
Proceedings of the Computational Methods in Systems Biology, 2015
2014
Algorithms Mol. Biol., 2014
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
CoRR, 2013
Proceedings of the Computational Methods in Systems Biology, 2013
2012
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem.
Algorithms Mol. Biol., 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
2011
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci., 2011
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
2010
Bioinform., 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010
2009
Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure.
Simul. Notes Eur., 2009
A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinform., 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
2007
Tech. Sci. Informatiques, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
Trans. Comp. Sys. Biology, 2006
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinform., 2006
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006
2004
Constraints An Int. J., 2004
Pi-calcul et LCC, une odyssée de l'espace.
Proceedings of the Programmation en logique avec contraintes, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
2001
Inf. Comput., 2001
1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998