D. Harel

Computers are not omnipotent

D. Harel, 1997, Proceedings Frontiers in Education 1997 27th Annual Conference. Teaching and Learning in an Era of Change.

A universal flowcharter

D. Harel, Peter Norvig, J. Rood, 1979 .

Ieee/acm Transactions on Computational Biology and Bioinformatics 1 towards Verified Biological Models

D. Harel, D. Barak, A. Sadot, 2022 .

Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach,

D. Harel, R. Marelly, D. Harel, 2001 .