Dan Barak

According to our database, Dan Barak authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Toward Verified Biological Models.

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

2006

InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.

Dan Barak, David Harel, Rami Marelly

IEEE Trans. Software Eng., 2006