Searching for authors named David Harel – sorted by Relevance.
-
Hamiltonian Paths in Infinite Graphs
- ISRAEL JOURNAL OF MATHEMATICS ?S (1991), 317-336 HAMILTONIAN PATHS IN INFINITE GRAPHS* BY DAVID
- Cited by 9 (2 self) – Add To MetaCart
-
Towards a Theory of Recursive Structures
- Towards a Theory of Recursive Structures* David Harel** Dept. of AppliedMathematics and Computer
- Cited by 8 (0 self) – Add To MetaCart
-
Can Behavioral Requirements be Executed? (And why would we want to do so?)
- Can Behavioral Requirements be Executed? (And why would we want to do so?) David Harel The Weizmann
- Cited by 1 (0 self) – Add To MetaCart
-
On Folk Theorems
- Article On Folk Theorems David Harel IBM Thomas J. Watson Research Center Yorktown Heights, New
- Cited by 14 (0 self) – Add To MetaCart
-
Biting the Silver Bullet: Toward Brighter Future for System Development
- Biting the Silver Bullet Toward a Brighter Future for System Development David Harel, Weizmann
- Cited by 51 (2 self) – Add To MetaCart
-
On Visual Formalisms
- using the higraph-based language of sea techarts. DAVID HAREL Visualizing information, especially
- Cited by 478 (8 self) – Add To MetaCart
-
Effective Transformations on Infinite Trees, with Applications to High Undecidability, Dominoes, and Fairness
- , and Fairness DAVID HAREL The Weizmann Institute of Science, Rehovot, Israel Abstract. Elementary
- Cited by 20 (2 self) – Add To MetaCart
-
Statecharts: A Visual Formalism For Complex Systems
- FOR COMPLEX SYSTEMS* David HAREL Department of Applied Mathematics, The Weizmann Institute of Science
- Cited by 1755 (29 self) – Add To MetaCart
-
Can Programming Be Liberated, Period?
- C O V E R F E A T U R E Can Programming Be Liberated, Period? David Harel Weizmann Institute
- Add To MetaCart
-
A Fast Multi- Method for Drawing Large Graphs
- A Fast Multi-Scale Method for Drawing Large Graphs David Harel and Yehuda Koren Dept. of Computer
- Add To MetaCart

