The following pages link to Sylvain Soliman (Q272013):
Displaying 22 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- Inferring reaction systems from ordinary differential equations (Q498919) (← links)
- 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 (Q533354) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- On the subgraph epimorphism problem (Q741740) (← links)
- Influence systems vs reaction systems (Q1706580) (← links)
- Graphical requirements for multistationarity in reaction networks and their verification in BioModels (Q1712870) (← links)
- On robustness computation and optimization in BIOCHAM-4 (Q1796529) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- Graphical conditions for rate independence in chemical reaction networks (Q2110654) (← links)
- On the complexity of quadratization for polynomial differential equations (Q2110661) (← links)
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding (Q2112149) (← links)
- Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs (Q2142105) (← links)
- A stronger necessary condition for the multistationarity of chemical reaction networks (Q2440885) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- From Reaction Models to Influence Graphs and Back: A Theorem (Q3506870) (← links)
- Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data (Q5227316) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- Computational Methods in Systems Biology (Q5712384) (← links)
- Computational Methods in Systems Biology (Q5712392) (← links)
- Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding (Q6175523) (← links)
