logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

David Harel

Weizmann Institute of Science

75H-index
534Paper Count
3.1WCitation Count
Published Papers 42
Publication Date
logo
The Einstein Test: A Test of AI's Ability to Generate Transformative Science
errCommunications of the ACM
IF12.2
err2026-05-01
err0
PREAI
errBenrimoh, David; Harel, David; Mikus, Nace; Stone, Peter; Rosenfeld, Ariel
errShare
errSave
Enhancing Scenario-Based Modeling Using Large Language Models
errMODEL-BASED SOFTWARE AND SYSTEMS ENGINEERING, MODELSWARD 2024
IF0
err2026-01-01
err0
PREAI
errHarel, David; Katz, Guy; Marron, Assaf; Szekely, Smadar
errShare
errSave
Meta-autoencoders: An Approach to Discovery and Representation of Relationships Between Dynamically Evolving Classes A Work-in-Progress Report
errCYBER SECURITY, CRYPTOLOGY, AND MACHINE LEARNING, CSCML 2025
IF0
err2026-01-01
err0
PREAI
errMarron, Assaf; Szekely, Smadar; Cohen, Irun; Harel, David
errShare
errSave
Natural averaging may complement known biological constraints in sexual reproduction's advantages over asexual in conserving species quantitative traits
errSCIENTIFIC REPORTS
IF3.9
err2025-04-25
err0
errOAAI
errMarron, Assaf; Szekely, Smadar; Cohen, Irun R.; Harel, David
errShare
errSave
An infrastructure software perspective toward computation offloading between executable specifications and foundation models
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2025-03-13
err0
PREAI
errRan, Dezhi; Wu, Mengzhou; Cao, Yuan; Marron, Assaf; Harel, David; Xie, Tao
errShare
errSave
Computational elucidation of nonverbal behavior and body language in music therapy
errPNAS NEXUS
IF3.8
err2024-10-22
err0
errOAAI
errSandak, Billie; Gilboa, Avi; Harel, David
errShare
errSave
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-05-23
err0
errOAAI
errHarel, David; Marron, Assaf
errShare
errSave
Deciphering the underlying mechanisms of the pharyngeal pumping motions in Caenorhabditis elegans
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2024-02-05
err0
errOAAI
errSherman, Dana; Harel, David
errShare
errSave
Categorizing methods for integrating machine learning with executable specifications
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2023-10-17
err2
PREAI
errHarel, David; Yerushalmi, Raz; Marron, Assaf; Elyasaf, Achiya
errShare
errSave
A measure of smell enables the creation of olfactory metamers
errNATURE
IF48.5
err2020-11-11
err38
PREAI
errRavia, Aharon; Snitz, Kobi; Honigstein, Danielle; Finkel, Maya; Zirler, Rotem; Perl, Ofer; Secundo, Lavi; Laudamiel, Christophe; Harel, David; Sobel, Noam
errShare
errSave
Autonomics: In search of a foundation for next-generation autonomous systems
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2020-07-21
err33
errOAAI
errHarel, David; Marron, Assaf; Sifakis, Joseph
errShare
errSave
Attention Robustly Gates a Closed-Loop Touch Reflex
errCURRENT BIOLOGY
IF7.5
err2017-06-01
err11
errOAAI
errSherman, Dana; Oram, Tess; Harel, David; Ahissar, Ehud
errShare
errSave
Niepce-Bell or Turing: how to test odour reproduction
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2016-12-01
err3
errOAAI
errHarel, David
errShare
errSave
An algorithm for blob hierarchy layout
errVISUAL COMPUTER
IF2.9
err2016-03-14
err2
PREAI
errHarel, D; Yashchin, G
errShare
errSave
Scenario-Based Programming, Usability-Oriented Perception
erracm transactions on quantum computing
IF3.8
err2014-10-27
err2
PREAI
errAlexandron, Giora; Armoni, Michal; Gordon, Michal; Harel, David
errShare
errSave
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-07-01
err71
PREAI
errHarel, David; Marron, Assaf; Weiss, Gera
errShare
errSave
Biology as Reactivity
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-10-01
err34
PREAI
errFisher, Jasmin; Harel, David; Henzinger, Thomas A.
errShare
errSave
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2011-09-01
err12
PREAI
errMaoz, Shahar; Harel, David; Kleinbort, Asaf
errShare
errSave
Reactive animation: From piecemeal experimentation to reactive biological systems
errAUTOIMMUNITY
IF3.1
err2011-01-19
err5
PREAI
errVainas, Oded; Harel, David; Cohen, Irun R.; Efron, Sol
errShare
errSave
Biocharts: a visual formalism for complex biological systems
errJOURNAL OF THE ROYAL SOCIETY INTERFACE
IF3.5
err2009-12-18
err18
errOAAI
errKugler, Hillel; Larjo, Antti; Harel, David
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
I
Irun R. Cohen
H-index: 86 · Papers: 545
D
Doron Lancet
H-index: 82 · Papers: 343
K
Kensaku Mori
H-index: 71 · Papers: 438
Y
Yuval Dor
H-index: 70 · Papers: 278
View more