| 2008 |
|---|
| 5 | EE | Avital Sadot,
Jasmin Fisher,
Dan Barak,
Yishai Admanit,
Michael J. Stern,
E. Jane Albert Hubbard,
David Harel:
Toward Verified Biological Models.
IEEE/ACM Trans. Comput. Biology Bioinform. 5(2): 223-234 (2008) |
| 2007 |
|---|
| 4 | EE | Hillel Kugler,
Michael J. Stern,
E. Jane Albert Hubbard:
Testing Scenario-Based Models.
FASE 2007: 306-320 |
| 3 | EE | Hillel Kugler,
Amir Pnueli,
Michael J. Stern,
E. Jane Albert Hubbard:
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.
TACAS 2007: 343-357 |
| 2004 |
|---|
| 2 | EE | Jasmin Fisher,
David Harel,
E. Jane Albert Hubbard,
Nir Piterman,
Michael J. Stern,
Naamah Swerdlin:
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.
CMSB 2004: 236-241 |
| 2003 |
|---|
| 1 | EE | 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 |
