Searching for authors named "Sylvain Soliman" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Finding minimal P/T-invariants as a CSP
- …Finding minimal P/T-invariants as a CSP Sylvain Soliman Sylvain.Soliman@(email omitted); Equipe…
- Add To MetaCart
-
Phase Model Checking for some Linear Logic
- …Phase Model Checking for some Linear Logic Calculi Sylvain Soliman Sylvain.Soliman…
- Cited by 1 (0 self) – Add To MetaCart
-
From Reaction Models to Influence Graphs and Back: a Theorem ⋆
- …From Reaction Models to Influence Graphs and Back: a Theorem ⋆ François Fages, Sylvain Soliman…
- Add To MetaCart
-
The Linear Logic Semantics of Concurrent Constraint Programs Revisited
- …The Linear Logic Semantics of Concurrent Constraint Programs Revisited Francois Fages Sylvain…
- Add To MetaCart
-
A Precise Logical Semantics of Concurrent Constraint Programs
- …A Precise Logical Semantics of Concurrent Constraint Programs Francois Fages Sylvain Soliman…
- Add To MetaCart
-
Formal Cell Biology in Biocham
- …Formal Cell Biology in Biocham François Fages and Sylvain Soliman Projet Contraintes, INRIA…
- Add To MetaCart
-
References
- …Location Modeling of anticancer drug interactions and resistance Sylvain Soliman and François…
- Add To MetaCart
-
Abstract interpretation and types for systems biology
- …Abstract Abstract Interpretation and Types for Systems Biology François Fages Sylvain Soliman…
- Cited by 2 (2 self) – Add To MetaCart
-
Type inference in systems biology
- …Type Inference in Systems Biology François Fages, Sylvain Soliman Firstname…
- Cited by 3 (3 self) – Add To MetaCart
-
Linear Concurrent Constraint Programming: Operational and Phase Semantics
- … Ruet, Sylvain Soliman LIENS - CNRS, Ecole Normale Sup'erieure 45 rue d'Ulm, 75005 Paris (France) Phone…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
