Na'aman Kam

According to our database, Na'aman Kam authored at least 3 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Formal Modeling of C. elegans Development: A Scenario-Based Approach.

Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Modeling biological reactivity: statecharts vs. Boolean logic.

Na'aman Kam, Irun R. Cohen, David Harel

Proceedings of the Working Conference on Advanced Visual Interfaces, 2002

2001

The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts.

Na'aman Kam, Irun R. Cohen, David Harel

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001