Accéder directement au contenu

Sylvain Soliman

Since 2002 I am a permanent researcher (CR) in the Lifeware (formerly Contraintes) group of Inria Saclay (formerly Paris-Rocquencourt).
100%
Libre accès
6
Documents
Affiliations actuelles
  • 454733
Identifiants chercheurs
  • IdHAL sylvain-soliman
  • ResearcherId : B-7445-2009
  • ORCID 0000-0001-5525-7418
  • IdRef : 089050983
  • Google Scholar : https://scholar.google.fr/citations?user=8WmCFEkAAAAJ
  • ResearcherId : http://www.researcherid.com/rid/B-7445-2009
Contact

Présentation

My research interests focus around Computational Biology and Theoretical Computer Science. In this context I’m one of the main developers and maintainers of the BIOCHAM platform. This is where most of the techniques I develop, using Constraint Programming, Model-Checking, and other formal methods get implemented<a rel="me" href="https://pouet.chapril.org/@soliman">.</a>

Publications

"aurelien-naldi"
Image document

Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches

Anna Niarakis , Marek Ostaszewski , Alexander Mazein , Inna Kuperstein , Martina Kutmon
Frontiers in Immunology, 2024, 14, ⟨10.3389/fimmu.2023.1282859⟩
Article dans une revue hal-04454379v1
Image document

A large-scale Boolean model of the rheumatoid arthritis fibroblast-like synoviocytes predicts drug synergies in the arthritic joint

Vidisha Singh , Aurélien Naldi , Sylvain Soliman , Anna Niarakis
npj Systems Biology and Applications, 2023, 9 (33), ⟨10.1038/s41540-023-00294-5⟩
Article dans une revue hal-04187223v1
Image document

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

Anna Niarakis , Martin Kuiper , Marek Ostaszewski , Rahuman Malik Sheriff , Cristina Casals-Casas
Briefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩
Article dans une revue hal-02549796v1
Image document

COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms

Marek Ostaszewski , Anna Niarakis , Alexander Mazein , Inna Kuperstein , Robert Phair
Molecular Systems Biology, 2021, 17 (10), pp.e10387. ⟨10.15252/msb.202110387⟩
Article dans une revue hal-03385317v2
Image document

Automated inference of Boolean models from molecular interaction maps using CaSQ

Sara Sadat Aghamiri , Vidisha Singh , Aurélien Naldi , Tomáš Helikar , Sylvain Soliman
Bioinformatics, 2020, 36 (16), pp.4473-4482. ⟨10.1093/bioinformatics/btaa484⟩
Article dans une revue hal-02590714v1
Image document

SBML Level 3: an extensible format for the exchange and reuse of biological models

Sarah Keating , Frank Bergmann , Tomáš Helikar , Rahuman Malik‐sheriff , Ion Moraru
Molecular Systems Biology, 2020, 16 (8), pp.1-21. ⟨10.15252/msb.20199110⟩
Article dans une revue hal-02924909v1