Find:
Searching for PHRASE david harel.
Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
155 documents found. Order: number of citations.

Statecharts: A Visual Formalism For Complex Systems - Harel (1987)   (Correct)   (1150 citations)
A Visual Formalism For Complex Systems* David Harel Department Of Applied Mathematics, The
A Visual Formalism For Complex Systems David Harel Statecharts constitute a broad and popular

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Statecharts.pdf

Dynamic Logic - Harel, Kozen, Tiuryn (1984)   (Correct)   (356 citations)
David Harel, Dexter Kozen, And Jerzy Tiuryn Dynamic Logic
Kozen, And Jerzy Tiuryn Dynamic Logic 114 David Harel, Dexter Kozen, And Jerzy Tiuryn Preface

www.wisdom.weizmann.ac.il/~dharel/papers/DynamicLogic.ps

STATEMATE: A Working Environment for the.. - Harel, Lachover.. (1990)   (Correct)   (288 citations)
For The Development Of,complex Reactive Systems David Harel, Member, M, Hagi Lachover, Amnon Naamad, Amir
PA, Tech. Rep. CMU/SEI-89- TR-36, Dec. 1989. David Harel (M'84) received the B.Sc. degree in

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Statemate.pdf

Structure and Complexity of Relational Queries - Chandra, Harel (1982)   (Correct)   (193 citations)
Of Relational Queries Ashok Chandra And David Harel Computer Sciences Department, Ibm Thomas J.
Complexity of Relational Queries Ashok Chandra, David Hare

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/RelationalQueries.pdf

Computable Queries for Relational Databases - Chandra, Harel (1980)   (Correct)   (184 citations)
For Relational Data Bases Asok K. Cadm D David Harel Ibm Thomas J. Vratson Research Center, P.o.
Queries for Relational Databases Ashok Chandra, David Hare

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/ComputableQueries.pdf

Executable Object Modeling with Statecharts - Harel, Gery (1997)   (Correct)   (167 citations)
core of the emerging Unified Modeling Language. David Harel The Weizmann Institute of Science and
Orientation Statecharts were developed by David Harel in 1983 as a visual formalism for specifying

selab.korea.ac.kr/selab/resources/se/papers/objects/harel97.pdf

On Visual Formalisms - Harel (1988)   (Correct)   (133 citations)
The Higraph-Based Language Of Sea Techarts. David Harel Visualizing Information, Especially
visual formalisms Author's Present Address: David Harel, Department of Applied Mathematics and

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/VisualFormalisms.pdf

The STATEMATE Semantics of Statecharts - Harel, Naamad (1996)   (Correct)   (78 citations)
The Statemate Semantics.of Statecharts David Harel The Weizmann Institute Of Science And Amnon
5, No. 4. October 1996, Pages 293-333. 294 David Harel and Amnon Naamad Subtle issues arise when one

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/SemanticsofStatecharts.pdf

Drawing Graphs Nicely Using Simulated Annealing - Davidson, Harel (1996)   (Correct)   (77 citations)
Graphs Nicely Using Annealing Ron Davidson And David Harel The Weizmann Institute Of Science Simulated
Nicely Using Simulated Annealing Ron Davidson, David Hare

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/DrawingGraphsNicely.pdf

LSCs: Breathing Life into Message Sequence Charts - Damm, Harel (2001)   (Correct)   (57 citations)
Damm Damm@offis.de Offis, Oldenburg, Germany David Harel Harel@wisdom.weizmann.ac.il The Weizmann
Life into Message Sequence Charts Werner Damm, David Hare

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/LSCs.pdf

Completeness and Consistency Analysis of State-Based.. - Heimdahl, Leveson (1995)   (Correct)   (39 citations)
is in many aspects similar to Statecharts by David Harel [HP85, Har87]Statecharts are finite state
used in RSML has been formally described by David Harel in his work on HiGraphs and Statecharts [HP85,

www-users.cs.umn.edu/~heimdahl/Publications/icse17.ps

Manipulating And Documenting Software Structures - Storey, Müller, Wong (1995)   (Correct)   (37 citations)
SHriMP #sheye-view algorithm. 3.1 NestedGraphs David Harel introduced the concept of a higraph in 1988, a
rigi.csc.uvic.ca/Pages/publications/manipulating.pdf

Biting the Silver Bullet: Toward Brighter Future for System.. - Harel (1992)   (Correct)   (30 citations)
Toward a Brighter Future for System Development David Harel, Weizmann Institute of Science A "vanilla"
Comm. ACM, Vol. 31, No. 5, 1988, pp. 514-530. David Harel is the William Sussman Professor of

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/BitingTheSilverBullet.pdf

On the Power of Bounded Concurrency I: Finite Automata - Drusinsky, harel (1994)   (Correct)   (26 citations)
I: Finite Automata Doron Drusinsky And David Harel The Weizmann Institute Of Science, Rehovo6
Concurrency I: Finite Automata Doron Drusinsky, David hare

www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/BoundedConcurrency.pdf

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC