Filtrer vos résultats
- 26
- 19
- 25
- 12
- 2
- 2
- 2
- 1
- 1
- 41
- 14
- 3
- 1
- 3
- 2
- 4
- 2
- 1
- 2
- 1
- 4
- 3
- 5
- 6
- 3
- 5
- 2
- 1
- 45
- 26
- 19
- 8
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 45
- 17
- 14
- 11
- 9
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
45 résultats
|
|
|
triés par
|
Rule-based modeling of erbB signalingASCB Annual Meeting (SIG on Systems Biology of Receptor Tyrosine Kinase Networks), Dec 2007, Washington DC, United States
Communication dans un congrès
hal-00695285v1
|
|||
|
|
Totality in arena gamesAnnals of Pure and Applied Logic, 2009, 161 (5), pp.673-689. ⟨10.1016/j.apal.2009.07.016⟩
Article dans une revue
hal-00443535v1
|
||
|
|
Bio-curation for cellular signalling: the KAMI projectIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1562-1573. ⟨10.1109/TCBB.2019.2906164⟩
Article dans une revue
hal-02127147v1
|
||
KAMIStudio: an environment for biocuration of cell signalling knowledge17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
Communication dans un congrès
hal-02138766v1
|
|||
Executable KnowledgeSystems Biology and Formal Methods, Apr 2012, New York, United States
Communication dans un congrès
hal-00695295v1
|
|||
|
|
Cellular strategies and innocent interaction2007
Pré-publication, Document de travail
hal-00150353v1
|
||
|
|
Constraining rule-based dynamics with typesMathematical Structures in Computer Science, 2013, 23 (02), pp.272-289
Article dans une revue
hal-01976370v1
|
||
|
|
Schema validation and evolution for graph databasesER 2019 - 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.448-456, ⟨10.1007/978-3-030-33223-5_37⟩
Communication dans un congrès
hal-02138771v1
|
||
|
|
Rule-based modelling and tunable resolutionEPTCS, 2009, 9, pp.65-72
Article dans une revue
hal-00694488v1
|
||
Rule-based modelling of cellular signallingBiopathways 10, Jun 2009, Stockholm, Sweden
Communication dans un congrès
hal-00695291v1
|
|||
|
|
Graphs, Rewriting and Pathway Reconstruction for Rule-Based ModelsFSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩
Communication dans un congrès
hal-00809065v1
|
||
Rule-based modelling of cellular signallingInternational Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal
Communication dans un congrès
hal-00164297v1
|
|||
Bio-curation for cellular signallingComputational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. ⟨10.1007/978-3-319-67471-1_1⟩
Communication dans un congrès
hal-01617185v1
|
|||
|
|
Internal coarse-graining of molecular systemsProceedings of the National Academy of Sciences of the United States of America, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
Article dans une revue
inria-00528330v1
|
||
|
|
Thermodynamic graph rewritingConcur 2013, 2013, Argentina. pp.380-394
Communication dans un congrès
hal-00966094v1
|
||
|
|
Models of Tet-On System with Epigenetic EffectsComputational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Communication dans un congrès
hal-00725553v1
|
||
|
|
Modelling Systems Biology Wide and DeepCMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Poster de conférence
hal-03357485v1
|
||
|
|
Rule-based modelling and model perturbationsCorrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. ⟨10.1007/978-3-642-04186-0_6⟩
Chapitre d'ouvrage
istex
hal-00350299v1
|
||
Rule-based modelling, symmetries, refinementsthe 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jasmin Fisher, Jun 2008, Cambridge, United Kingdom. pp.103-122, ⟨10.1007/978-3-540-68413-8_8⟩
Communication dans un congrès
istex
inria-00528339v1
|
|||
|
|
Investigation of a biological repair schemethe 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩
Communication dans un congrès
inria-00528319v1
|
||
|
|
Knowledge representation and update in hierarchies of graphsJournal of Logical and Algebraic Methods in Programming, 2020, 114, pp.100559. ⟨10.1016/j.jlamp.2020.100559⟩
Article dans une revue
hal-02869805v1
|
||
Rule-based modeling of cellular signaling6th International Workshop on 'Developments in Computational Models' (DCM), Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
hal-00695294v1
|
|||
|
|
Affine strategies in arena games1st International Workshop on Games for Logic and Programming Languages, 2005, Edinburgh, United Kingdom
Communication dans un congrès
hal-00013015v1
|
||
|
|
Thermodynamic graph rewritingProceedings of CONCUR 2013, 2013, Buenos-Aires, Argentina
Communication dans un congrès
hal-01974676v1
|
||
Rule Based Modeling and Model RefinementH. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩
Chapitre d'ouvrage
inria-00527981v1
|
|||
|
|
Abstracting the differential semantics of rule-based models: exact and automated model reductionLogic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
Communication dans un congrès
hal-00520112v1
|
||
|
|
Schema Inference for Property GraphsEDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. pp.499-504, ⟨10.5441/002/edbt.2021.58⟩
Communication dans un congrès
hal-03361480v1
|
||
|
|
Categorical Combinatorics for Innocent StrategiesLogic in Computer Science, Jul 2007, France. pp. 379-388
Communication dans un congrès
hal-00150373v1
|
||
Knowledge representation and update in hierarchies of graphsInternational Conference on Graph Transformation, Jul 2019, Eindhoven, Netherlands
Communication dans un congrès
hal-02127178v1
|
|||
Special Issue of EPTCS (vol 179) for DCM 20142015
Ouvrages
hal-02132689v1
|
- 1
- 2