David Harel
#3,030
Most Influential Person Now
Israeli computer scientist
David Harel's AcademicInfluence.com Rankings
David Harelcomputer-science Degrees
Computer Science
#234
World Rank
#244
Historical Rank
Software Engineering
#21
World Rank
#21
Historical Rank
Database
#138
World Rank
#141
Historical Rank
Download Badge
Computer Science
David Harel's Degrees
- Masters Computer Science Weizmann Institute of Science
- PhD Computer Science Weizmann Institute of Science
Similar Degrees You Can Earn
Why Is David Harel Influential?
(Suggest an Edit or Addition)According to Wikipedia, David Harel is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.
David Harel's Published Works
Published Works
- Statecharts: A Visual Formalism for Complex Systems (1987) (7888)
- On visual formalisms (1988) (1479)
- The STATEMATE semantics of statecharts (1996) (1257)
- STATEMATE: a working environment for the development of complex reactive systems (1988) (1226)
- On the Development of Reactive Systems (1989) (1055)
- LSCs: Breathing Life into Message Sequence Charts (1999) (991)
- Dynamic logic (2001) (871)
- Executable object modeling with statecharts (1996) (800)
- First-Order Dynamic Logic (1979) (668)
- Modeling Reactive Systems With Statecharts : The Statemate Approach (1998) (602)
- Meaningful modeling: what's the semantics of "semantics"? (2004) (594)
- Structure and complexity of relational queries (1980) (584)
- Come, let's play - scenario-based programming using LSCs and the play-engine (2003) (571)
- Drawing graphs nicely using simulated annealing (1996) (555)
- Computable Queries for Relational Data Bases (1980) (481)
- On the Formal Semantics of Statecharts (Extended Abstract) (1987) (441)
- STATEMATE: a working environment for the development of complex reactive systems (1988) (392)
- A fast multi-scale method for drawing large graphs (2000) (390)
- Horn Clauses Queries and Generalizations (1985) (342)
- A 3D building blocks approach to analyzing and predicting structure of proteins (1989) (272)
- Come, Let’s Play (2003) (247)
- Synthesizing State-Based Object Systems from LSC Specifications (2000) (233)
- Graph Drawing by High-Dimensional Embedding (2002) (231)
- Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff (2000) (229)
- Algorithmics: The Spirit of Computing (1987) (205)
- A metric for odorant comparison (2008) (202)
- Using statecharts for hardware description and synthesis (1989) (201)
- Process logic: Expressiveness, decidability, completeness (1980) (192)
- From Play-In Scenarios to Code: An Achievable Dream (2000) (179)
- Recurring dominoes: making the highly undecidable highly understandable (1985) (176)
- Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. (2003) (173)
- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version (2004) (162)
- ACE: a fast multiscale eigenvectors computation for drawing huge graphs (2002) (159)
- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements (2005) (153)
- Specifying and executing behavioral requirements: the play-in/play-out approach (2003) (151)
- Assert and negate revisited: Modal semantics for UML sequence diagrams (2008) (144)
- Message Sequence Charts (2003) (144)
- Smart Play-out of Behavioral Requirements (2002) (140)
- Explaining a complex living system: dynamics, multi-scaling and emergence (2007) (138)
- Behavioral programming (2012) (133)
- On Clustering Using Random Walks (2001) (132)
- Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness (1986) (128)
- A High School Program in Computer Science (1995) (125)
- The immune system as a reactive system: modeling T cell activation with statecharts (2001) (120)
- Formal Modeling of C. elegans Development: A Scenario-Based Approach (2003) (111)
- A multi-scale algorithm for drawing graphs nicely (1999) (107)
- What (else) should CS educators know? (1998) (106)
- On folk theorems (1980) (105)
- Temporal Logic for Scenario-Based Specifications (2005) (105)
- On the power of bounded concurrency I: finite automata (1994) (105)
- Biting the silver bullet: toward a brighter future for system development (1992) (102)
- Clustering spatial data using random walks (2001) (98)
- Reactive animation: realistic modeling of complex dynamic systems (2005) (97)
- Computational insights into Caenorhabditis elegans vulval development. (2005) (97)
- Propositional Dynamic Logic of Nonregular Programs (1983) (96)
- A Multi-scale Algorithm for the Linear Arrangement Problem (2002) (93)
- Emergent Dynamics of Thymocyte Development and Lineage Determination (2006) (91)
- Playing with time: on the specification and execution of time-enriched LSCs (2002) (87)
- Multiple instances and symbolic variables in executable sequence charts (2002) (86)
- From multi-modal scenarios to code: compiling LSCs into aspectJ (2006) (84)
- Computability and completeness in logics of programs (Preliminary Report) (1977) (84)
- Rhapsody: A Complete Life-Cycle Model-Based Development System (2002) (84)
- A feature extraction method for chemical sensors in electronic noses (2003) (79)
- Four-dimensional realistic modeling of pancreatic organogenesis (2008) (79)
- Curriculum and Course Syllabi for a High-School CS Program (1999) (78)
- Drawing Huge Graphs by Algebraic Multigrid Optimization (2003) (77)
- On the Complexity of Verifying Concurrent Transition Systems (1997) (74)
- Drawing graphs with non-uniform vertices (2002) (73)
- Statecharts in the making: a personal account (2009) (72)
- A probabilistic dynamic logic (1982) (72)
- Nondeterminism in logics of programs (1978) (67)
- Toward Verified Biological Models (2008) (65)
- Assert and negate revisited: modal semantics for UML sequence diagrams (2006) (63)
- Scenario-based programming: reducing the cognitive load, fostering abstract thinking (2014) (63)
- A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal (2004) (63)
- On Object Systems and Behavioral Inheritance (2002) (59)
- Can Programming Be Liberated, Period? (2008) (58)
- Complexity Results for Two-Way and Multi-Pebble Automata and their Logics (1996) (58)
- Algorithmic Bioprocesses (2009) (58)
- Biology as reactivity (2011) (57)
- LOGICS OF PROGRAMS: AXIOMATICS AND DESCRIPTIVE POWER (1978) (57)
- Predicting Odor Pleasantness with an Electronic Nose (2010) (55)
- A Turing-like test for biological modeling (2005) (53)
- Using the Statecharts paradigm for simulation of patient flow in surgical care (2008) (53)
- Towards an odor communication system (2003) (51)
- Computers Ltd - what they really can't do (2000) (51)
- Horn clauses and the fixpoint query hierarchy (1982) (50)
- On statecharts with overlapping (1992) (48)
- Statecharts in Use: Structured Analysis and Object-Orientation (1996) (48)
- A Programming Language for the Inductive Sets, and Applications (1982) (47)
- PlayGo: towards a comprehensive tool for scenario based programming (2010) (47)
- The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico (2008) (45)
- S2A: A Compiler for Multi-modal UML Sequence Diagrams (2007) (44)
- Model-checking behavioral programs (2011) (44)
- An Algorithm for Straight-Line Drawing of Planar Graphs (1995) (43)
- Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool (2005) (43)
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report) (1983) (42)
- Programming Coordinated Behavior in Java (2010) (42)
- And/Or Programs: A New Approach to Structured Programming (1980) (42)
- A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. (2008) (41)
- Looping vs. Repeating in Dynamic Logic (1982) (40)
- On Static Logics, Dynamic Logics, and Complexity Classes (1984) (38)
- Generating Executable Scenarios from Natural Language (2009) (38)
- Hamiltonian paths in infinite graphs (1991) (37)
- Challenges for Modeling and Simulation Methods in Systems Biology (2006) (37)
- On teaching programming with nondeterminism (2013) (37)
- Can Programming Be Liberated (2008) (36)
- Biocharts: a visual formalism for complex biological systems (2009) (36)
- Measuring smells (2008) (35)
- Autonomics: In search of a foundation for next-generation autonomous systems (2019) (34)
- On tracing reactive systems (2011) (34)
- Beyond the Gene (2007) (33)
- Propositional Dynamic Logic of Flowcharts (1983) (33)
- Randomized graph drawing with heavy-duty preprocessing (1994) (31)
- Process Logic with Regular Formulas (1985) (31)
- Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (2007) (30)
- A two-way visualization method for clustered data (2003) (30)
- Transition to Design (2003) (30)
- A feature extraction algorithm for multi-peak signals in electronic noses (2007) (30)
- Combining hierarchy and energy for drawing directed graphs (2004) (29)
- On composing and proving the correctness of reactive behavior (2013) (28)
- A complete axiomatic system for proving deductions about recursive programs (1977) (28)
- Reactive Animation (2002) (28)
- Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems (2004) (28)
- Non-intrusive Repair of Reactive Programs (2012) (28)
- Assessment of changes in cardiopulmonary resuscitation practices and outcomes on 1005 victims of out-of-hospital cardiac arrest during the COVID-19 outbreak: registry-based study (2020) (28)
- On folk theorems (1980) (28)
- Deciding properties of nonregular programs (1990) (27)
- Proceedings of the fifteenth annual ACM symposium on Theory of computing (1983) (27)
- Prediction Models for the Pleasantness of Binary Mixtures in Olfaction (2008) (26)
- On mappings between electronic noses (2005) (26)
- Taking it to the limit: on infinite variants of NP-complete problems (1993) (26)
- Completeness results for recursive data bases (1993) (25)
- On the Power of Cooperative Concurrency (1988) (25)
- On the power of bounded concurrency II: pushdown automata (1994) (24)
- Curriculum and Course Syllabi for a High-School Program in Computer Science (1999) (24)
- A measure of smell enables the creation of olfactory metamers (2020) (24)
- GemCell: A generic platform for modeling multi-cellular biological systems (2008) (23)
- Behavioral programming, decentralized control, and multiple time scales (2011) (23)
- Modeling biological reactivity: statecharts vs. Boolean logic (2002) (23)
- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach (2003) (23)
- Drawing Directed Graphs Using One-Dimensional Optimization (2002) (22)
- An eNose algorithm for identifying chemicals and determining their concentration (2003) (22)
- Computable queries for relational data bases (Preliminary Report) (1979) (22)
- InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming (2003) (22)
- An initial wise development environment for behavioral models (2016) (21)
- Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures (2014) (21)
- Towards a theory of Recursive Structures (1998) (21)
- Smart play-out extended: time and forbidden elements (2004) (21)
- Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach, (2001) (21)
- Predicting the Receptive Range of Olfactory Receptors (2008) (20)
- On the Succinctness of Idioms for Concurrent Programming (2015) (20)
- Odorant concentration dependence in electroolfactograms recorded from the human olfactory epithelium. (2009) (20)
- On the behavioral inheritance of state-based objects (2000) (19)
- Synthesis from scenario-based specifications (2012) (19)
- Relaxing Synchronization Constraints in Behavioral Programs (2013) (19)
- On the power of bounded concurrency. III. Reasoning about programs (1990) (19)
- A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ (2011) (19)
- On the Solvability of Domino Snake Problems (1994) (19)
- Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs (2014) (18)
- An algorithm for blob hierarchy layout (2000) (18)
- Some Results on the Expressive Power and Complexity of LSCs (2008) (18)
- Some Thoughts on Statecharts, 13 Years Later (1997) (17)
- Concurrency in Biological Modeling: Behavior, Execution and Visualization (2007) (17)
- Towards behavioral programming in distributed architectures (2015) (17)
- Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic (1980) (17)
- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal (2003) (17)
- Towards Trace Visualization and Exploration for Reactive Systems (2007) (17)
- Axis-by-Axis Stress Minimization (2003) (16)
- Specifying and executing requirements: the play-in/play-out approach (2002) (16)
- The effect of concurrent programming idioms on verification: A position paper (2015) (16)
- Implementation and Application of Automata (2001) (16)
- Computational Insights into C. elegans Vulval Development (2005) (16)
- Tactile Modulation of Whisking via the Brainstem Loop: Statechart Modeling and Experimental Validation (2013) (16)
- Theory-aided model checking of concurrent transition systems (2015) (15)
- Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL (1984) (15)
- A Data Structure with Movable Fingers and Deletions (1979) (15)
- Is the interesting part of process logic uninteresting?: a translation from PL to PDL (1982) (15)
- Arithmetical Completeness in Logics of Programs (1978) (15)
- Algorithmics - the spirit of computing (2. ed.) (1987) (15)
- The effect of previous programming experience on the learning of scenario-based programming (2012) (15)
- Using LSCs for scenario authoring in tactical simulators (2007) (14)
- On Visualization and Comprehension of Scenario-Based Programs (2011) (14)
- On the Total Correctness of Nondeterministic Programs (1981) (14)
- One-dimensional layout optimization, with applications to graph drawing by axis separation (2005) (14)
- A general result on infinite trees and its applications (1984) (14)
- The spirit of computing (1987) (13)
- Wise Computing: Toward Endowing System Development with Proactive Wisdom (2018) (13)
- On predicting responses to mixtures in quartz microbalance sensors (2005) (13)
- Adaptive Behavioral Programming (2011) (13)
- Distributing Scenario-based Models: A Replicate-and-Project Approach (2017) (12)
- On Teaching Visual Formalisms (2009) (12)
- Propositional dynamic logic of context-free programs (1981) (12)
- Two Results on Process Logic (1979) (12)
- A Thesis for Bounded Concurrency (1989) (12)
- Smart play-out (2003) (12)
- Verifying Learning-Based Robotic Navigation Systems (2022) (12)
- Generic Reactive Animation: Realistic Modeling of Complex Natural Systems (2008) (12)
- Algorithms and Data (1987) (11)
- Object Composition in Scenario-Based Programming (2008) (11)
- On the Algorithmics of Higraphs (1997) (11)
- Embedding Scenario-based Modeling in Statecharts (2018) (11)
- Visualizing and Classifying Odors Using a Similar-ity Matrix (2002) (11)
- Visualizing inter-dependencies between scenarios (2008) (11)
- Strengthened Results on Nonregular PDL (1999) (11)
- Reactive animation: From piecemeal experimentation to reactive biological systems (2011) (10)
- Mix-to-mimic odor synthesis for electronic noses (2007) (10)
- Characterizing Second Order Logic with First Order Quantifiers (1979) (10)
- Statecharts in the making: a personal account (2007) (10)
- Beauty is in the genes of the beholder (1986) (10)
- Deciding Emptiness for Stack Automata on Infinite Trees (1994) (9)
- Undecidability of PDL with L={a^(2i)|i>=0} (1984) (9)
- More on Looping vs. Repeating in Dynamic Logic (1985) (9)
- The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment (2016) (9)
- 17 A theory for complex systems: reactive animation (2005) (9)
- First Steps Towards a Wise Development Environment for Behavioral Models (2016) (8)
- Estimating the size of the olfactory repertoire (2001) (8)
- Computation Paths Logic: An Expressive, yet Elementary, Process Logic (1999) (8)
- More about recursive structures: descriptive complexity and zero-one laws (1996) (8)
- Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Lecture Notes in Computer Science) (2006) (8)
- Specification and Design (1999) (8)
- A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes. (2003) (8)
- Computational Paradigm to Elucidate the Effects of Arts-Based Approaches and Interventions: Individual and Collective Emerging Behaviors in Artwork Construction (2015) (8)
- A universal flowcharter (1979) (8)
- On the Power of Play-Out for Scenario-Based Programs (2010) (8)
- The science of computing - exploring the nature and power of algorithms (1989) (7)
- Attention Robustly Gates a Closed-Loop Touch Reflex (2017) (7)
- A Sense of Life ∗ (2003) (7)
- Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing (2016) (7)
- Obedience, struggle & revolt : lectures on theatre (2005) (7)
- An Interactive Tool for Animating Biology, and Its Use in Spatial and Temporal Modeling of a Cancerous Tumor and Its Microenvironment (2015) (7)
- Complexity Results for Multi-Pebble Automata and their Logics (1994) (7)
- Analysis of dihedral angles distribution: The doublets distribution determines polypeptides conformations (1990) (7)
- Electropolishing effect on roughness metrics of ground stainless steel: a length scale study (2018) (7)
- Efficient Distributed Execution of Multi-component Scenario-Based Models (2017) (7)
- More on Nonregular PDL: Finite Models and Fibonacci-Like Programs (1996) (7)
- DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis (1986) (7)
- Executable Modeling of Morphogenesis: A Turing-Inspired Approach (2012) (6)
- Executing Scenario-Based Specification with Dynamic Generation of Rich Events (2019) (6)
- Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation (2014) (6)
- Visual Similarity (2009) (6)
- Scenario-Based Programming, Usability-Oriented Perception (2014) (6)
- Constrained Reinforcement Learning for Robotics via Scenario-Based Programming (2022) (5)
- Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems (2019) (5)
- Accelerating Smart Play-Out (2009) (5)
- Further Results on Propositional Dynamic Logic of Nonregular Programs (1981) (5)
- SHOW-AND-TELL PLAY-IN : COMBINING NATURAL LANGUAGE WITH USER INTERACTION FOR SPECIFYING BEHAVIOR (2011) (5)
- Wise Computing: Towards Endowing System Development with True Wisdom (2015) (5)
- Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions (2020) (5)
- An Algorithmic Approach to Odor Communication and Reproduction (2001) (5)
- On the Power of Bounded Concurrency II: The Pushdown Automata Level (1990) (5)
- On Statecharts for Biology (2010) (5)
- On comprehensive and realistic modeling: some ruminations on the what, the how and the why. (2005) (4)
- "do considered od" considered odder than "do considered ob" (1980) (4)
- Computational Music Therapy (2019) (4)
- Some Thoughts on the Semantics of Biocharts (2010) (4)
- How Hard is it to Reason about Propositional Programs? (1990) (4)
- On the Behavior of Complex Object-Oriented Systems (1999) (4)
- Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2 (2017) (4)
- Scenario-Based Programming for Mobile Applications (2016) (4)
- The Play-in / Play-out Approach and Tool : Specifying and Executing Behavioral Requirements (2002) (4)
- Semantic Navigation Strategies for Scenario-Based Programming (2010) (4)
- Teaching Nondeterminism Through Programming (2016) (4)
- Programming with the user in mind (2011) (4)
- Multi-modal scenarios revisited: A net-based representation (2012) (4)
- Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) (2019) (4)
- Ingegneria del software (2008) (3)
- Comprehensive and Realistic Modeling of Biological Systems (2006) (3)
- Modal Scenarios as Automata (2014) (3)
- On the Aesthetics of Diagrams (Summary of Talk) (1998) (3)
- A software engineering framework for switched fuzzy systems (2012) (3)
- One-Dimensional Graph Drawing : Part I — Drawing Graphs by Axis Separation (2003) (3)
- Scenario-Assisted Deep Reinforcement Learning (2022) (3)
- Evaluating a natural language interface for behavioral programming (2012) (3)
- Visualizing Spatial Data (2009) (3)
- Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering (1994) (3)
- Modeling Biology using Generic Reactive Animation (2010) (3)
- Crowd-Based Programming for Reactive Systems (2017) (3)
- Niépce–Bell or Turing: how to test odour reproduction (2016) (3)
- Visual Data Analysis (2009) (3)
- An Incremental Drawing Algorithm for Planar Graphs (1995) (3)
- Steps towards Scenario-Based Programming with a Natural Language Interface (2014) (3)
- Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1 (2017) (3)
- On Using Divide and Conquer in Modeling Natural Systems (2009) (3)
- Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy (2020) (3)
- Logic and databases: a critique (1987) (2)
- Response to "Comments on 'On Object Systems and Behavior Inheritance'" (2003) (2)
- Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (2006) (2)
- 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS) (2006) (2)
- Some Thoughts on Behavioral Programming (2011) (2)
- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (2002) (2)
- Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (1997) (2)
- Computational elucidation of the effects induced by music making (2019) (2)
- More on nonregular PDL: expressive power, finite models, Fibonacci programs (1995) (2)
- How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution (2009) (2)
- Creating a Foundation for Next-Generation Autonomous Systems (2021) (2)
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs (2006) (2)
- Propositional Dynamic Logic (2000) (2)
- on And/Or Schemes (1980) (2)
- STATEMATE : A Working Development of Complex (2001) (2)
- I. Fundamental Concepts (1959) (2)
- Modeling and analyzing complex reactive systems - The Statemate approach (1989) (2)
- Toward Scenario-Based Algorithmics (2018) (2)
- Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models (2018) (2)
- Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering (1995) (1)
- Towards Synergistic Integration of Context-Based and Scenario-Based Development (2017) (1)
- The Correctness of Algorithms (1987) (1)
- Deciphering the underlying mechanisms of the pharyngeal motions in Caenorhabditis elegans. (2019) (1)
- Can we computerize an elephant? (2009) (1)
- Music Technology Education and a Plugin-Based Platform as a Tool to Enhance Creativity, Multidisciplinarity, Creative Design, and Collaboration Skills (2021) (1)
- Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing (2021) (1)
- The Efficiency of Algorithms (1987) (1)
- Trustworthy Autonomous System Development (2022) (1)
- Crafting game-models using reactive system design (2008) (1)
- Recursion in logics of programs (1979) (1)
- Statecharts: Past, Present and Future (abstract) (1996) (1)
- Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) (2012) (1)
- 06351 Summary -- Methods for Modelling Software Systems (MMOSS) (2006) (1)
- Logic and databases: a critique (1986) (1)
- Programming Animation Using Behavioral Programming (2015) (1)
- Execution , and Visualization of Thymic T-Cell Maturation Toward Rigorous Comprehension of Biological Complexity : data (2003) (1)
- III First-Order Dynamic Logic (2000) (1)
- On the Aesthetics of Diagrams. (1997) (1)
- Towards Integration of Context-Based and Scenario-Based Development (2017) (1)
- The quest for runware: on compositional, executable and intuitive models (2012) (1)
- Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models (2018) (1)
- Introduction and Historical Review (1987) (0)
- Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences , vol. 23 (1981), pp. 279–298. (1984) (0)
- T What (else) Should Cs Educators Know? (1998) (0)
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs (Abstract of FLoC Keynote Talk) (2006) (0)
- Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s (2010) (0)
- Programming Languages and Paradigms (1987) (0)
- Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 (2007) (0)
- Towards a Theory of Recurs ive Structures* (2005) (0)
- Video Skimming (2009) (0)
- When New Event Do 5.4 Cnc Part Programming Language 5.2 Connguration 4.2 Deenitions (1991) (0)
- A Programming Language for the Inductive and Applications * (2005) (0)
- Comprehensibility of Model Representations: Designing an Empirical Evaluation Framework (2007) (0)
- Classes and Symbolic Instances (2003) (0)
- Video Indexing (2009) (0)
- Methods for Modelling Software Systems: organisers’ summary Dagstuhl seminar 06351 (2007) (0)
- The Tool: The Play-Engine (2003) (0)
- Cryptography and Reliable Interaction (1987) (0)
- A novel paradigm for programming reactive systems centered on naturally specified modular behavior (0)
- Wise Computing (2015) (0)
- How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system ’ s behavior . by david harel statecharts in the making : a Personal (2009) (0)
- Towards a Theory of Recursive Structures (extended abstract) (1997) (0)
- Generic Architecture for Reactive Animation Technical Report (2007) (0)
- Smart Play-Out (with H. Kugler) (2003) (0)
- The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment (2016) (0)
- EATCS Fellows' Advice to the Young Theoretical Computer Scientist (2016) (0)
- Computers are not omnipotent (1997) (0)
- Branching and Subcharts (2003) (0)
- Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic, RC 7557 Nr. 32673 (1980) (0)
- Some thoughts on executable visual languages and their Interfaces (2012) (0)
- The Model: Object Systems (2003) (0)
- Inside and Outside the Play-Engine (2003) (0)
- Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways (2019) (0)
- Clermont-Ferrand, France, July 21–30, 1994 (1995) (0)
- Parallelismo, Concorrenza e modelli alternativi (2008) (0)
- Notation and Abbreviations (2000) (0)
- Reasoning About Programs (2000) (0)
- Assignments and Implemented Functions (2003) (0)
- Languages for Programming - From Punched Cards to Wise Computing (2018) (0)
- Standing on the Shoulders of a Giant (0)
- On the Visualization and Aesthetics of Large Graphs: Short Abstract (2003) (0)
- A Review of Research in Behavioral Programming (2011) (0)
- A Game-Based Platform for Introducing and Practicing Computational Problem Solving (2021) (0)
- Future Research Directions (2003) (0)
- 2 On the Succinctness of Idioms for Concurrent Programming reliability (2015) (0)
- BEHAVIORAL PROGRAMMING WITH A SUBSET OF NATURAL LANGUAGE: AN EVALUATION STUDY (2021) (0)
- Some Challenges for System Development: Layout, Olfaction and Reactive Animation (2003) (0)
- On Statecharts with (1992) (0)
- Spectral Graph Drawing (2020) (0)
- Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems (2023) (0)
- The quest for runware: on compositional, executable and intuitive models (2012) (0)
- Video Search (2009) (0)
- Part I: Binary-relation semantics (1979) (0)
- Time and Real-Time Systems (2003) (0)
- 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 (2012) (0)
- Exploring the connection of biology with reactive systems to better understand living systems (0)
- Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance (2012) (0)
- Complexity of PDL (2000) (0)
- Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns (2021) (0)
- Non-Intrusive Repair of Behavioral Programs (2016) (0)
- On the Full Organism Challenge: Or, Can we Computerize an Elephant? (2015) (0)
- Testing with Existential Charts (2003) (0)
- 5 the User Interface (2007) (0)
- Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems (2006) (0)
- USING SYSTEM MODELS TO RESOLVE CO-REFERENCE IN TRANSLATING NATURAL LANGUAGE REQUIREMENTS INTO CODE (2020) (0)
- A Play-Engine Aware GUI Editor (2003) (0)
- Variables and Symbolic Messages (2003) (0)
- Parallelism, Concurrency, and Alternative Models (1987) (0)
- Bringing Textual Descriptions to Life : Semantic Parsing of Requirements Documents into Executable Scenarios (2015) (0)
- Computers are not Omnipotent (Abstract) (1993) (0)
- PROVING THE CORRECTNESS OF REGULA DETERMINISTIC PROGRAMS : A UNIFYING S USING DYNAMIC LOGIC (1980) (0)
- Standing on the shoulders of a giant: one person's experience of turing's impact (2012) (0)
- Inefficiency and Intractability (1987) (0)
- The Language: Live Sequence Charts (LSCs) (2003) (0)
- Algorithmic Universality and Its Robustness (1987) (0)
- Ni\'epce-Bell or Turing: How to Test Odor Reproduction? (2016) (0)
- AN ASSESSMENT OF PROGRAMMING STYLES: ASSIGNMENT-ORIENTED LANGUAGES VERSUS FUNCTIONAL AND APPLICATIVE LANGUAGES Manfred Broy (2021) (0)
- Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's (2010) (0)
- Evaluating live sequence charts as a programming technique for non-programmers (2012) (0)
- Variants of DL (2000) (0)
- An Example-Driven Overview (2003) (0)
- OMEGA Correct development of Real-time systems IST-2001-33522 Title : Temporal Logic for Scenario-Based Specifications (2005) (0)
- Executing Multiple Charts (2003) (0)
- Visual interaction design (2000) (0)
- Part II: Computation-tree semantics (1979) (0)
- Cohen Modeling , Execution , and Visualization of Thymic T-Cell Maturation Toward Rigorous Comprehension of Biological Complexity : Material Supplemental (2003) (0)
- Editorʼs foreword (2012) (0)
- Algorithmics and Intelligence (1987) (0)
- Relationships with Static Logics (2000) (0)
- Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction (2005) (0)
- Filtration and Decidability (2000) (0)
- Other Variants of PDL (2000) (0)
- Enhancing Deep Reinforcement Learning with Scenario-Based Modeling (2023) (0)
- Can We Verify an Elephant? (2009) (0)
- Statecharts, popular for modeling system behavior in the structural analysis paradigm, are part of a fully executable language set for modeling object-oriented systems. The languages form the core of the emerging Unified Modeling Language. (1997) (0)
- II Propositional Dynamic Logic (2000) (0)
- Inefficienza e intrattabilità (2008) (0)
- Some Thoughts on Statecharts, 13 Years Later (Abstract) (1996) (0)
- Noncomputability and Undecidability (1987) (0)
- Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines (2023) (0)
This paper list is powered by the following services:
Other Resources About David Harel
What Schools Are Affiliated With David Harel?
David Harel is affiliated with the following schools: