S
Sylvain Soliman
Researcher at French Institute for Research in Computer Science and Automation
Publications - 110
Citations - 2355
Sylvain Soliman is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Temporal logic & Constraint programming. The author has an hindex of 21, co-authored 100 publications receiving 2090 citations.
Papers
More filters
Journal ArticleDOI
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
TL;DR: BIOCHAM provides tools and languages for describing protein networks with a simple and straightforward syntax, and for integrating biological properties into the model, and it then becomes possible to analyze, query, verify and maintain the model with respect to those properties.
Journal ArticleDOI
SBML Level 3: an extensible format for the exchange and reuse of biological models
Sarah M. Keating,Sarah M. Keating,Dagmar Waltemath,Matthias König,Fengkai Zhang,Andreas Dräger,Claudine Chaouiya,Claudine Chaouiya,Frank Bergmann,Andrew Finney,Colin S. Gillespie,Tomáš Helikar,Stefan Hoops,Rahuman S Malik-Sheriff,Stuart L. Moodie,Ion I. Moraru,Chris J. Myers,Aurélien Naldi,Brett G. Olivier,Brett G. Olivier,Brett G. Olivier,Sven Sahle,James C. Schaff,Lucian P. Smith,Lucian P. Smith,Maciej J. Swat,Denis Thieffry,Leandro Watanabe,Darren J. Wilkinson,Darren J. Wilkinson,Michael L. Blinov,Kimberly Begley,James R. Faeder,Harold F. Gómez,Thomas M. Hamm,Yuichiro Inagaki,Wolfram Liebermeister,Allyson L. Lister,Daniel Lucio,Eric Mjolsness,Carole J. Proctor,Karthik Raman,Nicolas Rodriguez,Clifford A. Shaffer,Bruce E. Shapiro,Joerg Stelling,Neil Swainston,Naoki Tanimura,John Wagner,Martin Meier-Schellersheim,Herbert M. Sauro,Bernhard O. Palsson,Hamid Bolouri,Hiroaki Kitano,Akira Funahashi,Henning Hermjakob,John Doyle,Michael Hucka,Richard R. Adams,Nicholas Alexander Allen,Bastian R. Angermann,Marco Antoniotti,Gary D. Bader,Jan Červený,Mélanie Courtot,Christopher Cox,Piero Dalle Pezze,Emek Demir,William S. Denney,Harish Dharuri,Julien Dorier,Dirk Drasdo,Ali Ebrahim,Johannes Eichner,Johan Elf,Lukas Endler,Chris T. Evelo,Christoph Flamm,Ronan M. T. Fleming,Martina Fröhlich,Mihai Glont,Emanuel Gonçalves,Martin Golebiewski,Hovakim Grabski,Alex Gutteridge,Damon Hachmeister,Leonard A. Harris,Benjamin D. Heavner,Ron Henkel,William S. Hlavacek,Bin Hu,Daniel R. Hyduke,Hidde de Jong,Nick Juty,Peter D. Karp,Jonathan R. Karr,Douglas B. Kell,Roland Keller,Ilya Kiselev,Steffen Klamt,Edda Klipp,Christian Knüpfer,Fedor A. Kolpakov,Falko Krause,Martina Kutmon,Camille Laibe,Conor Lawless,Lu Li,Leslie M. Loew,Rainer Machné,Yukiko Matsuoka,Pedro Mendes,Huaiyu Mi,Florian Mittag,Pedro T. Monteiro,Kedar Nath Natarajan,Poul M. F. Nielsen,Tramy Nguyen,Alida Palmisano,Jean-Baptiste Pettit,Thomas Pfau,Robert Phair,Tomas Radivoyevitch,Johann M. Rohwer,Oliver A. Ruebenacker,Julio Saez-Rodriguez,Martin Scharm,Henning Schmidt,Falk Schreiber,Michael Schubert,Roman Schulte,Stuart C. Sealfon,Kieran Smallbone,Sylvain Soliman,Melanie I. Stefan,Devin P. Sullivan,Koichi Takahashi,Bas Teusink,David Tolnay,Ibrahim Vazirabad,Axel von Kamp,Ulrike Wittig,Clemens Wrzodek,Finja Wrzodek,Ioannis Xenarios,Anna Zhukova,Jeremy Zucker +146 more
TL;DR: The latest edition of the Systems Biology Markup Language (SBML) is reviewed, a format designed for this purpose that leverages two decades of SBML and a rich software ecosystem that transformed how systems biologists build and interact with models.
BookDOI
Principles and Practice of Semantic Web Reasoning
François Fages,Sylvain Soliman +1 more
TL;DR: This paper presents principles of Inductive Reasoning on the Semantic Web, a Framework for Learning in -Log, and a Geospatial World Model for theSemantic Web.
Journal ArticleDOI
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM
TL;DR: A formal modelling environment for network biology, called the Biochemical Abstract Machine (BIOCHAM), which delivers precise semantics to biomolecular interaction maps and offers automated reasoning tools for querying the temporal properties of the system under all its possible behaviours.
Book ChapterDOI
Machine learning biochemical networks from temporal logic properties
TL;DR: This paper describes two algorithms for inferring reaction rules and kinetic parameter values from a temporal specification formalizing the biological data and illustrates how these machine learning techniques may be useful to the modeler.