Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(244)
Hillel Kugler
27
Amir Pnueli
25
Irun R. Cohen
23
Yehuda Koren
20
Liran Carmel
16
Conferences
(72)
STOC
7
LICS
6
ICALP
4
WSC
4
Dagstuhl Seminars
4
Journals
(74)
JCSS
12
COMPUTER
8
SCP
8
IANDC
7
TCS
6
Keywords
(373)
Embed
Subscribe
Academic
Authors
David Harel
Edit
David Harel
Weizmann Institute of Science
Publications: 358
|
Citations: 17446
|
G-Index: 129
|
H-Index: 49
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
244 co-authors
from 1967 to 2011
; Cited by
11876 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(358)
BibTeX
|
RIS
|
RefWorks
Download
On Visualization and Comprehension of Scenario-Based Programs
(
Citations: 1
)
Nir Eitan
,
Michal Gordon
,
David Harel
,
Assaf Marron
,
Gera Weiss
Conference:
International Conference on Program Comprehension - ICPC
, pp. 189-192, 2011
Model-checking behavioral programs
David Harel
,
Robby Lampert
,
Assaf Marron
,
Gera Weiss
Published in 2011.
On the Power of Play-Out for Scenario-Based Programs
(
Citations: 3
)
David Harel
,
Amir Kantor
,
Shahar Maoz
Conference:
Birthday ...
, pp. 207-220, 2010
Programming Coordinated Behavior in Java
(
Citations: 1
)
David Harel
,
Assaf Marron
,
Gera Weiss
Conference:
European Conference on Object-Oriented Programming - ECOOP
, pp. 250-274, 2010
Isolated Low HDL Cholesterol Emerges as the Most Common Lipid Abnormality Among Obese Adolescents
(
Citations: 2
)
Z. Harel
,
S. Riggs
,
R. Vaz
,
P. Flanagan
,
D. Harel
Journal:
Clinical Pediatrics - CLIN PEDIAT
, vol. 49, no. 1, pp. 29-34, 2010
Order by:
Citations
(17446 times by 10239 publications)
Visual Reasoning about Social Networks Using Centrality Sensitivity
Carlos D. Correa
,
Tarik Crnovrsanin
,
Kwan-Liu Ma
Journal:
IEEE Transactions on Visualization and Computer Graphics - TVCG
, vol. 18, no. 1, pp. 106-120, 2012
Dynamic QoS Management and Optimization in Service-Based Systems
(
Citations: 6
)
Radu Calinescu
,
Lars Grunske
,
Raffaela Mirandola
,
Giordano Tamburrelli
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 387-409, 2011
GEODAC: A Data Assurance Policy Specification and Enforcement Framework for Outsourced Services
(
Citations: 3
)
Jun Li
,
Bryan Stephenson
,
Hamid Reza Motahari-Nezhad
,
Sharad Singhal
Journal:
IEEE Transactions on Services Computing
, vol. 4, no. 4, pp. 340-354, 2011
The Design Space of Implicit Hierarchy Visualization: A Survey
(
Citations: 2
)
Hans-Jörg Schulz
,
Steffen Hadlak
,
Heidrun Schumann
Journal:
IEEE Transactions on Visualization and Computer Graphics - TVCG
, vol. 17, no. 4, pp. 393-411, 2011
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
(
Citations: 5
)
Matthias Weidlich
,
Jan Mendling
,
Mathias Weske
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 410-429, 2011
Comments