Avital Sadot

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

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. Biol. Bioinform. 5 (2) (2008)
Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel
GemCell: A generic platform for modeling multi-cellular biological systems. Theor. Comput. Sci. 391 (3) (2008)