Dan Barak

According to our database, Dan Barak authored at least 2 papers between 2003 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

2003

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

Dan Barak, David Harel, Rami Marelly

Proceedings of the Lectures on Concurrency and Petri Nets, 2003