Monday, February 14, 2005

Model Checking Biological Systems

N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A Hubbard, and M.J. Stern: "Formal Modeling of C. elegans Development: A Scenario Based Approach ". In G.Ciobanu, G. Rozenberg (Eds.): ?Modeling in Molecular Biology?, pages 151-173, Natural Computing Series, Springer 2004.

N. Kam, I.R. Cohen, D. Harel: The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts . To appear in Bull. Math. Bio.
An extended abstract of this paper appeared in Proc. Symposia on Human-Centric Computing Languages and Environments, pages 15-22, Stresa, Italy, September 2001. IEEE, © IEEE Computer Society Press

N. Kam, D. Harel, and I.R. Cohen. Modeling biological reactivity: Statecharts vs. boolean logic. In Proc. 2nd International Conference on Systems Biology, Pasadena, CA, USA, November 2001

No comments: