David Harel - RankMe

342 papers A* 36A 14B 40C 16Misc 6Journal 135Unranked 80

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification. MODELSWARD Assaf Marron, David Harel
2026	—	`conf`	Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. Engineering Safe and Trustworthy Cyber Physical Systems David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely
2025	J	`jnl`	A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification. CoRR Assaf Marron, David Harel
2025	A*	`conf`	Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies. ICML Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Gaurav Jain, Oren Pereg, Moshe Wasserblat, David Harel
2025	J	`jnl`	Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies. CoRR Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Gaurav Jain, Roy Schwartz, Moshe Wasserblat, David Harel
2025	J	`jnl`	An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models. CoRR Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	An infrastructure software perspective toward computation offloading between executable specifications and foundation models. Sci. China Inf. Sci. Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. CoRR Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie
2025	J	`jnl`	Data and System Perspectives of Sustainable Artificial Intelligence. CoRR Tao Xie, David Harel, Dezhi Ran, Zhenwen Li, Maoliang Li, Zhi Yang, Leye Wang, Xiang Chen, Ying Zhang, Wentao Zhang, Meng Li, Chen Zhang, Linyi Li, Assaf Marron
2025	J	`jnl`	DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model. CoRR Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie
2025	A*	`conf`	Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference. ICLR Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon-Kiwkowitz, David Harel
2025	C	`conf`	Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. MODELSWARD Assaf Marron, David Harel
2025	J	`jnl`	From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior. IEEE Trans. Software Eng. David Harel, Assaf Marron
2025	—	`conf`	Meta-autoencoders: An Approach to Discovery and Representation of Relationships Between Dynamically Evolving Classes - A Work-in-Progress Report. CSCML Assaf Marron, Smadar Szekely, Irun R. Cohen, David Harel
2025	J	`jnl`	Meta-autoencoders: An approach to discovery and representation of relationships between dynamically evolving classes. CoRR Assaf Marron, Smadar Szekely, Irun R. Cohen, David Harel
2025	J	`jnl`	Out-of-Vocabulary Sampling Boosts Speculative Decoding. CoRR Nadav Timor, Jonathan Mamou, Oren Pereg, Hongyang Zhang, David Harel
2024	J	`jnl`	Categorizing methods for integrating machine learning with executable specifications. Sci. China Inf. Sci. David Harel, Raz Yerushalmi, Assaf Marron, Achiya Elyasaf
2024	—	`conf`	Distributed Speculative Inference of Large Language Models is Provably Faster. ENLSP Nadav Timor, Jonathan Mamou, Oren Pereg, Moshe Berchansky, Daniel Korat, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel
2024	J	`jnl`	Distributed Speculative Inference of Large Language Models. CoRR Nadav Timor, Jonathan Mamou, Daniel Korat, Moshe Berchansky, Oren Pereg, Moshe Wasserblat, Tomer Galanti, Michal Gordon, David Harel
2024	—	`conf`	Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. ICONIP (11) Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2024	J	`jnl`	Non-verbal information in spontaneous speech - towards a new framework of analysis. CoRR Tirza Biron, Moshe Barboy, Eran Ben-Artzy, Alona Golubchik, Yanir Marmor, Smadar Szekely, Yaron Winter, David Harel
2024	C	`conf`	On Augmenting Scenario-Based Modeling with Generative AI. MODELSWARD David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024	J	`jnl`	On Augmenting Scenario-Based Modeling with Generative AI. CoRR David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024	J	`jnl`	Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. CoRR David Harel, Assaf Marron
2024	J	`jnl`	The Human-or-Machine Issue: Turing-Inspired Reflections on an Everyday Matter. Commun. ACM David Harel, Assaf Marron
2023	—	`conf`	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) Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely
2023	C	`conf`	Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. MODELSWARD Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely
2023	J	`jnl`	Enhancing Deep Reinforcement Learning with Scenario-Based Modeling. SN Comput. Sci. Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2023	J	`jnl`	Human or Machine: Reflections on Turing-Inspired Testing for the Everyday. CoRR David Harel, Assaf Marron
2023	C	`conf`	Toward Automated Modeling of Abstract Concepts and Natural Phenomena: Autoencoding Straight Lines. MODELSWARD Yuval Bayer, David Harel, Assaf Marron, Smadar Szekely
2023	J	`jnl`	Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models. CoRR David Harel, Uwe Aßmann, Fabiana Fournier, Lior Limonad, Assaf Marron, Smadar Szekely
2023	J	`jnl`	Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. Joseph Sifakis, David Harel
2023	—	`conf`	Verifying Learning-Based Robotic Navigation Systems. TACAS (1) Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2022	J	`jnl`	Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2022	J	`jnl`	Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test David Harel, Assaf Marron, Joseph Sifakis
2022	J	`jnl`	Scenario-Assisted Deep Reinforcement Learning. CoRR Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022	C	`conf`	Scenario-assisted Deep Reinforcement Learning. MODELSWARD Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022	J	`jnl`	Verifying Learning-Based Robotic Navigation Systems. CoRR Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2021	J	`jnl`	Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. IEEE Des. Test David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2021	C	`conf`	Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. ISoLA David Harel, Assaf Marron
2021	J	`jnl`	Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns. Computer David Harel, Assaf Marron, Raz Yerushalmi
2020	J	`jnl`	Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA David Harel, Assaf Marron, Joseph Sifakis
2020	J	`jnl`	Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions. CoRR Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
2020	—	`conf`	Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. SEAMS@ICSE Assaf Marron, Lior Limonad, Sarah Pollack, David Harel
2019	J	`jnl`	Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR David Harel, Assaf Marron, Joseph Sifakis
2019	—	`conf`	Computational Music Therapy. MCM Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel
2019	—	`conf`	Executing Scenario-Based Specification with Dynamic Generation of Rich Events. MODELSWARD (Revised Selected Papers) David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019	J	`jnl`	Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. CoRR David Harel, Rami Marelly, Assaf Marron, Smadar Szekely
2019	A*	`conf`	Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss
2019	C	`conf`	Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. MODELSWARD Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel
2018	—	`conf`	Embedding Scenario-based Modeling in Statecharts. MoDELS (Workshops) Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth
2018	C	`conf`	Languages for Programming - From Punched Cards to Wise Computing. MODELSWARD David Harel
2018	—	`conf`	Toward Scenario-Based Algorithmics. Adventures Between Lower Bounds and Higher Altitudes David Harel, Assaf Marron
2018	—	`conf`	Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2018	C	`conf`	Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
2018	—	`ch.`	Visual Formalisms. Encyclopedia of Database Systems (2nd ed.) David Harel, Shahar Maoz
2018	J	`jnl`	Wise Computing: Toward Endowing System Development with Proactive Wisdom. Computer David Harel, Guy Katz, Rami Marelly, Assaf Marron
2017	—	`conf`	Crowd-Based Programming for Reactive Systems. CSI-SE@ICSE David Harel, Idan Heimlich, Rami Marelly, Assaf Marron
2017	C	`conf`	Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017	—	`conf`	Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017	J	`jnl`	Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1. Comput. Sci. Eng. Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2017	J	`jnl`	Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2. Comput. Sci. Eng. Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2017	—	`conf`	Towards Integration of Context-Based and Scenario-Based Development. STAF Workshops Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
2016	C	`conf`	An Initial Wise Development Environment for Behavioral Models. MODELSWARD David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016	J	`jnl`	EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
2016	J	`jnl`	First Steps Towards a Wise Development Environment for Behavioral Models. Int. J. Inf. Syst. Model. Des. David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016	J	`jnl`	Niépce-Bell or Turing: How to Test Odor Reproduction? CoRR David Harel
2016	—	`conf`	Scenario-based programming for mobile applications. MOBILESoft Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss
2016	—	`conf`	Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing. D&P@MoDELS Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2016	J	`jnl`	Teaching Nondeterminism Through Programming. Informatics Educ. Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2016	J	`jnl`	The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. BMC Bioinform. Naamah Bloch, David Harel
2015	A	`conf`	On the Full Organism Challenge: Or, Can we Computerize an Elephant? AAMAS David Harel
2015	B	`conf`	On the Succinctness of Idioms for Concurrent Programming. CONCUR David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
2015	C	`conf`	The Effect of Concurrent Programming Idioms on Verification - A Position Paper. MODELSWARD David Harel, Guy Katz, Assaf Marron, Gera Weiss
2015	B	`conf`	Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD Guy Katz, Clark W. Barrett, David Harel
2015	J	`jnl`	Towards behavioral programming in distributed architectures. Sci. Comput. Program. David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
2015	J	`jnl`	Wise Computing: Towards Endowing System Development with True Wisdom. CoRR David Harel, Guy Katz, Rami Marelly, Assaf Marron
2014	—	`conf`	Modal Scenarios as Automata. Language, Culture, Computation (1) David Harel, Amir Kantor
2014	J	`jnl`	Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Trans. Comput. Collect. Intell. David Harel, Guy Katz, Assaf Marron, Gera Weiss
2014	—	`conf`	Programming Animation Using Behavioral Programming. BM-FA (Revised Selected Papers) David Harel, Shani Nitzan
2014	—	`conf`	Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. AGERE!@SPLASH David Harel, Guy Katz
2014	J	`jnl`	Scenario-Based Programming, Usability-Oriented Perception. ACM Trans. Comput. Educ. Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2014	—	`conf`	Scenario-based programming: reducing the cognitive load, fostering abstract thinking. ICSE Companion Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2014	A*	`conf`	Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. EMNLP Reut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel
2014	—	`conf`	Steps towards Scenario-Based Programming with a Natural Language Interface. FPS@ETAPS Michal Gordon, David Harel
2013	Misc	`conf`	On composing and proving the correctness of reactive behavior. EMSOFT David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
2013	—	`conf`	On teaching programming with nondeterminism. WiPSCE Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2013	B	`conf`	Relaxing Synchronization Constraints in Behavioral Programs. LPAR David Harel, Amir Kantor, Guy Katz
2012	B	`conf`	A software engineering framework for switched fuzzy systems. FUZZ-IEEE David Harel, Assaf Marron, Amir Nissim, Gera Weiss
2012	J	`jnl`	Behavioral programming. Commun. ACM David Harel, Assaf Marron, Gera Weiss
2012	—	`conf`	Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics David Harel
2012	J	`jnl`	Editorʼs foreword. J. Comput. Syst. Sci. Ahmed Bouajjani, David Harel, Lenore D. Zuck
2012	B	`conf`	Evaluating a natural language interface for behavioral programming. VL/HCC Michal Gordon, David Harel
2012	—	`conf`	Evaluating live sequence charts as a programming technique for non-programmers. USER@ICSE Michal Gordon, David Harel
2012	J	`jnl`	Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Fundam. Informaticae Yaki Setty, Irun R. Cohen, David Harel
2012	J	`jnl`	Multi-modal scenarios revisited: A net-based representation. Theor. Comput. Sci. David Harel, Amir Kantor
2012	B	`conf`	Non-intrusive Repair of Reactive Programs. ICECCS David Harel, Guy Katz, Assaf Marron, Gera Weiss
2012	—	`conf`	On Behavioral Programming. Haifa Verification Conference David Harel
2012	B	`conf`	Some thoughts on executable visual languages and their Interfaces. VL/HCC David Harel
2012	—	`conf`	Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). ICALP (2) David Harel
2012	B	`conf`	Standing on the shoulders of a giant: one person's experience of turing's impact. ITiCSE David Harel
2012	J	`jnl`	Synthesis from scenario-based specifications. J. Comput. Syst. Sci. David Harel, Itai Segall
2012	—	`conf`	The effect of previous programming experience on the learning of scenario-based programming. Koli Calling Giora Alexandron, Michal Armoni, Michal Gordon, David Harel
2012	J	`jnl`	The quest for runware: on compositional, executable and intuitive models. Softw. Syst. Model. David Harel, Assaf Marron
2011	J	`jnl`	A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. Shahar Maoz, David Harel, Asaf Kleinbort
2011	B	`conf`	Adaptive Behavioral Programming. ICTAI Nir Eitan, David Harel
2011	—	`conf`	Behavioral programming, decentralized control, and multiple time scales. SPLASH Workshops David Harel, Assaf Marron, Guy Wiener, Gera Weiss
2011	J	`jnl`	Biology as reactivity. Commun. ACM Jasmin Fisher, David Harel, Thomas A. Henzinger
2011	—	`conf`	Can we Computerize an Elephant? ECAL David Harel
2011	Misc	`conf`	Model-checking behavioral programs. EMSOFT David Harel, Robby Lampert, Assaf Marron, Gera Weiss
2011	A	`conf`	On Visualization and Comprehension of Scenario-Based Programs. ICPC Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss
2011	J	`jnl`	On tracing reactive systems. Softw. Syst. Model. Shahar Maoz, David Harel
2011	—	`conf`	Programming with the user in mind. PPIG Giora Alexandron, Michal Armoni, David Harel
2011	A	`conf`	Some Thoughts on Behavioral Programming. BPM David Harel
2011	B	`conf`	Some Thoughts on Behavioral Programming. FM David Harel
2010	B	`conf`	Accelerating Smart Play-Out. SOFSEM David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
2010	J	`jnl`	Amir Pnueli - A Gentle Giant: Lord of the Formal Aspects Comput. David Harel
2010	A*	`conf`	Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. LICS David Harel
2010	J	`jnl`	Modeling Biology using Generic Reactive Animation. Fundam. Informaticae Yaki Setty, Irun R. Cohen, David Harel
2010	—	`conf`	On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness David Harel, Amir Kantor, Shahar Maoz
2010	A*	`conf`	PlayGo: towards a comprehensive tool for scenario based programming. ASE David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan
2010	J	`jnl`	Predicting Odor Pleasantness with an Electronic Nose. PLoS Comput. Biol. Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel
2010	A	`conf`	Programming Coordinated Behavior in Java. ECOOP David Harel, Assaf Marron, Gera Weiss
2010	B	`conf`	Semantic Navigation Strategies for Scenario-Based Programming. VL/HCC Michal Gordon, David Harel
2010	B	`conf`	Some Thoughts on Behavioral Programming. Petri Nets David Harel
2010	—	`conf`	Some Thoughts on the Semantics of Biocharts. Essays in Memory of Amir Pnueli David Harel, Hillel Kugler
2009	—	`ed.`	Algorithmic Bioprocesses Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
2009	—	`conf`	Can We Verify an Elephant? Haifa Verification Conference David Harel
2009	C	`conf`	Can we computerize an elephant? MEMOCODE David Harel
2009	C	`conf`	Generating Executable Scenarios from Natural Language. CICLing Michal Gordon, David Harel
2009	J	`jnl`	On Teaching Visual Formalisms. IEEE Softw. David Harel, Michal Gordon-Kiwkowitz
2009	—	`conf`	On Using Divide and Conquer in Modeling Natural Systems. Algorithmic Bioprocesses Yaki Setty, Irun R. Cohen, Avi E. Mayo, David Harel
2009	J	`jnl`	Statecharts in the making: a personal account. Commun. ACM David Harel
2009	—	`ch.`	Visual Formalisms. Encyclopedia of Database Systems David Harel, Shahar Maoz
2008	J	`jnl`	Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. David Harel, Shahar Maoz
2008	J	`jnl`	Can Programming Be Liberated, Period? Computer David Harel
2008	—	`conf`	Crafting game-models using reactive system design. Future Play David Harel, Itai Segall, Hillel Kugler, Yaki Setty
2008	J	`jnl`	GemCell: A generic platform for modeling multi-cellular biological systems. Theor. Comput. Sci. Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel
2008	—	`conf`	Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB David Harel, Yaki Setty
2008	J	`jnl`	Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Softw. Syst. Model. Pierre Combes, David Harel, Hillel Kugler
2008	B	`conf`	Object Composition in Scenario-Based Programming. FASE Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz
2008	J	`jnl`	Predicting the Receptive Range of Olfactory Receptors. PLoS Comput. Biol. Rafi Haddad, Liran Carmel, Noam Sobel, David Harel
2008	—	`conf`	Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science David Harel, Shahar Maoz, Itai Segall
2008	J	`jnl`	The Lymph Node B Cell Immune Response: Dynamic Analysis Proc. IEEE Naamah Swerdlin, Irun R. Cohen, David Harel
2008	J	`jnl`	Toward Verified Biological Models. IEEE ACM Trans. Comput. Biol. Bioinform. Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel
2008	—	`conf`	Visualizing inter-dependencies between scenarios. SOFTVIS David Harel, Itai Segall
2007	—	`conf`	Concurrency in Biological Modeling: Behavior, Execution and Visualization. FBTC@CONCUR David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen
2007	J	`jnl`	Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput. Biol. Sol Efroni, David Harel, Irun R. Cohen
2007	—	`ed.`	Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2007	A	`conf`	Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs TACAS David Harel, Itai Segall
2007	B	`conf`	S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE David Harel, Asaf Kleinbort, Shahar Maoz
2007	—	`conf`	Statecharts in the making: a personal account. HOPL David Harel
2007	B	`conf`	Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC Shahar Maoz, Asaf Kleinbort, David Harel
2007	—	`conf`	Using LSCs for scenario authoring in tactical simulators. SCSC Yoram Atir, David Harel
2006	—	`conf`	06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2006	—	`conf`	06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2006	—	`book`	Algorithmik - die Kunst des Rechnens. David Harel, Yishai A. Feldman
2006	—	`conf`	Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM David Harel, Shahar Maoz
2006	Misc	`conf`	Challenges for modeling and simulation methods in systems biology. WSC 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
2006	Misc	`conf`	Comprehensive and realistic modeling of biological systems. WSC David Harel
2006	—	`conf`	From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE Shahar Maoz, David Harel
2006	J	`jnl`	InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. IEEE Trans. Software Eng. Dan Barak, David Harel, Rami Marelly
2006	A	`ed.`	Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings MoDELS Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
2006	A*	`conf`	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. CAV David Harel
2005	B	`conf`	Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA Pierre Combes, David Harel, Hillel Kugler
2005	J	`jnl`	One-dimensional layout optimization, with applications to graph drawing by axis separation. Comput. Geom. Yehuda Koren, David Harel
2005	J	`jnl`	Reactive Animation: Realistic Modeling of Complex Dynamic Systems. Computer Sol Efroni, David Harel, Irun R. Cohen
2005	—	`conf`	Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling David Harel, Hillel Kugler, Amir Pnueli
2005	A	`conf`	Temporal Logic for Scenario-Based Specifications. TACAS Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
2004	B	`conf`	A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. VMCAI David Harel
2004	—	`book`	Algorithmics - the spirit of computing (3. ed.). David Harel, Yishai A. Feldman
2004	J	`jnl`	Combining Hierarchy and Energy Drawing Directed Graphs. IEEE Trans. Vis. Comput. Graph. Liran Carmel, David Harel, Yehuda Koren
2004	—	`conf`	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin
2004	J	`jnl`	Graph Drawing by High-Dimensional Embedding. J. Graph Algorithms Appl. David Harel, Yehuda Koren
2004	J	`jnl`	Meaningful Modeling: What's the Semantics of "Semantics"?. Computer David Harel, Bernhard Rumpe
2004	—	`conf`	Smart Play-Out Extended: Time and Forbidden Elements. QSIC David Harel, Hillel Kugler, Amir Pnueli
2004	—	`conf`	The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report David Harel, Hillel Kugler
2003	J	`jnl`	A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bull. EATCS David Harel
2003	—	`conf`	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC David Harel
2003	A*	`conf`	A two-way visualization method for clustered data. KDD Yehuda Koren, David Harel
2003	A	`conf`	Axis-by-Axis Stress Minimization. GD Yehuda Koren, David Harel
2003	—	`book`	Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine. David Harel, Rami Marelly
2003	—	`book`	Come, let's play - scenario-based programming using LSCs and the play-engine. David Harel
2003	—	`book`	Computers Ltd - what they really can't do. David Harel
2003	J	`jnl`	Drawing Huge Graphs by Algebraic Multigrid Optimization. Multiscale Model. Simul. Yehuda Koren, Liran Carmel, David Harel
2003	—	`conf`	Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
2003	—	`conf`	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Lectures on Concurrency and Petri Nets Dan Barak, David Harel, Rami Marelly
2003	—	`ch.`	Message Sequence Charts. UML for Real David Harel, P. S. Thiagarajan
2003	—	`conf`	On the Visualization and Aesthetics of Large Graphs: Short Abstract. Ershov Memorial Conference David Harel
2003	J	`jnl`	Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. Orna Kupferman, David Harel
2003	—	`conf`	Smart play-out. OOPSLA Companion David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2003	—	`conf`	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools David Harel, Hillel Kugler, Gera Weiss
2003	J	`jnl`	Specifying and executing behavioral requirements: the play-in/play-out approach. Softw. Syst. Model. David Harel, Rami Marelly
2003	J	`jnl`	Towards an odor communication system. Comput. Biol. Chem. David Harel, Liran Carmel, Doron Lancet
2002	J	`jnl`	A Fast Multi-Scale Method for Drawing Large Graphs. J. Graph Algorithms Appl. David Harel, Yehuda Koren
2002	B	`conf`	A Multi-scale Algorithm for the Linear Arrangement Problem. WG Yehuda Koren, David Harel
2002	—	`conf`	ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. INFOVIS Yehuda Koren, Liran Carmel, David Harel
2002	J	`jnl`	An algorithm for blob hierarchy layout. Vis. Comput. David Harel, Gregory Yashchin
2002	Misc	`conf`	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). EMSOFT David Harel
2002	B	`conf`	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ICGT David Harel
2002	—	`book`	Das Affenpuzzle - und weitere bad news aus der Computerwelt. David Harel
2002	A	`conf`	Drawing Directed Graphs Using One-Dimensional Optimization. GD Liran Carmel, David Harel, Yehuda Koren
2002	B	`conf`	Drawing graphs with non-uniform vertices. AVI David Harel, Yehuda Koren
2002	A	`conf`	Graph Drawing by High-Dimensional Embedding. GD David Harel, Yehuda Koren
2002	B	`conf`	Modeling biological reactivity: statecharts vs. Boolean logic. AVI Na'aman Kam, Irun R. Cohen, David Harel
2002	A	`conf`	Multiple instances and symbolic variables in executable sequence charts. OOPSLA Rami Marelly, David Harel, Hillel Kugler
2002	J	`jnl`	On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. David Harel, Orna Kupferman
2002	J	`jnl`	On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. David Harel, Orna Kupferman, Moshe Y. Vardi
2002	B	`conf`	Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS David Harel, Rami Marelly
2002	—	`conf`	Reactive Animation. FMCO David Harel, Sol Efroni, Irun R. Cohen
2002	B	`conf`	Rhapsody: A Complete Life-Cycle Model-Based Development System. IFM Eran Gery, David Harel, Eldad Palachi
2002	B	`conf`	Smart Play-out of Behavioral Requirements. FMCAD David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
2002	—	`conf`	Specifying and executing requirements: the play-in/play-out approach. OOPSLA Companion Rami Marelly, David Harel, Hillel Kugler
2002	J	`jnl`	Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. David Harel, Hillel Kugler
2001	J	`jnl`	A multi-scale algorithm for drawing graphs nicely. Discret. Appl. Math. Ronny Hadany, David Harel
2001	A*	`conf`	Clustering spatial data using random walks. KDD David Harel, Yehuda Koren
2001	J	`jnl`	Dynamic logic. SIGACT News David Harel, Dexter Kozen, Jerzy Tiuryn
2001	J	`jnl`	From Play-In Scenarios to Code: An Achievable Dream. Computer David Harel
2001	J	`jnl`	LSCs: Breathing Life into Message Sequence Charts. Formal Methods Syst. Des. Werner Damm, David Harel
2001	—	`conf`	On Clustering Using Random Walks. FSTTCS David Harel, Yehuda Koren
2001	—	`conf`	On the Behavior of Complex Object-Oriented Systems. OMER David Harel
2001	—	`conf`	The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC Na'aman Kam, Irun R. Cohen, David Harel
2000	B	`conf`	A Fast Multi-Scale Method for Drawing Large Graphs. Advanced Visual Interfaces David Harel, Yehuda Koren
2000	A	`conf`	A Fast Multi-scale Method for Drawing Large Graphs. GD David Harel, Yehuda Koren
2000	B	`conf`	An Algorithm for Blob Hierarchy Layout. Advanced Visual Interfaces David Harel, Gregory Yashchin
2000	—	`conf`	From Play-In Scenarios To Code: An Achievable Dream. Description Logics David Harel
2000	B	`conf`	From Play-In Scenarios to Code: An Achievable Dream. FASE David Harel
2000	—	`conf`	On the Behavioral Inheritance of State-Based Objects. TOOLS (34) David Harel, Orna Kupferman
2000	C	`conf`	Synthesizing State-Based Object Systems from LSC Specifications. CIAA David Harel, Hillel Kugler
1999	B	`conf`	A Multi-Scale Algorithm for Drawing Graphs Nicely. WG Ronny Hadany, David Harel
1999	J	`jnl`	Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Log. David Harel, Eli Singerman
1999	J	`jnl`	Curriculum and Course Syllabi for a High-School CS Program. Comput. Sci. Educ. Judith Gal-Ezer, David Harel
1999	—	`conf`	LSCs: Breathing Life into Message Sequence Charts. FMOODS Werner Damm, David Harel
1998	J	`jnl`	An Algorithm for Straight-Line Drawing of Planar Graphs. Algorithmica David Harel, Meir Sardas
1998	B	`conf`	On the Aesthetics of Diagrams (Summary of Talk). MPC David Harel
1998	—	`conf`	Towards a Theory of Recursive Structures. MCU (1) David Harel
1998	B	`conf`	Towards a Theory of Recursive Structures. MFCS David Harel
1998	J	`jnl`	What (Else) Should CS Educators Know? Commun. ACM Judith Gal-Ezer, David Harel
1997	A*	`conf`	Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP David Harel, Eli Singerman
1997	J	`jnl`	Executable Object Modeling with Statecharts. Computer David Harel, Eran Gery
1997	—	`conf`	Keynotes. TOOLS (23) James Coplien, Joseph Gil, David Harel, Bertrand Meyer
1997	—	`conf`	On the Aesthetics of Diagrams. NGITS David Harel
1997	—	`conf`	On the Aesthetics of Diagrams. VL David Harel
1997	B	`conf`	On the Complexity of Verifying Concurrent Transition Systems. CONCUR David Harel, Orna Kupferman, Moshe Y. Vardi
1997	A*	`conf`	Some Thoughts on Statecharts, 13 Years Later. CAV David Harel
1997	Misc	`conf`	Towards a Theory of Recursive Structures (extended abstract). LFCS David Harel
1997	A	`conf`	Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. RE David Harel
1996	J	`jnl`	Completeness Results for Recursive Data Bases. J. Comput. Syst. Sci. Tirza Hirst, David Harel
1996	J	`jnl`	Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. Theor. Comput. Sci. Noa Globerman, David Harel
1996	J	`jnl`	Drawing Graphs Nicely Using Simulated Annealing. ACM Trans. Graph. Ron Davidson, David Harel
1996	A*	`conf`	Executable Object Modeling with Statecharts. ICSE David Harel, Eran Gery
1996	A*	`conf`	More About Recursive Structures: Descriptive Complexity and Zero-One Laws. LICS Tirza Hirst, David Harel
1996	J	`jnl`	More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. David Harel, Eli Singerman
1996	—	`conf`	Some Thoughts on Statecharts, 13 Years Later (Abstract). ASIAN David Harel
1996	—	`conf`	Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot
1996	B	`conf`	Statecharts: Past, Present and Future (abstract). SOFSEM David Harel
1996	J	`jnl`	Taking It to the Limit: On Infinite Variants of NP-Complete Problems. J. Comput. Syst. Sci. Tirza Hirst, David Harel
1996	J	`jnl`	The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. David Harel, Amnon Naamad
1995	J	`jnl`	A High School Program in Computer Science. Computer Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai
1995	—	`conf`	More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS David Harel, Eli Singerman
1995	J	`jnl`	Randomized Graph Drawing with Heavy-Duty Preprocessing. J. Vis. Lang. Comput. David Harel, Meir Sardas
1995	—	`ch.`	Towards a theory of Recursive Structures. Computer Science Today David Harel
1995	B	`conf`	Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. CONCUR David Harel
1995	J	`jnl`	Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering. SIGACT News David Harel
1994	A*	`conf`	Complexity Results for Multi-Pebble Automata and their Logics. ICALP Noa Globerman, David Harel
1994	J	`jnl`	Deciding Emptiness for Stack Automata on Infinite Trees Inf. Comput. David Harel, Danny Raz
1994	J	`jnl`	On the Power of Bounded Concurrency I: Finite Automata. J. ACM Doron Drusinsky, David Harel
1994	J	`jnl`	On the Power of Bounded Concurrency II: Pushdown Automata. J. ACM Tirza Hirst, David Harel
1994	J	`jnl`	On the Solvability of Domino Snake Problems. Theor. Comput. Sci. Yael Etzion-Petruschka, David Harel, Dale Myers
1994	B	`conf`	Randomized Graph Drawing with Heavy-Duty Preprocessing. Advanced Visual Interfaces David Harel, Meir Sardas
1994	A	`conf`	Towards a Theory of Recursive Structures. STACS David Harel
1994	A*	`conf`	Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS David Harel
1993	A*	`conf`	Completeness Results for Recursive Data Bases. PODS Tirza Hirst, David Harel
1993	—	`conf`	Computers are not Omnipotent (Abstract). ESEC David Harel
1993	J	`jnl`	Deciding Properties of Nonregular Programs. SIAM J. Comput. David Harel, Danny Raz
1993	—	`conf`	Taking it to the Limit: On Infinite Variants of NP-Complete Problems. SCT Tirza Hirst, David Harel
1992	J	`jnl`	Biting the Silver Bullet - Toward a Brighter Future for System Development. Computer David Harel
1992	—	`conf`	How Hard is it to Reason about Propositional Programs? NATO ASI PDC David Harel
1992	J	`jnl`	On Statecharts with Overlapping. ACM Trans. Softw. Eng. Methodol. David Harel, Chaim-Arie Kahana
1991	A*	`conf`	Hamiltonian Paths in Infinite Graphs STOC David Harel
1990	A*	`conf`	Deciding Properties of Nonregular Programs (Preliminary Version) FOCS David Harel, Danny Raz
1990	B	`conf`	How Hard Is It to Reason about Propositional Programs? ICLP David Harel
1990	—	`conf`	On the Power of Bounded Concurrency II: The Pushdown Automata Level. CAAP Tirza Hirst, David Harel
1990	A*	`conf`	On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS David Harel, Roni Rosner, Moshe Y. Vardi
1990	J	`jnl`	STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
1989	B	`conf`	A Thesis for Bounded Concurrency. MFCS David Harel
1989	—	`book`	The science of computing - exploring the nature and power of algorithms. David Harel
1989	J	`jnl`	Using statecharts for hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Doron Drusinsky, David Harel
1988	J	`jnl`	On Visual Formalisms. Commun. ACM David Harel
1988	—	`conf`	On the Power of Cooperative Concurrency. Concurrency Doron Drusinsky, David Harel
1988	A*	`conf`	STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring
1987	—	`book`	Algorithmics - the spirit of computing (2. ed.). David Harel
1987	J	`jnl`	Logic and databases: a critique. ACM SIGPLAN Notices David Harel
1987	A*	`conf`	On the Formal Semantics of Statecharts (Extended Abstract) LICS David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
1987	J	`jnl`	Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. David Harel
1986	J	`jnl`	DNAMAT: an efficient graphic matrix sequence homology algorithm and its application to structural analysis. Comput. Appl. Biosci. Ron Unger, David Harel, Joel L. Sussman
1986	J	`jnl`	Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM David Harel
1986	J	`jnl`	Logic and databases: a critique. SIGACT News David Harel
1985	J	`jnl`	Horn Clauses Queries and Generalizations. J. Log. Program. Ashok K. Chandra, David Harel
1985	J	`jnl`	More on Looping vs. Repeating in Dynamic Logic. Inf. Process. Lett. David Harel, David Peleg
1985	J	`jnl`	Process Logic with Regular Formulas. Theor. Comput. Sci. David Harel, David Peleg
1985	J	`jnl`	Propositional Dynamic Logic of Flowcharts Inf. Control. David Harel, Rivi Sherman
1984	A*	`conf`	A General Result on Infinite Trees and Its Applications (Preliminary Report) STOC David Harel
1984	J	`jnl`	A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. Yishai A. Feldman, David Harel
1984	J	`jnl`	A Programming Language for the Inductive Sets, and Applications Inf. Control. David Harel, Dexter Kozen
1984	J	`jnl`	Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. Rivi Sherman, Amir Pnueli, David Harel
1984	J	`jnl`	On Static Logics, Dynamic Logics, and Complexity Classes Inf. Control. David Harel, David Peleg
1984	—	`conf`	On the Development of Reactive Systems. Logics and Models of Concurrent Systems David Harel, Amir Pnueli
1984	J	`jnl`	Undecidability of PDL with L={a^(2i)\|i>=0}. J. Comput. Syst. Sci. David Harel, Mike Paterson
1983	A*	`ed.`	Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA STOC 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
1983	B	`conf`	Propositional Dynamic Logic of Flowcharts. FCT David Harel, Rivi Sherman
1983	J	`jnl`	Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. David Harel, Amir Pnueli, Jonathan Stavi
1983	B	`conf`	Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). FCT David Harel
1982	A*	`conf`	A Probabilistic Dynamic Logic STOC Yishai A. Feldman, David Harel
1982	A*	`conf`	A Programming Language for the Inductive Sets, and Applications. ICALP David Harel, Dexter Kozen
1982	A*	`conf`	Horn Clauses and the Fixpoint Query Hierarchy. PODS Ashok K. Chandra, David Harel
1982	A*	`conf`	Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL Rivi Sherman, Amir Pnueli, David Harel
1982	J	`jnl`	Looping vs. Repeating in Dynamic Logic Inf. Control. David Harel, Rivi Sherman
1982	J	`jnl`	Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. David Harel, Dexter Kozen, Rohit Parikh
1982	J	`jnl`	Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. Ashok K. Chandra, David Harel
1981	—	`conf`	Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs David Harel, Amir Pnueli, Jonathan Stavi
1981	J	`jnl`	On the Total Correctness of Nondeterministic Programs. Theor. Comput. Sci. David Harel
1981	A*	`conf`	Propositional Dynamic Logic of Context-Free Programs FOCS David Harel, Amir Pnueli, Jonathan Stavi
1980	J	`jnl`	"do considered od" considered odder than "do considered ob". ACM SIGPLAN Notices David Harel
1980	J	`jnl`	And/Or Programs: A New Approach to Structured Programming. ACM Trans. Program. Lang. Syst. David Harel
1980	J	`jnl`	Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. Ashok K. Chandra, David Harel
1980	J	`jnl`	On Folk Theorems. Commun. ACM David Harel
1980	J	`jnl`	On folk theorems. SIGACT News David Harel
1980	A*	`conf`	Process Logic: Expressiveness, Decidability, Completeness FOCS David Harel, Dexter Kozen, Rohit Parikh
1980	J	`jnl`	Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. Theor. Comput. Sci. David Harel
1980	A*	`conf`	Structure and Complexity of Relational Queries FOCS Ashok K. Chandra, David Harel
1980	—	`conf`	Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory Ashok K. Chandra, David Harel
1980	B	`conf`	on And/Or Schemes. MFCS David Harel
1979	J	`jnl`	Characterizing Second Order Logic with First Order Quantifiers. Math. Log. Q. David Harel
1979	A*	`conf`	Computable Queries for Relational Data Bases (Preliminary Report) STOC Ashok K. Chandra, David Harel
1979	—	`book`	First-Order Dynamic Logic David Harel
1979	A*	`conf`	Recursion in Logics of Programs. POPL David Harel
1979	J	`jnl`	Two Results on Process Logic. Inf. Process. Lett. David Harel
1978	A*	`conf`	Arithmetical Completeness in Logics of Programs. ICALP David Harel
1978	A*	`conf`	Nondeterminism in Logics of Programs. POPL David Harel, Vaughan R. Pratt
1977	A*	`conf`	A Complete Axiomatic System for Proving Deductions about Recursive Programs STOC David Harel, Amir Pnueli, Jonathan Stavi
1977	A*	`conf`	Computability and Completeness in Logics of Programs (Preliminary Report) STOC David Harel, Albert R. Meyer, Vaughan R. Pratt