Sylvain Soliman

zbMath Opensoliman.sylvainDBLP27/1068WikidataQ83940011 ScholiaQ83940011MaRDI QIDQ272013

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding Theoretical Computer Science	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 Computational Methods in Systems Biology	2019-07-25	Paper
Graphical requirements for multistationarity in reaction networks and their verification in BioModels Journal of Theoretical Biology	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 Constraints	2016-04-20	Paper
Inferring reaction systems from ordinary differential equations Theoretical Computer Science	2015-09-29	Paper
On the subgraph epimorphism problem Discrete Applied Mathematics	2014-09-12	Paper
A stronger necessary condition for the multistationarity of chemical reaction networks Bulletin of Mathematical Biology	2014-03-20	Paper
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures Theoretical Computer Science	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 Theoretical Computer Science	2011-05-03	Paper
Abstract interpretation and types for systems biology Theoretical Computer Science	2009-01-15	Paper
From Reaction Models to Influence Graphs and Back: A Theorem Formal Methods in Systems Biology	2008-06-17	Paper
Closures and Modules Within Linear Logic Concurrent Constraint Programming FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
Model Revision from Temporal Logic Properties in Computational Systems Biology Probabilistic Inductive Logic Programming	2008-03-28	Paper
Computational Methods in Systems Biology Lecture Notes in Computer Science	2005-12-23	Paper
Computational Methods in Systems Biology Lecture Notes in Computer Science	2005-12-23	Paper
Linear concurrent constraint programming: Operational and phase semantics Information and Computation	2003-01-14	Paper

Research outcomes over time

This page was built for person: Sylvain Soliman