The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Harel" ( http://dblp.L3S.de/Authors/David_Harel )

URL (Homepage):  http://www.wisdom.weizmann.ac.il/~harel/  Author page on DBLP  Author page in RDF  Community of David Harel in ASPL-2

Publication years (Num. hits)
1977-1980 (17) 1981-1984 (20) 1985-1989 (16) 1990-1994 (21) 1995-1996 (17) 1997-1999 (18) 2000-2001 (15) 2002 (20) 2003 (17) 2004-2006 (23) 2007-2008 (20) 2009-2010 (19) 2011-2012 (27) 2013-2015 (17) 2016-2018 (21) 2019 (3)
Publication types (Num. hits)
article(102) book(9) incollection(4) inproceedings(172) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 118 occurrences of 84 keywords

Results
Found 292 publication records. Showing 291 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. Search on Bibsonomy MODELSWARD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Billie Sandak, Avi Mazor, Amichay Asis, Avi Gilboa, David Harel Computational Music Therapy. Search on Bibsonomy MCM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David 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). Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Harel, Shahar Maoz Visual Formalisms. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Rami Marelly, Assaf Marron Wise Computing: Toward Endowing System Development with Proactive Wisdom. Search on Bibsonomy IEEE Computer The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Harel Languages for Programming - From Punched Cards to Wise Computing. Search on Bibsonomy MODELSWARD The full citation details ... 2018 DBLP  BibTeX  RDF
1Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. Search on Bibsonomy MODELSWARD (Revised Selected Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. Search on Bibsonomy MODELSWARD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron Toward Scenario-Based Algorithmics. Search on Bibsonomy Adventures Between Lower Bounds and Higher Altitudes The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth Embedding Scenario-based Modeling in Statecharts. Search on Bibsonomy MODELS Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 2. Search on Bibsonomy Computing in Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum, Part 1. Search on Bibsonomy Computing in Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron Distributing Scenario-based Models: A Replicate-and-Project Approach. Search on Bibsonomy MODELSWARD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron Efficient Distributed Execution of Multi-component Scenario-Based Models. Search on Bibsonomy MODELSWARD (Revised Selected Papers) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss Towards Integration of Context-Based and Scenario-Based Development. Search on Bibsonomy STAF Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Harel, Idan Heimlich, Rami Marelly, Assaf Marron Crowd-Based Programming for Reactive Systems. Search on Bibsonomy CSI-SE@ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel Teaching Nondeterminism Through Programming. Search on Bibsonomy Informatics in Education The full citation details ... 2016 DBLP  BibTeX  RDF
1Naamah Bloch, David Harel The tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironment. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Harel Niépce-Bell or Turing: How to Test Odor Reproduction? Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Luca 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. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2016 DBLP  BibTeX  RDF
1David Harel, Guy Katz, Rami Marelly, Assaf Marron First Steps Towards a Wise Development Environment for Behavioral Models. Search on Bibsonomy IJISMD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Rami Marelly, Assaf Marron An Initial Wise Development Environment for Behavioral Models. Search on Bibsonomy MODELSWARD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Assaf 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. Search on Bibsonomy D&P@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Anat Berkman-Chardon, David Harel, Yaarit Goel, Rami Marelly, Smadar Szekely, Guy Weiss Scenario-based programming for mobile applications. Search on Bibsonomy MOBILESoft The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Rami Marelly, Assaf Marron Wise Computing: Towards Endowing System Development with True Wisdom. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener Towards behavioral programming in distributed architectures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss The Effect of Concurrent Programming Idioms on Verification - A Position Paper. Search on Bibsonomy MODELSWARD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss On the Succinctness of Idioms for Concurrent Programming. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guy Katz, Clark W. Barrett, David Harel Theory-Aided Model Checking of Concurrent Transition Systems. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1David Harel On the Full Organism Challenge: Or, Can we Computerize an Elephant? Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. Search on Bibsonomy Trans. Computational Collective Intelligence The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel Scenario-Based Programming, Usability-Oriented Perception. Search on Bibsonomy TOCE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor Modal Scenarios as Automata. Search on Bibsonomy Language, Culture, Computation (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Harel, Shani Nitzan Programming Animation Using Behavioral Programming. Search on Bibsonomy BM-FA (Revised Selected Papers) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reut Tsarfaty, Ilia Pogrebezky, Guy Weiss, Yaarit Natan, Smadar Szekely, David Harel Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation. Search on Bibsonomy EMNLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michal Gordon, David Harel Steps towards Scenario-Based Programming with a Natural Language Interface. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel Scenario-based programming: reducing the cognitive load, fostering abstract thinking. Search on Bibsonomy ICSE Companion The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor, Guy Katz Relaxing Synchronization Constraints in Behavioral Programs. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss On composing and proving the correctness of reactive behavior. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel On teaching programming with nondeterminism. Search on Bibsonomy WiPSCE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yaki Setty, Irun R. Cohen, David Harel Executable Modeling of Morphogenesis: A Turing-Inspired Approach. Search on Bibsonomy Fundam. Inform. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron The quest for runware: on compositional, executable and intuitive models. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor Multi-modal scenarios revisited: A net-based representation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Itai Segall Synthesis from scenario-based specifications. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, David Harel, Lenore D. Zuck Editorʼs foreword. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Gera Weiss Behavioral programming. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Amir Nissim, Gera Weiss A software engineering framework for switched fuzzy systems. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel Standing on the Shoulders of a Giant - One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture). Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Search on Bibsonomy Logic and Program Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel Standing on the shoulders of a giant: one person's experience of turing's impact. Search on Bibsonomy ITiCSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giora Alexandron, Michal Armoni, Michal Gordon, David Harel The effect of previous programming experience on the learning of scenario-based programming. Search on Bibsonomy Koli Calling The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel On Behavioral Programming. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel Some thoughts on executable visual languages and their Interfaces. Search on Bibsonomy VL/HCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michal Gordon, David Harel Evaluating a natural language interface for behavioral programming. Search on Bibsonomy VL/HCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michal Gordon, David Harel Evaluating live sequence charts as a programming technique for non-programmers. Search on Bibsonomy USER@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Harel, Guy Katz, Assaf Marron, Gera Weiss Non-intrusive Repair of Reactive Programs. Search on Bibsonomy ICECCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shahar Maoz, David Harel On tracing reactive systems. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahar Maoz, David Harel, Asaf Kleinbort A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jasmin Fisher, David Harel, Thomas A. Henzinger Biology as reactivity. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Harel Can we Computerize an Elephant? Search on Bibsonomy ECAL The full citation details ... 2011 DBLP  BibTeX  RDF
1David Harel, Assaf Marron, Guy Wiener, Gera Weiss Behavioral programming, decentralized control, and multiple time scales. Search on Bibsonomy SPLASH Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Harel Some Thoughts on Behavioral Programming. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nir Eitan, Michal Gordon, David Harel, Assaf Marron, Gera Weiss On Visualization and Comprehension of Scenario-Based Programs. Search on Bibsonomy ICPC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF behavioral programming, BPJ, visualization, scenario-based programming
1Giora Alexandron, Michal Armoni, David Harel Programming with the user in mind. Search on Bibsonomy PPIG The full citation details ... 2011 DBLP  BibTeX  RDF
1David Harel Some Thoughts on Behavioral Programming. Search on Bibsonomy BPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Harel, Robby Lampert, Assaf Marron, Gera Weiss Model-checking behavioral programs. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nir Eitan, David Harel Adaptive Behavioral Programming. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yaki Setty, Irun R. Cohen, David Harel Modeling Biology using Generic Reactive Animation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafi Haddad, Abebe Medhanie, Yehudah Roth, David Harel, Noam Sobel Predicting Odor Pleasantness with an Electronic Nose. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel Amir Pnueli - A Gentle Giant: Lord of the phi's and the psi's. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel Some Thoughts on Behavioral Programming. Search on Bibsonomy Petri Nets The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Amir Kantor, Shahar Maoz On the Power of Play-Out for Scenario-Based Programs. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler Some Thoughts on the Semantics of Biocharts. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Assaf Marron, Gera Weiss Programming Coordinated Behavior in Java. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michal Gordon, David Harel Semantic Navigation Strategies for Scenario-Based Programming. Search on Bibsonomy VL/HCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan PlayGo: towards a comprehensive tool for scenario based programming. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Hillel Kugler, Shahar Maoz, Itai Segall Accelerating Smart Play-Out. Search on Bibsonomy SOFSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Harel, Shahar Maoz Visual Formalisms. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Harel, Michal Gordon-Kiwkowitz On Teaching Visual Formalisms. Search on Bibsonomy IEEE Software The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Harel Statecharts in the making: a personal account. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Harel Can we computerize an elephant? Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree (eds.) Algorithmic Bioprocesses Search on Bibsonomy 2009 DBLP  DOI  BibTeX  RDF
1Yaki Setty, Irun R. Cohen, Avi E. Mayo, David Harel On Using Divide and Conquer in Modeling Natural Systems. Search on Bibsonomy Algorithmic Bioprocesses The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michal Gordon, David Harel Generating Executable Scenarios from Natural Language. Search on Bibsonomy CICLing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Harel Can We Verify an Elephant? Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen Concurrency in Biological Modeling: Behavior, Execution and Visualization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pierre Combes, David Harel, Hillel Kugler Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Live sequence charts (LSCs), Verification, Requirements engineering, Telecommunication
1David Harel, Shahar Maoz Assert and negate revisited: Modal semantics for UML sequence diagrams. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
1Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel Toward Verified Biological Models. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modeling, verification, statecharts, C. elegans
1David Harel Can Programming Be Liberated, Period? Search on Bibsonomy IEEE Computer The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software programming, scenario-based programming
1Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel GemCell: A generic platform for modeling multi-cellular biological systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Naamah Swerdlin, Irun R. Cohen, David Harel The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rafi Haddad, Liran Carmel, Noam Sobel, David Harel Predicting the Receptive Range of Olfactory Receptors. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Harel, Yaki Setty Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. Search on Bibsonomy FMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Harel, Shahar Maoz, Itai Segall Some Results on the Expressive Power and Complexity of LSCs. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Harel, Itai Segall Visualizing inter-dependencies between scenarios. Search on Bibsonomy SOFTVIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Harel, Itai Segall, Hillel Kugler, Yaki Setty Crafting game-models using reactive system design. Search on Bibsonomy Future Play The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulators, game design, statecharts, systems biology, live sequence charts
1Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz Object Composition in Scenario-Based Programming. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 291 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license