| 2003 | ||
|---|---|---|
| 2 | Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern: Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20 | |
| 2001 | ||
| 1 | Na'aman Kam, Irun R. Cohen, David Harel: The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22 | |
| 1 | Irun R. Cohen | [1] |
| 2 | David Harel | [1] [2] |
| 3 | E. Jane Albert Hubbard | [2] |
| 4 | Hillel Kugler | [2] |
| 5 | Rami Marelly | [2] |
| 6 | Amir Pnueli | [2] |
| 7 | Michael J. Stern | [2] |