- Can Behavioral Requirements be Executed? (And why would we want to do so?)
- Toward Rigorous Comprehension of Biological Complexity: Modeling, Execution, and Visualization
- Predicting the Receptive Range of Olfactory Rafi Haddad1,2*
- Modeling and Verification of a Telecommunication Application using Live
- On Using Divide and Conquer in Modeling Natural Systems
- Chem. Senses 33: 599609, 2008 doi:10.1093/chemse/bjn026 Advance Access publication June 4, 2008
- 0018-9162/01/$10.00 2001 IEEE January 2001 53 From Play-In
- PlayGo: Towards a Comprehensive Tool for Scenario Based Programming
- A UNIVERSAL FLOWCHARTER 0. Harel, P. Norvig, J. Rood, T. To
- Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages
- 0018-9162/97/$10.00 1997 IEEE July 1997 31 Executable Object
- Formal Methods in System Design, 19, 4580, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- A Fast Multi-Scale Method for Drawing Large David Harel and Yehuda Koren
- On Clustering Using Random Walks David Harel and Yehuda Koren
- Multiple Instances and Symbolic Variables in Executable Sequence Charts
- Drawing Huge Graphs by Algebraic Multigrid Optimization Yehuda Koren, Liran Carmel, and David Harel
- Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 8, no. 2, pp. 195214 (2004)
- A feature extraction method for chemical sensors in electronic noses
- C. Priami (Ed.): CMSB 2003, LNCS 2602, pp. 4-20, 2003. Springer-Verlag Berlin Heidelberg 2003
- 17 A theory for complex systems: reactive animation
- Sensors and Actuators B 106 (2005) 128135 On predicting responses to mixtures in quartz microbalance sensors
- Axis-by-Axis Stress Minimization Yehuda Koren and David Harel
- Some Methodological Observations Resulting from Experience Using LSCs and the
- Statecharts in the Making: A Personal Account David Harel
- UNCORRECTEDPROOF Please cite this article in press as: L. Carmel, D. Harel, Mix-to-mimic odor synthesis for electronic noses, Sens. Actuators B: Chem. (2007),
- Software & Systems Modeling manuscript No. (will be inserted by the editor)
- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based
- C O V E R F E A T U R E 28 Computer Published by the IEEE Computer Society 0018-9162/08/$25.002008IEEE
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Object Composition in Scenario-Based Programming
- Visualizing Inter-Dependencies Between Scenarios David Harel
- Symbolic Systems Biology: Theory and Methods, Jones and Bartlett Publishers 2010 On Statecharts for Biology
- On the Power of Play-Out for Scenario-Based Programs
- Available online at www.sciencedirect.com Measuring smells
- Biocharts: a visual formalism for complex biological systems
- Programming Coordinated Behavior in Java David Harel1
- Formal Aspects of Applicable Formal Methods
- For my precious children, Sarit, Hadas, Efrat, Yair and Tamar, with whom playing has always been so much fun.
- A Complete Lifecycle Model-Based Development System Eran Gery, David Harel and Eldad Palatshy
- Curriculum and Course Syllabi for a High-School Program in Computer Science
- Two Views of a Biology-Computer Science Irun Cohen1
- The Lymph Node B Cell Immune Response: Dynamic
- Softw Syst Model (2003) 2: 82107 / Digital Object Identifier (DOI) 10.1007/s10270-002-0015-5 Regular papers
- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)
- Four-dimensional realistic modeling of pancreatic organogenesis
- Smart Play-Out of Behavioral Requirements David Harel, Hillel Kugler, Rami Marelly and Amir Pnueli
- Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
- 0018-9162/05/$20.00 2005 IEEE38 Computer C O V E R F E A T U R E
- On the Complexity of Verifying Concurrent Transition Systems
- APPLIED LOGIC Recelied 30 March 1997: received in rc\ ised form I6 .luly 1997: accepted 7 No\ emtw IW-
- S2A: A Compiler for Multi-Modal UML Sequence Diagrams
- 0018-9162/04/$20.00 2004 IEEE64 Computer C O V E R F E A T U R E
- Drawing Graphs with Non-Uniform Vertices David Harel
- Predicting Odor Pleasantness with an Electronic Nose Rafi Haddad1,3
- Emergent Dynamics of Thymocyte Development and Lineage Determination
- 102:2121-2130, 2009. doi:10.1152/jn.91321.2008J Neurophysiol David Harel, Noam Sobel and Thomas Hummel
- Theoretical Computer Science 12 (1980) 61-81 @ North-Holland Publishing Company
- march 2009 | vol. 52 | no. 3 | communications of the acm 67 doi:10.1145/1467247.1467274
- From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ
- Explaining a complex living system: dynamics, multi-scaling and emergence
- Crafting Game-Models using Reactive System Design David Harel, Itai Segall
- A Multi-Scale Algorithm for the Linear Arrangement Problem
- Reactive Animation David Harel 1 , Sol Efroni 1,2 , and Irun R. Cohen 2
- Author's personal copy Theoretical Computer Science 391 (2008) 276290
- Beyond the Gene Evelyn Fox Keller1
- A COMPLETE AXIOMATIC SYSTEM FOR PROVING DEDUCTIONS ABOUT RECUI~IVE Fq:IOGRNIS David Harel +
- Temporal Logic for Scenario-Based Specifications Hillel Kugler1
- IEEE/ACM Transactions on Computational Biology and Bioinformatics 1 Towards Verified Biological Models
- Some Results on the Expressive Power and Complexity of LSCs
- This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the
- A metric for odorant comparison Rafi Haddad1,2, Rehan Khan1, Yuji K Takahashi3, Kensaku Mori3, David Harel2 & Noam Sobel1
- How Hard is Smart Play-Out? 1 How Hard is Smart Play-Out?
- An eNose algorithm for identifying chemicals and determining their concentration
- Fundamenta Informaticae 123 (2010) 112 1 DOI 10.3233/FI-2010-330
- International Journal of Foundations of Computer Science fl World Scientific Publishing Company
- Some Thoughts on the Semantics of Biocharts David Harel1
- Using LSCs for Scenario Authoring in Tactical Simulators Yoram Atir and David Harel
- This short paper is about comprehensive realistic modeling in general. I am no expert at all on health
- DAVID HAREL, DEXTER KOZEN, AND JERZY TIURYN DYNAMIC LOGIC
- Using the Statecharts paradigm for simulation of patient flow in surgical care
- InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
- Sensors and Actuators B 106 (2005) 7682 On mappings between electronic noses
- Playing with Time: On the Specification and Execution of Time-Enriched LSCs
- Planned and Traversable Play-Out: A Flexible Method for Executing
- Software & Systems Modeling manuscript No. (will be inserted by the editor)
- Concurrency in Biological Modeling: Behavior, Execution and Visualization
- Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
- Towards an odor communication system D. Harel a,
- Zezlsehr. f.niuth. Logik uird Oru?dla.geii d. Math. Ud. 2J, S.419-1222 (1973)
- Theoretical Computer Science 13 (198 1) 175-l 9% @ North-Holland Publishing Company
- Recursion in Logics of Progrssms David Harel t
- J. LOGIC PROGRAMMING 1985:1:1-15 1 HORN CLAUSE QUERIES AND GENERALIZATIONS*
- And/Or Programs: A New Approach to Structured Programming
- INFORMATIONAND CONTROL64, 119-135 (1985) Propositional Dynamic Logic of Flowcharts*
- PROPOSITIONAL DYNAMIC LOGIC OF CON'l'EXT-FREE PROGRAMS David Harel:+ Amir Pnueli* and Jonathan stavi+
- SHOW-AND-TELL PLAY-IN: COMBINING NATURAL LANGUAGE WITH USER INTERACTION FOR
- A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
- Semantic Navigation Strategies for Scenario-Based Programming Michal Gordon and David Harel
- Published 03:21 26.10.11 The candle has been snuffed
- 72 communications of the acm | oCTobEr 2011 | voL. 54 | No. 10 reviewarticles
- Journal of Computer and System Sciences 78 (2012) 970980 Contents lists available at ScienceDirect
- Adaptive Behavioral Programming Nir Eitan and David Harel
- Model-Checking Behavioral Programs David Harel, Robby Lampert, Assaf Marron
- , , .)2009( " ," ' .)2001( " . ,
- Behavioral Programming, Decentralized Control, and Multiple Time Scales
