default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Harel
Person information
- affiliation: Weizmann Institute of Science, Israel
- award (2007): ACM Software System Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j111]David Harel, Assaf Marron:
The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM 67(6): 62-69 (2024)- [j110]David Harel
, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf:
Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. 67(1) (2024) - [c180]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD 2024: 235-246 - [i16]David Harel, Guy Katz, Assaf Marron, Smadar Szekely:
On Augmenting Scenario-Based Modeling with Generative AI. CoRR abs/2401.02245 (2024) - [i15]Tirza Biron, Moshe Barboy, Eran Ben-Artzy, Alona Golubchik, Yanir Marmor, Smadar Szekely, Yaron Winter, David Harel:
Non-verbal information in spontaneous speech - towards a new framework of analysis. CoRR abs/2403.03522 (2024) - [i14]Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel:
Distributed Speculative Inference of Large Language Models. CoRR abs/2405.14105 (2024) - [i13]David Harel, Assaf Marron:
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. CoRR abs/2410.02627 (2024) - 2023
- [j109]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. 4(2): 156 (2023) - [j108]Joseph Sifakis, David Harel:
Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023) - [c179]Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely:
Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales. MODELSWARD (Revised Selected Papers) 2023: 137-157 - [c178]Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely:
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. MODELSWARD 2023: 202-209 - [c177]Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely:
Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD 2023: 275-282 - [c176]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) 2023: 607-627 - [i12]David Harel, Assaf Marron:
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR abs/2305.04312 (2023) - [i11]David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely:
Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. CoRR abs/2312.16507 (2023) - 2022
- [j107]David Harel, Assaf Marron, Joseph Sifakis:
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022) - [c175]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-assisted Deep Reinforcement Learning. MODELSWARD 2022: 310-319 - [i10]Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron:
Scenario-Assisted Deep Reinforcement Learning. CoRR abs/2202.04337 (2022) - [i9]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. CoRR abs/2205.13536 (2022) - [i8]Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz:
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR abs/2206.09603 (2022) - 2021
- [j106]David Harel, Assaf Marron, Raz Yerushalmi:
Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer 54(10): 95-101 (2021) - [j105]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test 38(5): 35-47 (2021) - [c174]David Harel, Assaf Marron:
Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. ISoLA 2021: 322-334 - 2020
- [j104]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020) - [c173]Assaf Marron, Lior Limonad, Sarah Pollack, David Harel:
Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. SEAMS@ICSE 2020: 167-173 - [i7]Assaf Marron, Lior Limonad, Sarah Pollack, David Harel:
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR abs/2001.06047 (2020)
2010 – 2019
- 2019
- [c172]David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss:
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI 2019: 9770-9774 - [c171]Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel:
Computational Music Therapy. MCM 2019: 359-368 - [c170]David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) 2019: 246-274 - [c169]Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel:
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD 2019: 454-464 - [i6]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR abs/1911.07133 (2019) - [i5]David Harel, Rami Marelly, Assaf Marron, Smadar Szekely:
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR abs/1911.10691 (2019) - 2018
- [j103]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer 51(2): 14-26 (2018) - [c168]David Harel, Assaf Marron:
Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes 2018: 549-567 - [c167]Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth:
Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) 2018: 443-452 - [c166]David Harel:
Languages for Programming - From Punched Cards to Wise Computing. MODELSWARD 2018: 9 - [c165]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2018: 335-354 - [c164]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD 2018: 560-566 - [r2]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j102]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1. Comput. Sci. Eng. 19(5): 58-67 (2017) - [j101]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2. Comput. Sci. Eng. 19(6): 64-71 (2017) - [c163]David Harel, Idan Heimlich, Rami Marelly, Assaf Marron:
Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE 2017: 9-13 - [c162]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD 2017: 182-195 - [c161]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2017: 449-483 - [c160]Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss:
Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops 2017: 225-231 - 2016
- [j100]Naamah Bloch, David Harel:
The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. BMC Bioinform. 17: 317 (2016) - [j99]Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas:
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016) - [j98]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Teaching Nondeterminism Through Programming. Informatics Educ. 15(1): 1-23 (2016) - [j97]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
First Steps Towards a Wise Development Environment for Behavioral Models. Int. J. Inf. Syst. Model. Des. 7(3): 1-22 (2016) - [c159]Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss:
Scenario-based programming for mobile applications. MOBILESoft 2016: 161-172 - [c158]Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel:
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS 2016: 94-100 - [c157]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
An Initial Wise Development Environment for Behavioral Models. MODELSWARD 2016: 600-612 - [i4]David Harel:
Niépce-Bell or Turing: How to Test Odor Reproduction? CoRR abs/1603.08666 (2016) - 2015
- [j96]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener:
Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98: 233-267 (2015) - [c156]David Harel:
On the Full Organism Challenge: Or, Can we Computerize an Elephant? AAMAS 2015: 1 - [c155]David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss:
On the Succinctness of Idioms for Concurrent Programming. CONCUR 2015: 85-99 - [c154]Guy Katz, Clark W. Barrett, David Harel:
Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD 2015: 81-88 - [c153]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD 2015: 363-369 - [i3]David Harel, Guy Katz, Rami Marelly, Assaf Marron:
Wise Computing: Towards Endowing System Development with True Wisdom. CoRR abs/1501.05924 (2015) - 2014
- [j95]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Scenario-Based Programming, Usability-Oriented Perception. ACM Trans. Comput. Educ. 14(3): 21:1-21:23 (2014) - [j94]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. 16: 1-33 (2014) - [c152]David Harel, Guy Katz:
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. AGERE!@SPLASH 2014: 95-108 - [c151]David Harel, Amir Kantor:
Modal Scenarios as Automata. Language, Culture, Computation (1) 2014: 156-167 - [c150]David Harel, Shani Nitzan:
Programming Animation Using Behavioral Programming. BM-FA (Revised Selected Papers) 2014: 113-132 - [c149]Reut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel:
Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. EMNLP 2014: 1296-1307 - [c148]Michal Gordon, David Harel:
Steps towards Scenario-Based Programming with a Natural Language Interface. FPS@ETAPS 2014: 129-144 - [c147]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
Scenario-based programming: reducing the cognitive load, fostering abstract thinking. ICSE Companion 2014: 311-320 - 2013
- [c146]David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss:
On composing and proving the correctness of reactive behavior. EMSOFT 2013: 13:1-13:10 - [c145]David Harel, Amir Kantor, Guy Katz:
Relaxing Synchronization Constraints in Behavioral Programs. LPAR 2013: 355-372 - [c144]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
On teaching programming with nondeterminism. WiPSCE 2013: 71-74 - 2012
- [j93]David Harel, Assaf Marron, Gera Weiss:
Behavioral programming. Commun. ACM 55(7): 90-100 (2012) - [j92]Yaki Setty, Irun R. Cohen, David Harel:
Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Fundam. Informaticae 118(4): 403-417 (2012) - [j91]Ahmed Bouajjani, David Harel, Lenore D. Zuck:
Editorʼs foreword. J. Comput. Syst. Sci. 78(3): 822 (2012) - [j90]David Harel, Itai Segall:
Synthesis from scenario-based specifications. J. Comput. Syst. Sci. 78(3): 970-980 (2012) - [j89]David Harel, Assaf Marron:
The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. 11(4): 599-608 (2012) - [j88]David Harel, Amir Kantor:
Multi-modal scenarios revisited: A net-based representation. Theor. Comput. Sci. 429: 118-127 (2012) - [c143]David Harel:
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics 2012: 326-327 - [c142]David Harel, Assaf Marron, Amir Nissim, Gera Weiss:
A software engineering framework for switched fuzzy systems. FUZZ-IEEE 2012: 1-9 - [c141]David Harel:
On Behavioral Programming. Haifa Verification Conference 2012: 1 - [c140]David Harel:
Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). ICALP (2) 2012: 16-22 - [c139]David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Reactive Programs. ICECCS 2012: 3-12 - [c138]Michal Gordon, David Harel:
Evaluating live sequence charts as a programming technique for non-programmers. USER@ICSE 2012: 17-20 - [c137]David Harel:
Standing on the shoulders of a giant: one person's experience of turing's impact. ITiCSE 2012: 3 - [c136]Giora Alexandron, Michal Armoni, Michal Gordon, David Harel:
The effect of previous programming experience on the learning of scenario-based programming. Koli Calling 2012: 151-159 - [c135]David Harel:
Some thoughts on executable visual languages and their Interfaces. VL/HCC 2012: 4 - [c134]Michal Gordon, David Harel:
Evaluating a natural language interface for behavioral programming. VL/HCC 2012: 167-170 - 2011
- [j87]Jasmin Fisher, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011) - [j86]Shahar Maoz, David Harel:
On tracing reactive systems. Softw. Syst. Model. 10(4): 447-468 (2011) - [j85]Shahar Maoz, David Harel, Asaf Kleinbort:
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18:1-18:41 (2011) - [c133]David Harel:
Some Thoughts on Behavioral Programming. BPM 2011: 1 - [c132]David Harel:
Can we Computerize an Elephant? ECAL 2011: 9 - [c131]David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. EMSOFT 2011: 279-288 - [c130]David Harel:
Some Thoughts on Behavioral Programming. FM 2011: 2 - [c129]Nir Eitan, David Harel:
Adaptive Behavioral Programming. ICTAI 2011: 685-692 - [c128]Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss:
On Visualization and Comprehension of Scenario-Based Programs. ICPC 2011: 189-192 - [c127]David Harel, Assaf Marron, Guy Wiener, Gera Weiss:
Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops 2011: 171-182 - [c126]Giora Alexandron, Michal Armoni, David Harel:
Programming with the user in mind. PPIG 2011: 10 - 2010
- [j84]David Harel:
Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Formal Aspects Comput. 22(6): 663-665 (2010) - [j83]Yaki Setty, Irun R. Cohen, David Harel:
Modeling Biology using Generic Reactive Animation. Fundam. Informaticae 103(1-4): 235-246 (2010) - [j82]Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel:
Predicting Odor Pleasantness with an Electronic Nose. PLoS Comput. Biol. 6(4) (2010) - [c125]David Harel:
Some Thoughts on Behavioral Programming. Petri Nets 2010: 18 - [c124]David Harel, Hillel Kugler:
Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli 2010: 185-194 - [c123]David Harel, Amir Kantor, Shahar Maoz:
On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220 - [c122]David Harel, Assaf Marron, Gera Weiss:
Programming Coordinated Behavior in Java. ECOOP 2010: 250-274 - [c121]David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan:
PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360 - [c120]David Harel:
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS 2010: 57 - [c119]David Harel, Hillel Kugler, Shahar Maoz, Itai Segall:
Accelerating Smart Play-Out. SOFSEM 2010: 477-488 - [c118]Michal Gordon, David Harel:
Semantic Navigation Strategies for Scenario-Based Programming. VL/HCC 2010: 219-226
2000 – 2009
- 2009
- [j81]David Harel:
Statecharts in the making: a personal account. Commun. ACM 52(3): 67-75 (2009) - [j80]David Harel, Michal Gordon-Kiwkowitz:
On Teaching Visual Formalisms. IEEE Softw. 26(3): 87-95 (2009) - [c117]Yaki Setty, Irun R. Cohen, Avi E. Mayo, David Harel:
On Using Divide and Conquer in Modeling Natural Systems. Algorithmic Bioprocesses 2009: 661-674 - [c116]Michal Gordon, David Harel:
Generating Executable Scenarios from Natural Language. CICLing 2009: 456-467 - [c115]David Harel:
Can We Verify an Elephant? Haifa Verification Conference 2009: 1 - [c114]David Harel:
Can we computerize an elephant? MEMOCODE 2009: 77 - [e4]Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree:
Algorithmic Bioprocesses. Natural Computing Series, Springer 2009, ISBN 978-3-540-88868-0 [contents] - [r1]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374 - 2008
- [j79]David Harel:
Can Programming Be Liberated, Period? Computer 41(1): 28-37 (2008) - [j78]Naamah Swerdlin, Irun R. Cohen, David Harel:
The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. Proc. IEEE 96(8): 1421-1443 (2008) - [j77]Rafi Haddad, Liran Carmel, Noam Sobel, David Harel:
Predicting the Receptive Range of Olfactory Receptors. PLoS Comput. Biol. 4(2) (2008) - [j76]Pierre Combes, David Harel, Hillel Kugler:
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Softw. Syst. Model. 7(2): 157-175 (2008) - [j75]David Harel, Shahar Maoz:
Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2): 237-252 (2008) - [j74]Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel:
Toward Verified Biological Models. IEEE ACM Trans. Comput. Biol. Bioinform. 5(2): 223-234 (2008) - [j73]Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel:
GemCell: A generic platform for modeling multi-cellular biological systems. Theor. Comput. Sci. 391(3): 276-290 (2008) - [c113]David Harel, Shahar Maoz, Itai Segall:
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366 - [c112]Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz:
Object Composition in Scenario-Based Programming. FASE 2008: 301-316 - [c111]David Harel, Yaki Setty:
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB 2008: 1-16 - [c110]David Harel, Itai Segall, Hillel Kugler, Yaki Setty:
Crafting game-models using reactive system design. Future Play 2008: 121-128 - [c109]David Harel, Itai Segall:
Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153 - 2007
- [j72]Sol Efroni, David Harel, Irun R. Cohen:
Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput. Biol. 3(1) (2007) - [c108]David Harel, Asaf Kleinbort, Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124 - [c107]David Harel:
Statecharts in the making: a personal account. HOPL 2007: 1-43 - [c106]Yoram Atir, David Harel:
Using LSCs for scenario authoring in tactical simulators. SCSC 2007: 437-442 - [c105]David Harel, Itai Segall:
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . TACAS 2007: 485-499 - [c104]Shahar Maoz, Asaf Kleinbort, David Harel:
Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156 - [c103]David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen:
Concurrency in Biological Modeling: Behavior, Execution and Visualization. FBTC@CONCUR 2007: 119-131 - [e3]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [b9]David Harel, Yishai A. Feldman:
Algorithmik - die Kunst des Rechnens. Springer 2006, ISBN 978-3-540-24342-7, pp. I-XVIII, 1-608 - [j71]Dan Barak, David Harel, Rami Marelly:
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. IEEE Trans. Software Eng. 32(7): 467-485 (2006) - [c102]David Harel:
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. CAV 2006: 3-4 - [c101]David Harel, Shahar Maoz:
Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20 - [c100]Shahar Maoz, David Harel:
From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230 - [c99]David Harel:
Comprehensive and realistic modeling of biological systems. WSC 2006: 1625-1627 - [c98]Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson:
Challenges for modeling and simulation methods in systems biology. WSC 2006: 1720-1730 - [e2]Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio:
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, ISBN 3-540-45772-0 [contents] - [i2]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - [i1]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - 2005
- [j70]Yehuda Koren, David Harel:
One-dimensional layout optimization, with applications to graph drawing by axis separation. Comput. Geom. 32(2): 115-138 (2005) - [j69]Sol Efroni, David Harel, Irun R. Cohen:
Reactive Animation: Realistic Modeling of Complex Dynamic Systems. Computer 38(1): 38-47 (2005) - [c97]Pierre Combes, David Harel, Hillel Kugler:
Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA 2005: 414-428 - [c96]David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324 - [c95]Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps:
Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460 - 2004
- [b8]David Harel, Yishai A. Feldman:
Algorithmics - the spirit of computing (3. ed.). Addison-Wesley 2004, ISBN 978-0-321-11784-7, pp. I-XVIII, 1-513 - [j68]David Harel, Bernhard Rumpe:
Meaningful Modeling: What's the Semantics of "Semantics"?. Computer 37(10): 64-72 (2004) - [j67]David Harel, Yehuda Koren:
Graph Drawing by High-Dimensional Embedding. J. Graph Algorithms Appl. 8(2): 195-214 (2004) - [j66]Liran Carmel, David Harel, Yehuda Koren:
Combining Hierarchy and Energy Drawing Directed Graphs. IEEE Trans. Vis. Comput. Graph. 10(1): 46-57 (2004) - [c94]Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin:
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB 2004: 236-241 - [c93]David Harel, Hillel Kugler:
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354 - [c92]David Harel, Hillel Kugler, Amir Pnueli:
Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10 - [c91]David Harel:
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. VMCAI 2004: 323-324 - 2003
- [b7]David Harel:
Computers Ltd - what they really can't do. Oxford University Press 2003, ISBN 978-0-19-860442-6, pp. I-XVII, 1-222 - [b6]David Harel:
Come, let's play - scenario-based programming using LSCs and the play-engine. Springer 2003, ISBN 978-3-540-00787-6, pp. I-XVIII, 1-382 - [b5]David Harel, Rami Marelly:
Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine. Springer 2003, ISBN 978-3-642-62416-2 - [j65]David Harel, Liran Carmel, Doron Lancet:
Towards an odor communication system. Comput. Biol. Chem. 27(2): 121-133 (2003) - [j64]David Harel:
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bull. EATCS 81: 226-235 (2003) - [j63]Yehuda Koren, Liran Carmel, David Harel:
Drawing Huge Graphs by Algebraic Multigrid Optimization. Multiscale Model. Simul. 1(4): 645-673 (2003) - [j62]David Harel, Rami Marelly:
Specifying and executing behavioral requirements: the play-in/play-out approach. Softw. Syst. Model. 2(2): 82-107 (2003) - [j61]Orna Kupferman, David Harel:
Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003) - [c90]Dan Barak, David Harel, Rami Marelly:
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Lectures on Concurrency and Petri Nets 2003: 66-86 - [c89]Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern:
Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20 - [c88]David Harel, Hillel Kugler, Gera Weiss:
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42 - [c87]David Harel:
On the Visualization and Aesthetics of Large Graphs: Short Abstract. Ershov Memorial Conference 2003: 120 - [c86]Yehuda Koren, David Harel:
Axis-by-Axis Stress Minimization. GD 2003: 450-459 - [c85]David Harel:
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC 2003: 2 - [c84]Yehuda Koren, David Harel:
A two-way visualization method for clustered data. KDD 2003: 589-594 - [c83]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart play-out. OOPSLA Companion 2003: 68-69 - [p2]David Harel, P. S. Thiagarajan:
Message Sequence Charts. UML for Real 2003: 77-105 - 2002
- [b4]David Harel:
Das Affenpuzzle - und weitere bad news aus der Computerwelt. Springer 2002, ISBN 978-3-540-42307-2, pp. I-XVII, 1-207 - [j60]David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002) - [j59]David Harel, Hillel Kugler:
Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002) - [j58]David Harel, Yehuda Koren:
A Fast Multi-Scale Method for Drawing Large Graphs. J. Graph Algorithms Appl. 6(3): 179-202 (2002) - [j57]David Harel, Orna Kupferman:
On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002) - [j56]David Harel, Gregory Yashchin:
An algorithm for blob hierarchy layout. Vis. Comput. 18(3): 164-185 (2002) - [c82]David Harel, Yehuda Koren:
Drawing graphs with non-uniform vertices. AVI 2002: 157-166 - [c81]Na'aman Kam, Irun R. Cohen, David Harel:
Modeling biological reactivity: statecharts vs. Boolean logic. AVI 2002: 345-353 - [c80]David Harel:
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). EMSOFT 2002: 30-31 - [c79]David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli:
Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398 - [c78]David Harel, Sol Efroni, Irun R. Cohen:
Reactive Animation. FMCO 2002: 136-153 - [c77]Liran Carmel, David Harel, Yehuda Koren:
Drawing Directed Graphs Using One-Dimensional Optimization. GD 2002: 193-206 - [c76]David Harel, Yehuda Koren:
Graph Drawing by High-Dimensional Embedding. GD 2002: 207-219 - [c75]David Harel:
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ICGT 2002: 6-7 - [c74]Eran Gery, David Harel, Eldad Palachi:
Rhapsody: A Complete Life-Cycle Model-Based Development System. IFM 2002: 1-10 - [c73]Yehuda Koren, Liran Carmel, David Harel:
ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. INFOVIS 2002: 137-144 - [c72]David Harel, Rami Marelly:
Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS 2002: 193-202 - [c71]Rami Marelly, David Harel, Hillel Kugler:
Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100 - [c70]Rami Marelly, David Harel, Hillel Kugler:
Specifying and executing requirements: the play-in/play-out approach. OOPSLA Companion 2002: 84-85 - [c69]Yehuda Koren, David Harel:
A Multi-scale Algorithm for the Linear Arrangement Problem. WG 2002: 296-309 - 2001
- [j55]David Harel:
From Play-In Scenarios to Code: An Achievable Dream. Computer 34(1): 53-60 (2001) - [j54]Ronny Hadany, David Harel:
A multi-scale algorithm for drawing graphs nicely. Discret. Appl. Math. 113(1): 3-21 (2001) - [j53]Werner Damm, David Harel:
LSCs: Breathing Life into Message Sequence Charts. Formal Methods Syst. Des. 19(1): 45-80 (2001) - [j52]David Harel, Dexter Kozen, Jerzy Tiuryn:
Dynamic logic. SIGACT News 32(1): 66-69 (2001) - [c68]David Harel, Yehuda Koren:
On Clustering Using Random Walks. FSTTCS 2001: 18-41 - [c67]David Harel, Yehuda Koren:
Clustering spatial data using random walks. KDD 2001: 281-286 - [c66]David Harel:
On the Behavior of Complex Object-Oriented Systems. OMER 2001: 11-15 - [c65]Na'aman Kam, Irun R. Cohen, David Harel:
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22 - 2000
- [c64]David Harel, Gregory Yashchin:
An Algorithm for Blob Hierarchy Layout. Advanced Visual Interfaces 2000: 29-40 - [c63]David Harel, Yehuda Koren:
A Fast Multi-Scale Method for Drawing Large Graphs. Advanced Visual Interfaces 2000: 282-285 - [c62]David Harel:
From Play-In Scenarios To Code: An Achievable Dream. Description Logics 2000: 9 - [c61]David Harel:
From Play-In Scenarios to Code: An Achievable Dream. FASE 2000: 22-34 - [c60]David Harel, Yehuda Koren:
A Fast Multi-scale Method for Drawing Large Graphs. GD 2000: 183-196 - [c59]David Harel, Orna Kupferman:
On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94 - [c58]David Harel, Hillel Kugler:
Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33
1990 – 1999
- 1999
- [j51]David Harel, Eli Singerman:
Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Log. 96(1-3): 167-186 (1999) - [j50]Judith Gal-Ezer, David Harel:
Curriculum and Course Syllabi for a High-School CS Program. Comput. Sci. Educ. 9(2): 114-147 (1999) - [c57]Werner Damm, David Harel:
LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999 - [c56]Ronny Hadany, David Harel:
A Multi-Scale Algorithm for Drawing Graphs Nicely. WG 1999: 262-277 - 1998
- [j49]David Harel, Meir Sardas:
An Algorithm for Straight-Line Drawing of Planar Graphs. Algorithmica 20(2): 119-135 (1998) - [j48]Judith Gal-Ezer, David Harel:
What (Else) Should CS Educators Know? Commun. ACM 41(9): 77-84 (1998) - [c55]David Harel:
Towards a Theory of Recursive Structures. MCU (1) 1998: 93-114 - [c54]David Harel:
Towards a Theory of Recursive Structures. MFCS 1998: 36-53 - [c53]David Harel:
On the Aesthetics of Diagrams (Summary of Talk). MPC 1998: 1-5 - 1997
- [j47]David Harel, Eran Gery:
Executable Object Modeling with Statecharts. Computer 30(7): 31-42 (1997) - [c52]David Harel:
Some Thoughts on Statecharts, 13 Years Later. CAV 1997: 226-231 - [c51]David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272 - [c50]David Harel, Eli Singerman:
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP 1997: 408-418 - [c49]David Harel:
Towards a Theory of Recursive Structures (extended abstract). LFCS 1997: 141-144 - [c48]David Harel:
On the Aesthetics of Diagrams. NGITS 1997 - [c47]David Harel:
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. RE 1997: 184- - [c46]James Coplien, Joseph Gil, David Harel, Bertrand Meyer:
Keynotes. TOOLS (23) 1997: 2 - [c45]David Harel:
On the Aesthetics of Diagrams. VL 1997: 128-130 - 1996
- [j46]David Harel, Eli Singerman:
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128(2): 109-118 (1996) - [j45]Tirza Hirst, David Harel:
Completeness Results for Recursive Data Bases. J. Comput. Syst. Sci. 52(3): 522-536 (1996) - [j44]Tirza Hirst, David Harel:
Taking It to the Limit: On Infinite Variants of NP-Complete Problems. J. Comput. Syst. Sci. 53(2): 180-193 (1996) - [j43]Noa Globerman, David Harel:
Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. Theor. Comput. Sci. 169(2): 161-184 (1996) - [j42]Ron Davidson, David Harel:
Drawing Graphs Nicely Using Simulated Annealing. ACM Trans. Graph. 15(4): 301-331 (1996) - [j41]David Harel, Amnon Naamad:
The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996) - [c44]David Harel:
Some Thoughts on Statecharts, 13 Years Later (Abstract). ASIAN 1996: 361 - [c43]Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot:
Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems 1996: 368-394 - [c42]David Harel, Eran Gery:
Executable Object Modeling with Statecharts. ICSE 1996: 246-257 - [c41]Tirza Hirst, David Harel:
More About Recursive Structures: Descriptive Complexity and Zero-One Laws. LICS 1996: 334-347 - [c40]David Harel:
Statecharts: Past, Present and Future (abstract). SOFSEM 1996: 285 - 1995
- [j40]Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai:
A High School Program in Computer Science. Computer 28(10): 73-80 (1995) - [j39]David Harel:
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering. SIGACT News 26(2): 21-25 (1995) - [j38]David Harel, Meir Sardas:
Randomized Graph Drawing with Heavy-Duty Preprocessing. J. Vis. Lang. Comput. 6(3): 233-253 (1995) - [c39]David Harel:
Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. CONCUR 1995: 264-268 - [c38]David Harel, Eli Singerman:
More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS 1995: 140-149 - [p1]David Harel:
Towards a theory of Recursive Structures. Computer Science Today 1995: 374-391 - 1994
- [j37]David Harel, Danny Raz:
Deciding Emptiness for Stack Automata on Infinite Trees. Inf. Comput. 113(2): 278-299 (1994) - [j36]Doron Drusinsky, David Harel:
On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539 (1994) - [j35]Tirza Hirst, David Harel:
On the Power of Bounded Concurrency II: Pushdown Automata. J. ACM 41(3): 540-554 (1994) - [j34]Yael Etzion-Petruschka, David Harel, Dale Myers:
On the Solvability of Domino Snake Problems. Theor. Comput. Sci. 131(2): 243-269 (1994) - [c37]David Harel, Meir Sardas:
Randomized Graph Drawing with Heavy-Duty Preprocessing. Advanced Visual Interfaces 1994: 19-33 - [c36]Noa Globerman, David Harel:
Complexity Results for Multi-Pebble Automata and their Logics. ICALP 1994: 73-82 - [c35]David Harel:
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3 - [c34]David Harel:
Towards a Theory of Recursive Structures. STACS 1994: 633-645 - 1993
- [j33]David Harel, Danny Raz:
Deciding Properties of Nonregular Programs. SIAM J. Comput. 22(4): 857-874 (1993) - [c33]Tirza Hirst, David Harel:
Taking it to the Limit: On Infinite Variants of NP-Complete Problems. SCT 1993: 292-304 - [c32]David Harel:
Computers are not Omnipotent (Abstract). ESEC 1993: 10 - [c31]Tirza Hirst, David Harel:
Completeness Results for Recursive Data Bases. PODS 1993: 244-252 - 1992
- [j32]David Harel:
Biting the Silver Bullet - Toward a Brighter Future for System Development. Computer 25(1): 8-20 (1992) - [j31]David Harel, Chaim-Arie Kahana:
On Statecharts with Overlapping. ACM Trans. Softw. Eng. Methodol. 1(4): 399-421 (1992) - [c30]David Harel:
How Hard is it to Reason about Propositional Programs? NATO ASI PDC 1992: 265-284 - 1991
- [c29]David Harel:
Hamiltonian Paths in Infinite Graphs. STOC 1991: 220-229 - 1990
- [j30]David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot:
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990) - [c28]Tirza Hirst, David Harel:
On the Power of Bounded Concurrency II: The Pushdown Automata Level. CAAP 1990: 1-17 - [c27]David Harel, Danny Raz:
Deciding Properties of Nonregular Programs (Preliminary Version). FOCS 1990: 652-661 - [c26]David Harel:
How Hard Is It to Reason about Propositional Programs? ICLP 1990: 772-773 - [c25]David Harel, Roni Rosner, Moshe Y. Vardi:
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). LICS 1990: 478-488
1980 – 1989
- 1989
- [b3]David Harel:
The science of computing - exploring the nature and power of algorithms. Addison-Wesley 1989, ISBN 978-0-201-51723-1, pp. I-XV, 1-348 - [j29]Doron Drusinsky, David Harel:
Using statecharts for hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(7): 798-807 (1989) - [c24]David Harel:
A Thesis for Bounded Concurrency. MFCS 1989: 35-48 - 1988
- [j28]David Harel:
On Visual Formalisms. Commun. ACM 31(5): 514-530 (1988) - [c23]Doron Drusinsky, David Harel:
On the Power of Cooperative Concurrency. Concurrency 1988: 74-103 - [c22]David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring:
STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406 - 1987
- [b2]David Harel:
Algorithmics - the spirit of computing (2. ed.). Addison-Wesley 1987, ISBN 978-0-201-19240-7, pp. I-XV, 1-476 - [j27]David Harel:
Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3): 231-274 (1987) - [j26]David Harel:
Logic and databases: a critique. ACM SIGPLAN Notices 22(3): 14-20 (1987) - [c21]David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman:
On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64 - 1986
- [j25]Ron Unger, David Harel, Joel L. Sussman:
DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis. Comput. Appl. Biosci. 2(4): 283-289 (1986) - [j24]David Harel:
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1): 224-248 (1986) - [j23]David Harel:
Logic and databases: a critique. SIGACT News 18(1): 68-74 (1986) - 1985
- [j22]David Harel, Rivi Sherman:
Propositional Dynamic Logic of Flowcharts. Inf. Control. 64(1-3): 119-135 (1985) - [j21]David Harel, David Peleg:
More on Looping vs. Repeating in Dynamic Logic. Inf. Process. Lett. 20(2): 87-90 (1985) - [j20]Ashok K. Chandra, David Harel:
Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15 (1985) - [j19]David Harel, David Peleg:
Process Logic with Regular Formulas. Theor. Comput. Sci. 38: 307-322 (1985) - 1984
- [j18]David Harel, David Peleg:
On Static Logics, Dynamic Logics, and Complexity Classes. Inf. Control. 60(1-3): 86-102 (1984) - [j17]David Harel, Dexter Kozen:
A Programming Language for the Inductive Sets, and Applications. Inf. Control. 63(1/2): 118-139 (1984) - [j16]Yishai A. Feldman, David Harel:
A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28(2): 193-215 (1984) - [j15]David Harel, Mike Paterson:
Undecidability of PDL with L={a^(2i)|i>=0}. J. Comput. Syst. Sci. 29(3): 359-365 (1984) - [j14]Rivi Sherman, Amir Pnueli, David Harel:
Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. 13(4): 825-839 (1984) - [c20]David Harel, Amir Pnueli:
On the Development of Reactive Systems. Logics and Models of Concurrent Systems 1984: 477-498 - [c19]David Harel:
A General Result on Infinite Trees and Its Applications (Preliminary Report). STOC 1984: 418-427 - 1983
- [j13]David Harel, Amir Pnueli, Jonathan Stavi:
Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26(2): 222-243 (1983) - [c18]David Harel:
Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). FCT 1983: 177-194 - [c17]David Harel, Rivi Sherman:
Propositional Dynamic Logic of Flowcharts. FCT 1983: 195-206 - [e1]David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy A. Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel I. Seiferas:
Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA. ACM 1983 [contents] - 1982
- [j12]David Harel, Rivi Sherman:
Looping vs. Repeating in Dynamic Logic. Inf. Control. 55(1-3): 175-192 (1982) - [j11]Ashok K. Chandra, David Harel:
Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128 (1982) - [j10]David Harel, Dexter Kozen, Rohit Parikh:
Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170 (1982) - [c16]David Harel, Dexter Kozen:
A Programming Language for the Inductive Sets, and Applications. ICALP 1982: 313-329 - [c15]Ashok K. Chandra, David Harel:
Horn Clauses and the Fixpoint Query Hierarchy. PODS 1982: 158-163 - [c14]Rivi Sherman, Amir Pnueli, David Harel:
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360 - [c13]Yishai A. Feldman, David Harel:
A Probabilistic Dynamic Logic. STOC 1982: 181-195 - 1981
- [j9]David Harel:
On the Total Correctness of Nondeterministic Programs. Theor. Comput. Sci. 13: 175-192 (1981) - [c12]David Harel, Amir Pnueli, Jonathan Stavi:
Propositional Dynamic Logic of Context-Free Programs. FOCS 1981: 310-321 - [c11]David Harel, Amir Pnueli, Jonathan Stavi:
Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs 1981: 124-136 - 1980
- [j8]David Harel:
On Folk Theorems. Commun. ACM 23(7): 379-389 (1980) - [j7]Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178 (1980) - [j6]David Harel:
On folk theorems. SIGACT News 12(3): 68-80 (1980) - [j5]David Harel:
"do considered od" considered odder than "do considered ob". ACM SIGPLAN Notices 15(4): 75 (1980) - [j4]David Harel:
Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. Theor. Comput. Sci. 12: 61-81 (1980) - [j3]David Harel:
And/Or Programs: A New Approach to Structured Programming. ACM Trans. Program. Lang. Syst. 2(1): 1-17 (1980) - [c10]David Harel, Dexter Kozen, Rohit Parikh:
Process Logic: Expressiveness, Decidability, Completeness. FOCS 1980: 129-142 - [c9]Ashok K. Chandra, David Harel:
Structure and Complexity of Relational Queries. FOCS 1980: 333-347 - [c8]David Harel:
on And/Or Schemes. MFCS 1980: 246-260 - [c7]Ashok K. Chandra, David Harel:
Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory 1980
1970 – 1979
- 1979
- [b1]David Harel:
First-Order Dynamic Logic. Lecture Notes in Computer Science 68, Springer 1979, ISBN 3-540-09237-4 - [j2]David Harel:
Two Results on Process Logic. Inf. Process. Lett. 8(4): 195-198 (1979) - [j1]David Harel:
Characterizing Second Order Logic with First Order Quantifiers. Math. Log. Q. 25(25-29): 419-422 (1979) - [c6]David Harel:
Recursion in Logics of Programs. POPL 1979: 81-92 - [c5]Ashok K. Chandra, David Harel:
Computable Queries for Relational Data Bases (Preliminary Report). STOC 1979: 309-318 - 1978
- [c4]David Harel:
Arithmetical Completeness in Logics of Programs. ICALP 1978: 268-288 - [c3]David Harel, Vaughan R. Pratt:
Nondeterminism in Logics of Programs. POPL 1978: 203-213 - 1977
- [c2]David Harel, Amir Pnueli, Jonathan Stavi:
A Complete Axiomatic System for Proving Deductions about Recursive Programs. STOC 1977: 249-260 - [c1]David Harel, Albert R. Meyer, Vaughan R. Pratt:
Computability and Completeness in Logics of Programs (Preliminary Report). STOC 1977: 261-268
Coauthor Index
Michal Gordon
aka: Michal Gordon-Kiwkowitz
aka: Michal Gordon-Kiwkowitz
[j111] [j110] [c180] [i16] [i13] [j109] [c179] [c178] [c177] [i12] [i11] [j107] [c175] [i10] [j106] [j105] [c174] [j104] [c173] [i7] [c172] [c170] [c169] [i6] [i5] [j103] [c168] [c167] [c165] [c164] [c163] [c162] [c161] [c160] [j97] [c158] [c157] [j96] [c155] [c153] [i3] [j94] [c146] [j93] [j89] [c142] [c139] [c131] [c128] [c127] [c122]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-30 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
