PREUVES, PROGRAMMES et SYSTÈMES
Browse
Articles list
List by year
List by subject
List by authors
Search
302 articles – 345 references
[version française]
.:.
Browse
>
List by subject
> Biotechnology .:.
4 documents ordered by :
Date
Title
first author name
document type
Submit date
κ-Calculus Model for the Life-Cycle of Lambda Phage
Li D., Zhang M., Dong X.
Journal of Shanghai Jiaotong University
44
, 1 (2007) 42-44 [hal-00155603 - version 1]
Secrecy of Signals by Typing in Signal Transduction
Zhang M., Li G., Fu F.
Dans
Advances in Natural Computation
-
In Proceedings of the 2nd International Conference on Natural Computation (ICNC'2006)
, Chine (2006) [hal-00155525 - version 1]
Typing Aberrance in Signal Transduction
Zhang M., Li G., Fu F., Zhang Z., He L.
Dans
Advances in Natural Computation
-
ICNC'05
, Chine (2005) [hal-00155502 - version 1]
Representation of the Signal Transduction with Aberrance Using Ipi Calculus
Zhang M., Li G., Fu F., Zhang Z., He L.
Dans
Computational and Information Science
-
First International Symposium, CIS 2004
, Chine (2004) [hal-00155354 - version 1]