.:. Consultation > Liste par domaine > Sciences du Vivant .:.

22 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Danos V., Feret J., Fontana W., Harmer R., Hayman J., Krivine J., Thompson-Walsh C., Winskel G. FSTTCS - 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - 2012, Inde (2012) [hal-00734487 - version 1]

Models of Tet-On System with Epigenetic Effects Harmer R., Krivine J., Laruelle E., Lhoussaine C., Madelaine G., Nebut M. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Royaume-Uni (2012) [hal-00725553 - version 1]

Formal Cellular Machinery Damgaard T. C., Hojsgaard E., Krivine J. Dans Proceedings of the Second International Workshop on Static Analysis and Systems Biology - SASB 2011, Italie (2011) [hal-00692416 - version 1]

Combinatorial complexity and compositional drift in protein interaction networks. Deeds E. J., Krivine J., Feret J., Danos V., Fontana W. PLoS ONE 7, 3 (2012) [hal-00677889 - version 1]

Constraining rule-based dynamics with types Danos V., Harmer R., Winskel G. [hal-00694492 - version 1] (04/05/2012)

Rule Based Modeling and Model Refinement Murphy E., Danos V., Feret J., Krivine J., Harmer R. Dans Elements of Computational Systems Biology (2010) 83--114 [inria-00527981 - version 1]

Intrinsic Information carriers in combinatorial dynamical systems Harmer R., Danos V., Feret J., Krivine J., Fontana W. Chaos 20, 3 (2010) 037108 [hal-00520128 - version 1]

Abstracting the differential semantics of rule-based models: exact and automated model reduction Danos V., Feret J., Fontana W., Harmer R., Krivine J. Dans Proceedings of LICS 2010 - Logic in Computer Science, Royaume-Uni (2010) [hal-00520112 - version 1]

Rule-based modelling and tunable resolution Harmer R. EPTCS 9 (2009) 65-72 [hal-00694488 - version 1]

Internal coarse-graining of molecular systems Feret J., Danos V., Krivine J., Harmer R., Fontana W. Proceeding of the national academy of sciences 106, 16 (2009) [inria-00528330 - version 1]

Modelling epigenetic information maintenance a Kappa tutorial Krivine J., Danos V., Benecke A. In Proceedings of the 21st International Conference on Computer Aided Verification - Computer Aided Verification, France (2009) [hal-00692430 - version 1]

Rule-Based Modelling and Model Perturbation Danos V., Feret J., Fontana W., Harmer R., Krivine J. Transactions on Computational Systems Biology 5750 (2009) 116-137 [inria-00528364 - version 1]

Investigation of a biological repair scheme Danos V., Feret J., Fontana W., Harmer R., Krivine J. the 9th Workshop on Membrane Computing - WMC9, United Kingdom (2008) [inria-00528319 - version 1]

Rule-based modelling and model perturbations Danos V., Feret J., Fontana W., Harmer R., Krivine J. [hal-00350299 - version 1] (06/01/2009)

Stochastic Bigraphs Krivine J., Milner R., Troina A. Dans Proceedings of Mathematical foundation of programming semantics 2008 - Mathematical foundation of programming semantics 2008, États-Unis (2008) [hal-00530712 - version 1]