2008 |
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 | Dan Barak,
David Harel,
Rami Marelly:
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming.
IEEE Trans. Software Eng. 32(7): 467-485 (2006) |
2003 |
1 | EE | 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: 66-86 |