Dan Barak

Publication Activity (10 Years)

Years Active: 2003-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)
Dan Barak, David Harel, Rami Marelly
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. IEEE Trans. Software Eng. 32 (7) (2006)
Dan Barak, David Harel, Rami Marelly
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Lectures on Concurrency and Petri Nets (2003)