Sylvain Soliman

Available identifiers

zbMath Open soliman.sylvainDBLP27/1068WikidataQ83940011 ScholiaQ83940011MaRDI QIDQ272013

List of research outcomes

Publication	Date of Publication	Type
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding	2023-08-18	Paper
Minimal trap spaces of logical models are maximal siphons of their Petri net encoding	2023-01-18	Paper
On the complexity of quadratization for polynomial differential equations	2022-12-22	Paper
Graphical conditions for rate independence in chemical reaction networks	2022-12-22	Paper
Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs	2022-05-25	Paper
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data	2019-07-25	Paper
Graphical requirements for multistationarity in reaction networks and their verification in BioModels	2019-02-01	Paper
On robustness computation and optimization in BIOCHAM-4	2018-10-17	Paper
Influence systems vs reaction systems	2018-03-22	Paper
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity	2016-04-20	Paper
Inferring reaction systems from ordinary differential equations	2015-09-29	Paper
On the subgraph epimorphism problem	2014-09-12	Paper
A stronger necessary condition for the multistationarity of chemical reaction networks	2014-03-20	Paper
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures	2011-06-28	Paper
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	2011-05-03	Paper
Abstract interpretation and types for systems biology	2009-01-15	Paper
From Reaction Models to Influence Graphs and Back: A Theorem	2008-06-17	Paper
Closures and Modules Within Linear Logic Concurrent Constraint Programming	2008-04-24	Paper
Model Revision from Temporal Logic Properties in Computational Systems Biology	2008-03-28	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Linear concurrent constraint programming: Operational and phase semantics	2003-01-14	Paper

Research outcomes over time

This page was built for person: Sylvain Soliman