2008 |
5 | | Jasmin Fisher:
Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
Springer 2008 |
4 | EE | Jasmin Fisher,
Thomas A. Henzinger,
Maria Mateescu,
Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
FMSB 2008: 17-32 |
3 | 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) |
2006 |
2 | EE | Jasmin Fisher,
Thomas A. Henzinger:
Executable biology.
Winter Simulation Conference 2006: 1675-1682 |
2004 |
1 | 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 |